PRISMA: Model-driven development of aspect-oriented software architectures

This summary presents a methodology for supporting the development of AOSAs following the MDD paradigm. This new methodology is called PRISMA and allows the code generation from models which specify functional and non-functional requirements.

Visualization of a student predictive model for 3D virtual environments driven to procedural training

This document presents theimplementation ofa Student Behavior Predictor Viewer(SBPV)for a student predictive model. The student predictive model is part of an intelligent tutoring system, and is built from logs of students’ behaviors in the “Virtual Laboratory of Agroforestry Biotechnology”implemented in a previous work.The SBPVis a tool for visualizing a 2D graphical representationof the extended automaton associated with any of the clusters ofthe student predictive model. Apart from visualizing the extended automaton, the SBPV supports the navigation across the automaton by means of desktop devices. More precisely, the SBPV allows user to move through the automaton, to zoom in/out the graphic or to locate a given state. In addition, the SBPV also allows user to modify the default layout of the automaton on the screen by changing the position of the states by means of the mouse. To developthe SBPV, a web applicationwas designedand implementedrelying on HTML5, JavaScript and C#.

Identification and correction of besouro's faults: impact on test‐driven development experiments

Context. This thesis is framed in experimental software engineering. More concretely, it addresses the problems arisen when assessing process conformance in test-driven development experiments conducted by UPM's Experimental Software Engineering group. Process conformance was studied using the Eclipse's plug-in tool Besouro. It has been observed that Besouro does not work correctly in some circumstances. It creates doubts about the correction of the existing experimental data which render it useless. Aim. The main objective of this work is the identification and correction of Besouro's faults. A secondary goal is fixing the datasets already obtained in past experiments to the maximum possible extent. This way, existing experimental results could be used with confidence. Method. (1) Testing Besouro using different sequences of events (creation methods, assertions etc..) to identify the underlying faults. (2) Fix the code and (3) fix the datasets using code specially created for this purpose. Results. (1) We confirmed the existence of several fault in Besouro's code that affected to Test-First and Test-Last episode identification. These faults caused the incorrect identification of 20% of episodes. (2) We were able to fix Besouro's code. (3) The correction of existing datasets was possible, subjected to some restrictions (such us the impossibility of tracing code size increase to programming time. Conclusion. The results of past experiments dependent upon Besouro's data could no be trustable. We have the suspicion that more faults remain in Besouro's code, whose identification requires further analysis.

A framework to identify primitives that represent usability within model-driven development methods

Nowadays, there are sound methods and tools which implement the Model-Driven Development approach (MDD) satisfactorily. However, MDD approaches focus on representing and generating code that represents functionality, behaviour and persistence, putting the interaction, and more specifically the usability, in a second place. If we aim to include usability features in a system developed with a MDD tool, we need to extend manually the generated code

Change-impact driven agile architecting

Trabajo Ya Publicado de Congreso CORE A

Pattern formation of parametrically driven surface waves induced by vibration

Esta tesis se centra en la generación de ondas superficiales subarmónicas en fluidos sometidos a vibración forzada en el régimen gravitatorio capilar con líquidos de baja viscosidad. Tres problemas diferentes han sido estudiados: un contenedor rectangular con vibración horizontal, la misma geometría pero con una combinación de vibración vertical y horizontal y un obstáculo completamente sumergido vibrado verticalmente en un contenedor grande. Se deriva una ecuación de amplitud desde primeros principios para describir las ondas subarmónicas con forzamiento parámetrico inducido por la vibración. La ecuación es bidimensional mientras que el problema original es tridimensional y admite un forzamiento espacial no uniforme. Usando esta ecuación los tres sistemas han sido analizados, centrándose en calcular la amplitud crítica, la orientación de los patrones y el carácter temporal de los patrones espaciotemporales, que pueden ser estrictamente subarmónicos o cuasiperiodicos con una frecuencia de modulación temporal. La dependencia con los parámetros adimensionales también se considera. La teoría será comparada con los experimentos disponibles en la literatura. Abstract This thesis focus on the generation of subharmonic surface waves on fluids subject to forced vibration in the gravity-capillary regime with liquids of small viscosity. Three different problems have been considered: a rectangular container under horizontal vibration; the same geometry but under a combination of horizontal and vertical vibration; and a fully submerged vertically vibrated obstacle in a large container. An amplitude equation is derived from first principles that fairly precisely describes the subharmonic surfaces waves parametrically driven by vibration. That equation is two dimensional while the underlying problem is three-dimensional and permits spatially nonuniform forcing. Using this equation, the three systems have been analyzed, focusing on the calculation of the threshold amplitude, the pattern orientation, and the temporal character of the spatio-temporal patterns, which can be either strictly subharmonic or quasi-periodic, showing an additional modulation frequency. Dependence on the non-dimensional parameters is also considered. The theory is compared with the experiments available in the literature.

