Refined Interfaces for Compositional Verification

The compositional verification approach of Graf & Steffen aims at avoiding state space explosion for individual processes of a concurrent system. It relies on interfaces that express the behavioural constraints imposed on each process by synchronization with the other processes, thus preventing the exploration of states and transitions that would not be reachable in the global state space. Krimm & Mounier, and Cheung & Kramer proposed two techniques to generate such interfaces automatically. In this report, we propose a refined interface generation technique that derives the interface of a process automatically from the examination of (a subset of) concurrent processes. This technique is applicable to formalisms where concurrent processes are composed either using synchronization vectors or process algebra parallel composition operators (including those of CCS, CSP, muCRL, LOTOS, and E-LOTOS). We implemented this approach in the EXP.OPEN 2.0 tool of the CADP toolbox. Several experiments indicate state space reductions by more than two orders of magnitude for the largest processes

In the beginning was game semantics

This article presents an overview of computability logic -- the game-semantically constructed logic of interactive computational tasks and resources. There is only one non-overview, technical section in it, devoted to a proof of the soundness of affine logic with respect to the semantics of computability logic. A comprehensive online source on the subject can be found at http://www.cis.upenn.edu/~giorgi/cl.htmlComment: To appear in: "Games: Unifying Logic, Language and Philosophy". O. Majer, A.-V. Pietarinen and T. Tulenheimo, eds. Springer Verlag, Berli

Longitudinal double-spin asymmetry and cross section for inclusive neutral pion production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV

We report a measurement of the longitudinal double-spin asymmetry A_LL and the differential cross section for inclusive Pi0 production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV. The cross section was measured over a transverse momentum range of 1 < p_T < 17 GeV/c and found to be in good agreement with a next-to-leading order perturbative QCD calculation. The longitudinal double-spin asymmetry was measured in the range of 3.7 < p_T < 11 GeV/c and excludes a maximal positive gluon polarization in the proton. The mean transverse momentum fraction of Pi0's in their parent jets was found to be around 0.7 for electromagnetically triggered events.Comment: 6 pages, 3 figures, submitted to Phys. Rev. D (RC

High pTp_{T} non-photonic electron production in pp+pp collisions at s\sqrt{s} = 200 GeV

We present the measurement of non-photonic electron production at high transverse momentum ($p_T >$ 2.5 GeV/$c$) in $p$ + $p$ collisions at $\sqrt{s}$ = 200 GeV using data recorded during 2005 and 2008 by the STAR experiment at the Relativistic Heavy Ion Collider (RHIC). The measured cross-sections from the two runs are consistent with each other despite a large difference in photonic background levels due to different detector configurations. We compare the measured non-photonic electron cross-sections with previously published RHIC data and pQCD calculations. Using the relative contributions of B and D mesons to non-photonic electrons, we determine the integrated cross sections of electrons ($\frac{e^++e^-}{2}$) at 3 GeV/$c < p_T <~$10 GeV/$c$ from bottom and charm meson decays to be ${d\sigma_{(B\to e)+(B\to D \to e)} \over dy_e}|_{y_e=0}$ = 4.0$\pm0.5$({\rm stat.})$\pm1.1$({\rm syst.}) nb and ${d\sigma_{D\to e} \over dy_e}|_{y_e=0}$ = 6.2$\pm0.7$({\rm stat.})$\pm1.5$({\rm syst.}) nb, respectively.Comment: 17 pages, 17 figure

Longitudinal scaling property of the charge balance function in Au + Au collisions at 200 GeV

We present measurements of the charge balance function, from the charged particles, for diverse pseudorapidity and transverse momentum ranges in Au + Au collisions at 200 GeV using the STAR detector at RHIC. We observe that the balance function is boost-invariant within the pseudorapidity coverage [-1.3, 1.3]. The balance function properly scaled by the width of the observed pseudorapidity window does not depend on the position or size of the pseudorapidity window. This scaling property also holds for particles in different transverse momentum ranges. In addition, we find that the width of the balance function decreases monotonically with increasing transverse momentum for all centrality classes.Comment: 6 pages, 3 figure

Measurement of the Bottom contribution to non-photonic electron production in p+pp+p collisions at s\sqrt{s} =200 GeV

The contribution of $B$ meson decays to non-photonic electrons, which are mainly produced by the semi-leptonic decays of heavy flavor mesons, in $p+p$ collisions at $\sqrt{s} =$ 200 GeV has been measured using azimuthal correlations between non-photonic electrons and hadrons. The extracted $B$ decay contribution is approximately 50% at a transverse momentum of $p_{T} \geq 5$ GeV/$c$. These measurements constrain the nuclear modification factor for electrons from $B$ and $D$ meson decays. The result indicates that $B$ meson production in heavy ion collisions is also suppressed at high $p_{T}$.Comment: 6 pages, 4 figures, accepted by PR

