A formal support to business and architectural design for service-oriented systems

Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria

Anomalous Chromomagnetic Moments of Quarks and Large Transverse Energy Jets

We consider the jet cross sections for gluons coupling to quarks with an anomalous chromomagnetic moment. We then apply this to the deviation and bounds from QCD found in the CDF and D0 Fermilab data, respectively, to find a range of possible values for the anomalous moments. The quadratic and quartic terms in the anomalous moments can fit to the rise of a deviation with transverse energy. Since previous analyses have been done on the top quark total cross section, here we assume the same moment on all quarks except the top and find the range $|\kappa'| \equiv |\kappa/(2 m_q)| = 1.0\pm 0.3$ TeV$^{-1}$ for the CDF data. Assuming the anomalous moment is present only on a charm or bottom quark which is pair produced results in a range $|\kappa'_{b,c}| = 3.5 \pm 1.0$ TeV$^{-1}$. The magnitudes here are compared with anomalous magnetic moments that could account for $R_b$ and found to be in the same general range, as well as not inconsistent with LEP and SLD bounds on $\Delta \Gamma_{\text{had}}$.Comment: REVTeX, 11 pages, 2 postscript figure

One-dimensional semiconductor in a polar solvent: Solvation and low-frequency dynamics of an excess charge carrier

Due to solvation, excess charge carriers on 1d semiconductor nanostructures immersed in polar solvents undergo self-localization into polaronic states. Using a simplified theoretical model for small-diameter structures, we study low-frequency properties of resulting 1d adiabatic polarons. The combined microscopic dynamics of the electronic charge density and the solvent leads to macroscopic Langevin dynamics of a polaron and to the appearance of local dielectric relaxation modes. Polaron mobility is evaluated as a function of system parameters. Numerical estimates indicate that the solvated carriers can have mobilities orders of magnitude lower than the intrinsic values.Comment: Typo in Eq.(12) has been correcte

Increased long-term mortality in women with high left ventricular ejection fraction: data from the CONFIRM (COronary CT Angiography EvaluatioN For Clinical Outcomes: An InteRnational Multicenter) long-term registry

Aims: There are significant sex-specific differences in left ventricular ejection fraction (LVEF), with a higher LVEF being observed in women. We sought to assess the clinical relevance of an increased LVEF in women and men. Methods and results: A total of 4632 patients from the CONFIRM (COronary CT Angiography EvaluatioN For Clinical Outcomes: An InteRnational Multicenter) registry (44.8% women; mean age 58.7 \ub1 13.2 years in men and 59.5 \ub1 13.3 years in women, P = 0.05), in whom LVEF was measured by cardiac computed tomography, were categorized according to LVEF (low <55%, normal 55-65%, and high >65%). The prevalence of high LVEF was similar in both sexes (33.5% in women and 32.5% in men, P = 0.46). After 6 years of follow-up, no difference in mortality was observed in patients with high LVEF in the overall cohort (P = 0.41). When data were stratified by sex, women with high LVEF died more often from any cause as compared to women with normal LVEF (8.6% vs. 7.1%, log rank P = 0.032), while an opposite trend was observed in men (5.8% vs. 6.8% in normal LVEF, log rank P = 0.89). Accordingly, a first order interaction term of male sex and high LVEF was significant (hazard ratios 0.63, 95% confidence intervals 0.41-0.98, P = 0.043) in a Cox regression model of all-cause mortality adjusted for age, cardiovascular risk factors, and severity of coronary artery disease (CAD). Conclusion: Increased LVEF is highly prevalent in patients referred for evaluation of CAD and is associated with an increased risk of death in women, but not in men. Differentiating between normal and hyperdynamic left ventricles might improve risk stratification in women with CAD

Machine Learning Framework to Identify Individuals at Risk of Rapid Progression of Coronary Atherosclerosis : From the PARADIGM Registry

Background Rapid coronary plaque progression (RPP) is associated with incident cardiovascular events. To date, no method exists for the identification of individuals at risk of RPP at a single point in time. This study integrated coronary computed tomography angiography-determined qualitative and quantitative plaque features within a machine learning (ML) framework to determine its performance for predicting RPP. Methods and Results Qualitative and quantitative coronary computed tomography angiography plaque characterization was performed in 1083 patients who underwent serial coronary computed tomography angiography from the PARADIGM (Progression of Atherosclerotic Plaque Determined by Computed Tomographic Angiography Imaging) registry. RPP was defined as an annual progression of percentage atheroma volume 651.0%. We employed the following ML models: model 1, clinical variables; model 2, model 1 plus qualitative plaque features; model 3, model 2 plus quantitative plaque features. ML models were compared with the atherosclerotic cardiovascular disease risk score, Duke coronary artery disease score, and a logistic regression statistical model. 224 patients (21%) were identified as RPP. Feature selection in ML identifies that quantitative computed tomography variables were higher-ranking features, followed by qualitative computed tomography variables and clinical/laboratory variables. ML model 3 exhibited the highest discriminatory performance to identify individuals who would experience RPP when compared with atherosclerotic cardiovascular disease risk score, the other ML models, and the statistical model (area under the receiver operating characteristic curve in ML model 3, 0.83 [95% CI 0.78-0.89], versus atherosclerotic cardiovascular disease risk score, 0.60 [0.52-0.67]; Duke coronary artery disease score, 0.74 [0.68-0.79]; ML model 1, 0.62 [0.55-0.69]; ML model 2, 0.73 [0.67-0.80]; all P<0.001; statistical model, 0.81 [0.75-0.87], P=0.128). Conclusions Based on a ML framework, quantitative atherosclerosis characterization has been shown to be the most important feature when compared with clinical, laboratory, and qualitative measures in identifying patients at risk of RPP

