Declarative Choreographies and Liveness

Part 1: Full PapersInternational audienceWe provide the first formal model for declarative choreographies, which is able to express general omega-regular liveness properties. We use the Dynamic Condition Response (DCR) graphs notation for both choreographies and end-points. We define end-point projection as a restriction of DCR graphs and derive the condition for end-point projectability from the causal relationships of the graph. We illustrate the results with a running example of a Buyer-Seller-Shipper protocol. All the examples are available for simulation in the online DCR workbench at http://dcr.tools/forte19

Does abscisic acid affect strigolactone biosynthesis?

Strigolactones are considered a novel class of plant hormones that, in addition to their endogenous signalling function, are exuded into the rhizosphere acting as a signal to stimulate hyphal branching of arbuscular mycorrhizal (AM) fungi and germination of root parasitic plant seeds. Considering the importance of the strigolactones and their biosynthetic origin (from carotenoids), we investigated the relationship with the plant hormone abscisic acid (ABA). Strigolactone production and ABA content in the presence of specific inhibitors of oxidative carotenoid cleavage enzymes and in several tomato ABA-deficient mutants were analysed by LC-MS/MS. In addition, the expression of two genes involved in strigolactone biosynthesis was studied. * • The carotenoid cleavage dioxygenase (CCD) inhibitor D2 reduced strigolactone but not ABA content of roots. However, in abamineSG-treated plants, an inhibitor of 9-cis-epoxycarotenoid dioxygenase (NCED), and the ABA mutants notabilis, sitiens and flacca, ABA and strigolactones were greatly reduced. The reduction in strigolactone production correlated with the downregulation of LeCCD7 and LeCCD8 genes in all three mutants. * • The results show a correlation between ABA levels and strigolactone production, and suggest a role for ABA in the regulation of strigolactone biosynthesis

Sub-femto-g free fall for space-based gravitational wave observatories: LISA pathfinder results

We report the first results of the LISA Pathfinder in-flight experiment. The results demonstrate that two free-falling reference test masses, such as those needed for a space-based gravitational wave observatory like LISA, can be put in free fall with a relative acceleration noise with a square root of the power spectral density of 5.2 ± 0.1 fm s−2/√Hz or (0.54 ± 0.01) × 10−15 g/√Hz, with g the standard gravity, for frequencies between 0.7 and 20 mHz. This value is lower than the LISA Pathfinder requirement by more than a factor 5 and within a factor 1.25 of the requirement for the LISA mission, and is compatible with Brownian noise from viscous damping due to the residual gas surrounding the test masses. Above 60 mHz the acceleration noise is dominated by interferometer displacement readout noise at a level of (34.8 ± 0.3) fm/√Hz, about 2 orders of magnitude better than requirements. At f ≤ 0.5 mHz we observe a low-frequency tail that stays below 12 fm s−2/√Hz down to 0.1 mHz. This performance would allow for a space-based gravitational wave observatory with a sensitivity close to what was originally foreseen for LISA

The My Active and Healthy Aging (My-AHA) ICT platform to detect and prevent frailty in older adults: Randomized control trial design and protocol

