Modelo para una autoevaluación modular en una institución educativa (BADI)

Una eficaz acción educativa obliga necesariamente a plantearse en profundidad la autoevaluación como modelo de cambio y la participación de todos los estamentos de la comunidad educativa. Un mayor o menor grado de participación viene a ser un indicador que nos permite valorar cualquier propuesta de «calidad», «reforma» o «innovación». El modelo B.A.D.I. yen especial su instrumento modular, responde a las exigencias particulares de reflexión, análisis y toma de decisiones que se realiza en cada centro para responder adecuadamente a cualquier planteamiento innovador. Los principios fundamentales de este modelo se resumen en: A. Es un modelo de concepción organicista, estamental, con definición ideológica. B. Responde a un enfoque fundamentalmente rogeriano. C. Participa de los enfoques social, abierto, dinámico, cultural y positivo. Comparte la teoría moderna de la organización y sus indicadores se agrupan en cuatro fases: Criterial, presupuestaria, metodológica e informativa. D. Se identifica con los modelos centrados en la evaluación de cambio, de forma especial con la autoevaluación. La flexibilidad que caracteriza al modelo viene dado por el instrumento modular de área o de criterio, como resultado de la participación y el consenso de todos los estamentos de la institución educativa.

Formalizing argumentative reasoning in a possibilistic logic programming setting with fuzzy unification

Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating the treatment of possibilistic uncertainty at the object-language level. In spite of its expressive power, an important limitation in P-DeLP is that imprecise, fuzzy information cannot be expressed in the object language. One interesting alternative for solving this limitation is the use of PGL+, a possibilistic logic over Gödel logic extended with fuzzy constants. Fuzzy constants in PGL+ allow expressing disjunctive information about the unknown value of a variable, in the sense of a magnitude, modelled as a (unary) predicate. The aim of this article is twofold: firstly, we formalize DePGL+, a possibilistic defeasible logic programming language that extends P-DeLP through the use of PGL+ in order to incorporate fuzzy constants and a fuzzy unification mechanism for them. Secondly, we propose a way to handle conflicting arguments in the context of the extended framework.

A logic programming framework for possibilistic argumentation: formalization and logical properties

In the last decade defeasible argumentation frameworks have evolved to become a sound setting to formalize commonsense, qualitative reasoning. The logic programming paradigm has shown to be particularly useful for developing different argument-based frameworks on the basis of different variants of logic programming which incorporate defeasible rules. Most of such frameworks, however, are unable to deal with explicit uncertainty, nor with vague knowledge, as defeasibility is directly encoded in the object language. This paper presents Possibilistic Logic Programming (P-DeLP), a new logic programming language which combines features from argumentation theory and logic programming, incorporating as well the treatment of possibilistic uncertainty. Such features are formalized on the basis of PGL, a possibilistic logic based on G¨odel fuzzy logic. One of the applications of P-DeLP is providing an intelligent agent with non-monotonic, argumentative inference capabilities. In this paper we also provide a better understanding of such capabilities by defining two non-monotonic operators which model the expansion of a given program P by adding new weighed facts associated with argument conclusions and warranted literals, respectively. Different logical properties for the proposed operators are studied

Optimal capital structure: a trade-off model and its empirical testing

In the present research we have set forth a new, simple, Trade-Off model that would allow us to calculate how much debt and, by default, how much equity a company should have, using easily available information and calculating the cost of debt dynamically on the basis of the effect that the capital structure of the company has on the risk of bankruptcy; in an attempt to answer this question. The proposed model has been applied to the companies that make up the Dow Jones Industrial Average (DJIA) in 2007. We have used consolidated financial data from 1996 to 2006, published by Bloomberg. We have used simplex optimization method to find the debt level that maximizes firm value. Then, we compare the estimated debt with real debt of companies using statistical nonparametric Mann-Whitney. The results indicate that 63% of companies do not show a statistically significant difference between the real and the estimated debt.

Analysing knowledge building: usages, achievements and limits of forums at university

