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.

B and T lymphocyte attenuator regulates CD8+ T cell-intrinsic homeostasis and memory cell generation.

B and T lymphocyte attenuator (BTLA) is a negative regulator of T cell activation, but its function in vivo is not well characterized. Here we show that mice deficient in full-length BTLA or its ligand, herpesvirus entry mediator, had increased number of memory CD8(+) T cells. The memory CD8(+) T cell phenotype resulted from a T cell-intrinsic perturbation of the CD8(+) T cell pool. Naive BTLA-deficient CD8(+) T cells were more efficient than wild-type cells at generating memory in a competitive antigen-specific system. This effect was independent of the initial expansion of the responding antigen-specific T cell population. In addition, BTLA negatively regulated antigen-independent homeostatic expansion of CD4(+) and CD8(+) T cells. These results emphasize two central functions of BTLA in limiting T cell activity in vivo.

Autofluorescence Findings Of A Novel Maculopathy In Patient With Spinocerebellar Ataxia Type 1 And Of A Cone - Rod Type Retinal Dysfunction In Three Generation Family With Spinocerebellar Ataxia Type 7

Purpose: To report a novel maculopathy in a patient with SCA1. To describe autofluorescence findings in family with SCA7 and associated cone-rod retinal dysfunction.Methods: 4 affected patients from two families were assessed to investigate a progressive loss of visual acuity (VA). Examinations included fundus photography, autofluorescence (AF) fundus fluorescein angiogragraphy (FFA) and optical coherence tomography. Electroretinogram (full-field) was performed in 2 affected patients. All patients had color vision testing using Ishihara pseudoisochromatic plates. Molecular analysis was performed in family 2.Results: The patient with known diagnosis of SCA1 had a visual acuity of 20/200 bilaterally and dyschromatopsia. He had saccadic pursuit. Fundus examination showed mild retinal pigment epithelium (RPE) changes at the macula. OCT showed bilateral macular serous detachment, which was not obvious at the FFA and explained his VA. AF imaging showed a central hyperfluorescence. The 45 year old proband from family 2 had a visual acuity of 200/20 and dyschromatopsia. ERG testing showed cone type dysfunction of photoreceptors. Her daughter affected at a younger age had the same ERGs findings. Fundus examination showed mild RPE changes in proband, normal findings in her daughter. AF imaging of both patients showed a ring of high density AF around the fovea. The ring was also obvious on near infrared AF. Later onset of gait imbalance led to the diagnosis of SCA7Conclusions: Within the group of spinocerebellar ataxias, only the type 7 is associated with retinal dysfunction. We present the first report of maculopathy associated with SCA1 causing severe vision loss. The ring of high density AF in SCA7 confirmed an early retinal photoreceptor dysfunction in patient with normal fundus.

A comparison of results from MRIO and interregional computable general equilibrium (CGE) analyses of the impacts of a positive demand shock on the ‘CO2 trade balance’ between Scotland and the rest of the UK

In previous work we have applied the environmental multi-region input-output (MRIO) method proposed by Turner et al (2007) to examine the ‘CO2 trade balance’ between Scotland and the Rest of the UK. In McGregor et al (2008) we construct an interregional economy-environment input-output (IO) and social accounting matrix (SAM) framework that allows us to investigate methods of attributing responsibility for pollution generation in the UK at the regional level. This facilitates analysis of the nature and significance of environmental spillovers and the existence of an environmental ‘trade balance’ between regions. While the existence of significant data problems mean that the quantitative results of this study should be regarded as provisional, we argue that the use of such a framework allows us to begin to consider questions such as the extent to which a devolved authority like the Scottish Parliament can and should be responsible for contributing to national targets for reductions in emissions levels (e.g. the UK commitment to the Kyoto Protocol) when it is limited in the way it can control emissions, particularly with respect to changes in demand elsewhere in the UK. However, while such analysis is useful in terms of accounting for pollution flows in the single time period that the accounts relate to, it is limited when the focus is on modelling the impacts of any marginal change in activity. This is because a conventional demand-driven IO model assumes an entirely passive supply-side in the economy (i.e. all supply is infinitely elastic) and is further restricted by the assumption of universal Leontief (fixed proportions) technology implied by the use of the A and multiplier matrices. In this paper we argue that where analysis of marginal changes in activity is required, a more flexible interregional computable general equilibrium approach that models behavioural relationships in a more realistic and theory-consistent manner, is more appropriate and informative. To illustrate our analysis, we compare the results of introducing a positive demand stimulus in the UK economy using both IO and CGE interregional models of Scotland and the rest of the UK. In the case of the latter, we demonstrate how more theory consistent modelling of both demand and supply side behaviour at the regional and national levels affect model results, including the impact on the interregional CO2 ‘trade balance’.