[EN] Introduction Frailty increases the risk of poor health outcomes, disability, hospitalization, and death in older adults and affects 7%¿12% of the aging population. Secondary impacts of frailty on psychological health and socialization are significant negative contributors to poor outcomes for frail older adults. Method The My Active and Healthy Aging (My-AHA) consortium has developed an information and communications technology¿based platform to support active and healthy aging through early detection of prefrailty and provision of individually tailored interventions, targeting multidomain risks for frailty across physical activity, cognitive activity, diet and nutrition, sleep, and psychosocial activities. Six hundred adults aged 60 years and older will be recruited to participate in a multinational, multisite 18-month randomized controlled trial to test the efficacy of the My-AHA platform to detect prefrailty and the efficacy of individually tailored interventions to prevent development of clinical frailty in this cohort. A total of 10 centers from Italy, Germany, Austria, Spain, United Kingdom, Belgium, Sweden, Japan, South Korea, and Australia will participate in the randomized controlled trial. Results Pilot testing (Alpha Wave) of the My-AHA platform and all ancillary systems has been completed with a small group of older adults in Europe with the full randomized controlled trial scheduled to commence in 2018. Discussion The My-AHA study will expand the understanding of antecedent risk factors for clinical frailty so as to deliver targeted interventions to adults with prefrailty. Through the use of an information and communications technology platform that can connect with multiple devices within the older adult's own home, the My-AHA platform is designed to measure an individual's risk factors for frailty across multiple domains and then deliver personalized domain-specific interventions to the individual. The My-AHA platform is technology-agnostic, enabling the integration of new devices and sensor platforms as they emerge.This project has received funding from the European Union's Horizon 2020 research and innovation program under grant agreement No 689582 and the Australian National Health and Medical Research Council (NHRMC) European Union grant scheme (1115818). M.J.S. reports personal fees from Eli Lilly (Australia) Pty Ltd and grants from Novotech Pty Ltd, outside the submitted work. All other authors report nothing to disclose.Summers, MJ.; Rainero, I.; Vercelli, AE.; Aumayr, GA.; De Rosario Martínez, H.; Mönter, M.; Kawashima, R. (2018). The My Active and Healthy Aging (My-AHA) ICT platform to detect and prevent frailty in older adults: Randomized control trial design and protocol. Alzheimer's and Dementia: Translational Research and Clinical Interventions. 4:252-262. https://doi.org/10.1016/j.trci.2018.06.004S2522624Blair, S. N. (1995). Changes in Physical Fitness and All-Cause Mortality. JAMA, 273(14), 1093. doi:10.1001/jama.1995.03520380029031Fried, L. P., Ferrucci, L., Darer, J., Williamson, J. D., & Anderson, G. (2004). Untangling the Concepts of Disability, Frailty, and Comorbidity: Implications for Improved Targeting and Care. The Journals of Gerontology Series A: Biological Sciences and Medical Sciences, 59(3), M255-M263. doi:10.1093/gerona/59.3.m255Gillick, M. (2001). Guest Editorial: Pinning Down Frailty. The Journals of Gerontology Series A: Biological Sciences and Medical Sciences, 56(3), M134-M135. doi:10.1093/gerona/56.3.m134Hamerman, D. (1999). Toward an Understanding of Frailty. Annals of Internal Medicine, 130(11), 945. doi:10.7326/0003-4819-130-11-199906010-00022Fried, L. P., Tangen, C. M., Walston, J., Newman, A. B., Hirsch, C., Gottdiener, J., … McBurnie, M. A. (2001). Frailty in Older Adults: Evidence for a Phenotype. The Journals of Gerontology Series A: Biological Sciences and Medical Sciences, 56(3), M146-M157. doi:10.1093/gerona/56.3.m146Panza, F., Solfrizzi, V., Barulli, M. R., Santamato, A., Seripa, D., Pilotto, A., & Logroscino, G. (2015). Cognitive Frailty: A Systematic Review of Epidemiological and Neurobiological Evidence of an Age-Related Clinical Condition. Rejuvenation Research, 18(5), 389-412. doi:10.1089/rej.2014.1637Soong, J., Poots, A., Scott, S., Donald, K., Woodcock, T., Lovett, D., & Bell, D. (2015). Quantifying the prevalence of frailty in English hospitals. BMJ Open, 5(10), e008456. doi:10.1136/bmjopen-2015-008456Varadhan, R., Walston, J., Cappola, A. R., Carlson, M. C., Wand, G. S., & Fried, L. P. (2008). Higher Levels and Blunted Diurnal Variation of Cortisol in Frail Older Women. The Journals of Gerontology Series A: Biological Sciences and Medical Sciences, 63(2), 190-195. doi:10.1093/gerona/63.2.190BROWN, I., RENWICK, R., & RAPHAEL, D. (1995). Frailty. International Journal of Rehabilitation Research, 18(2), 93-102. doi:10.1097/00004356-199506000-00001Buchner, D. M., & Wagner, E. H. (1992). Preventing Frail Health. Clinics in Geriatric Medicine, 8(1), 1-18. doi:10.1016/s0749-0690(18)30494-4Kojima, G., Iliffe, S., Jivraj, S., & Walters, K. (2016). Association between frailty and quality of life among community-dwelling older people: a systematic review and meta-analysis. Journal of Epidemiology and Community Health, 70(7), 716-721. doi:10.1136/jech-2015-206717Ory, M. G., Schechtman, K. B., Miller, J. P., Hadley, E. C., Fiatarone, M. A., … Province, M. A. (1993). Frailty and Injuries in Later Life: The FICSIT Trials. Journal of the American Geriatrics Society, 41(3), 283-296. doi:10.1111/j.1532-5415.1993.tb06707.xShamliyan, T., Talley, K. M. C., Ramakrishnan, R., & Kane, R. L. (2013). Association of frailty with survival: A systematic literature review. Ageing Research Reviews, 12(2), 719-736. doi:10.1016/j.arr.2012.03.001Woodhouse, K. W., & O’Mahony, M. S. (1997). Frailty and ageing. Age and Ageing, 26(4), 245-246. doi:10.1093/ageing/26.4.245CAMPBELL, A. J., & BUCHNER, D. M. (1997). Unstable disability and the fluctuations of frailty. Age and Ageing, 26(4), 315-318. doi:10.1093/ageing/26.4.315Drey, M., Pfeifer, K., Sieber, C. C., & Bauer, J. M. (2011). The Fried Frailty Criteria as Inclusion Criteria for a Randomized Controlled Trial: Personal Experience and Literature Review. Gerontology, 57(1), 11-18. doi:10.1159/000313433Albert, M. S., DeKosky, S. T., Dickson, D., Dubois, B., Feldman, H. H., Fox, N. C., … Phelps, C. H. (2011). The diagnosis of mild cognitive impairment due to Alzheimer’s disease: Recommendations from the National Institute on Aging-Alzheimer’s Association workgroups on diagnostic guidelines for Alzheimer’s disease. Alzheimer’s & Dementia, 7(3), 270-279. doi:10.1016/j.jalz.2011.03.008Petersen, R. C., Smith, G. E., Waring, S. C., Ivnik, R. J., Tangalos, E. G., & Kokmen, E. (1999). Mild Cognitive Impairment. Archives of Neurology, 56(3), 303. doi:10.1001/archneur.56.3.303Winblad, B., Palmer, K., Kivipelto, M., Jelic, V., Fratiglioni, L., Wahlund, L.-O., … Petersen, R. C. (2004). Mild cognitive impairment - beyond controversies, towards a consensus: report of the International Working Group on Mild Cognitive Impairment. Journal of Internal Medicine, 256(3), 240-246. doi:10.1111/j.1365-2796.2004.01380.xDubois, B., Hampel, H., Feldman, H. H., Scheltens, P., Aisen, P., … Andrieu, S. (2016). Preclinical Alzheimer’s disease: Definition, natural history, and diagnostic criteria. Alzheimer’s & Dementia, 12(3), 292-323. doi:10.1016/j.jalz.2016.02.002Moher, D., Hopewell, S., Schulz, K. F., Montori, V., Gotzsche, P. C., Devereaux, P. J., … Altman, D. G. (2010). CONSORT 2010 Explanation and Elaboration: updated guidelines for reporting parallel group randomised trials. BMJ, 340(mar23 1), c869-c869. doi:10.1136/bmj.c869Gray, L. C., Bernabei, R., Berg, K., Finne-Soveri, H., Fries, B. E., Hirdes, J. P., … Ariño-Blasco, S. (2008). Standardizing Assessment of Elderly People in Acute Care: The interRAI Acute Care Instrument. Journal of the American Geriatrics Society, 56(3), 536-541. doi:10.1111/j.1532-5415.2007.01590.xRadloff, L. S. (1977). The CES-D Scale. Applied Psychological Measurement, 1(3), 385-401. doi:10.1177/014662167700100306Guralnik, J. M., Simonsick, E. M., Ferrucci, L., Glynn, R. J., Berkman, L. F., Blazer, D. G., … Wallace, R. B. (1994). A Short Physical Performance Battery Assessing Lower Extremity Function: Association With Self-Reported Disability and Prediction of Mortality and Nursing Home Admission. Journal of Gerontology, 49(2), M85-M94. doi:10.1093/geronj/49.2.m85Powell, L. E., & Myers, A. M. (1995). The Activities-specific Balance Confidence (ABC) Scale. The Journals of Gerontology Series A: Biological Sciences and Medical Sciences, 50A(1), M28-M34. doi:10.1093/gerona/50a.1.m28Kendzierski, D., & DeCarlo, K. J. (1991). Physical Activity Enjoyment Scale: Two Validation Studies. Journal of Sport and Exercise Psychology, 13(1), 50-64. doi:10.1123/jsep.13.1.50Folstein, M. F., Folstein, S. E., & McHugh, P. R. (1975). «Mini-mental state». Journal of Psychiatric Research, 12(3), 189-198. doi:10.1016/0022-3956(75)90026-6Brandt, J. (1991). The hopkins verbal learning test: Development of a new memory test with six equivalent forms. Clinical Neuropsychologist, 5(2), 125-142. doi:10.1080/13854049108403297Lubben, J. E. (1988). Assessing social networks among elderly populations. Family & Community Health, 11(3), 42-52. doi:10.1097/00003727-198811000-00008Russell, D., Peplau, L. A., & Cutrona, C. E. (1980). The revised UCLA Loneliness Scale: Concurrent and discriminant validity evidence. Journal of Personality and Social Psychology, 39(3), 472-480. doi:10.1037/0022-3514.39.3.472De Vries, O. J., Peeters, G. M. E. E., Lips, P., & Deeg, D. J. H. (2013). Does frailty predict increased risk of falls and fractures? A prospective population-based study. Osteoporosis International, 24(9), 2397-2403. doi:10.1007/s00198-013-2303-zTheou, O., Stathokostas, L., Roland, K. P., Jakobi, J. M., Patterson, C., Vandervoort, A. A., & Jones, G. R. (2011). The Effectiveness of Exercise Interventions for the Management of Frailty: A Systematic Review. Journal of Aging Research, 2011, 1-19. doi:10.4061/2011/569194Cadore, E. (2014). Strength and Endurance Training Prescription in Healthy and Frail Elderly. Aging and Disease, 5(3), 183. doi:10.14336/ad.2014.0500183Cadore, E. L., Rodríguez-Mañas, L., Sinclair, A., & Izquierdo, M. (2013). Effects of Different Exercise Interventions on Risk of Falls, Gait Ability, and Balance in Physically Frail Older Adults: A Systematic Review. Rejuvenation Research, 16(2), 105-114. doi:10.1089/rej.2012.1397Gardner, M. M. (2001). Practical implementation of an exercise-based falls prevention programme. Age and Ageing, 30(1), 77-83. doi:10.1093/ageing/30.1.77Eng, J. J. (2010). Fitness and Mobility Exercise Program for Stroke. Topics in Geriatric Rehabilitation, 26(4), 310-323. doi:10.1097/tgr.0b013e3181fee736Wadlinger, H. A., & Isaacowitz, D. M. (2008). Looking happy: The experimental manipulation of a positive visual attention bias. Emotion, 8(1), 121-126. doi:10.1037/1528-3542.8.1.121MacLeod, C. (2012). Cognitive bias modification procedures in the management of mental disorders. Current Opinion in Psychiatry, 25(2), 114-120. doi:10.1097/yco.0b013e32834fda4aMensink, R. P., & Katan, M. B. (1989). Effect of a Diet Enriched with Monounsaturated or Polyunsaturated Fatty Acids on Levels of Low-Density and High-Density Lipoprotein Cholesterol in Healthy Women and Men. New England Journal of Medicine, 321(7), 436-441. doi:10.1056/nejm19890817321070