This paper aims to explore asynchronous communication in computer supported collaborative learning (CSCL). Thirty virtual forums are analysed in both a quantitative and a qualitative way. Quantitatively, the number of messages written, message threads and original and answer messages are counted. Qualitatively, the content of the notes is analysed, cataloguing these into two different levels: on the one hand, as a set of knowledge building process categories, and on the other hand, following the scaffolds that Knowledge Forum offers. The results show that both an exchange of information and a collaborative work take place. Nevertheless, the construction of knowledge is superficial.

Level Set Methods in Image Processing

This thesis gives an overview of the use of the level set methods in the field of image science. The similar fast marching method is discussed for comparison, also the narrow band and the particle level set methods are introduced. The level set method is a numerical scheme for representing, deforming and recovering structures in an arbitrary dimensions. It approximates and tracks the moving interfaces, dynamic curves and surfaces. The level set method does not define how and why some boundary is advancing the way it is but simply represents and tracks the boundary. The principal idea of the level set method is to represent the N dimensional boundary in the N+l dimensions. This gives the generality to represent even the complex boundaries. The level set methods can be powerful tools to represent dynamic boundaries, but they can require lot of computing power. Specially the basic level set method have considerable computational burden. This burden can be alleviated with more sophisticated versions of the level set algorithm like the narrow band level set method or with the programmable hardware implementation. Also the parallel approach can be used in suitable applications. It is concluded that these methods can be used in a quite broad range of image applications, like computer vision and graphics, scientific visualization and also to solve problems in computational physics. Level set methods and methods derived and inspired by it will be in the front line of image processing also in the future.

A pilot study identifying a set of microRNAs as precise diagnostic biomarkers of acute kidney injury

In the last decade, Acute Kidney Injury (AKI) diagnosis and therapy have not notably improved probably due to delay in the diagnosis, among other issues. Precocity and accuracy should be critical parameters in novel AKI biomarker discovery. microRNAs are key regulators of cell responses to many stimuli and they can be secreted to the extracellular environment. Therefore, they can be detected in body fluids and are emerging as novel disease biomarkers. We aimed to identify and validate serum miRNAs useful for AKI diagnosis and management. Using qRT-PCR arrays in serum samples, we determined miRNAs differentially expressed between AKI patients and healthy controls. Statistical and target prediction analysis allowed us to identify a panel of 10 serum miRNAs. This set was further validated, by qRT-PCR, in two independent cohorts of patients with relevant morbi-mortality related to AKI: Intensive Care Units (ICU) and Cardiac Surgery (CS). Statistical correlations with patient clinical parameter were performed. Our results demonstrated that the 10 selected miRNAs (miR-101-3p, miR-127-3p, miR-210-3p, miR-126-3p, miR-26b-5p, miR-29a-3p, miR-146a-5p, miR-27a-3p, miR-93-3p and miR-10a-5p) were diagnostic biomarkers of AKI in ICU patients, exhibiting areas under the curve close to 1 in ROC analysis. Outstandingly, serum miRNAs estimated before CS predicted AKI development later on, thus becoming biomarkers to predict AKI predisposition. Moreover, after surgery, the expression of the miRNAs was modulated days before serum creatinine increased, demonstrating early diagnostic value. In summary, we have identified a set of serum miRNAs as AKI biomarkers useful in clinical practice, since they demonstrate early detection and high diagnostic value and they recognize patients at risk.

Ohutlevyn taivuttaminen pienerätuotannossa