The added value from adopting a CGE approach to analyse changes in environmental trade balances

The application of multi-region environmental input-output (IO) analysis to the problem of accounting for emissions generation (and/or resource use) under different accounting principles has become increasingly common in the ecological and environmental economics literature in particular, with applications at the international and interregional subnational level. However, while environmental IO analysis is invaluable in accounting for pollution flows in the single time period that the accounts relate to, it is limited when the focus is on modelling the impacts of any marginal change in activity. This is because a conventional demand-driven IO model assumes an entirely passive supply-side in the economy (i.e. all supply is infinitely elastic) and is further restricted by the assumption of universal Leontief (fixed proportions) technology implied by the use of the A and multiplier matrices. Where analysis of marginal changes in activity is required, extension from an IO accounting framework to a more flexible interregional computable general equilibrium (CGE) approach, where behavioural relationships can be modelled in a more realistic and theory-consistent manner, is appropriate. Our argument is illustrated by comparing the results of introducing a positive demand stimulus in the UK economy using IO and CGE interregional models of Scotland and the rest of the UK. In the case of the latter, we demonstrate how more theory consistent modelling of both demand and supply side behaviour at the regional and national levels effect model results, including the impact on the interregional CO2 ‘trade balance’.

Genome-wide patterns of latitudinal differentiation among populations of Drosophila melanogaster from North America.

Understanding the genetic underpinnings of adaptive change is a fundamental but largely unresolved problem in evolutionary biology. Drosophila melanogaster, an ancestrally tropical insect that has spread to temperate regions and become cosmopolitan, offers a powerful opportunity for identifying the molecular polymorphisms underlying clinal adaptation. Here, we use genome-wide next-generation sequencing of DNA pools ('pool-seq') from three populations collected along the North American east coast to examine patterns of latitudinal differentiation. Comparing the genomes of these populations is particularly interesting since they exhibit clinal variation in a number of important life history traits. We find extensive latitudinal differentiation, with many of the most strongly differentiated genes involved in major functional pathways such as the insulin/TOR, ecdysone, torso, EGFR, TGFβ/BMP, JAK/STAT, immunity and circadian rhythm pathways. We observe particularly strong differentiation on chromosome 3R, especially within the cosmopolitan inversion In(3R)Payne, which contains a large number of clinally varying genes. While much of the differentiation might be driven by clinal differences in the frequency of In(3R)P, we also identify genes that are likely independent of this inversion. Our results provide genome-wide evidence consistent with pervasive spatially variable selection acting on numerous loci and pathways along the well-known North American cline, with many candidates implicated in life history regulation and exhibiting parallel differentiation along the previously investigated Australian cline.

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.

Codex Search: propuesta e implementación de un sistema de recuperación de información de ámbito local basado en casos

CODEX SEARCH es un motor de recuperación de información especializado en derecho de extranjería que está basado en herramientas y conocimiento lingüísticos. Un motor o Sistema de Recuperación de Información (SRI) es un software capaz de localizar información en grandes colecciones documentales (entorno no trivial) en formato electrónico. Mediante un estudio previo se ha detectado que la extranjería es un ámbito discursivo en el que resulta difícil expresar la necesidad de información en términos de una consulta formal, objeto de los sistemas de recuperación actuales. Por lo tanto, para desarrollar un SRI eficiente en el dominio indicado no basta con emplear un modelo tradicional de RI, es decir, comparar los términos de la pregunta con los de la respuesta, básicamente porque no expresan implicaciones y porque no tiene que haber necesariamente una relación 1 a 1. En este sentido, la solución lingüística propuesta se basa en incorporar el conocimiento del especialista mediante la integración en el sistema de una librería de casos. Los casos son ejemplos de procedimientos aplicados por expertos a la solución de problemas que han ocurrido en la realidad y que han terminado en éxito o fracaso. Los resultados obtenidos en esta primera fase son muy alentadores pero es necesario continuar la investigación en este campo para mejorar el rendimiento del prototipo al que se puede acceder desde &http://161.116.36.139/~codex/&.

The SOCS3-independent expression of IDO2 supports the homeostatic generation of T regulatory cells by human dendritic cells.

