Concurrent system programming with effect handlers

© Springer International Publishing AG, part of Springer Nature 2018. Algebraic effects and their handlers have been steadily gaining attention as a programming language feature for composably expressing user-defined computational effects. While several prototype implementations of languages incorporating algebraic effects exist, Multicore OCaml incorporates effect handlers as the primary means of expressing concurrency in the language. In this paper, we make the observation that effect handlers can elegantly express particularly difficult programs that combine system programming and concurrency without compromising performance. Our experimental results on a highly concurrent and scalable web server demonstrate that effect handlers perform on par with highly optimised monadic concurrency libraries, while retaining the simplicity of direct-style code

Protocol for investigating genetic determinants of posttraumatic stress disorder in women from the Nurses' Health Study II

<p>Abstract</p> <p>Background</p> <p>One in nine American women will meet criteria for the diagnosis of posttraumatic stress disorder (PTSD) in their lifetime. Although twin studies suggest genetic influences account for substantial variance in PTSD risk, little progress has been made in identifying variants in specific genes that influence liability to this common, debilitating disorder.</p> <p>Methods and design</p> <p>We are using the unique resource of the Nurses Health Study II, a prospective epidemiologic cohort of 68,518 women, to conduct what promises to be the largest candidate gene association study of PTSD to date. The entire cohort will be screened for trauma exposure and PTSD; 3,000 women will be selected for PTSD diagnostic interviews based on the screening data. Our nested case-control study will genotype1000 women who developed PTSD following a history of trauma exposure; 1000 controls will be selected from women who experienced similar traumas but did not develop PTSD.</p> <p>The primary aim of this study is to detect genetic variants that predict the development of PTSD following trauma. We posit inherited vulnerability to PTSD is mediated by genetic variation in three specific neurobiological systems whose alterations are implicated in PTSD etiology: the hypothalamic-pituitary-adrenal axis, the locus coeruleus/noradrenergic system, and the limbic-frontal neuro-circuitry of fear. The secondary, exploratory aim of this study is to dissect genetic influences on PTSD in the broader genetic and environmental context for the candidate genes that show significant association with PTSD in detection analyses. This will involve: conducting conditional tests to identify the causal genetic variant among multiple correlated signals; testing whether the effect of PTSD genetic risk variants is moderated by age of first trauma, trauma type, and trauma severity; and exploring gene-gene interactions using a novel gene-based statistical approach.</p> <p>Discussion</p> <p>Identification of liability genes for PTSD would represent a major advance in understanding the pathophysiology of the disorder. Such understanding could advance the development of new pharmacological agents for PTSD treatment and prevention. Moreover, the addition of PTSD assessment data will make the NHSII cohort an unparalleled resource for future genetic studies of PTSD as well as provide the unique opportunity for the prospective examination of PTSD-disease associations.</p

Trauma-related emotions and radical acceptance in dialectical behavior therapy for posttraumatic stress disorder after childhood sexual abuse

Background: Posttraumatic Stress Disorder (PTSD) related to childhood sexual abuse (CSA) is often associated with a wide range of trauma-related aversive emotions such as fear, disgust, sadness, shame, guilt, and anger. Intense experience of aversive emotions in particular has been linked to higher psychopathology in trauma survivors. Most established psychosocial treatments aim to reduce avoidance of trauma-related memories and associated emotions. Interventions based on Dialectical Behavior Therapy (DBT) also foster radical acceptance of the traumatic event. Methods: This study compares individual ratings of trauma-related emotions and radical acceptance between the start and the end of DBT for PTSD (DBT-PTSD) related to CSA. We expected a decrease in trauma-related emotions and an increase in acceptance. In addition, we tested whether therapy response according to the Clinician Administered PTSD-Scale (CAPS) for the DSM-IV was associated with changes in trauma-related emotions and acceptance. The data was collected within a randomized controlled trial testing the efficacy of DBT-PTSD, and a subsample of 23 women was included in this secondary data analysis. Results: In a multilevel model, shame, guilt, disgust, distress, and fear decreased significantly from the start to the end of the therapy whereas radical acceptance increased. Therapy response measured with the CAPS was associated with change in trauma-related emotions. Conclusions: Trauma-related emotions and radical acceptance showed significant changes from the start to the end of DBT-PTSD. Future studies with larger sample sizes and control group designs are needed to test whether these changes are due to the treatment. Trial registration: ClinicalTrials.gov, number NCT0048100

