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.

PENELOPE-2008: A Code System for Monte Carlo Simulation of Electron and Photon Transport

The computer code system PENELOPE (version 2008) performs Monte Carlo simulation of coupledelectron-photon transport in arbitrary materials for a wide energy range, from a few hundred eV toabout 1 GeV. Photon transport is simulated by means of the standard, detailed simulation scheme.Electron and positron histories are generated on the basis of a mixed procedure, which combinesdetailed simulation of hard events with condensed simulation of soft interactions. A geometry packagecalled PENGEOM permits the generation of random electron-photon showers in material systemsconsisting of homogeneous bodies limited by quadric surfaces, i.e., planes, spheres, cylinders, etc. Thisreport is intended not only to serve as a manual of the PENELOPE code system, but also to provide theuser with the necessary information to understand the details of the Monte Carlo algorithm.

Towards an emotion-driven interactive music system: ridging the gaps between affect, physiology and sound generation

Report for the scientific sojourn at the Stanford University from January until June 2007. Music is well known for affecting human emotional states, yet the relationship between specific musical parameters and emotional responses is still not clear. With the advent of new human-computer interaction (HCI) technologies, it is now possible to derive emotion-related information from physiological data and use it as an input to interactive music systems. Providing such implicit musical HCI will be highly relevant for a number of applications including music therapy, diagnosis, nteractive gaming, and physiologically-based musical instruments. A key question in such physiology-based compositions is how sound synthesis parameters can be mapped to emotional states of valence and arousal. We used both verbal and heart rate responses to evaluate the affective power of five musical parameters. Our results show that a significant correlation exists between heart rate and the subjective evaluation of well-defined musical parameters. Brightness and loudness showed to be arousing parameters on subjective scale while harmonicity and even partial attenuation factor resulted in heart rate changes typically associated to valence. This demonstrates that a rational approach to designing emotion-driven music systems for our public installations and music therapy applications is possible.

Design of Novel Frequency Generation Circuit with Application to Ultra-Wideband Distributed Oscillators

Given the urgence of a new paradigm in wireless digital trasmission which should allow for higher bit rate, lower latency and tigher delay constaints, it has been proposed to investigate the fundamental building blocks that at the circuital/device level, will boost the change towards a more efficient network architecture, with high capacity, higher bandwidth and a more satisfactory end user experience. At the core of each transciever, there are inherently analog devices capable of providing the carrier signal, the oscillators. It is strongly believed that many limitations in today's communication protocols, could be relieved by permitting high carrier frequency radio transmission, and having some degree of reconfigurability. This led us to studying distributed oscillator architectures which work in the microwave range and possess wideband tuning capability. As microvave oscillators are essentially nonlinear devices, a full nonlinear analyis, synthesis, and optimization had to be considered for their implementation. Consequently, all the most used nonlinear numerical techniques in commercial EDA software had been reviewed. An application of all the aforementioned techniques has been shown, considering a systems of three coupled oscillator ("triple push" oscillator) in which the stability of the various oscillating modes has been studied. Provided that a certain phase distribution is maintained among the oscillating elements, this topology permits a rise in the output power of the third harmonic; nevertheless due to circuit simmetry, "unwanted" oscillating modes coexist with the intenteded one. Starting with the necessary background on distributed amplification and distributed oscillator theory, the design of a four stage reverse mode distributed voltage controlled oscillator (DVCO) using lumped elments has been presented. All the design steps have been reported and for the first time a method for an optimized design with reduced variations in the output power has been presented. Ongoing work is devoted to model a wideband DVCO and to implement a frequency divider.

Estudi d'eines CASE que suporten OCLper a la generació automàtica de codi Java

Es tracta d'una recerca d'eines CASEque actualment suporten OCL en la generació automàtica de codi Java per estudiar-les ianalitzar-les a través d'un model de proves consistent en un diagrama de classes del modelestàtic de l'UML i una mostra variada d'instruccions OCL, amb l'objectiu de detectar lesseves mancances, analitzant el codi obtingut i determinar si controla o no cada tipus derestricció, i si s'han implementat bé en el codi.

Generació automàtica de codi Java amb ArgoUML

Aquesta memòria presenta un estudi de la generació automàtica de codi Java a partir de diagrames UML amb l'eina ArgoUML. El cicle de vida tradicional del programari presenta alguns problemes com la manca de sincronització entre codi i documentació, poca portabilitat i problemes de interoperabilidad. El paradigma MDA vol solucionar en part aquests problemes fent dels models el centre del desenvolupament del programari i apostant per la generació automàtica de models i codi.

J2EE : Generació automàtica de codi

Aquest projecte està enfocat a determinar l'estat actual de les principals eines de generació automàtica de codi que existeixen, analitzant les característiques principals de cada eina determinar-ne les funcionalitats.

Code: Aplicació per a la revisió d'activitats

Code és una aplicaicó web per a permetre el comentari remot d'activitats de programació. La interfície web està desenvolupada usat el Google Web Toolkit (GWT) per aconseguir un alt nivell d'interactivitat.

Cultural self-identification(s) and personal social networks among first and second-generation immigrants

