A semantical approach to equilibria and rationality

Game theoretic equilibria are mathematical expressions of rationality. Rational agents are used to model not only humans and their software representatives, but also organisms, populations, species and genes, interacting with each other and with the environment. Rational behaviors are achieved not only through conscious reasoning, but also through spontaneous stabilization at equilibrium points. Formal theories of rationality are usually guided by informal intuitions, which are acquired by observing some concrete economic, biological, or network processes. Treating such processes as instances of computation, we reconstruct and refine some basic notions of equilibrium and rationality from the some basic structures of computation. It is, of course, well known that equilibria arise as fixed points; the point is that semantics of computation of fixed points seems to be providing novel methods, algebraic and coalgebraic, for reasoning about them.Comment: 18 pages; Proceedings of CALCO 200

Stateful Contracts for Affine Types

Abstract. Affine type systems manage resources by preventing some values from being used more than once. This offers expressiveness and performance benefits, but difficulty arises in interacting with components written in a conventional language whose type system provides no way to maintain the affine type system’s aliasing invariants. We propose and implement a technique that uses behavioral contracts to mediate between code written in an affine language and code in a conventional typed language. We formalize our approach via a typed calculus with both affine-typed and conventionally-typed modules. We show how to preserve the guarantees of both type systems despite both languages being able to call into each other and exchange higher-order values.

Reactive Halogens in the Marine Boundary Layer (RHaMBLe): The tropical North Atlantic experiments

The NERC UK SOLAS-funded Reactive Halogens in the Marine Boundary Layer (RHaMBLe) programme comprised three field experiments. This manuscript presents an overview of the measurements made within the two simultaneous remote experiments conducted in the tropical North Atlantic in May and June 2007. Measurements were made from two mobile and one ground-based platforms. The heavily instrumented cruise D319 on the RRS Discovery from Lisbon, Portugal to São Vicente, Cape Verde and back to Falmouth, UK was used to characterise the spatial distribution of boundary layer components likely to play a role in reactive halogen chemistry. Measurements onboard the ARSF Dornier aircraft were used to allow the observations to be interpreted in the context of their vertical distribution and to confirm the interpretation of atmospheric structure in the vicinity of the Cape Verde islands. Long-term ground-based measurements at the Cape Verde Atmospheric Observatory (CVAO) on São Vicente were supplemented by long-term measurements of reactive halogen species and characterisation of additional trace gas and aerosol species during the intensive experimental period. This paper presents a summary of the measurements made within the RHaMBLe remote experiments and discusses them in their meteorological and chemical context as determined from these three platforms and from additional meteorological analyses. Air always arrived at the CVAO from the North East with a range of air mass origins (European, Atlantic and North American continental). Trace gases were present at stable and fairly low concentrations with the exception of a slight increase in some anthropogenic components in air of North American origin, though NOx mixing ratios during this period remained below 20 pptv (note the non-IUPAC adoption in this manuscript of pptv and ppbv, equivalent to pmol mol−1 and nmol mol−1 to reflect common practice). Consistency with these air mass classifications is observed in the time series of soluble gas and aerosol composition measurements, with additional identification of periods of slightly elevated dust concentrations consistent with the trajectories passing over the African continent. The CVAO is shown to be broadly representative of the wider North Atlantic marine boundary layer; measurements of NO, O3 and black carbon from the ship are consistent with a clean Northern Hemisphere marine background. Aerosol composition measurements do not indicate elevated organic material associated with clean marine air. Closer to the African coast, black carbon and NO levels start to increase, indicating greater anthropogenic influence. Lower ozone in this region is possibly associated with the increased levels of measured halocarbons, associated with the nutrient rich waters of the Mauritanian upwelling. Bromide and chloride deficits in coarse mode aerosol at both the CVAO and on D319 and the continuous abundance of inorganic gaseous halogen species at CVAO indicate significant reactive cycling of halogens. Aircraft measurements of O3 and CO show that surface measurements are representative of the entire boundary layer in the vicinity both in diurnal variability and absolute levels. Above the inversion layer similar diurnal behaviour in O3 and CO is observed at lower mixing ratios in the air that had originated from south of Cape Verde, possibly from within the ITCZ. ECMWF calculations on two days indicate very different boundary layer depths and aircraft flights over the ship replicate this, giving confidence in the calculated boundary layer depth

Measurements of long-range near-side angular correlations in sNN=5\sqrt{s_{\text{NN}}}=5TeV proton-lead collisions in the forward region

