Chiral Supergravitons Interacting with a 0-Brane N-Extended NSR Super-Virasoro Group

We continue the development of the actions, S_{AFF}, by examining the cases where there are N fermionic degrees of freedom associated with a 0-brane. These actions correspond to the interaction of the N-extended super Virasoro algebra with the supergraviton and the associated SO(N) gauge field that accompanies the supermultiplet. The superfield formalism is used throughout so that supersymmetry is explicit.Comment: PACS: 04.65.+e, 11.15.-q, 11.25.-w, 12.60.

An Institutional Framework for Heterogeneous Formal Development in UML

We present a framework for formal software development with UML. In contrast to previous approaches that equip UML with a formal semantics, we follow an institution based heterogeneous approach. This can express suitable formal semantics of the different UML diagram types directly, without the need to map everything to one specific formalism (let it be first-order logic or graph grammars). We show how different aspects of the formal development process can be coherently formalised, ranging from requirements over design and Hoare-style conditions on code to the implementation itself. The framework can be used to verify consistency of different UML diagrams both horizontally (e.g., consistency among various requirements) as well as vertically (e.g., correctness of design or implementation w.r.t. the requirements)

Common mental disorders in young adults born late-preterm

Background Results of adulthood mental health of those born late-preterm (34 + 0–36 + 6 weeks + days of gestation) are mixed and based on national registers. We examined if late-preterm birth was associated with a higher risk for common mental disorders in young adulthood when using a diagnostic interview, and if this risk decreased as gestational age increased. Method A total of 800 young adults (mean = 25.3, s.d. = 0.62 years), born 1985–1986, participated in a follow-up of the Arvo Ylppö Longitudinal Study. Common mental disorders (mood, anxiety and substance use disorders) during the past 12 months were defined using the Composite International Diagnostic Interview (Munich version). Gestational age was extracted from hospital birth records and categorized into early-preterm (<34 + 0, n = 37), late-preterm (34 + 0–36 + 6, n = 106), term (37 + 0–41 + 6, n = 617) and post-term (≥42 + 0, n = 40). Results Those born late-preterm and at term were at a similar risk for any common mental disorder [odds ratio (OR) 1.11, 95% confidence interval (CI) 0.67–1.84], for mood (OR 1.11, 95% CI 0.54–2.25), anxiety (OR 1.00, 95% CI 0.40–2.50) and substance use (OR 1.31, 95% CI 0.74–2.32) disorders, and co-morbidity of these disorders (p = 0.38). While the mental disorder risk decreased significantly as gestational age increased, the trend was driven by a higher risk in those born early-preterm. Conclusions Using a cohort born during the advanced neonatal and early childhood care, we found that not all individuals born preterm are at risk for common mental disorders in young adulthood – those born late-preterm are not, while those born early-preterm are at a higher risk. Available resources for prevention and intervention should be targeted towards the preterm group born the earliest

Abstracting modelling languages: A reutilization approach

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-31095-9_9Proceedings of 24th International Conference, CAiSE 2012, Gdansk, Poland, June 25-29, 2012Model-Driven Engineering automates the development of information systems. This approach is based on the use of Domain-Specific Modelling Languages (DSMLs) for the description of the relevant aspects of the systems to be built. The increasing complexity of the target systems has raised the need for abstraction techniques able to produce simpler versions of the models, but retaining certain properties of interest. However, developing such abstractions for each DSML from scratch is a time and resource consuming activity. Our solution to this situation is a number of techniques to build reusable abstractions that are defined once and can be reused over families of modelling languages sharing certain requirements. As a proof of concept, we present a catalogue of reusable abstractions, together with an implementation in the MetaDepth multi-level meta-modelling tool.Work funded by the Spanish Ministry of Economy and Competitivity (TIN2011-24139), and the R&D programme of Madrid Region (S2009/TIC-1650)

Pre-pregnancy overweight or obesity and gestational diabetes as predictors of body composition in offspring twenty years later : evidence from two birth cohort studies

