215 research outputs found
Conformance relations and hyperproperties for doping detection in time and space
We present a novel and generalised notion of doping cleanness for cyber-physical systems that allows for perturbing the inputs and observing the perturbed outputs both in the time- and value-domains. We instantiate our definition using existing notions of conformance for cyber-physical systems. As a formal basis for monitoring conformance-based cleanness, we develop the temporal logic HyperSTL*, an extension of Signal Temporal Logics with trace quantifiers and a freeze operator. We show that our generalised definitions are essential in a data-driven method for doping detection and apply our definitions to a case study concerning diesel emission tests
Effects of environmental pollutants on the reproduction and welfare of ruminants
Anthropogenic pollutants comprise a wide range of synthetic organic compounds and heavy metals, which are dispersed throughout the environment, usually at low concentrations. Exposure of ruminants, as for all other animals, is unavoidable and while the levels of exposure to most chemicals are usually too low to induce any physiological effects, combinations of pollutants can act additively or synergistically to perturb multiple physiological systems at all ages but particularly in the developing foetus. In sheep, organs affected by pollutant exposure include the ovary, testis, hypothalamus and pituitary gland and bone. Reported effects of exposure include changes in organ weight and gross structure, histology and gene and protein expression but these changes are not reflected in changes in reproductive performance under the conditions tested. These results illustrate the complexity of the effects of endocrine disrupting compounds on the reproductive axis, which make it difficult to extrapolate between, or even within, species. Effects of pollutant exposure on the thyroid gland, immune, cardiovascular and obesogenic systems have not been shown explicitly, in ruminants, but work on other species suggests that these systems can also be perturbed. It is concluded that exposure to a mixture of anthropogenic pollutants has significant effects on a wide variety of physiological systems, including the reproductive system. Although this physiological insult has not yet been shown to lead to a reduction in ruminant gross performance, there are already reports indicating that anthropogenic pollutant exposure can compromise several physiological systems and may pose a significant threat to both reproductive performance and welfare in the longer term. At present, many potential mechanisms of action for individual chemicals have been identified but knowledge of factors affecting the rate of tissue exposure and of the effects of combinations of chemicals on physiological systems is poor. Nevertheless, both are vital for the identification of risks to animal productivity and welfare
Phi meson production in Au+Au and p+p collisions at sqrt (s)=200 GeV
We report the STAR measurement of Phi meson production in Au+Au and p+p
collisions at sqrt (s)=200 GeV. Using the event mixing technique, the Phi
spectra and yields are obtained at mid-rapidity for five centrality bins in
Au+Au collisions and for non-singly-diffractive p+p collisions. It is found
that the Phi transverse momentum distributions from Au+Au collisions are better
fitted with a single-exponential while the p+p spectrum is better described by
a double-exponential distribution. The measured nuclear modification factors
indicate that Phi production in central Au+Au collisions is suppressed relative
to peripheral collisions when scaled by the number of binary collisions. The
systematics of versus centrality and the constant Phi/K- ratio versus beam
species, centrality, and collision energy rule out kaon coalescence as the
dominant mechanism for Phi production.Comment: 6 pages, 3 figures, submitted to Phys. Rev. Let
Energy and system size dependence of \phi meson production in Cu+Cu and Au+Au collisions
We study the beam-energy and system-size dependence of \phi meson production
(using the hadronic decay mode \phi -- K+K-) by comparing the new results from
Cu+Cu collisions and previously reported Au+Au collisions at \sqrt{s_NN} = 62.4
and 200 GeV measured in the STAR experiment at RHIC. Data presented are from
mid-rapidity (|y|<0.5) for 0.4 < pT < 5 GeV/c. At a given beam energy, the
transverse momentum distributions for \phi mesons are observed to be similar in
yield and shape for Cu+Cu and Au+Au colliding systems with similar average
numbers of participating nucleons. The \phi meson yields in nucleus-nucleus
collisions, normalised by the average number of participating nucleons, are
found to be enhanced relative to those from p+p collisions with a different
trend compared to strange baryons. The enhancement for \phi mesons is observed
to be higher at \sqrt{s_NN} = 200 GeV compared to 62.4 GeV. These observations
for the produced \phi(s\bar{s}) mesons clearly suggest that, at these collision
energies, the source of enhancement of strange hadrons is related to the
formation of a dense partonic medium in high energy nucleus-nucleus collisions
and cannot be alone due to canonical suppression of their production in smaller
systems.Comment: 20 pages and 5 figure
Formation of dense partonic matter in relativistic nucleus-nucleus collisions at RHIC: Experimental evaluation by the PHENIX collaboration
Extensive experimental data from high-energy nucleus-nucleus collisions were
recorded using the PHENIX detector at the Relativistic Heavy Ion Collider
(RHIC). The comprehensive set of measurements from the first three years of
RHIC operation includes charged particle multiplicities, transverse energy,
yield ratios and spectra of identified hadrons in a wide range of transverse
momenta (p_T), elliptic flow, two-particle correlations, non-statistical
fluctuations, and suppression of particle production at high p_T. The results
are examined with an emphasis on implications for the formation of a new state
of dense matter. We find that the state of matter created at RHIC cannot be
described in terms of ordinary color neutral hadrons.Comment: 510 authors, 127 pages text, 56 figures, 1 tables, LaTeX. Submitted
to Nuclear Physics A as a regular article; v3 has minor changes in response
to referee comments. Plain text data tables for the points plotted in figures
for this and previous PHENIX publications are (or will be) publicly available
at http://www.phenix.bnl.gov/papers.htm
Experimental and Theoretical Challenges in the Search for the Quark Gluon Plasma: The STAR Collaboration's Critical Assessment of the Evidence from RHIC Collisions
We review the most important experimental results from the first three years
of nucleus-nucleus collision studies at RHIC, with emphasis on results from the
STAR experiment, and we assess their interpretation and comparison to theory.
The theory-experiment comparison suggests that central Au+Au collisions at RHIC
produce dense, rapidly thermalizing matter characterized by: (1) initial energy
densities above the critical values predicted by lattice QCD for establishment
of a Quark-Gluon Plasma (QGP); (2) nearly ideal fluid flow, marked by
constituent interactions of very short mean free path, established most
probably at a stage preceding hadron formation; and (3) opacity to jets. Many
of the observations are consistent with models incorporating QGP formation in
the early collision stages, and have not found ready explanation in a hadronic
framework. However, the measurements themselves do not yet establish
unequivocal evidence for a transition to this new form of matter. The
theoretical treatment of the collision evolution, despite impressive successes,
invokes a suite of distinct models, degrees of freedom and assumptions of as
yet unknown quantitative consequence. We pose a set of important open
questions, and suggest additional measurements, at least some of which should
be addressed in order to establish a compelling basis to conclude definitively
that thermalized, deconfined quark-gluon matter has been produced at RHIC.Comment: 101 pages, 37 figures; revised version to Nucl. Phys.
Energy dependence of charged pion, proton and anti-proton transverse momentum spectra for Au+Au collisions at \sqrt{s_NN} = 62.4 and 200 GeV
We study the energy dependence of the transverse momentum (pT) spectra for
charged pions, protons and anti-protons for Au+Au collisions at \sqrt{s_NN} =
62.4 and 200 GeV. Data are presented at mid-rapidity (|y| < 0.5) for 0.2 < pT <
12 GeV/c. In the intermediate pT region (2 < pT < 6 GeV/c), the nuclear
modification factor is higher at 62.4 GeV than at 200 GeV, while at higher pT
(pT >7 GeV/c) the modification is similar for both energies. The p/pi+ and
pbar/pi- ratios for central collisions at \sqrt{s_NN} = 62.4 GeV peak at pT ~ 2
GeV/c. In the pT range where recombination is expected to dominate, the p/pi+
ratios at 62.4 GeV are larger than at 200 GeV, while the pbar/pi- ratios are
smaller. For pT > 2 GeV/c, the pbar/pi- ratios at the two beam energies are
independent of pT and centrality indicating that the dependence of the pbar/pi-
ratio on pT does not change between 62.4 and 200 GeV. These findings challenge
various models incorporating jet quenching and/or constituent quark
coalescence.Comment: 19 pages and 6 figure
Updated precision measurement of the average lifetime of B hadrons
The measurement of the average lifetime of B hadrons using inclusively reconstructed secondary vertices has been updated using both an improved processing of previous data and additional statistics from new data. This has reduced the statistical and systematic uncertainties and gives \tau_{\mathrm{B}} = 1.582 \pm 0.011\ \mathrm{(stat.)} \pm 0.027\ \mathrm{(syst.)}\ \mathrm{ps.} Combining this result with the previous result based on charged particle impact parameter distributions yields \tau_{\mathrm{B}} = 1.575 \pm 0.010\ \mathrm{(stat.)} \pm 0.026\ \mathrm{(syst.)}\ \mathrm{ps.
Limits on the production of scalar leptoquarks from Z (0) decays at LEP
A search has been made for pairs and for single production of scalar leptoquarks of the first and second generations using a data sample of 392000 Z0 decays from the DELPHI detector at LEP 1. No signal was found and limits on the leptoquark mass, production cross section and branching ratio were set. A mass limit at 95% confidence level of 45.5 GeV/c2 was obtained for leptoquark pair production. The search for the production of a single leptoquark probed the mass region above this limit and its results exclude first and second generation leptoquarks D0 with masses below 65 GeV/c2 and 73 GeV/c2 respectively, at 95% confidence level, assuming that the D0lq Yukawa coupling alpha(lambda) is equal to the electromagnetic one. An upper limit is also given on the coupling alpha(lambda) as a function of the leptoquark mass m(D0)
Search for Tensor, Vector, and Scalar Polarizations in the Stochastic Gravitational-Wave Background
The detection of gravitational waves with Advanced LIGO and Advanced Virgo has enabled novel tests of general relativity, including direct study of the polarization of gravitational waves. While general relativity allows for only two tensor gravitational-wave polarizations, general metric theories can additionally predict two vector and two scalar polarizations. The polarization of gravitational waves is encoded in the spectral shape of the stochastic gravitational-wave background, formed by the superposition of cosmological and individually unresolved astrophysical sources. Using data recorded by Advanced LIGO during its first observing run, we search for a stochastic background of generically polarized gravitational waves. We find no evidence for a background of any polarization, and place the first direct bounds on the contributions of vector and scalar polarizations to the stochastic background. Under log-uniform priors for the energy in each polarization, we limit the energy densities of tensor, vector, and scalar modes at 95% credibility to Ω0T<5.58×10-8, Ω0V<6.35×10-8, and Ω0S<1.08×10-7 at a reference frequency f0=25 Hz. © 2018 American Physical Society
- …