The European Solar Telescope

The European Solar Telescope (EST) is a project aimed at studying the magnetic connectivity of the solar atmosphere, from the deep photosphere to the upper chromosphere. Its design combines the knowledge and expertise gathered by the European solar physics community during the construction and operation of state-of-the-art solar telescopes operating in visible and near-infrared wavelengths: the Swedish 1m Solar Telescope, the German Vacuum Tower Telescope and GREGOR, the French Télescope Héliographique pour l'Étude du Magnétisme et des Instabilités Solaires, and the Dutch Open Telescope. With its 4.2 m primary mirror and an open configuration, EST will become the most powerful European ground-based facility to study the Sun in the coming decades in the visible and near-infrared bands. EST uses the most innovative technological advances: the first adaptive secondary mirror ever used in a solar telescope, a complex multi-conjugate adaptive optics with deformable mirrors that form part of the optical design in a natural way, a polarimetrically compensated telescope design that eliminates the complex temporal variation and wavelength dependence of the telescope Mueller matrix, and an instrument suite containing several (etalon-based) tunable imaging spectropolarimeters and several integral field unit spectropolarimeters. This publication summarises some fundamental science questions that can be addressed with the telescope, together with a complete description of its major subsystems

Measurements of long-range azimuthal anisotropies and associated Fourier coefficients for pp collisions at √s=5.02 and 13 TeV and p+Pb collisions at √sNN=5.02 TeV with the ATLAS detector