Tutkimuksessa on selvitetty ohutlevyn taivuttamismenetelmien tärkeimmät kustannustekijät ja menetelmien taloudelliset käyttöalueet. Vertailtavina menetelminä on käsinsärmäys, robotisoitu särmäys, taivutusautomaatti ja taivutuskone. Tulosta on sovellettu Hackman Metos Oy:n keittiölaitteiden tuotantoon. Tutkimusmenetelminä oli haastattelututkimus, kirjallisuustutkimus, työntutkimustulosten käyttö, ryhmäteknologian soveltaminen ja kokeellinen tutkimus. Särmäysrobotin tärkein kustannustekijä on ohjelmointiaika, mikä vaikuttaa ratkaisevasti sen soveltuvuuteen pienerätuotantoon. Nykyisten särmäyssolujen taloudellinen käyttöalue on tuhansien kappaleiden vuosivolyymi satojen kappaleiden eräkoolla. taivutusautomaatin ohjelmointi- ja asetusajat ovat erittäin lyhyet ja sen tärkein kustannustekijä on käyttöaste. Mikäli käyttöaste on korkea, taivutusautomaatti on kannattava pienerätuotannossa pienille vuosivolyymeille. Taivutusautomaatin käyttöönotossa tuotteiden suunnittelu on tärkeä tekijä, sillä särmättäväksi suunnitellut osat eivät välttämättä sovellu taivutusautomaatilla taivutettavaksi. Taivutuskoneen investointikustannus on alhaisempi kuin särmäyspuristimen, mutta sillä on paljon tuotteen valmistettavuuden liittyviä rajoituksia. Taivutuskone on kannattava investointi, mikäli tuotannossa on paljon levyjä, joiden taivutukset ovat samaan suuntaan ja ne vaativat kaksi särmääjää. Tutkimuksen perusteella Hackman Metso Oy:ssä teknis-taloudellisin taivutusmenetelmä on käsinsärmäys. Tuotannon kasvaessa taivutusautomaatti tulee olemaan särmäysrobottia edullisempi. Taivutuskoneella on niin paljon valmistettavuusrajoituksia, että se ei sovellu yrityksen tuotantoon.

Kolmannen sukupolven matkaviestinverkon puhelunohjaus MSC Server –konseptilla

Tietoliikenneala elää muutosten aikaa. Vanhat piirikytketyt kapeakaistaiset verkot ovat väistymässä seuraavan sukupolven verkkojen tieltä. GPRS-verkot tekevät tuloaan ja 3G-verkkojen kehitystyö on kiivaimmillaan laitetoimittajien ratkoessa verkoille asetettuja haasteita. Jää nähtäväksi, kykenevätkö 3G-verkot vastaamaan näihin haasteisiin. Työssä käsitellään 3G-verkon arkkitehtuuria, toimintaa ja puhelunohjausta MSC Server -konseptissa, sekä käydään läpi muutamia puheluesimerkkejä. 3G-verkon arkkitehtuuri, jossa puhelunohjaus on erotettu mediakerroksesta, esitetään ja uudet verkkoelementit ja niiden toiminta käsitellään. Esitelty teoria perustuu kirjallisuuteen sekä yleisesti hyväksyttyihin 3G- verkon standardeihin. Näitä standardeja julkaisevat muun muassa ITU-T ja 3GPP yhdessä yhteistyöyritystensä kanssa. Standardointityö on monin osin vielä kesken ja se on vaikeuttanut 3G-verkkojen suunnittelutyötä merkittävästi. Työn tarkoituksena on selvittää puhelunohjausta 3G-verkossa ja sen toteuttamista MSC Server –konseptilla. MSC Serverin toteutusvaihtoehtoja arvioidaan ja niistä valitaan yksi 3G-verkon puhelunohjauksen toteutusmalliksi. Työtä jatketaan tämän diplomityön jälkeen tarkemman toteutuksen suunnittelulla, päämääränä rakentaa 3G-verkko.

Simulation Supported Robot Programming using XML

The main objective of this master's thesis is to study robot programming using simulation software, and also how to embed the simulation software into company's own robot controlling software. The further goal is to study a new communication interface to the assembly line's components -more precisely how to connect the robot cell into this new communication system. Conveyor lines are already available where the conveyors use the new communication standard. The robot cell is not yet capable of communicating with to other devices using the new communication protocols. The main problem among robot manufacturers is that they all have their own communication systems and programming languages. There has not been any common programming language to program all the different robot manufacturers robots, until the RRS (Realistic Robot Simulation) standards were developed. The RRS - II makes it possible to create the robot programs in the simulation software and it gives a common user interface for different robot manufacturers robots. This thesis will present the RRS - II standard and the robot manufacturers situation for the RRS - II support. Thesis presents how the simulation software can be embedded into company's own robot controlling software and also how the robot cell can be connected to the CAMX (Computer Aided Manufacturing using XML) communication system.

Tuning Performance of Multi-threaded programs