Solar driven energy conversion applications based on 3C-SiC

There is a strong and growing worldwide research on exploring renewable energy resources. Solar energy is the most abundant, inexhaustible and clean energy source, but there are profound material challenges to capture, convert and store solar energy. In this work, we explore 3C-SiC as an attractive material towards solar-driven energy conversion applications: (i) Boron doped 3C-SiC as candidate for an intermediate band photovoltaic material, and (ii) 3C-SiC as a photoelectrode for solar-driven water splitting. Absorption spectrum of boron doped 3C-SiC shows a deep energy level at ~0.7 eV above the valence band edge. This indicates that boron doped 3C-SiC may be a good candidate as an intermediate band photovoltaic material, and that bulk like 3C-SiC can have sufficient quality to be a promising electrode for photoelectrochemical water splitting.

What role does climate change play in agricultural market uncertainty? An integrated assessment taking into account market-driven adjustments

Recent studies point to climate change being one of the long-term drivers of agricultural market uncertainty. To advance in the understanding of the influence of climate change on future agricultural market developments, we compare a reference scenario for 2030 with alternative simulation scenarios that differ regarding: (1) emission scenarios; (2) climate projections; and (3) the consideration of carbon fertilization effects. For each simulation scenario, the CAPRI model provides global and EU-wide impacts of climate change on agricultural markets. Results show that climate change would considerably affect agrifood markets up to 2030. Nevertheless, market-driven adaptation strategies (production intensification, trade adjustments) would soften the impact of yield shocks on supply and demand. As a result, regional changes in production would be lower than foreseen by other studies focused on supply effects.

Content mixing and membrane integrity during membrane fusion driven by pairing of isolated v-SNAREs and t-SNAREs

Membrane bilayer fusion has been shown to be mediated by v- and t-SNAREs initially present in separate populations of liposomes and to occur with high efficiency at a physiologically meaningful rate. Lipid mixing was demonstrated to involve both the inner and the outer leaflets of the membrane bilayer. Here, we use a fusion assay that relies on duplex formation of oligonucleotides introduced in separate liposome populations and report that SNARE proteins suffice to mediate complete membrane fusion accompanied by mixing of luminal content. We also find that SNARE-mediated membrane fusion does not compromise the integrity of liposomes.

Buoyancy-driven, rapid exhumation of ultrahigh-pressure metamorphosed continental crust

Preservation of ultrahigh-pressure (UHP) minerals formed at depths of 90–125 km require unusual conditions. Our subduction model involves underflow of a salient (250 ± 150 km wide, 90–125 km long) of continental crust embedded in cold, largely oceanic crust-capped lithosphere; loss of leading portions of the high-density oceanic lithosphere by slab break-off, as increasing volumes of microcontinental material enter the subduction zone; buoyancy-driven return toward midcrustal levels of a thin (2–15 km thick), low-density slice; finally, uplift, backfolding, normal faulting, and exposure of the UHP terrane. Sustained over ≈20 million years, rapid (≈5 mm/year) exhumation of the thin-aspect ratio UHP sialic sheet caught between cooler hanging-wall plate and refrigerating, downgoing lithosphere allows withdrawal of heat along both its upper and lower surfaces. The intracratonal position of most UHP complexes reflects consumption of an intervening ocean basin and introduction of a sialic promontory into the subduction zone. UHP metamorphic terranes consist chiefly of transformed, yet relatively low-density continental crust compared with displaced mantle material—otherwise such complexes could not return to shallow depths. Relatively rare metabasaltic, metagabbroic, and metacherty lithologies retain traces of phases characteristic of UHP conditions because they are massive, virtually impervious to fluids, and nearly anhydrous. In contrast, H2O-rich quartzofeldspathic, gneissose/schistose, more permeable metasedimentary and metagranitic units have backreacted thoroughly, so coesite and other UHP silicates are exceedingly rare. Because of the initial presence of biogenic carbon, and its especially sluggish transformation rate, UHP paragneisses contain the most abundantly preserved crustal diamonds.

A photosystem I reaction center driven by chlorophyll d in oxygenic photosynthesis

A far-red type of oxygenic photosynthesis was discovered in Acaryochloris marina, a recently found marine prokaryote that produces an atypical pigment chlorophyll d (Chl d). The purified photosystem I reaction center complex of A. marina contained 180 Chl d per 1 Chl a with PsaA–F, -L, -K, and two extra polypeptides. Laser excitation induced absorption changes of reaction center Chl d that was named P740 after its peak wavelength. A midpoint oxidation reduction potential of P740 was determined to be +335 mV. P740 uses light of significantly low quantum energy (740 nm = 1.68 eV) but generates a reducing power almost equivalent to that produced by a special pair of Chl a (P700) that absorbs red light at 700 nm (1.77 eV) in photosystem I of plants and cyanobacteria. The oxygenic photosynthesis based on Chl d might either be an acclimation to the far-red light environments or an evolutionary intermediate between the red-absorbing oxygenic and the far-red absorbing anoxygenic photosynthesis that uses bacteriochlorophylls.