Dendritic cells (DCs) are professional APCs that have a role in the initiation of adaptive immune responses and tolerance. Among the tolerogenic mechanisms, the expression of the enzyme IDO1 represents an effective tool to generate T regulatory cells. In humans, different DC subsets express IDO1, but less is known about the IDO1-related enzyme IDO2. In this study, we found a different pattern of expression and regulation between IDO1 and IDO2 in human circulating DCs. At the protein level, IDO1 is expressed only in circulating myeloid DCs (mDCs) and is modulated by PGE2, whereas IDO2 is expressed in both mDCs and plasmacytoid DCs and is not modulated by PGE2. In healthy subjects, IDO1 expression requires the presence of PGE2 and needs continuous transcription and translation, whereas IDO2 expression is constitutive, independent from suppressor of cytokine signaling 3 activity. Conversely, in patients suffering from inflammatory arthritis, circulating DCs express both IDO1 and IDO2. At the functional level, both mDCs and plasmacytoid DCs generate T regulatory cells through an IDO1/IDO2-dependent mechanism. We conclude that, in humans, whereas IDO1 provides an additional mechanism of tolerance induced by proinflammatory mediators, IDO2 is stably expressed in steady-state conditions and may contribute to the homeostatic tolerogenic capacity of DCs.

Gains from switching and evolutionary stability in multi-player matrix games.

In this paper we unify, simplify, and extend previous work on the evolutionary dynamics of symmetric N-player matrix games with two pure strategies. In such games, gains from switching strategies depend, in general, on how many other individuals in the group play a given strategy. As a consequence, the gain function determining the gradient of selection can be a polynomial of degree N-1. In order to deal with the intricacy of the resulting evolutionary dynamics, we make use of the theory of polynomials in Bernstein form. This theory implies a tight link between the sign pattern of the gains from switching on the one hand and the number and stability of the rest points of the replicator dynamics on the other hand. While this relationship is a general one, it is most informative if gains from switching have at most two sign changes, as is the case for most multi-player matrix games considered in the literature. We demonstrate that previous results for public goods games are easily recovered and extended using this observation. Further examples illustrate how focusing on the sign pattern of the gains from switching obviates the need for a more involved analysis.

Quantitative comparison of reconstruction methods for intra-voxel fiber recovery from diffusion MRI.

Validation is arguably the bottleneck in the diffusion magnetic resonance imaging (MRI) community. This paper evaluates and compares 20 algorithms for recovering the local intra-voxel fiber structure from diffusion MRI data and is based on the results of the "HARDI reconstruction challenge" organized in the context of the "ISBI 2012" conference. Evaluated methods encompass a mixture of classical techniques well known in the literature such as diffusion tensor, Q-Ball and diffusion spectrum imaging, algorithms inspired by the recent theory of compressed sensing and also brand new approaches proposed for the first time at this contest. To quantitatively compare the methods under controlled conditions, two datasets with known ground-truth were synthetically generated and two main criteria were used to evaluate the quality of the reconstructions in every voxel: correct assessment of the number of fiber populations and angular accuracy in their orientation. This comparative study investigates the behavior of every algorithm with varying experimental conditions and highlights strengths and weaknesses of each approach. This information can be useful not only for enhancing current algorithms and develop the next generation of reconstruction methods, but also to assist physicians in the choice of the most adequate technique for their studies.

Generation of a recombinant mouse-human chimaeric monoclonal antibody directed against human carcinoembryonic antigen.

A procedure was devised for the identification and specific cloning of functionally rearranged variable region immunoglobulin (Ig) gene segments from genomic DNA of a murine hybridoma cell line which produces a high-affinity monoclonal antibody (MAb) directed against human carcinoembryonic antigen (CEA). The cloned, functionally-rearranged murine Ig H-chain and L-chain variable region gene segments were incorporated into plasmid vectors capable of directing the expression of a chimaeric mouse-human antibody molecule with human (gamma 4, kappa) constant region sequences. Expression plasmids were transfected into a mouse myeloma cell line by electroporation and transfectomas secreting functional chimaeric antibody selected. Chimaeric antibody generated by transfectomas was analysed and shown to compete effectively with its murine counterpart for binding to the CEA epitope, and to have an equivalent antigen-binding affinity. This anti-CEA recombinant antibody should find application in in vivo diagnosis by immunoscintigraphy of human colonic carcinoma, and possibly also in therapy of the disease, overcoming some of the difficulties associated with the repeated use of non-human immunoglobulins in human patients.

Next generation sequencing of pooled samples reveals new SNRNP200 mutations associated with retinitis pigmentosa.

The gene SNRNP200 is composed of 45 exons and encodes a protein essential for pre-mRNA splicing, the 200 kDa helicase hBrr2. Two mutations in SNRNP200 have recently been associated with autosomal dominant retinitis pigmentosa (adRP), a retinal degenerative disease, in two families from China. In this work we analyzed the entire 35-Kb SNRNP200 genomic region in a cohort of 96 unrelated North American patients with adRP. To complete this large-scale sequencing project, we performed ultra high-throughput sequencing of pooled, untagged PCR products. We then validated the detected DNA changes by Sanger sequencing of individual samples from this cohort and from an additional one of 95 patients. One of the two previously known mutations (p.S1087L) was identified in 3 patients, while 4 new missense changes (p.R681C, p.R681H, p.V683L, p.Y689C) affecting highly conserved codons were identified in 6 unrelated individuals, indicating that the prevalence of SNRNP200-associated adRP is relatively high. We also took advantage of this research to evaluate the pool-and-sequence method, especially with respect to the generation of false positive and negative results. We conclude that, although this strategy can be adopted for rapid discovery of new disease-associated variants, it still requires extensive validation to be used in routine DNA screenings. © 2011 Wiley-Liss, Inc.

