Modeling Concurrency in Parallel Debugging

We propose a description language, Data Path Expressions (DPEs), for modeling the behavior of parallel programs. We have designed DPEs as a high-level debugging language, where the debugging paradigm is for the programmer to describe the expected program behavior and for the debugger to compare the actual program behavior during execution to detect program errors. We classify DPEs into five subclasses according to syntactic criteria, and characterize their semantics in terms of a hierarchy of extended Petri Net models. The characterization demonstrates the power of DPEs for modeling (true) concurrency. We also present predecessor automata as a mechanism for implementing the third subclass of DPEs, which expresses bounded parallelism. Predecessor automata extend finite state automata to recognize or generate partial ordering graphs as well as strings, and provide efficient event recognizers for parallel debugging. We briefly describe the application of DPEs race conditions, deadlock and starvation

What do young athletes implicitly understand about psychological skills?

One reason sport psychologists teach psychological skills is to enhance performance in sport; but the value of psychological skills for young athletes is questionable because of the qualitative and quantitative differences between children and adults in their understanding of abstract concepts such as mental skills. To teach these skills effectively to young athletes, sport psychologists need to appreciate what young athletes implicitly understand about such skills because maturational (e.g., cognitive, social) and environmental (e.g., coaches) factors can influence the progressive development of children and youth. In the present qualitative study, we explored young athletes’ (aged 10–15 years) understanding of four basic psychological skills: goal setting, mental imagery, self-talk, and relaxation. Young athletes (n = 118: 75 males and 43 females) completed an open-ended questionnaire to report their understanding of these four basic psychological skills. Compared with the older youth athletes, the younger youth athletes were less able to explain the meaning of each psychological skill. Goal setting and mental imagery were better understood than self-talk and relaxation. Based on these findings, sport psychologists should consider adapting interventions and psychoeducational programs to match young athletes’ age and developmental level

Efficacy of a Commercial Weight Management Program Compared with a Do-It-Yourself Approach: A Randomized Clinical Trial

Importance: Given the prevalence of obesity, accessible and effective treatment options are needed to manage obesity and its comorbid conditions. Commercial weight management programs are a potential solution to the lack of available treatment, providing greater access at lower cost than clinic-based approaches, but few commercial programs have been rigorously evaluated. Objective: To compare the differences in weight change between individuals randomly assigned to a commercial weight management program and those randomly assigned to a do-it-yourself (DIY) approach. Design, Setting, and Participants: This 1-year, randomized clinical trial conducted in the United States, Canada, and United Kingdom between June 19, 2018, and November 30, 2019, enrolled 373 adults aged 18 to 75 years with a body mass index (BMI; calculated as weight in kilograms divided by height in meters squared) of 25 to 45. Assessors were blinded to treatment conditions. Interventions: A widely available commercial weight management program that included reduced requirements for dietary self-monitoring and recommendations for a variety of DIY approaches to weight loss. Main Outcomes and Measures: The primary outcomes were the difference in weight change between the 2 groups at 3 and 12 months. The a priori hypothesis was that the commercial program would result in greater weight loss than the DIY approach at 3 and 12 months. Analyses were performed on an intention-To-Treat basis. Results: The study include 373 participants (272 women [72.9%]; mean [SD] BMI, 33.8 [5.2]; 77 [20.6%] aged 18-34 years, 74 [19.8%] aged 35-43 years, 82 [22.0%] aged 44-52 years, and 140 [37.5%] aged 53-75 years). At 12 months, retention rates were 88.8% (166 of 187) for the commercial weight management program group and 95.7% (178 of 186) for the DIY group. At 3 months, participants in the commercial program had a mean (SD) weight loss of-3.8 (4.1) kg vs-1.8 (3.7) kg among those in the DIY group. At 12 months, participants in the commercial program had a mean (SD) weight loss of-4.4 (7.3) kg vs-1.7 (7.3) kg among those in the DIY group. The mean difference between groups was-2.0 kg (97.5% CI,-2.9 to-1.1 kg) at 3 months (P <.001) and-2.6 kg (97.5% CI,-4.3 to-0.8 kg) at 12 months (P <.001). A greater percentage of participants in the commercial program group than participants in the DIY group achieved loss of 5% of body weight at both 3 months (40.7% [72 of 177] vs 18.6% [34 of 183]) and 12 months (42.8% [71 of 166] vs 24.7% [44 of 178]). Conclusions and Relevance: Adults randomly assigned to a commercial weight management program with reduced requirements for dietary self-monitoring lost more weight and were more likely to achieve weight loss of 5% at 3 and 12 months than adults following a DIY approach. This study contributes data on the efficacy of commercial weight management programs and DIY weight management approaches. Trial Registration: ClinicalTrials.gov Identifier: NCT03571893