The mismeasure of ape social cognition

In his classic analysis, The Mismeasure of Man, Gould (1981) demolished the idea that intelligence was an inherent, genetic trait of different human groups by emphasizing, among other things, (a) its sensitivity to environmental input, (b) the incommensurate pre-test preparation of different human groups, and (c) the inadequacy of the testing contexts, in many cases. According to Gould, the root cause of these oversights was confirmation bias by psychometricians, an unwarranted commitment to the idea that intelligence was a fixed, immutable quality of people. By virtue of a similar, systemic interpretive bias, in the last two decades, numerous contemporary researchers in comparative psychology have claimed human superiority over apes in social intelligence, based on two-group comparisons between postindustrial, Western Europeans and captive apes, where the apes have been isolated from European styles of social interaction, and tested with radically different procedures. Moreover, direct comparisons of humans with apes suffer from pervasive lapses in argumentation: Research designs in wide contemporary use are inherently mute about the underlying psychological causes of overt behavior. Here we analyze these problems and offer a more fruitful approach to the comparative study of social intelligence, which focuses on specific individual learning histories in specific ecological circumstances

The global abundance of tree palms

Aim: Palms are an iconic, diverse and often abundant component of tropical ecosystems that provide many ecosystem services. Being monocots, tree palms are evolutionarily, morphologically and physiologically distinct from other trees, and these differences have important consequences for ecosystem services (e.g., carbon sequestration and storage) and in terms of responses to climate change. We quantified global patterns of tree palm relative abundance to help improve understanding of tropical forests and reduce uncertainty about these ecosystems under climate change. Location: Tropical and subtropical moist forests. Time period: Current. Major taxa studied: Palms (Arecaceae). Methods: We assembled a pantropical dataset of 2,548 forest plots (covering 1,191 ha) and quantified tree palm (i.e., ≥10 cm diameter at breast height) abundance relative to co‐occurring non‐palm trees. We compared the relative abundance of tree palms across biogeographical realms and tested for associations with palaeoclimate stability, current climate, edaphic conditions and metrics of forest structure. Results: On average, the relative abundance of tree palms was more than five times larger between Neotropical locations and other biogeographical realms. Tree palms were absent in most locations outside the Neotropics but present in >80% of Neotropical locations. The relative abundance of tree palms was more strongly associated with local conditions (e.g., higher mean annual precipitation, lower soil fertility, shallower water table and lower plot mean wood density) than metrics of long‐term climate stability. Life‐form diversity also influenced the patterns; palm assemblages outside the Neotropics comprise many non‐tree (e.g., climbing) palms. Finally, we show that tree palms can influence estimates of above‐ground biomass, but the magnitude and direction of the effect require additional work. Conclusions: Tree palms are not only quintessentially tropical, but they are also overwhelmingly Neotropical. Future work to understand the contributions of tree palms to biomass estimates and carbon cycling will be particularly crucial in Neotropical forests

Measurement of the tt¯tt¯ production cross section in pp collisions at √s=13 TeV with the ATLAS detector

A measurement of four-top-quark production using proton-proton collision data at a centre-of-mass energy of 13 TeV collected by the ATLAS detector at the Large Hadron Collider corresponding to an integrated luminosity of 139 fb−1 is presented. Events are selected if they contain a single lepton (electron or muon) or an opposite-sign lepton pair, in association with multiple jets. The events are categorised according to the number of jets and how likely these are to contain b-hadrons. A multivariate technique is then used to discriminate between signal and background events. The measured four-top-quark production cross section is found to be 26+17−15 fb, with a corresponding observed (expected) significance of 1.9 (1.0) standard deviations over the background-only hypothesis. The result is combined with the previous measurement performed by the ATLAS Collaboration in the multilepton final state. The combined four-top-quark production cross section is measured to be 24+7−6 fb, with a corresponding observed (expected) signal significance of 4.7 (2.6) standard deviations over the background-only predictions. It is consistent within 2.0 standard deviations with the Standard Model expectation of 12.0 ± 2.4 fb

Measurements of W+W−+ ≥ 1 jet production cross-sections in pp collisions at s \sqrt{s} = 13 TeV with the ATLAS detector

