Operational Semantics of Process Monitors

CSPe is a specification language for runtime monitors that can directly express concurrency in a bottom-up manner that composes the system from simpler, interacting components. It includes constructs to explicitly flag failures to the monitor, which unlike deadlocks and livelocks in conventional process algebras, propagate globally and aborts the whole system's execution. Although CSPe has a trace semantics along with an implementation demonstrating acceptable performance, it lacks an operational semantics. An operational semantics is not only more accessible than trace semantics but also indispensable for ensuring the correctness of the implementation. Furthermore, a process algebra like CSPe admits multiple denotational semantics appropriate for different purposes, and an operational semantics is the basis for justifying such semantics' integrity and relevance. In this paper, we develop an SOS-style operational semantics for CSPe, which properly accounts for explicit failures and will serve as a basis for further study of its properties, its optimization, and its use in runtime verification

Evaluating year-to-year anomalies in tropical wetland methane emissions using satellite CH₄ observations

Natural wetlands are the largest source of methane emissions, contributing 20–40% of global emissions and dominating the inter-annual variability. Large uncertainties remain on their variability and response to climate change. This study uses atmospheric methane observations from the GOSAT satellite to evaluate methane wetland emission estimates. We assess how well simulations reproduce the observed methane inter-annual variability by evaluating the detrended seasonal cycle. The latitudinal means agree well but maximum differences in the tropics of 28.1–34.8 ppb suggest that all simulations fail to capture the extent of the tropical wetland seasonal cycle. We focus further analysis on the major natural wetlands in South America: the seasonally flooded savannah of the Pantanal (Brazil) and Llanos de Moxos (Bolivia) regions; and the riverine wetlands formed by the Paraná River (Argentina). We see large discrepancies between simulation and observation over the Pantanal and Llanos de Moxos region in 2010, 2011 and 2014 and over the Paraná River region in 2010 and 2014. We find highly consistent behaviour between the time and location of these methane anomalies and the change in wetland extent, driven by precipitation related to El Niño Southern Oscillation activity. We conclude that the inability of land surface models to increase wetland extent through overbank inundation is the primary cause of these observed discrepancies and can lead to under-estimation of methane fluxes by as much as 50% (5.3–11.8 Tg yr −1 ) of the observed emissions for the combined Pantanal and Paraná regions. As the hydrology of these regions is heavily linked to ENSO variability, being able to reproduce changes in wetland behaviour is important for successfully predicting their methane emissions

Improved Measurement of the Pseudoscalar Decay Constant fDsf_{D_{s}}

We present a new determination of the Ds decay constant, f_{Ds} using 5 million continuum charm events obtained with the CLEO II detector. Our value is derived from our new measured ratio of widths for Ds -> mu nu/Ds -> phi pi of 0.173+/- 0.021 +/- 0.031. Taking the branching ratio for Ds -> phi pi as (3.6 +/- 0.9)% from the PDG, we extract f_{Ds} = (280 +/- 17 +/- 25 +/- 34){MeV}. We compare this result with various model calculations.Comment: 23 page postscript file, postscript file also available through http://w4.lns.cornell.edu/public/CLN

Search for the Decays B^0 -> D^{(*)+} D^{(*)-}

Using the CLEO-II data set we have searched for the Cabibbo-suppressed decays B^0 -> D^{(*)+} D^{(*)-}. For the decay B^0 -> D^{*+} D^{*-}, we observe one candidate signal event, with an expected background of 0.022 +/- 0.011 events. This yield corresponds to a branching fraction of Br(B^0 -> D^{*+} D^{*-}) = (5.3^{+7.1}_{-3.7}(stat) +/- 1.0(syst)) x 10^{-4} and an upper limit of Br(B^0 -> D^{*+} D^{*-}) D^{*\pm} D^\mp and B^0 -> D^+ D^-, no significant excess of signal above the expected background level is seen, and we calculate the 90% CL upper limits on the branching fractions to be Br(B^0 -> D^{*\pm} D^\mp) D^+ D^-) < 1.2 x 10^{-3}.Comment: 12 page postscript file also available through http://w4.lns.cornell.edu/public/CLNS, submitted to Physical Review Letter

A search for the decay modes B+/- to h+/- tau l

We present a search for the lepton flavor violating decay modes B+/- to h+/- tau l (h= K,pi; l= e,mu) using the BaBar data sample, which corresponds to 472 million BBbar pairs. The search uses events where one B meson is fully reconstructed in one of several hadronic final states. Using the momenta of the reconstructed B, h, and l candidates, we are able to fully determine the tau four-momentum. The resulting tau candidate mass is our main discriminant against combinatorial background. We see no evidence for B+/- to h+/- tau l decays and set a 90% confidence level upper limit on each branching fraction at the level of a few times 10^-5.Comment: 15 pages, 7 figures, submitted to Phys. Rev.

Evidence for an excess of B -> D(*) Tau Nu decays

Based on the full BaBar data sample, we report improved measurements of the ratios R(D(*)) = B(B -> D(*) Tau Nu)/B(B -> D(*) l Nu), where l is either e or mu. These ratios are sensitive to new physics contributions in the form of a charged Higgs boson. We measure R(D) = 0.440 +- 0.058 +- 0.042 and R(D*) = 0.332 +- 0.024 +- 0.018, which exceed the Standard Model expectations by 2.0 sigma and 2.7 sigma, respectively. Taken together, our results disagree with these expectations at the 3.4 sigma level. This excess cannot be explained by a charged Higgs boson in the type II two-Higgs-doublet model. We also report the observation of the decay B -> D Tau Nu, with a significance of 6.8 sigma.Comment: Expanded section on systematics, text corrections, improved the format of Figure 2 and included the effect of the change of the Tau polarization due to the charged Higg