Two-particle angular correlations are studied in proton-lead collisions at a nucleon-nucleon centre-of-mass energy of $\sqrt{s_{\text{NN}}}=5$TeV, collected with the LHCb detector at the LHC. The analysis is based on data recorded in two beam configurations, in which either the direction of the proton or that of the lead ion is analysed. The correlations are measured in the laboratory system as a function of relative pseudorapidity, $\Delta\eta$, and relative azimuthal angle, $\Delta\phi$, for events in different classes of event activity and for different bins of particle transverse momentum. In high-activity events a long-range correlation on the near side, $\Delta\phi \approx 0$, is observed in the pseudorapidity range $2.0<\eta<4.9$. This measurement of long-range correlations on the near side in proton-lead collisions extends previous observations into the forward region up to $\eta=4.9$. The correlation increases with growing event activity and is found to be more pronounced in the direction of the lead beam. However, the correlation in the direction of the lead and proton beams are found to be compatible when comparing events with similar absolute activity in the direction analysed.Comment: All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-040.htm

Study of the production of Λb0\Lambda_b^0 and B‾0\overline{B}^0 hadrons in pppp collisions and first measurement of the Λb0→J/ψpK−\Lambda_b^0\rightarrow J/\psi pK^- branching fraction

The product of the $\Lambda_b^0$ ($\overline{B}^0$) differential production cross-section and the branching fraction of the decay $\Lambda_b^0\rightarrow J/\psi pK^-$ ($\overline{B}^0\rightarrow J/\psi\overline{K}^*(892)^0$) is measured as a function of the beauty hadron transverse momentum, $p_{\rm T}$, and rapidity, $y$. The kinematic region of the measurements is $p_{\rm T}<20~{\rm GeV}/c$ and $2.0<y<4.5$. The measurements use a data sample corresponding to an integrated luminosity of $3~{\rm fb}^{-1}$ collected by the LHCb detector in $pp$ collisions at centre-of-mass energies $\sqrt{s}=7~{\rm TeV}$ in 2011 and $\sqrt{s}=8~{\rm TeV}$ in 2012. Based on previous LHCb results of the fragmentation fraction ratio, $f_{\Lambda_B^0}/f_d$, the branching fraction of the decay $\Lambda_b^0\rightarrow J/\psi pK^-$ is measured to be \begin{equation*} \mathcal{B}(\Lambda_b^0\rightarrow J/\psi pK^-)= (3.17\pm0.04\pm0.07\pm0.34^{+0.45}_{-0.28})\times10^{-4}, \end{equation*} where the first uncertainty is statistical, the second is systematic, the third is due to the uncertainty on the branching fraction of the decay $\overline{B}^0\rightarrow J/\psi\overline{K}^*(892)^0$, and the fourth is due to the knowledge of $f_{\Lambda_b^0}/f_d$. The sum of the asymmetries in the production and decay between $\Lambda_b^0$ and $\overline{\Lambda}_b^0$ is also measured as a function of $p_{\rm T}$ and $y$. The previously published branching fraction of $\Lambda_b^0\rightarrow J/\psi p\pi^-$, relative to that of $\Lambda_b^0\rightarrow J/\psi pK^-$, is updated. The branching fractions of $\Lambda_b^0\rightarrow P_c^+(\rightarrow J/\psi p)K^-$ are determined.Comment: 29 pages, 19figures. All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-032.htm

Evidence for the strangeness-changing weak decay Ξb−→Λb0π−\Xi_b^-\to\Lambda_b^0\pi^-

Using a $pp$ collision data sample corresponding to an integrated luminosity of 3.0~fb$^{-1}$, collected by the LHCb detector, we present the first search for the strangeness-changing weak decay $\Xi_b^-\to\Lambda_b^0\pi^-$. No $b$ hadron decay of this type has been seen before. A signal for this decay, corresponding to a significance of 3.2 standard deviations, is reported. The relative rate is measured to be ${{f_{\Xi_b^-}}\over{f_{\Lambda_b^0}}}{\cal{B}}(\Xi_b^-\to\Lambda_b^0\pi^-) = (5.7\pm1.8^{+0.8}_{-0.9})\times10^{-4}$, where $f_{\Xi_b^-}$ and $f_{\Lambda_b^0}$ are the $b\to\Xi_b^-$ and $b\to\Lambda_b^0$ fragmentation fractions, and ${\cal{B}}(\Xi_b^-\to\Lambda_b^0\pi^-)$ is the branching fraction. Assuming $f_{\Xi_b^-}/f_{\Lambda_b^0}$ is bounded between 0.1 and 0.3, the branching fraction ${\cal{B}}(\Xi_b^-\to\Lambda_b^0\pi^-)$ would lie in the range from $(0.57\pm0.21)\%$ to $(0.19\pm0.07)\%$.Comment: 7 pages, 2 figures, All figures and tables, along with any supplementary material and additional information, are available at https://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-047.htm