Measurement of the B0-anti-B0-Oscillation Frequency with Inclusive Dilepton Events

The $B^0$-$\bar B^0$ oscillation frequency has been measured with a sample of 23 million \B\bar B pairs collected with the BABAR detector at the PEP-II asymmetric B Factory at SLAC. In this sample, we select events in which both B mesons decay semileptonically and use the charge of the leptons to identify the flavor of each B meson. A simultaneous fit to the decay time difference distributions for opposite- and same-sign dilepton events gives $\Delta m_d = 0.493 \pm 0.012{(stat)}\pm 0.009{(syst)}$ ps$^{-1}$.Comment: 7 pages, 1 figure, submitted to Physical Review Letter

Weber and church governance: religious practice and economic activity

The debate about the relationship between religion and economic activity in the wake of Weber has been cast largely in terms of belief and values. This article suggests an alternative focus on practice. It argues that taken for granted practices of church governance formed to-hand resources for the organization of economic activity. The argument is developed through an examination of the historical development of church governance practices in the Presbyterian Church of Scotland, with particular emphasis on the way in which theological belief gave rise to practices of accountability and record keeping. In turn such practices contributed to a ‘culture of organization’ which had implications for economic activity. A focus on governance practices can help to illuminate enduring patterns of difference in the organization of economic activity

State of the climate in 2013

In 2013, the vast majority of the monitored climate variables reported here maintained trends established in recent decades. ENSO was in a neutral state during the entire year, remaining mostly on the cool side of neutral with modest impacts on regional weather patterns around the world. This follows several years dominated by the effects of either La Niña or El Niño events. According to several independent analyses, 2013 was again among the 10 warmest years on record at the global scale, both at the Earths surface and through the troposphere. Some regions in the Southern Hemisphere had record or near-record high temperatures for the year. Australia observed its hottest year on record, while Argentina and New Zealand reported their second and third hottest years, respectively. In Antarctica, Amundsen-Scott South Pole Station reported its highest annual temperature since records began in 1957. At the opposite pole, the Arctic observed its seventh warmest year since records began in the early 20th century. At 20-m depth, record high temperatures were measured at some permafrost stations on the North Slope of Alaska and in the Brooks Range. In the Northern Hemisphere extratropics, anomalous meridional atmospheric circulation occurred throughout much of the year, leading to marked regional extremes of both temperature and precipitation. Cold temperature anomalies during winter across Eurasia were followed by warm spring temperature anomalies, which were linked to a new record low Eurasian snow cover extent in May. Minimum sea ice extent in the Arctic was the sixth lowest since satellite observations began in 1979. Including 2013, all seven lowest extents on record have occurred in the past seven years. Antarctica, on the other hand, had above-average sea ice extent throughout 2013, with 116 days of new daily high extent records, including a new daily maximum sea ice area of 19.57 million km2 reached on 1 October. ENSO-neutral conditions in the eastern central Pacific Ocean and a negative Pacific decadal oscillation pattern in the North Pacific had the largest impacts on the global sea surface temperature in 2013. The North Pacific reached a historic high temperature in 2013 and on balance the globally-averaged sea surface temperature was among the 10 highest on record. Overall, the salt content in nearsurface ocean waters increased while in intermediate waters it decreased. Global mean sea level continued to rise during 2013, on pace with a trend of 3.2 mm yr-1 over the past two decades. A portion of this trend (0.5 mm yr-1) has been attributed to natural variability associated with the Pacific decadal oscillation as well as to ongoing contributions from the melting of glaciers and ice sheets and ocean warming. Global tropical cyclone frequency during 2013 was slightly above average with a total of 94 storms, although the North Atlantic Basin had its quietest hurricane season since 1994. In the Western North Pacific Basin, Super Typhoon Haiyan, the deadliest tropical cyclone of 2013, had 1-minute sustained winds estimated to be 170 kt (87.5 m s-1) on 7 November, the highest wind speed ever assigned to a tropical cyclone. High storm surge was also associated with Haiyan as it made landfall over the central Philippines, an area where sea level is currently at historic highs, increasing by 200 mm since 1970. In the atmosphere, carbon dioxide, methane, and nitrous oxide all continued to increase in 2013. As in previous years, each of these major greenhouse gases once again reached historic high concentrations. In the Arctic, carbon dioxide and methane increased at the same rate as the global increase. These increases are likely due to export from lower latitudes rather than a consequence of increases in Arctic sources, such as thawing permafrost. At Mauna Loa, Hawaii, for the first time since measurements began in 1958, the daily average mixing ratio of carbon dioxide exceeded 400 ppm on 9 May. The state of these variables, along with dozens of others, and the 2013 climate conditions of regions around the world are discussed in further detail in this 24th edition of the State of the Climate series. © 2014, American Meteorological Society. All rights reserved