Feedback-inducible nuclear-receptor-driven reporter gene expression in transgenic mice

Understanding nuclear receptor signaling in vivo would be facilitated by an efficient methodology to determine where a nuclear receptor is active. Herein, we present a feedback-inducible expression system in transgenic mice to detect activated nuclear receptor effector proteins by using an inducible reporter gene. With this approach, reporter gene induction is not limited to a particular tissue, and, thus, this approach provides the opportunity for whole-animal screens. Furthermore, the effector and reporter genes are combined to generate a single strain of transgenic mice, which enables direct and rapid analysis of the offspring. The system was applied to localize sites where the retinoic acid receptor ligand-binding domain is activated in vivo. The results identify previously discovered sources of retinoids in the embryo and indicate the existence of previously undiscovered regions of retinoic acid receptor signaling in vivo. Notably, the feedback-inducible nuclear-receptor-driven assay, combined with an independent in vitro assay, provides evidence for a site of retinoid synthesis in the isthmic mesenchyme. These data illustrate the potential of feedback-inducible nuclear-receptor-driven analyses for assessing in vivo activation patterns of nuclear receptors and for analyzing pharmacological properties of natural and synthetic ligands of potential therapeutic value.

Somatic hypermutation of the new antigen receptor gene (NAR) in the nurse shark does not generate the repertoire: Possible role in antigen-driven reactions in the absence of germinal centers

The new antigen receptor (NAR) gene in the nurse shark diversifies extensively by somatic hypermutation. It is not known, however, whether NAR somatic hypermutation generates the primary repertoire (like in the sheep) or rather is used in antigen-driven immune responses. To address this issue, the sequences of NAR transmembrane (Tm) and secretory (Sec) forms, presumed to represent the primary and secondary repertoires, respectively, were examined from the peripheral blood lymphocytes of three adult nurse sharks. More than 40% of the Sec clones but fewer than 11% of Tm clones contained five mutations or more. Furthermore, more than 75% of the Tm clones had few or no mutations. Mutations in the Sec clones occurred mostly in the complementarity-determining regions (CDR) with a significant bias toward replacement substitutions in CDR1; in Tm clones there was no significant bias toward replacements and only a low level of targeting to the CDRs. Unlike the Tm clones where the replacement mutational pattern was similar to that seen for synonymous changes, Sec replacements displayed a distinct pattern of mutations. The types of mutations in NAR were similar to those found in mouse Ig genes rather than to the unusual pattern reported for shark and Xenopus Ig. Finally, an oligoclonal family of Sec clones revealed a striking trend toward acquisition of glutamic/aspartic acid, suggesting some degree of selection. These data strongly suggest that hypermutation of NAR does not generate the repertoire, but instead is involved in antigen-driven immune responses.

A bcr-3 isoform of RARα-PML potentiates the development of PML-RARα-driven acute promyelocytic leukemia

Acute promyelocytic leukemia (APML) most often is associated with the balanced reciprocal translocation t(15;17) (q22;q11.2) and the expression of both the PML-RARα and RARα-PML fusion cDNAs that are formed by this translocation. In this report, we investigated the biological role of a bcr-3 isoform of RARα-PML for the development of APML in a transgenic mouse model. Expression of RARα-PML alone in the early myeloid cells of transgenic mice did not alter myeloid development or cause APML, but its expression significantly increased the penetrance of APML in mice expressing a bcr-1 isoform of PML-RARα (15% of animals developed APML with PML-RARα alone vs. 57% with both transgenes, P < 0.001). The latency of APML development was not altered substantially by the expression of RARα-PML, suggesting that it does not behave as a classical “second hit” for development of the disease. Leukemias that arose from doubly transgenic mice were less mature than those from PML-RARα transgenic mice, but they both responded to all-trans retinoic acid in vitro. These findings suggest that PML-RARα drives the development of APML and defines its basic phenotype, whereas RARα-PML potentiates this phenotype via mechanisms that are not yet understood.

Antigen-driven CD4+ T cell and HIV-1 dynamics: Residual viral replication under highly active antiretroviral therapy

Antigen-induced stimulation of the immune system can generate heterogeneity in CD4+ T cell division rates capable of explaining the temporal patterns seen in the decay of HIV-1 plasma RNA levels during highly active antiretroviral therapy. Posttreatment increases in peripheral CD4+ T cell counts are consistent with a mathematical model in which host cell redistribution between lymph nodes and peripheral blood is a function of viral burden. Model fits to patient data suggest that, although therapy reduces HIV replication below replacement levels, substantial residual replication continues. This residual replication has important consequences for long-term therapy and the evolution of drug resistance and represents a challenge for future treatment strategies.