Background. Global prevalence of overweight/obesity and gestational diabetes (GDM) is increasing. In pregnant women both conditions affect offspring's later health. Overweight/obesity is a risk factor of GDM; to what extent maternal overweight/obesity explains long-term effects of GDM in offspring is unknown. Objective. To evaluate effects of maternal pre-pregnancy overweight/obesity (BMI ⩾25 kg/m2) and GDM, occurring together or separately, on body composition among adult offspring. Methods. Participants include 891 individuals aged 24.1 years (s.d. 1.4) from two longitudinal cohort studies (ESTER and AYLS). Adult offspring of normoglycemic mothers with overweight/obesity (ONOO, n=153), offspring of mothers with GDM (OGDM; n=191) and controls (n=547) underwent anthropometric measurements and bioimpedance analysis. GDM was diagnosed by oral glucose tolerance test. Data were analyzed by linear regression models adjusted for confounders. Results. Compared with controls, ONOO-participants showed higher BMI [men 1.64 kg/m2 (95% confidence interval 0.57, 2.72); women 1.41 kg/m2 (0.20, 2.63)] and fat percentage [men 2.70% (0.99, 4.41); women 2.98% (0.87, 5.09)] with larger waist circumferences [men 3.34 cm (0.68, 5.99); women 3.09 cm (0.35, 5.83)]. Likewise, OGDM-participants showed higher fat percentage [men 1.97% (0.32, 3.61); women 2.32% (0.24, 4.41)]. BMI was non-significantly different between OGDM-participants and controls [men 0.88kg/m2 (-0.17, 1.92); women 0.82 kg/m2 (-0.39, 2.04)]. Also waist circumferences were larger [men 2.63 cm (-0.01, 5.28); women 3.39 cm (0.60, 6.18)], this difference was statistically significant in OGDM-women only. Differences in body composition measures were stronger among offspring of women with both GDM and overweight/obesity. For instance, fat mass was higher among OGDM-participants of overweight mothers [men 4.24 kg (1.36, 7.11) vs controls; women 5.22 kg (1.33, 9.11)] than OGDM participants of normal weight mothers [men 1.50 kg (-2.11, 5.11) higher vs controls; women 1.57 kg (-3.27, 6.42)]. Conclusions. Maternal pre-pregnancy overweight and GDM are associated with unhealthy body size and composition in offspring over 20 years later. Effects of maternal pre-pregnancy overweight appear more pronounced

On verifying ATL transformations using 'off-the-shelf' SMT solvers

International audienceMDE is a software development process where models constitute pivotal elements of the software to be built. If models are well-specified, transformations can be employed for various purposes, e.g., to produce final code. However, transformations are only meaningful when they are 'correct': they must produce valid models from valid input models. A valid model has conformance to its meta-model and fulfils its constraints, usually written in OCL. In this paper, we propose a novel methodology to perform automatic, unbounded verification of ATL transformations. Its main component is a novel first-order semantics for ATL transformations, based on the interpretation of the corresponding rules and their execution semantics as first-order predicates. Although, our semantics is not complete, it does cover a significant subset of the ATL language. Using this semantics, transformation correctness can be automatically verified with respect to non-trivial OCL pre- and postconditions by using SMT solvers, e.g. Z3 and Yices

Temperature-induced melting of double-stranded DNA in the absence and presence of covalently bonded antitumour drugs: insight from molecular dynamics simulations

The difference in melting temperature of a double-stranded (ds) DNA molecule in the absence and presence of bound ligands can provide experimental information about the stabilization brought about by ligand binding. By simulating the dynamic behaviour of a duplex of sequence 5′-d(TAATAACGGATTATT)·5′-d(AATAATCCGTTATTA) in 0.1 M NaCl aqueous solution at 400 K, we have characterized in atomic detail its complete thermal denaturation profile in <200 ns. A striking asymmetry was observed on both sides of the central CGG triplet and the strand separation process was shown to be strongly affected by bonding in the minor groove of the prototypical interstrand crosslinker mitomycin C or the monofunctional tetrahydroisoquinolines trabectedin (Yondelis®), Zalypsis® and PM01183®. Progressive helix unzipping was clearly interspersed with some reannealing events, which were most noticeable in the oligonucleotides containing the monoadducts, which maintained an average of 6 bp in the central region at the end of the simulations. These significant differences attest to the demonstrated ability of these drugs to stabilize dsDNA, stall replication and transcription forks, and recruit DNA repair proteins. This stabilization, quantified here in terms of undisrupted base pairs, supports the view that these monoadducts can functionally mimic a DNA interstrand crosslink

Lo que la sociedad no quiere aceptar de algunas prácticas sexuales y sus implicaciones

Curso de Especial InterésEl objetivo del trabajo es promover la superación de estigmas y sesgos de algunas prácticas sexuales no aceptadas por la sociedad, a través de un curso dirigido a hombres y mujeres mayores de edad, el cual consiste en brindarle teorías, estadísticas y herramientas sobre cómo abordar temas tales como, derechos sexuales, reproductividad, género, erotismo y vinculación afectiva, además se recoge información sobre los tabúes y mitos a través de un formulario de tamizaje para personas mayores de 18 años.Resumen 1. Justificación 2. Marco Teórico 3. Marco metodológico 4. Criterios de inclusión y exclusión 5. Diseño y tamaño muestral 6. Consideraciones éticas 7. El producto 8. Resultados Conclusiones Referencias ApéndicesPregradoPsicólog