The state of the Martian climate

60°N was +2.0°C, relative to the 1981–2010 average value (Fig. 5.1). This marks a new high for the record. The average annual surface air temperature (SAT) anomaly for 2016 for land stations north of starting in 1900, and is a significant increase over the previous highest value of +1.2°C, which was observed in 2007, 2011, and 2015. Average global annual temperatures also showed record values in 2015 and 2016. Currently, the Arctic is warming at more than twice the rate of lower latitudes

Measurement of the Bottom-Strange Meson Mixing Phase in the Full CDF Data Set

We report a measurement of the bottom-strange meson mixing phase \beta_s using the time evolution of B0_s -> J/\psi (->\mu+\mu-) \phi (-> K+ K-) decays in which the quark-flavor content of the bottom-strange meson is identified at production. This measurement uses the full data set of proton-antiproton collisions at sqrt(s)= 1.96 TeV collected by the Collider Detector experiment at the Fermilab Tevatron, corresponding to 9.6 fb-1 of integrated luminosity. We report confidence regions in the two-dimensional space of \beta_s and the B0_s decay-width difference \Delta\Gamma_s, and measure \beta_s in [-\pi/2, -1.51] U [-0.06, 0.30] U [1.26, \pi/2] at the 68% confidence level, in agreement with the standard model expectation. Assuming the standard model value of \beta_s, we also determine \Delta\Gamma_s = 0.068 +- 0.026 (stat) +- 0.009 (syst) ps-1 and the mean B0_s lifetime, \tau_s = 1.528 +- 0.019 (stat) +- 0.009 (syst) ps, which are consistent and competitive with determinations by other experiments.Comment: 8 pages, 2 figures, Phys. Rev. Lett 109, 171802 (2012

Measurement of the polarisation of W bosons produced with large transverse momentum in pp collisions at sqrt(s) = 7 TeV with the ATLAS experiment

This paper describes an analysis of the angular distribution of W->enu and W->munu decays, using data from pp collisions at sqrt(s) = 7 TeV recorded with the ATLAS detector at the LHC in 2010, corresponding to an integrated luminosity of about 35 pb^-1. Using the decay lepton transverse momentum and the missing transverse energy, the W decay angular distribution projected onto the transverse plane is obtained and analysed in terms of helicity fractions f0, fL and fR over two ranges of W transverse momentum (ptw): 35 < ptw < 50 GeV and ptw > 50 GeV. Good agreement is found with theoretical predictions. For ptw > 50 GeV, the values of f0 and fL-fR, averaged over charge and lepton flavour, are measured to be : f0 = 0.127 +/- 0.030 +/- 0.108 and fL-fR = 0.252 +/- 0.017 +/- 0.030, where the first uncertainties are statistical, and the second include all systematic effects.Comment: 19 pages plus author list (34 pages total), 9 figures, 11 tables, revised author list, matches European Journal of Physics C versio

Observation of a new chi_b state in radiative transitions to Upsilon(1S) and Upsilon(2S) at ATLAS

The chi_b(nP) quarkonium states are produced in proton-proton collisions at the Large Hadron Collider (LHC) at sqrt(s) = 7 TeV and recorded by the ATLAS detector. Using a data sample corresponding to an integrated luminosity of 4.4 fb^-1, these states are reconstructed through their radiative decays to Upsilon(1S,2S) with Upsilon->mu+mu-. In addition to the mass peaks corresponding to the decay modes chi_b(1P,2P)->Upsilon(1S)gamma, a new structure centered at a mass of 10.530+/-0.005 (stat.)+/-0.009 (syst.) GeV is also observed, in both the Upsilon(1S)gamma and Upsilon(2S)gamma decay modes. This is interpreted as the chi_b(3P) system.Comment: 5 pages plus author list (18 pages total), 2 figures, 1 table, corrected author list, matches final version in Physical Review Letter

Search for displaced vertices arising from decays of new heavy particles in 7 TeV pp collisions at ATLAS

We present the results of a search for new, heavy particles that decay at a significant distance from their production point into a final state containing charged hadrons in association with a high-momentum muon. The search is conducted in a pp-collision data sample with a center-of-mass energy of 7 TeV and an integrated luminosity of 33 pb^-1 collected in 2010 by the ATLAS detector operating at the Large Hadron Collider. Production of such particles is expected in various scenarios of physics beyond the standard model. We observe no signal and place limits on the production cross-section of supersymmetric particles in an R-parity-violating scenario as a function of the neutralino lifetime. Limits are presented for different squark and neutralino masses, enabling extension of the limits to a variety of other models.Comment: 8 pages plus author list (20 pages total), 8 figures, 1 table, final version to appear in Physics Letters