L’estudi examina les relacions entre (1) les xarxes socials personals de la població immigrant resident a Barcelona i (2) les seves identitats culturals múltiples. L’objectiu principal de l’estudi és entendre com el contingut i l’estructura de les relacions socials dels immigrants facilita o dificulta (1) tenir un sentiment de pertinença a les noves cultures d’acollida, la catalana i la espanyola, i (2) la integració d’aquestes noves identitats socioculturals amb la seva identitat d’origen en una nova identitat bicultural cohesiva. El nostre plantejament inicial era que els immigrants amb xarxes socials més diverses des del punt de vista de la seva composició cultural tindrien més recursos socials i experiències cognitives més diverses , factors que afavoreixen les identificacions múltiples i la participació cívica. Els resultats de l’estudi mostren que el grau d’identificació dels participants amb la seva cultura ètnica o d’origen és força alt i, en certa mesura, més alt en comparació amb les cultures d’acollida ( catalana, cívica i espanyola). Tanmateix, el vincle dels participants amb les cultures d’acollida (p. ex., la cultura catalana) és prou rellevant per a indicar una orientació bicultural (catalana i ètnica). Les anàlisis de correlacions revelen que sentir-se català no impedeix sentir-se part de la comunitat etnocultural d’origen. A més, existeix una interrelació entre l'orientació cultural catalana i la identificació amb les comunitats cíviques locals. De la mateixa manera, tenir competències en llengua catalana no va en detriment de les competències en llengua castellana. Les anàlisis també mostren que factors com l’orientació cultural catalana, l’ús del català i la identificació amb la cultura catalana tenen una correlació positiva amb el grau de chohesio de la indentitat bicultural, afavoreixen el benestar psicològic i disminueixen l’estrès aculturatiu. L’anàlisi de les xarxes socials mostra que la identificació amb la cultura catalana, l’orientació cultural catalana i la integració de la identitat són factors clau per tenir xarxes socials més diverses des del punt de vista ètnic i lingüístic, amb menys membres del col•lectiu d’origen, i amb subgrups o “cliques” culturalment més heterogenis. La identificació espanyola també prediu, en mesura més reduïda, la diversitat de les xarxes. Els nostres resultats contribueixen a la recerca actual i les teories sobre interculturalitat i identitat cultural.

Automatic generation of active coordinates for quantum dynamics calculations: application to the dynamics of benzene photochemistry

A new practical method to generate a subspace of active coordinates for quantum dynamics calculations is presented. These reduced coordinates are obtained as the normal modes of an analytical quadratic representation of the energy difference between excited and ground states within the complete active space self-consistent field method. At the Franck-Condon point, the largest negative eigenvalues of this Hessian correspond to the photoactive modes: those that reduce the energy difference and lead to the conical intersection; eigenvalues close to 0 correspond to bath modes, while modes with large positive eigenvalues are photoinactive vibrations, which increase the energy difference. The efficacy of quantum dynamics run in the subspace of the photoactive modes is illustrated with the photochemistry of benzene, where theoretical simulations are designed to assist optimal control experiments

Cloud code test IDE

L'objectiu principal d'aquest projecte final de carrera consisteix en desenvolupar una aplicació web que oferisca un entorn simplificat de desenvolupament integrat (IDE) en el llenguatge C/C++, on els estudiants de batxillerat (o secundària en general) puguen iniciar-se en el seu estudi. La finalitat és proveir un entorn agradable a l'alumnat perquè puga seguir correctament les pràctiques que proposa el professor independentment de les circumstàncies pròpies d'aquest (ubicació temporal o permanentde l'alumnat, sistema operatiu que utilitza, dispositiu emprat per a fer les pràctiques, etc..).

Generation of mouse-induced pluripotent stem cells by transient expression of a single nonviral polycistronic vector

Induced pluripotent stem (iPS) cells have generated keen interestdue to their potential use in regenerative medicine. They havebeen obtained from various cell types of both mice and humans byexogenous delivery of different combinations of Oct4, Sox2, Klf4,c-Myc, Nanog, and Lin28. The delivery of these transcription factorshas mostly entailed the use of integrating viral vectors (retrovirusesor lentiviruses), carrying the risk of both insertional mutagenesisand oncogenesis due to misexpression of these exogenousfactors. Therefore, obtaining iPS cells that do not carry integratedtransgene sequences is an important prerequisite for their eventualtherapeutic use. Here we report the generation of iPS cell linesfrom mouse embryonic fibroblasts with no evidence of integrationof the reprogramming vector in their genome, achieved by nucleofectionof a polycistronic construct coexpressing Oct4, Sox2, Klf4,and c-Myc

A protocol describing the genetic correction of somatic human cells and subsequent generation of IPS cell

The generation of patient-specific induced pluripotent stem cells (iPSCPSCPSCs) offers unprecedented opportunities for modeling and treating human disease. In combination with gene therapy, the iPSCPSCPSC technology can be used to generate disease-free progenitor cells of potential interest for autologous cell therapy. We explain a protocol for the reproducible generation of genetically corrected iPSCPSCPSCs starting from the skin biopsies of Fanconi anemia patients using retroviral transduction with OCT4, SOX2 and KLF4. Before reprogramming, the fibroblasts and/or keratinocytes of the patients are genetically corrected with lentiviruses expressing FANCA. The same approach may be used for other diseases susceptible to gene therapy correction. Genetically corrected, characterized lines of patient-specific iPSCPSCPSCs can be obtained in 4–5 months.

Generation of induced pluripotent stem cells from human cord blood cells with only two factors:OCT4 and SOX2

Induced pluripotent stem cells (iPSC ) provide an invaluable resource for regenerative medicine as they allow the generationof patient-specific progenitors with potential value for cell therapy. However, in many instances, an off-the-shelf approach isdesirable, such as for cell therapy of acute conditions or when the patient’s somatic cells are altered as a consequence of a chronicdisease or aging. Cord blood (CB) stem cells appear ideally suited for this purpose as they are young cells expected to carryminimal somatic mutations and possess the immunological immaturity of newborn cells; additionally, several hundred thousandimmunotyped CB units are readily available through a worldwide network of CB banks. Here we present a detailed protocol for thederivation of CB stem cells and how they can be reprogrammed to pluripotency by retroviral transduction with only two factors(OCT 4 and SO X2) in 2 weeks and without the need for additional chemical compounds.