Fiducial and differential cross-section measurements of W+W− production in association with at least one hadronic jet are presented. These measurements are sensitive to the properties of electroweak-boson self-interactions and provide a test of perturbative quantum chromodynamics and the electroweak theory. The analysis is performed using proton-proton collision data collected at p s = 13TeV with the ATLAS experiment, corresponding to an integrated luminosity of 139 fb−1. Events are selected with exactly one oppositely charged electron-muon pair and at least one hadronic jet with a transverse momentum of pT > 30 GeV and a pseudorapidity of |�| < 4.5. After subtracting the background contributions and correcting for detector effects, the jet-inclusive W+W−+ � 1 jet fiducial cross-section and W+W−+ jets differential cross-sections with respect to several kinematic variables are measured. These measurements include leptonic quantities, such as the lepton transverse momenta and the transverse mass of the W+W− system, as well as jet-related observables such as the leading jet transverse momentum and the jet multiplicity. Limits on anomalous triple-gauge-boson couplings are obtained in a phase space where interference between the Standard Model amplitude and the anomalous amplitude is enhanced

Measurements of sensor radiation damage in the ATLAS inner detector using leakage currents

Non-ionizing energy loss causes bulk damage to the silicon sensors of the ATLAS pixel and strip detectors. This damage has important implications for data-taking operations, charged-particle track reconstruction, detector simulations, and physics analysis. This paper presents simulations and measurements of the leakage current in the ATLAS pixel detector and semiconductor tracker as a function of location in the detector and time, using data collected in Run 1 (2010–2012) and Run 2 (2015–2018) of the Large Hadron Collider. The extracted fluence shows a much stronger |z|-dependence in the innermost layers than is seen in simulation. Furthermore, the overall fluence on the second innermost layer is significantly higher than in simulation, with better agreement in layers at higher radii. These measurements are important for validating the simulation models and can be used in part to justify safety factors for future detector designs and interventions.publishedVersio

Measurement of the energy asymmetry in t(t)over-barj production at 13 TeV with the ATLAS experiment and interpretation in the SMEFT framework

A measurement of the energy asymmetry in jet-associated top-quark pair production is presented using $$139\,{\mathrm {fb}}^{-1}$$ 139 fb - 1 of data collected by the ATLAS detector at the Large Hadron Collider during pp collisions at $$\sqrt{s}=13\,\text {TeV}$$ s = 13 TeV . The observable measures the different probability of top and antitop quarks to have the higher energy as a function of the jet scattering angle with respect to the beam axis. The energy asymmetry is measured in the semileptonic $$t{\bar{t}}$$ t t ¯ decay channel, and the hadronically decaying top quark must have transverse momentum above $$350\,\text {GeV}$$ 350 GeV . The results are corrected for detector effects to particle level in three bins of the scattering angle of the associated jet. The measurement agrees with the SM prediction at next-to-leading-order accuracy in quantum chromodynamics in all three bins. In the bin with the largest expected asymmetry, where the jet is emitted perpendicular to the beam, the energy asymmetry is measured to be $$-0.043\pm 0.020$$ - 0.043 ± 0.020 , in agreement with the SM prediction of $$-0.037\pm 0.003$$ - 0.037 ± 0.003 . Interpreting this result in the framework of the Standard Model effective field theory (SMEFT), it is shown that the energy asymmetry is sensitive to the top-quark chirality in four-quark operators and is therefore a valuable new observable in global SMEFT fits

Determination of the parton distribution functions of the proton using diverse ATLAS data from pp collisions at √s = 7, 8 and 13 TeV

This paper presents an analysis at next-to-next-to-leading order in the theory of quantum chromodynamics for the determination of a new set of proton parton distribution functions using diverse measurements in pp collisions at \sqrt{s} = 7, 8 and 13 TeV, performed by the ATLAS experiment at the Large Hadron Collider, together with deep inelastic scattering data from ep collisions at the HERA collider. The ATLAS data sets considered are differential cross-section measurements of inclusive W^{±} and Z/gamma^{*} boson production, W^{±} and Z boson production in association with jets, t\bar{t} production, inclusive jet production and direct photon production. In the analysis, particular attention is paid to the correlation of systematic uncertainties within and between the various ATLAS data sets and to the impact of model, theoretical and parameterisation uncertainties. The resulting set of parton distribution functions is called ATLASpdf21