Three Generation Family With Pattern Dystrophy and a Successful Treatment of Subfoveal Cnv Related to Pattern Dystrophy With Anti-vegf Intravitreal Injections

Purpose: To phenotype a large 3 generation Swiss family with pattern dystrophy and to report a successful result of treatment with ranibizumab of a subfoveal choroidal neovascularisation (CNV) associated with pattern dystrophy in 1 patient Patients and methods: 4 affected and 3 unaffected patients (3 female 4 male, age range: 19 - 80 years) were assessed with a complete ophthalmologic examination. AF images were taken using Heidelberg Retina Angiograph and the digital color photos, fluorescein angiogragraphy (FFA) using the same TOPCON 501 camera. Electroretinogram (full-field and multifocal) was performed in 1 affected patient. One 48 years old patient developed a subfoveal CNV, which was treated with 2 injections of ranibizumab, at 3 months interval. Blood sample was taken for molecular analysis (screening of the gene RDS). Results: Two patients had a typical fundoscopic appearance of pattern dystrophy with butterfly shaped deposit at the fovea and some peripheral flecks, as shown with AF imaging.. Two others affected patients had a more unusual appearance with some macular atrophy in one or both eyes, surrounded by flecks. The visual acuity ranged from 1.0 to 0.1 according to Snellen EDTRS chart. The patient with subfoveal CNV presented a drop of vision form 1.0 to 0.6 within 10 days prior to the diagnosis and also reported some metamorphopsia. FFA and optical computerized tomography (OCT) confirmed a classic CNV. After the 1st injection her vision improved to 1.0 but persistent metamorphopsia and fluid on OCT motivated a second injection. One month after the second injection the OCT was flat and the patient had no symptoms. The results of RDS screening will be presented at the meeting. Conclusion: We present a family with pattern dystrophy, with some members having an unusual fundus appearance, which was mistaken for an early onset dry AMD. The AF imaging is a useful tool in diagnosing this condition. A CNV associated with pattern dystrophy a rare. This is the first report of a successful treatment of the CNV with anti-VEGF intravitreal injections.

The debate over the effector function of eosinophils in helminth infection: new evidence from studies on the regulation of vaccine immunity by IL-12

The production of Th1-type cytokines is associated with strong cell-mediated immunity while Th2-type cytokines are typically involved in the generation of humoral immune responses. In mice vaccinated a single time (1X) with attenuated cercariae of Schistosoma mansoni, the immunity induced is highly dependent on CD4+ T cells and IFN-gamma. In contrast, mice vaccinated multiple times (3X) have decreased IFN-gamma expression, develop a more dominant Th2-type cytokine response as well as protective antibodies which can passively transfer immunity to naive recipients. Previously, we demonstrated the ability of IL-12, a potent IFN-gamma-inducing cytokine to enhance (1X) schistosome cell-mediated immunity when administered during the period of immunization. More recently, we asked what effects IL-12 would have on the development humoral-based immunity. While multiply-immunized/saline-treated mice demonstrated a 70-80% reduction in parasite burden, 3X/IL-12-vaccinated animals displayed an even more striking >90% reduction in challenge infection, with many mice in the later group demonstrating complete protection. Analysis of pulmonary cytokine mRNA responses demonstrated that control challenged mice elicited a dominant Th2-type response, 3X/saline-vaccinated produced a mixed Th1/Th2-type cytokine response, while 3X/IL-12-immunized animals displayed a dominant Th1-type response. The IL-12-treated group also showed a marked reduction in total serum IgE and tissue eosinophilia while SWAP-specific IgG2a and IgG2b Abs were elevated. Interestingly, animals vaccinated with IL-12 also showed a highly significant increase in total Ig titers specific for IrV-5, a known protective antigen. More importantly, 3X/IL-12 serum alone, when transferred to naive mice reduced worm burdens by over 60% while 3X/saline serum transferred significantly less protection. Nevertheless, animals vaccinated in the presence of IL-12 also develop macrophages with enhanced nitric oxide dependent killing activity against the parasites. Together, these observations suggest that IL-12, initially described as an adjuvant for cell-mediated immunity, may also be used as an adjuvant for promoting both humoral and cell-mediated protective responses.