Integració de tècniques per a la comprovació eficient de restriccions d'integritat en la generació de programari per entorns web

Estudi elaborat a partir d’una estada al Politecnico de Milano, Itàlia, entre gener i juny del 2006. Un dels principals objectius de l’Enginyeria del Programari és automatitzar el màxim possible el procés de desenvolupament del programari, reduint costos mitjançant la generació automàtica del programari a partir de la seva especificació. Per assolir-ho, entre altres, cal resoldre el problema de la comprovació eficient de restriccions, que són una part fonamental de l’especificació del programari. Aquest és precisament l’àmbit en què s’està desenvolupant una tesi que presentarà un mètode que poden integrar totes les eines generadores de codi per tal d’assolir una implementació eficient de les restriccions d’integritat. En l’actual fase del projecte s’ha treballat per validar el mètode de la tesi, optimitzant-lo pel cas específic de les aplicacions web i estendre’l per poder tractar també aplicacions basades en workflows. Pel que fa a l’optimització del mètode per aplicacions web, s’han definit una sèrie de paràmetres que permeten configurar la implementació del mètode tenint en compte les necessitats específiques de rendiment de cada aplicació web en particular. Respecte als workflows (cada cop més populars i que s’usen com a definició d’alt nivell per a les aplicacions a desenvolupar) s’ha estudiat quins són els tipus de restriccions que impliquen i com després es pot aplicar el mètode de la tesi sobre aquestes restriccions per tal de generar de forma eficient també les aplicacions basades en workflows.

Enquestes: aplicació web per a la creació d'enquestes

Les enquestes són un mètode excel·lent per a extreure informació relativa a conjunts de població específics, amb la finalitat de conèixer l’opinió d’aquests sobre l’objectiu de la enquesta. En aquest treball es proposa una implementació d’una aplicació que té com objectiu reduir l’esforç associat a la creació d’enquestes, recepció de respostes i visualització de resultats. Totes les tecnologies utilitzades són gratuïtes, i la implementació es porta a terme amb els estàndards de J2EE, prioritzant la extensibilitat i la portabilitat per sobre altres característiques.

Construcció d'una aplicació web utilitzant el mètode Rational Unified Process

Construcció d'una aplicació web a partir de les especificacions d'un client imaginari. Estudi i utilització del mètode Rational Unified Process, el més habitual actualment en la construcció de software. Disseny d'una base de dades i implementació del model lògic mitjançant un SGBD punter al mercat com Oracle.

Usabilitat d'un web d'un centre de secundària

L'objectiu del TFC és que quedi definit un mètode per a aconseguir el desenvolupament d'un web (per a un centre de secundària) fàcil d'usar, de tal manera que seguint aquest mètode es puguin portar a terme les fases que es considerin necessàries per a arribar al disseny d'algunes de les interfícies del web i que aquestes interfícies siguin fàcils d'usar.

A Method and Tool to Support the Analysis and Enhance the Understanding of Peer-to-Peer Learning Experiences

In this paper we look at how a web-based social software can be used to make qualitative data analysis of online peer-to-peer learning experiences. Specifically, we propose to use Cohere, a web-based social sense-making tool, to observe, track, annotate and visualize discussion group activities in online courses. We define a specific methodology for data observation and structuring, and present results of the analysis of peer interactions conducted in discussion forum in a real case study of a P2PU course. Finally we discuss how network visualization and analysis can be used to gather a better understanding of the peer-to-peer learning experience. To do so, we provide preliminary insights on the social, dialogical and conceptual connections that have been generated within one online discussion group.

Diseño e implementación de 4SPPIces Tool: Una aplicación web para dar apoyo a la creación de actividades educativas colaborativas en entornos mezclados

La introducción de dispositivos tecnológicos como PDAs, móviles o portátiles, en la educación ofrece nuevas oportunidades para el aprendizaje. El uso apropiado de estas herramientas abre la posibilidad a un abanico de escenarios educativos colaborativos que no serían posibles sin la tecnología. Sin embargo, uno de los problemas principales que dificulta la adopción de estos dispositivos en entornos educativos reales es el comprender cómo aplicarlos de forma adecuada y beneficiosa para cubrir los objetivos de aprendizaje esperados. Para ello es necesario establecer vínculos entre educadores y tecnólogos para que este tipo de escenarios se puedan llevar a cabo. Por un lado, los educadores tienen conocimientos sobre prácticas educativas y, por otro lado, los tecnólogos pueden aportar con sus conocimientos acerca de las oportunidades que las tecnologías ofrecen. 4SPPIces es un modelo conceptual que tiene como objetivo establecer este puente entre las dos comunidades. Concretamente, se trata de un modelo que propone 4 factores interrelacionados que deben considerarse en el diseño de experiencias educativas colaborativas que combinen actividades dentro y fuera del aula: (1) el método pedagógico (Pedagiocal Method), (2) los participantes (Participants), (3) el espacio (Space) y (4) el historial (History). El objetivo de este proyecto es desarrollar una aplicación web para que educadores y tecnólogos colaboren en el diseño de escenarios basados en este modelo. Concretamente, este trabajo presenta el proceso de desarrollo de la aplicación así como algunas pruebas con usuarios para analizar la usabilidad y utilidad del sistema.

Is the person trade-off a valid method for allocating health care resources? Some caveats

The Person Trade-Off (PTO) is a methodology aimed at measuring thesocial value of health states. The rest of methodologies would measure individualutility and would be less appropriate for taking resource allocation decisions.However few studies have been conducted to test the validity of the method.We present a pilot study with this objective. The study is based on theresult of interviews to 30 undergraduate students in Economics. We judgethe validity of PTO answers by their adequacy to three hypothesis of rationality.First, we show that, given certain rationality assumptions, PTO answersshould be predicted from answers to Standard Gamble questions. This firsthypothesis is not verified. The second hypothesis is that PTO answersshould not vary with different frames of equivalent PTO questions. Thissecond hypothesis is also not verified. Our third hypothesis is that PTOvalues should predict social preferences for allocating resources betweenpatients. This hypothesis is verified. The evidence on the validity of themethod is then conflicting.