ATLAS measurements of two-particle correlations are presented for √s=5.02 and 13 TeV ppcollisions and for √sNN=5.02 TeV p+Pb collisions at the LHC. The correlation functions are measured as a function of relative azimuthal angle Δϕ, and pseudorapidity separation Δη, using charged particles detected within the pseudorapidity interval |η|2, is studied using a template fitting procedure to remove a “back-to-back” contribution to the correlation function that primarily arises from hard-scattering processes. In addition to the elliptic, cos (2Δϕ), modulation observed in a previous measurement, the pp correlation functions exhibit significant cos (3Δϕ) and cos (4Δϕ) modulation. The Fourier coefficients vn, n associated with the cos (nΔϕ) modulation of the correlation functions for n=2–4 are measured as a function of charged-particle multiplicity and charged-particle transverse momentum. The Fourier coefficients are observed to be compatible with cos (nϕ) modulation of per-event single-particle azimuthal angle distributions. The single-particle Fourier coefficients vn are measured as a function of charged-particle multiplicity, and charged-particle transverse momentum for n=2–4. The integrated luminosities used in this analysis are, 64nb−1 for the √s=13 TeV pp data, 170 nb−1 for the √ s = 5.02 TeV pp data, and 28 nb−1 for the √sNN = 5.02 TeV p+Pb data