Study of the reaction e^{+}e^{-} -->J/psi\pi^{+}\pi^{-} via initial-state radiation at BaBar

We study the process $e^+e^-\to J/\psi\pi^{+}\pi^{-}$ with initial-state-radiation events produced at the PEP-II asymmetric-energy collider. The data were recorded with the BaBar detector at center-of-mass energies 10.58 and 10.54 GeV, and correspond to an integrated luminosity of 454 $\mathrm{fb^{-1}}$. We investigate the $J/\psi \pi^{+}\pi^{-}$ mass distribution in the region from 3.5 to 5.5 $\mathrm{GeV/c^{2}}$. Below 3.7 $\mathrm{GeV/c^{2}}$ the $\psi(2S)$ signal dominates, and above 4 $\mathrm{GeV/c^{2}}$ there is a significant peak due to the Y(4260). A fit to the data in the range 3.74 -- 5.50 $\mathrm{GeV/c^{2}}$ yields a mass value $4244 \pm 5$ (stat) $\pm 4$ (syst)$\mathrm{MeV/c^{2}}$ and a width value $114 ^{+16}_{-15}$ (stat)$\pm 7$(syst)$\mathrm{MeV}$ for this state. We do not confirm the report from the Belle collaboration of a broad structure at 4.01 $\mathrm{GeV/c^{2}}$. In addition, we investigate the $\pi^{+}\pi^{-}$ system which results from Y(4260) decay

First Observation of τ→3πηντ\tau\to 3\pi\eta\nu_{\tau} and τ→f1πντ\tau\to f_{1}\pi\nu_{\tau} Decays

We have observed new channels for $\tau$ decays with an $\eta$ in the final state. We study 3-prong tau decays, using the $\eta\to\gamma\gamma$ and \eta\to 3\piz decay modes and 1-prong decays with two \piz's using the $\eta\to\gamma\gamma$ channel. The measured branching fractions are \B(\tau^{-}\to \pi^{-}\pi^{-}\pi^{+}\eta\nu_{\tau}) =(3.4^{+0.6}_{-0.5}\pm0.6)\times10^{-4} and \B(\tau^{-}\to \pi^{-}2\piz\eta\nu_{\tau} =(1.4\pm0.6\pm0.3)\times10^{-4}. We observe clear evidence for $f_1\to\eta\pi\pi$ substructure and measure \B(\tau^{-}\to f_1\pi^{-}\nu_{\tau})=(5.8^{+1.4}_{-1.3}\pm1.8)\times10^{-4}. We have also searched for $\eta'(958)$ production and obtain 90% CL upper limits \B(\tau^{-}\to \pi^{-}\eta'\nu_\tau)<7.4\times10^{-5} and \B(\tau^{-}\to \pi^{-}\piz\eta'\nu_\tau)<8.0\times10^{-5}.Comment: 11 page postscript file, postscript file also available through http://w4.lns.cornell.edu/public/CLN

Reduced engagement with social stimuli in 6-month-old infants with later Autism Spectrum Disorder: a longitudinal prospective study of infants at high familial risk

Background: Autism Spectrum Disorder (ASD) is a neurodevelopmental disorder that affects more than 1% of the population, and close to 20% of prospectively studied infants with an older sibling with ASD. Although significant progress has been made in characterizing the emergence of behavioral symptoms of ASD, far less is known about the underlying disruptions to early learning. Recent models suggest that core aspects of the causal path to ASD may only be apparent in early infancy. Here, we investigated social attention in 6- and 12-month-old infants who did and did not meet criteria for ASD at 24 months using both cognitive and electrophysiological methods. We hypothesized that a reduction in attention engagement to faces would be associated with later ASD. Methods: In a prospective longitudinal design, we used measures of both visual attention (habituation) and brain function (event-related potentials to faces and objects) at 6 and 12 months, and investigated the relationship to ASD outcome at 24 months. Results: High-risk infants who met criteria for ASD at 24 months showed shorter epochs of visual attention, faster but less prolonged neural activation to faces, and delayed sensitization responses (increases in looking) to faces at 6 months; these differences were less apparent at 12 months. These findings are consistent with disrupted engagement of sustained attention to social stimuli. Conclusions: These findings suggest that there may be fundamental early disruptions to attention engagement that may have cascading consequences for later social functioning

Measurement of the top quark mass using the matrix element technique in dilepton final states

We present a measurement of the top quark mass in pp¯ collisions at a center-of-mass energy of 1.96 TeV at the Fermilab Tevatron collider. The data were collected by the D0 experiment corresponding to an integrated luminosity of 9.7  fb−1. The matrix element technique is applied to tt¯ events in the final state containing leptons (electrons or muons) with high transverse momenta and at least two jets. The calibration of the jet energy scale determined in the lepton+jets final state of tt¯ decays is applied to jet energies. This correction provides a substantial reduction in systematic uncertainties. We obtain a top quark mass of mt=173.93±1.84  GeV