Structural and gas-sensing properties of WO3 nanocrystalline powders obtained by a sol-gel method from tungstic acid

WO3 nanocrystalline powders were obtained from tungstic acid following a sol-gel process. Evolution of structural properties with annealing temperature was studied by X-ray diffraction and Raman spectroscopy. These structural properties were compared with those of WO3 nanopowders obtained by the most common process of pyrolysis of ammonium paratungstate, usually used in gas sensors applications. Sol-gel WO3 showed a high sensor response to NO2 and low response to CO and CH4. The response of these sensor devices was compared with that of WO3 obtained from pyrolysis, showing the latter a worse sensor response to NO2. Influence of operating temperature, humidity, and film thickness on NO2 detection was studied in order to improve the sensing conditions to this gas.

Computer-aided procedure for optimization of layer thickness uniformity in thermal evaporation physical vapor deposition chambers for lens coating

A computer-aided method to improve the thickness uniformity attainable when coating multiple substrates inside a thermal evaporation physical vapor deposition unit is presented. The study is developed for the classical spherical (dome-shaped) calotte and also for a plane sector reversible holder setup. This second arrangement is very useful for coating both sides of the substrate, such as antireflection multilayers on lenses. The design of static correcting shutters for both kinds of configurations is also discussed. Some results of using the method are presented as an illustration.

Combined intermittent hypoxia and surface muscle electrostimulation as a method to increase peripheral blood progenitor cell concentration.

Background: Our goal was to determine whether short-term intermittent hypoxia exposure, at a level well tolerated by healthy humans and previously shown by our group to increase EPO and erythropoiesis, could mobilizehematopoietic stem cells (HSC) and increase their presence in peripheral circulation. Methods: Four healthy male subjects were subjected to three different protocols: one with only a hypoxic stimulus (OH), another with a hypoxic stimulus plus muscle electrostimulation (HME) and the third with only muscle electrostimulation (OME). Intermittent hypobaric hypoxia exposureconsisted of only three sessions of three hours at barometric pressure 540 hPa (equivalent to an altitude of 5000 m) for three consecutive days, whereas muscular electrostimulation was performed in two separate periods of 25 min in each session. Blood samples were obtained from an antecubital vein on three consecutive days immediately before the experiment and 24 h, 48 h, 4 days and 7 days after the last day of hypoxic exposure. Results: There was a clear increase in the number of circulating CD34+ cells after combined hypobaric hypoxia and muscular electrostimulation. This response was not observed after the isolated application of the same stimuli. Conclusion: Our results open a new application field for hypobaric systems as a way to increase efficiency in peripheral HSC collection.

Combined intermittent hypoxia and surface muscle electrostimulation as a method to increase peripheral blood progenitor cell concentration.

Background: Our goal was to determine whether short-term intermittent hypoxia exposure, at a level well tolerated by healthy humans and previously shown by our group to increase EPO and erythropoiesis, could mobilizehematopoietic stem cells (HSC) and increase their presence in peripheral circulation. Methods: Four healthy male subjects were subjected to three different protocols: one with only a hypoxic stimulus (OH), another with a hypoxic stimulus plus muscle electrostimulation (HME) and the third with only muscle electrostimulation (OME). Intermittent hypobaric hypoxia exposureconsisted of only three sessions of three hours at barometric pressure 540 hPa (equivalent to an altitude of 5000 m) for three consecutive days, whereas muscular electrostimulation was performed in two separate periods of 25 min in each session. Blood samples were obtained from an antecubital vein on three consecutive days immediately before the experiment and 24 h, 48 h, 4 days and 7 days after the last day of hypoxic exposure. Results: There was a clear increase in the number of circulating CD34+ cells after combined hypobaric hypoxia and muscular electrostimulation. This response was not observed after the isolated application of the same stimuli. Conclusion: Our results open a new application field for hypobaric systems as a way to increase efficiency in peripheral HSC collection.

RiskDiff: A web tool for the analysis of the difference due to risk and demographic factors for incidence or mortality data.

Background Analysing the observed differences for incidence or mortality of a particular disease between two different situations (such as time points, geographical areas, gender or other social characteristics) can be useful both for scientific or administrative purposes. From an epidemiological and public health point of view, it is of great interest to assess the effect of demographic factors in these observed differences in order to elucidate the effect of the risk of developing a disease or dying from it. The method proposed by Bashir and Estève, which splits the observed variation into three components: risk, population structure and population size is a common choice at practice. Results A web-based application, called RiskDiff has been implemented (available at http://rht.iconcologia.net/riskdiff.htm webcite), to perform this kind of statistical analyses, providing text and graphical summaries. Code from the implemented functions in R is also provided. An application to cancer mortality data from Catalonia is used for illustration. Conclusions Combining epidemiological with demographical factors is crucial for analysing incidence or mortality from a disease, especially if the population pyramids show substantial differences. The tool implemented may serve to promote and divulgate the use of this method to give advice for epidemiologic interpretation and decision making in public health.

Nou web de la Biblioteca Virtual: anàlisi del nou web de la Biblioteca de la UOC

Informe de l'anàlisi realitzat sobre el nou web de la Biblioteca Virtual de la UOC, mitjançant el mètode de test amb usuaris, per tal d'avaluar el grau d'usabilitat de la nova eina. L'anàlisi s'emmarca en el procés de disseny centrat en l'usuari que s'ha utilitzat per al seu disseny.