Measurements of ψ(2S) and X(3872) → J/ψπ+π− production in pp collisions at √s=8 TeV with the ATLAS detector

Differential cross sections are presented for the prompt and non-prompt production of the hidden-charm states X(3872) and ψ(2S), in the decay mode J/ψπ+π−, measured using 11.4 fb−1 of pp collisions at √s=8 TeV by the ATLAS detector at the LHC. The ratio of cross-sections X(3872)/ψ(2S) is also given, separately for prompt and non-prompt components, as well as the non-prompt fractions of X(3872) and ψ(2S). Assuming independent single effective lifetimes for non-prompt X(3872) and ψ(2S) production gives RB=B(B→X(3872)+any)B(X(3872)→J/ψπ+π−)B(B→ψ(2S)+any)B(ψ(2S)→J/ψπ+π−)=(3.95±0.32(stat)±0.08(sys))×10−2RB=B(B→X(3872)+any)B(X(3872)→J/ψπ+π−)B(B→ψ(2S)+any)B(ψ(2S)→J/ψπ+π−)=(3.95±0.32(stat)±0.08(sys))×10−2 separating short- and long-lived contributions, assuming that the short-lived component is due to Bc decays, gives RB = (3.57 ± 0.33(stat) ± 0.11(sys)) × 10−2, with the fraction of non-prompt X(3872) produced via Bc decays for pT(X(3872)) > 10 GeV being (25 ± 13(stat) ± 2(sys) ± 5(spin))%. The distributions of the dipion invariant mass in the X(3872) and ψ(2S) decays are also measured and compared to theoretical predictions

Dark matter interpretations of ATLAS searches for the electroweak production of supersymmetric particles in s√=8 s=8 TeV proton-proton collisions

A selection of searches by the ATLAS experiment at the LHC for the electroweak production of SUSY particles are used to study their impact on the constraints on dark matter candidates. The searches use 20 fb−1 of proton-proton collision data at s √ =8 s=8 TeV. A likelihood-driven scan of a five-dimensional effective model focusing on the gaugino-higgsino and Higgs sector of the phenomenological minimal supersymmetric Standard Model is performed. This scan uses data from direct dark matter detection experiments, the relic dark matter density and precision flavour physics results. Further constraints from the ATLAS Higgs mass measurement and SUSY searches at LEP are also applied. A subset of models selected from this scan are used to assess the impact of the selected ATLAS searches in this five-dimensional parameter space. These ATLAS searches substantially impact those models for which the mass m(χ ~ 0 1 ) m(χ~10) of the lightest neutralino is less than 65 GeV, excluding 86% of such models. The searches have limited impact on models with larger m(χ ~ 0 1 ) m(χ~10) due to either heavy electroweakinos or compressed mass spectra where the mass splittings between the produced particles and the lightest supersymmetric particle is small

Search for dark matter produced in association with a hadronically decaying vector boson in pp collisions at sqrt (s) = 13 TeV with the ATLAS detector

A search is presented for dark matter produced in association with a hadronically decaying W or Z boson using 3.2 fb−1 of pp collisions at View the MathML sources=13 TeV recorded by the ATLAS detector at the Large Hadron Collider. Events with a hadronic jet compatible with a W or Z boson and with large missing transverse momentum are analysed. The data are consistent with the Standard Model predictions and are interpreted in terms of both an effective field theory and a simplified model containing dark matter