The Physics of Star Cluster Formation and Evolution

© 2020 Springer-Verlag. The final publication is available at Springer via https://doi.org/10.1007/s11214-020-00689-4.Star clusters form in dense, hierarchically collapsing gas clouds. Bulk kinetic energy is transformed to turbulence with stars forming from cores fed by filaments. In the most compact regions, stellar feedback is least effective in removing the gas and stars may form very efficiently. These are also the regions where, in high-mass clusters, ejecta from some kind of high-mass stars are effectively captured during the formation phase of some of the low mass stars and effectively channeled into the latter to form multiple populations. Star formation epochs in star clusters are generally set by gas flows that determine the abundance of gas in the cluster. We argue that there is likely only one star formation epoch after which clusters remain essentially clear of gas by cluster winds. Collisional dynamics is important in this phase leading to core collapse, expansion and eventual dispersion of every cluster. We review recent developments in the field with a focus on theoretical work.Peer reviewe

Measurement of the cross section for isolated-photon plus jet production in pp collisions at √s=13 TeV using the ATLAS detector

The dynamics of isolated-photon production in association with a jet in proton–proton collisions at a centre-of-mass energy of 13 TeV are studied with the ATLAS detector at the LHC using a dataset with an integrated luminosity of 3.2 fb−1. Photons are required to have transverse energies above 125 GeV. Jets are identified using the anti- algorithm with radius parameter and required to have transverse momenta above 100 GeV. Measurements of isolated-photon plus jet cross sections are presented as functions of the leading-photon transverse energy, the leading-jet transverse momentum, the azimuthal angular separation between the photon and the jet, the photon–jet invariant mass and the scattering angle in the photon–jet centre-of-mass system. Tree-level plus parton-shower predictions from Sherpa and Pythia as well as next-to-leading-order QCD predictions from Jetphox and Sherpa are compared to the measurements

A search for resonances decaying into a Higgs boson and a new particle X in the XH → qqbb final state with the ATLAS detector

A search for heavy resonances decaying into a Higgs boson (H) and a new particle (X) is reported, utilizing 36.1 fb−1 of proton–proton collision data at collected during 2015 and 2016 with the ATLAS detector at the CERN Large Hadron Collider. The particle X is assumed to decay to a pair of light quarks, and the fully hadronic final state is analysed. The search considers the regime of high XH resonance masses, where the X and H bosons are both highly Lorentz-boosted and are each reconstructed using a single jet with large radius parameter. A two-dimensional phase space of XH mass versus X mass is scanned for evidence of a signal, over a range of XH resonance mass values between 1 TeV and 4 TeV, and for X particles with masses from 50 GeV to 1000 GeV. All search results are consistent with the expectations for the background due to Standard Model processes, and 95% CL upper limits are set, as a function of XH and X masses, on the production cross-section of the resonance

Combination of searches for Higgs boson pairs in pp collisions at \sqrts = 13 TeV with the ATLAS detector

This letter presents a combination of searches for Higgs boson pair production using up to 36.1 fb(-1) of proton-proton collision data at a centre-of-mass energy root s = 13 TeV recorded with the ATLAS detector at the LHC. The combination is performed using six analyses searching for Higgs boson pairs decaying into the b (b) over barb (b) over bar, b (b) over barW(+)W(-), b (b) over bar tau(+)tau(-), W+W-W+W-, b (b) over bar gamma gamma and W+W-gamma gamma final states. Results are presented for non-resonant and resonant Higgs boson pair production modes. No statistically significant excess in data above the Standard Model predictions is found. The combined observed (expected) limit at 95% confidence level on the non-resonant Higgs boson pair production cross-section is 6.9 (10) times the predicted Standard Model cross-section. Limits are also set on the ratio (kappa(lambda)) of the Higgs boson self-coupling to its Standard Model value. This ratio is constrained at 95% confidence level in observation (expectation) to -5.0 &lt; kappa(lambda) &lt; 12.0 (-5.8 &lt; kappa(lambda) &lt; 12.0). In addition, limits are set on the production of narrow scalar resonances and spin-2 Kaluza-Klein Randall-Sundrum gravitons. Exclusion regions are also provided in the parameter space of the habemus Minimal Supersymmetric Standard Model and the Electroweak Singlet Model. For complete list of authors see http://dx.doi.org/10.1016/j.physletb.2019.135103</p