Least - change bidirectional model transformation With QVT- R and ATL

QVT Relations (QVT-R) is the standard language proposed by the OMG to specify bidirectional model transformations. Unfortunately, in part due to ambiguities and omissions in the original semantics, acceptance and development of effective tool support has been slow. Recently, the checking semantics of QVTR has been clarified and formalized. In this article we propose a QVT-R tool that complies to such semantics. Unlike any other existing tool, it also supports metamodels enriched with OCL constraints (thus avoiding returning ill-formed models), and proposes an alternative enforcement semantics that works according to the simple and predictable “principle of least change”. The implementation is based on an embedding of both QVT-R transformations and UML class diagrams (annotated with OCL) in Alloy, a lightweight formal specification language with support for automatic model finding via SAT solving. We also show how this technique can be applied to bidirectionalize ATL, a popular (but unidirectional) model transformation language.This work is funded by ERDF-European Regional Development Fund through the COMPETE Programme (operational programme for competitiveness) and by national funds through the FCT-Fundacao para a Ciencia e a Tecnologia (Portuguese Foundation for Science and Technology) within project FCOMP-01-0124-FEDER-020532. The first author is also sponsored by FCT grant SFRH/BD/69585/2010. The authors would also like to thank all anonymous reviewers for the valuable comments and suggestions

Non-invasive measurements of exhaled NO and CO associated with methacholine responses in mice

<p>Abstract</p> <p>Background</p> <p>Nitric oxide (NO) and carbon monoxide (CO) in exhaled breath are considered obtainable biomarkers of physiologic mechanisms. Therefore, obtaining their measures simply, non-invasively, and repeatedly, is of interest, and was the purpose of the current study.</p> <p>Methods</p> <p>Expired NO (E_NO) and CO (E_CO) were measured non-invasively using a gas micro-analyzer on several strains of mice (C57Bl6, IL-10^-/-, A/J, MKK3^-/-, JNK1^-/-, NOS-2^-/-and NOS-3^-/-) with and without allergic airway inflammation (AI) induced by ovalbumin systemic sensitization and aerosol challenge, compared using independent-sample t-tests between groups, and repeated measures analysis of variance (ANOVA) within groups over time of inflammation induction. E_NOand E_COwere also measured in C57Bl6 and IL-10-/- mice, ages 8–58 weeks old, the relationship of which was determined by regression analysis. S-methionyl-L-thiocitrulline (SMTC), and tin protoporphyrin (SnPP) were used to inhibit neuronal/constitutive NOS-1 and heme-oxygenase, respectively, and alter NO and CO production, respectively, as assessed by paired t-tests. Methacholine-associated airway responses (AR) were measured by the enhanced pause method, with comparisons by repeated measures ANOVA and post-hoc testing.</p> <p>Results</p> <p>E_NOwas significantly elevated in naïve IL-10^-/-(9–14 ppb) and NOS-2^-/-(16 ppb) mice as compared to others (average: 5–8 ppb), whereas E_COwas significantly higher in naïve A/J, NOS-3^-/-(3–4 ppm), and MKK3^-/-(4–5 ppm) mice, as compared to others (average: 2.5 ppm). As compared to C57Bl6 mice, AR of IL-10^-/-, JNK1^-/-, NOS-2^-/-, and NOS-3^-/-mice were decreased, whereas they were greater for A/J and MKK3^-/-mice. SMTC significantly decreased E_NOby ~30%, but did not change AR in NOS-2^-/-mice. SnPP reduced E_COin C57Bl6 and IL-10^-/-mice, and increased AR in NOS-2^-/-mice. E_NOdecreased as a function of age in IL-10^-/-mice, remaining unchanged in C57Bl6 mice.</p> <p>Conclusion</p> <p>These results are consistent with the ideas that: 1) E_NOis associated with mouse strain and knockout differences in NO production and AR, 2) alterations of E_NOand E_COcan be measured non-invasively with induction of allergic AI or inhibition of key gas-producing enzymes, and 3) alterations in AR may be dependent on the relative balance of NO and CO in the airway.</p

Asteroseismology and Interferometry

Asteroseismology provides us with a unique opportunity to improve our understanding of stellar structure and evolution. Recent developments, including the first systematic studies of solar-like pulsators, have boosted the impact of this field of research within Astrophysics and have led to a significant increase in the size of the research community. In the present paper we start by reviewing the basic observational and theoretical properties of classical and solar-like pulsators and present results from some of the most recent and outstanding studies of these stars. We centre our review on those classes of pulsators for which interferometric studies are expected to provide a significant input. We discuss current limitations to asteroseismic studies, including difficulties in mode identification and in the accurate determination of global parameters of pulsating stars, and, after a brief review of those aspects of interferometry that are most relevant in this context, anticipate how interferometric observations may contribute to overcome these limitations. Moreover, we present results of recent pilot studies of pulsating stars involving both asteroseismic and interferometric constraints and look into the future, summarizing ongoing efforts concerning the development of future instruments and satellite missions which are expected to have an impact in this field of research.Comment: Version as published in The Astronomy and Astrophysics Review, Volume 14, Issue 3-4, pp. 217-36

Measurement of the cross-section of high transverse momentum vector bosons reconstructed as single jets and studies of jet substructure in pp collisions at √s = 7 TeV with the ATLAS detector

This paper presents a measurement of the cross-section for high transverse momentum W and Z bosons produced in pp collisions and decaying to all-hadronic final states. The data used in the analysis were recorded by the ATLAS detector at the CERN Large Hadron Collider at a centre-of-mass energy of √s = 7 TeV;{\rm Te}{\rm V}$and correspond to an integrated luminosity of$4.6\;{\rm f}{{{\rm b}}^{-1}}$. The measurement is performed by reconstructing the boosted W or Z bosons in single jets. The reconstructed jet mass is used to identify the W and Z bosons, and a jet substructure method based on energy cluster information in the jet centre-of-mass frame is used to suppress the large multi-jet background. The cross-section for events with a hadronically decaying W or Z boson, with transverse momentum${{p}_{{\rm T}}}\gt 320\;{\rm Ge}{\rm V}$and pseudorapidity$|\eta |\lt 1.9$, is measured to be${{\sigma }_{W+Z}}=8.5\pm 1.7$ pb and is compared to next-to-leading-order calculations. The selected events are further used to study jet grooming techniques

Observation of associated near-side and away-side long-range correlations in √sNN=5.02 TeV proton-lead collisions with the ATLAS detector

Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV

Search for pair-produced long-lived neutral particles decaying to jets in the ATLAS hadronic calorimeter in ppcollisions at √s=8TeV

The ATLAS detector at the Large Hadron Collider at CERN is used to search for the decay of a scalar boson to a pair of long-lived particles, neutral under the Standard Model gauge group, in 20.3fb−1of data collected in proton–proton collisions at √s=8TeV. This search is sensitive to long-lived particles that decay to Standard Model particles producing jets at the outer edge of the ATLAS electromagnetic calorimeter or inside the hadronic calorimeter. No significant excess of events is observed. Limits are reported on the product of the scalar boson production cross section times branching ratio into long-lived neutral particles as a function of the proper lifetime of the particles. Limits are reported for boson masses from 100 GeVto 900 GeV, and a long-lived neutral particle mass from 10 GeVto 150 GeV