Diplomityö tarkastelee säikeistettyä ohjelmointia rinnakkaisohjelmoinnin ylemmällä hierarkiatasolla tarkastellen erityisesti hypersäikeistysteknologiaa. Työssä tarkastellaan hypersäikeistyksen hyviä ja huonoja puolia sekä sen vaikutuksia rinnakkaisalgoritmeihin. Työn tavoitteena oli ymmärtää Intel Pentium 4 prosessorin hypersäikeistyksen toteutus ja mahdollistaa sen hyödyntäminen, missä se tuo suorituskyvyllistä etua. Työssä kerättiin ja analysoitiin suorituskykytietoa ajamalla suuri joukko suorituskykytestejä eri olosuhteissa (muistin käsittely, kääntäjän asetukset, ympäristömuuttujat...). Työssä tarkasteltiin kahdentyyppisiä algoritmeja: matriisioperaatioita ja lajittelua. Näissä sovelluksissa on säännöllinen muistinkäyttökuvio, mikä on kaksiteräinen miekka. Se on etu aritmeettis-loogisissa prosessoinnissa, mutta toisaalta huonontaa muistin suorituskykyä. Syynä siihen on nykyaikaisten prosessorien erittäin hyvä raaka suorituskyky säännöllistä dataa käsiteltäessä, mutta muistiarkkitehtuuria rajoittaa välimuistien koko ja useat puskurit. Kun ongelman koko ylittää tietyn rajan, todellinen suorituskyky voi pudota murto-osaan huippusuorituskyvystä.

Gene Set Analysis for improving genetic association studies

Introduction. Genetic epidemiology is focused on the study of the genetic causes that determine health and diseases in populations. To achieve this goal a common strategy is to explore differences in genetic variability between diseased and nondiseased individuals. Usual markers of genetic variability are single nucleotide polymorphisms (SNPs) which are changes in just one base in the genome. The usual statistical approach in genetic epidemiology study is a marginal analysis, where each SNP is analyzed separately for association with the phenotype. Motivation. It has been observed, that for common diseases the single-SNP analysis is not very powerful for detecting genetic causing variants. In this work, we consider Gene Set Analysis (GSA) as an alternative to standard marginal association approaches. GSA aims to assess the overall association of a set of genetic variants with a phenotype and has the potential to detect subtle effects of variants in a gene or a pathway that might be missed when assessed individually. Objective. We present a new optimized implementation of a pair of gene set analysis methodologies for analyze the individual evidence of SNPs in biological pathways. We perform a simulation study for exploring the power of the proposed methodologies in a set of scenarios with different number of causal SNPs under different effect sizes. In addition, we compare the results with the usual single-SNP analysis method. Moreover, we show the advantage of using the proposed gene set approaches in the context of an Alzheimer disease case-control study where we explore the Reelin signal pathway.

Les comportements face au VIH/sida parmi les migrants originaires d'Afrique subsaharienne en Suisse : Enquête ANSWER 2013-2014

L'enquête Internet ANSWER (African Net Survey WE Respond!) auprès des migrants provenant d'Afrique subsaharienne (ASS) a été menée entre septembre 2013 et février 2014, sur mandat de l'OFSP et avec la collaboration de l'ASS. Cette enquête s'inscrit dans le cadre du mandat de surveillance épidémiologique de deuxième génération du VIH et des autres IST auquel l'IUMSP participe activement. Le but de cette enquête a été de décrire dans cette population les connaissances, attitudes et comportements (en particulier, les comportements sexuels, l'usage de préservatifs et la réalisation de tests de dépistage du VIH) en lien avec la prévention du VIH et des autres infections sexuellement transmissibles. Une analyse exploratoire de facteurs associés à certains comportements (partenaires multiples, utilisation de préservatifs, réalisation de tests) a également été menée. Il s'agissait d'une enquête par Internet auto-administrée disponible en 7 langues, à laquelle les personnes originaires d'Afrique subsaharienne étaient invitées à participer. Un groupe d'accompagnement composé de professionnels de la prévention du VIH et de médiateurs culturels de différents pays africains a participé activement à toutes les étapes du projet (conception du questionnaire, traductions, cognitive testing, promotion de l'enquête, mobilisation communautaire).