Guidelines for Modeling and Reporting Health Effects of Climate Change Mitigation Actions

Background: Modeling suggests that climate change mitigation actions can have substantial human health benefits that accrue quickly and locally. Documenting the benefits can help drive more ambitious and health-protective climate change mitigation actions; however, documenting the adverse health effects can help to avoid them. Estimating the health effects of mitigation (HEM) actions can help policy makers prioritize investments based not only on mitigation potential but also on expected health benefits. To date, however, the wide range of incompatible approaches taken to developing and reporting HEM estimates has limited their comparability and usefulness to policymakers. Objective: The objective of this effort was to generate guidance for modeling studies on scoping, estimating, and reporting population health effects from climate change mitigation actions. Methods: An expert panel of HEM researchers was recruited to participate in developing guidance for conducting HEM studies. The primary literature and a synthesis of HEM studies were provided to the panel. Panel members then participated in a modified Delphi exercise to identify areas of consensus regarding HEM estimation. Finally, the panel met to review and discuss consensus findings, resolve remaining differences, and generate guidance regarding conducting HEM studies. Results: The panel generated a checklist of recommendations regarding stakeholder engagement: HEM modeling, including model structure, scope and scale, demographics, time horizons, counterfactuals, health response functions, and metrics; parameterization and reporting; approaches to uncertainty and sensitivity analysis; accounting for policy uptake; and discounting. Discussion: This checklist provides guidance for conducting and reporting HEM estimates to make them more comparable and useful for policymakers. Harmonization of HEM estimates has the potential to lead to advances in and improved synthesis of policy-relevant research that can inform evidence-based decision making and practice

The ‘mosaic habitat’ concept in human evolution: past and present

The habitats preferred by hominins and other species are an important theme in palaeoanthropology, and the ‘mosaic habitat’ (also referred to as habitat heterogeneity) has been a central concept in this regard for the last four decades. Here we explore the development of this concept – loosely defined as a range of different habitat types, such as woodlands, riverine forest and savannah within a limited spatial area– in studies of human evolution in the last sixty years or so. We outline the key developments that took place before and around the time when the term ‘mosaic’ came to wider palaeoanthropological attention. To achieve this we used an analysis of the published literature, a study of illustrations of hominin evolution from 1925 onwards and an email survey of senior researchers in palaeoanthropology and related fields. We found that the term mosaic starts to be applied in palaeoanthropological thinking during the 1970’s due to the work of a number of researchers, including Karl Butzer and Glynn Isaac , with the earliest usage we have found of ‘mosaic’ in specific reference to hominin habitats being by Adriaan Kortlandt (1972). While we observe a steady increase in the numbers of publications reporting mosaic palaeohabitats, in keeping with the growing interest and specialisation in various methods of palaeoenvironmental reconstruction, we also note that there is a lack of critical studies that define this habitat, or examine the temporal and spatial scales associated with it. The general consensus within the field is that the concept now requires more detailed definition and study to evaluate its role in human evolution

System size dependence of associated yields in hadron-triggered jets

We present results on the system size dependence of high transverse momentum di-hadron correlations at $\sqrt{s_{NN}}$ = 200 GeV as measured by STAR at RHIC. Measurements in d+Au, Cu+Cu and Au+Au collisions reveal similar jet-like correlation yields at small angular separation ($\Delta\phi\sim0$, $\Delta\eta\sim0$) for all systems and centralities. Previous measurements have shown that the away-side yield is suppressed in heavy-ion collisions. We present measurements of the away-side suppression as a function of transverse momentum and centrality in Cu+Cu and Au+Au collisions. The suppression is found to be similar in Cu+Cu and Au+Au collisions at a similar number of participants. The results are compared to theoretical calculations based on the parton quenching model and the modified fragmentation model. The observed differences between data and theory indicate that the correlated yields presented here will provide important constraints on medium density profile and energy loss model parameters.Comment: 12 pages, 5 figure

Precision studies of QCD in the low energy domain of the EIC

peer reviewedThis White Paper aims at highlighting the important benefits in the science reach of the EIC. High luminosity operation is generally desirable, as it enables producing and harvesting scientific results in a shorter time period. It becomes crucial for programs that would require many months or even years of operation at lower luminosity