655 research outputs found
IoTSan: Fortifying the Safety of IoT Systems
Today's IoT systems include event-driven smart applications (apps) that
interact with sensors and actuators. A problem specific to IoT systems is that
buggy apps, unforeseen bad app interactions, or device/communication failures,
can cause unsafe and dangerous physical states. Detecting flaws that lead to
such states, requires a holistic view of installed apps, component devices,
their configurations, and more importantly, how they interact. In this paper,
we design IoTSan, a novel practical system that uses model checking as a
building block to reveal "interaction-level" flaws by identifying events that
can lead the system to unsafe states. In building IoTSan, we design novel
techniques tailored to IoT systems, to alleviate the state explosion associated
with model checking. IoTSan also automatically translates IoT apps into a
format amenable to model checking. Finally, to understand the root cause of a
detected vulnerability, we design an attribution mechanism to identify
problematic and potentially malicious apps. We evaluate IoTSan on the Samsung
SmartThings platform. From 76 manually configured systems, IoTSan detects 147
vulnerabilities. We also evaluate IoTSan with malicious SmartThings apps from a
previous effort. IoTSan detects the potential safety violations and also
effectively attributes these apps as malicious.Comment: Proc. of the 14th ACM CoNEXT, 201
Challenges in vaccinating layer hens against salmonella typhimurium
Salmonella Typhimurium is among the most common causes of bacterial foodborne gastrointestinal disease in humans. Food items containing raw or undercooked eggs are frequently identified during traceback investigation as the source of the bacteria. Layer hens can become persistently infected with Salmonella Typhimurium and intermittently shed the bacteria over the course of their productive lifetime. Eggs laid in a contaminated environment are at risk of potential exposure to bacteria. Thus, mitigating the bacterial load on farms aids in the protection of the food supply chain. Layer hen producers use a multifaceted approach for reducing Salmonella on farms, including the all-in-all-out management strategy, strict biosecurity, sanitization, and vaccination. The use of live attenuated Salmonella vaccines is favored because they elicit a broader host immune response than killed or inactivated vaccines that have been demonstrated to provide cross-protection against multiple serovars. Depending on the vaccine, two to three doses of Salmonella Typhimurium vaccines are generally administered to layer hens within the first few weeks. The productive life of a layer hen, however, can exceed 70 weeks and it is unclear whether current vaccination regimens are effective for that extended period. The objective of this review is to highlight layer hen specific challenges that may affect vaccine efficacy.Siyuan Jia, Andrea R. McWhorter, Daniel M. Andrews, Gregory J. Underwood
and Kapil K. Chousalka
The Science of Sungrazers, Sunskirters, and Other Near-Sun Comets
This review addresses our current understanding of comets that venture close to the Sun, and are hence exposed to much more extreme conditions than comets that are typically studied from Earth. The extreme solar heating and plasma environments that these objects encounter change many aspects of their behaviour, thus yielding valuable information on both the comets themselves that complements other data we have on primitive solar system bodies, as well as on the near-solar environment which they traverse. We propose clear definitions for these comets: We use the term near-Sun comets to encompass all objects that pass sunward of the perihelion distance of planet Mercury (0.307 AU). Sunskirters are defined as objects that pass within 33 solar radii of the Sun’s centre, equal to half of Mercury’s perihelion distance, and the commonly-used phrase sungrazers to be objects that reach perihelion within 3.45 solar radii, i.e. the fluid Roche limit. Finally, comets with orbits that intersect the solar photosphere are termed sundivers. We summarize past studies of these objects, as well as the instruments and facilities used to study them, including space-based platforms that have led to a recent revolution in the quantity and quality of relevant observations. Relevant comet populations are described, including the Kreutz, Marsden, Kracht, and Meyer groups, near-Sun asteroids, and a brief discussion of their origins. The importance of light curves and the clues they provide on cometary composition are emphasized, together with what information has been gleaned about nucleus parameters, including the sizes and masses of objects and their families, and their tensile strengths. The physical processes occurring at these objects are considered in some detail, including the disruption of nuclei, sublimation, and ionisation, and we consider the mass, momentum, and energy loss of comets in the corona and those that venture to lower altitudes. The different components of comae and tails are described, including dust, neutral and ionised gases, their chemical reactions, and their contributions to the near-Sun environment. Comet-solar wind interactions are discussed, including the use of comets as probes of solar wind and coronal conditions in their vicinities. We address the relevance of work on comets near the Sun to similar objects orbiting other stars, and conclude with a discussion of future directions for the field and the planned ground- and space-based facilities that will allow us to address those science topics
Dilepton mass spectra in p+p collisions at sqrt(s)= 200 GeV and the contribution from open charm
The PHENIX experiement has measured the electron-positron pair mass spectrum
from 0 to 8 GeV/c^2 in p+p collisions at sqrt(s)=200 GeV. The contributions
from light meson decays to e^+e^- pairs have been determined based on
measurements of hadron production cross sections by PHENIX. They account for
nearly all e^+e^- pairs in the mass region below 1 GeV/c^2. The e^+e^- pair
yield remaining after subtracting these contributions is dominated by
semileptonic decays of charmed hadrons correlated through flavor conservation.
Using the spectral shape predicted by PYTHIA, we estimate the charm production
cross section to be 544 +/- 39(stat) +/- 142(syst) +/- 200(model) \mu b, which
is consistent with QCD calculations and measurements of single leptons by
PHENIX.Comment: 375 authors from 57 institutions, 18 pages, 4 figures, 2 tables.
Submitted to Physics Letters B. v2 fixes technical errors in matching authors
to institutions. 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
Inclusive cross section and double helicity asymmetry for \pi^0 production in p+p collisions at sqrt(s)=200 GeV: Implications for the polarized gluon distribution in the proton
The PHENIX experiment presents results from the RHIC 2005 run with polarized
proton collisions at sqrt(s)=200 GeV, for inclusive \pi^0 production at
mid-rapidity. Unpolarized cross section results are given for transverse
momenta p_T=0.5 to 20 GeV/c, extending the range of published data to both
lower and higher p_T. The cross section is described well for p_T < 1 GeV/c by
an exponential in p_T, and, for p_T > 2 GeV/c, by perturbative QCD. Double
helicity asymmetries A_LL are presented based on a factor of five improvement
in uncertainties as compared to previously published results, due to both an
improved beam polarization of 50%, and to higher integrated luminosity. These
measurements are sensitive to the gluon polarization in the proton, and exclude
maximal values for the gluon polarization.Comment: 375 authors, 7 pages, 3 figures. Submitted to Phys. Rev. D, Rapid
Communications. 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
System Size and Energy Dependence of Jet-Induced Hadron Pair Correlation Shapes in Cu+Cu and Au+Au Collisions at sqrt(s_NN) = 200 and 62.4 GeV
We present azimuthal angle correlations of intermediate transverse momentum
(1-4 GeV/c) hadrons from {dijets} in Cu+Cu and Au+Au collisions at sqrt(s_NN) =
62.4 and 200 GeV. The away-side dijet induced azimuthal correlation is
broadened, non-Gaussian, and peaked away from \Delta\phi=\pi in central and
semi-central collisions in all the systems. The broadening and peak location
are found to depend upon the number of participants in the collision, but not
on the collision energy or beam nuclei. These results are consistent with sound
or shock wave models, but pose challenges to Cherenkov gluon radiation models.Comment: 464 authors from 60 institutions, 6 pages, 3 figures, 2 tables.
Submitted to Physical Review Letters. 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
Recommended from our members
Measurement of Bottom versus Charm as a Function of Transverse Momentum with Electron-Hadron Correlations in p+p Collisions at sqrt(s)=200 GeV
The momentum distribution of electrons from semi-leptonic decays of charm and
bottom for mid-rapidity |y|<0.35 in p+p collisions at sqrt(s)=200 GeV is
measured by the PHENIX experiment at the Relativistic Heavy Ion Collider (RHIC)
over the transverse momentum range 2 < p_T < 7 GeV/c. The ratio of the yield of
electrons from bottom to that from charm is presented. The ratio is determined
using partial D/D^bar --> e^{+/-} K^{-/+} X (K unidentified) reconstruction. It
is found that the yield of electrons from bottom becomes significant above 4
GeV/c in p_T. A fixed-order-plus-next-to-leading-log (FONLL) perturbative
quantum chromodynamics (pQCD) calculation agrees with the data within the
theoretical and experimental uncertainties. The extracted total bottom
production cross section at this energy is \sigma_{b\b^bar}= 3.2
^{+1.2}_{-1.1}(stat) ^{+1.4}_{-1.3}(syst) micro b.Comment: 432 authors, 6 pages text, 3 figures. Submitted to Phys. Rev. Lett.
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
Improved Measurement of Double Helicity Asymmetry in Inclusive Midrapidity pi^0 Production for Polarized p+p Collisions at sqrt(s)=200 GeV
We present an improved measurement of the double helicity asymmetry for pi^0
production in polarized proton-proton scattering at sqrt(s) = 200 GeV employing
the PHENIX detector at the Relativistic Heavy Ion Collider (RHIC). The
improvements to our previous measurement come from two main factors: Inclusion
of a new data set from the 2004 RHIC run with higher beam polarizations than
the earlier run and a recalibration of the beam polarization measurements,
which resulted in reduced uncertainties and increased beam polarizations. The
results are compared to a Next to Leading Order (NLO) perturbative Quantum
Chromodynamics (pQCD) calculation with a range of polarized gluon
distributions.Comment: 389 authors, 4 pages, 2 tables, 1 figure. Submitted to Phys. Rev. D,
Rapid Communications. 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
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
Heavy quarkonium: progress, puzzles, and opportunities
A golden age for heavy quarkonium physics dawned a decade ago, initiated by
the confluence of exciting advances in quantum chromodynamics (QCD) and an
explosion of related experimental activity. The early years of this period were
chronicled in the Quarkonium Working Group (QWG) CERN Yellow Report (YR) in
2004, which presented a comprehensive review of the status of the field at that
time and provided specific recommendations for further progress. However, the
broad spectrum of subsequent breakthroughs, surprises, and continuing puzzles
could only be partially anticipated. Since the release of the YR, the BESII
program concluded only to give birth to BESIII; the -factories and CLEO-c
flourished; quarkonium production and polarization measurements at HERA and the
Tevatron matured; and heavy-ion collisions at RHIC have opened a window on the
deconfinement regime. All these experiments leave legacies of quality,
precision, and unsolved mysteries for quarkonium physics, and therefore beg for
continuing investigations. The plethora of newly-found quarkonium-like states
unleashed a flood of theoretical investigations into new forms of matter such
as quark-gluon hybrids, mesonic molecules, and tetraquarks. Measurements of the
spectroscopy, decays, production, and in-medium behavior of c\bar{c}, b\bar{b},
and b\bar{c} bound states have been shown to validate some theoretical
approaches to QCD and highlight lack of quantitative success for others. The
intriguing details of quarkonium suppression in heavy-ion collisions that have
emerged from RHIC have elevated the importance of separating hot- and
cold-nuclear-matter effects in quark-gluon plasma studies. This review
systematically addresses all these matters and concludes by prioritizing
directions for ongoing and future efforts.Comment: 182 pages, 112 figures. Editors: N. Brambilla, S. Eidelman, B. K.
Heltsley, R. Vogt. Section Coordinators: G. T. Bodwin, E. Eichten, A. D.
Frawley, A. B. Meyer, R. E. Mitchell, V. Papadimitriou, P. Petreczky, A. A.
Petrov, P. Robbe, A. Vair
- …