BB flavour tagging using charm decays at the LHCb experiment

An algorithm is described for tagging the flavour content at production of neutral $B$ mesons in the LHCb experiment. The algorithm exploits the correlation of the flavour of a $B$ meson with the charge of a reconstructed secondary charm hadron from the decay of the other $b$ hadron produced in the proton-proton collision. Charm hadron candidates are identified in a number of fully or partially reconstructed Cabibbo-favoured decay modes. The algorithm is calibrated on the self-tagged decay modes $B^+ \to J/\psi \, K^+$ and $B^0 \to J/\psi \, K^{*0}$ using $3.0\mathrm{\,fb}^{-1}$ of data collected by the LHCb experiment at $pp$ centre-of-mass energies of $7\mathrm{\,TeV}$ and $8\mathrm{\,TeV}$. Its tagging power on these samples of $B \to J/\psi \, X$ decays is $(0.30 \pm 0.01 \pm 0.01) \%$.Comment: All figures and tables, along with any supplementary material and additional information, are available at http://lhcbproject.web.cern.ch/lhcbproject/Publications/LHCbProjectPublic/LHCb-PAPER-2015-027.htm

Biodiversity and agriculture: rapid evidence review

Agriculture is the largest single source of environmental degradation, responsible for over 30% of global greenhouse gas (GHG) emissions, 70% of freshwater use and 80% of land conversion: it is the single largest driver of biodiversity loss (Foley et al. 2011, 2005; IPBES 2019; Willett et al. 2019). Agriculture also underpins poor human health, contributing to 11 million premature deaths annually. While too many still struggle from acute hunger, a growing number of individuals, including in low and middle-income countries (LMICs), struggle to access healthy foods. Greater consideration for, and integration of, biodiversity in agriculture is a key solution space for improving health, eliminating hunger and achieving nature-positive development objectives. This rapid evidence review documents the best available evidence of agriculture’s relationships with biodiversity, drawing on the contributions of leading biodiversity experts, and recommends actions that can be taken to move towards more biodiversity/nature-positive production through the delivery of integrated agricultural solutions on climate, biodiversity, nutrition and livelihoods. The analysis, which takes a whole-of-food-system approach, brings together a large body of evidence. It accounts for aspects not typically captured in a stand-alone primary piece of research, and indicates where there are critical gaps

High-resolution aerosol concentration data from the Greenland NorthGRIP and NEEM deep ice cores

Records of chemical impurities from ice cores enable us to reconstruct the past deposition of aerosols onto polar ice sheets and alpine glaciers. Through this they allow us to gain insight into changes of the source, transport and deposition processes that ultimately determine the deposition flux at the coring location. However, the low concentrations of the aerosol species in the ice and the resulting high risk of contamination pose a formidable analytical challenge, especially if long, continuous and highly resolved records are needed. Continuous flow analysis, CFA, the continuous melting, decontamination and analysis of ice-core samples has mostly overcome this issue and has quickly become the de facto standard to obtain high-resolution aerosol records from ice cores after its inception at the University of Bern in the mid-1990s. Here, we present continuous records of calcium (Ca2+), sodium (Na+), ammonium (NH+4), nitrate (NO-3) and electrolytic conductivity at 1 mm depth resolution from the NGRIP (North Greenland Ice Core Project) and NEEM (North Greenland Eemian Ice Drilling) ice cores produced by the Bern Continuous Flow Analysis group in the years 2000 to 2011 (Erhardt et al., 2021). Both of the records were previously used in a number of studies but were never published in full 1 mm resolution. Alongside the 1 mm datasets we provide decadal averages, a detailed description of the methods, relevant references, an assessment of the quality of the data and its usable resolution. Along the way we will also give some historical context on the development of the Bern CFA system. The data is available in full 1 mm and 10-year-averaged resolution on PANGAEA (https://doi.org/10.1594/PANGAEA.935838, Erhardt et al., 2021

Psychosocial Treatment of Children in Foster Care: A Review

A substantial number of children in foster care exhibit psychiatric difficulties. Recent epidemiologi-cal and historical trends in foster care, clinical findings about the adjustment of children in foster care, and adult outcomes are reviewed, followed by a description of current approaches to treatment and extant empirical support. Available interventions for these children can be categorized as either symptom-focused or systemic, with empirical support for specific methods ranging from scant to substantial. Even with treatment, behavioral and emotional problems often persist into adulthood, resulting in poor functional outcomes. We suggest that self-regulation may be an important mediat-ing factor in the appearance of emotional and behavioral disturbance in these children