313 research outputs found
Tuning the program transformers from LCC to PDL
This work proposes an alternative definition of the so-called program transformers used to obtain reduction axioms in the Logic of Communication and Change (LCC). Our proposal uses an elegant matrix treatment of Brzozowski’s equational method instead of Kleene’s translation from finite automata to regular expressions. The two alternatives are shown to be equivalent, with Brzozowski’s method having the advantage of generating smaller expressions for models with average connectivity
The BLLAST field experiment: Boundary-Layer late afternoon and sunset turbulence
Due to the major role of the sun in heating the earth's surface, the atmospheric planetary boundary layer over land is inherently marked by a diurnal cycle. The afternoon transition, the period of the day that connects the daytime dry convective boundary layer to the night-time stable boundary layer, still has a number of unanswered scientific questions. This phase of the diurnal cycle is challenging from both modelling and observational perspectives: it is transitory, most of the forcings are small or null and the turbulence regime changes from fully convective, close to homogeneous and isotropic, toward a more heterogeneous and intermittent state. These issues motivated the BLLAST (Boundary-Layer Late Afternoon and Sunset Turbulence) field campaign that was conducted from 14 June to 8 July 2011 in southern France, in an area of complex and heterogeneous terrain. A wide range of instrumented platforms including full-size aircraft, remotely piloted aircraft systems, remote-sensing instruments, radiosoundings, tethered balloons, surface flux stations and various meteorological towers were deployed over different surface types. The boundary layer, from the earth's surface to the free troposphere, was probed during the entire day, with a focus and intense observation periods that were conducted from midday until sunset. The BLLAST field campaign also provided an opportunity to test innovative measurement systems, such as new miniaturized sensors, and a new technique for frequent radiosoundings of the low troposphere. Twelve fair weather days displaying various meteorological conditions were extensively documented during the field experiment. The boundary-layer growth varied from one day to another depending on many contributions including stability, advection, subsidence, the state of the previous day's residual layer, as well as local, meso- or synoptic scale conditions. Ground-based measurements combined with tethered-balloon and airborne observations captured the turbulence decay from the surface throughout the whole boundary layer and documented the evolution of the turbulence characteristic length scales during the transition period. Closely integrated with the field experiment, numerical studies are now underway with a complete hierarchy of models to support the data interpretation and improve the model representations.publishedVersio
Studies of and production in and Pb collisions
The production of and mesons is studied in proton-proton and
proton-lead collisions collected with the LHCb detector. Proton-proton
collisions are studied at center-of-mass energies of and ,
and proton-lead collisions are studied at a center-of-mass energy per nucleon
of . The studies are performed in center-of-mass rapidity
regions (forward rapidity) and
(backward rapidity) defined relative to the proton beam direction. The
and production cross sections are measured differentially as a function
of transverse momentum for and , respectively. The differential cross sections are used to
calculate nuclear modification factors. The nuclear modification factors for
and mesons agree at both forward and backward rapidity, showing
no significant evidence of mass dependence. The differential cross sections of
mesons are also used to calculate cross section ratios,
which show evidence of a deviation from the world average. These studies offer
new constraints on mass-dependent nuclear effects in heavy-ion collisions, as
well as and meson fragmentation.Comment: All figures and tables, along with machine-readable versions and any
supplementary material and additional information, are available at
https://lhcbproject.web.cern.ch/Publications/p/LHCb-PAPER-2023-030.html (LHCb
public pages
Density of GeV muons in air showers measured with IceTop
We present a measurement of the density of GeV muons in near-vertical air showers using three years of data recorded by the IceTop array at the South Pole. Depending on the shower size, the muon densities have been measured at lateral distances between 200 and 1000 m. From these lateral distributions, we derive the muon densities as functions of energy at reference distances of 600 and 800 m for primary energies between 2.5 and 40 PeV and between 9 and 120 PeV, respectively. The muon densities are determined using, as a baseline, the hadronic interaction model Sibyll 2.1 together with various composition models. The measurements are consistent with the predicted muon densities within these baseline interaction and composition models. The measured muon densities have also been compared to simulations using the post-LHC models EPOS-LHC and QGSJet-II.04. The result of this comparison is that the post-LHC models together with any given composition model yield higher muon densities than observed. This is in contrast to the observations above 1 EeV where all model simulations yield for any mass composition lower muon densities than the measured ones. The post-LHC models in general feature higher muon densities so that the agreement with experimental data at the highest energies is improved but the muon densities are not correct in the energy range between 2.5 and about 100 PeV
First Search for Unstable Sterile Neutrinos with the IceCube Neutrino Observatory
We present a search for an unstable sterile neutrino by looking for a
matter-induced signal in eight years of atmospheric data collected
from 2011 to 2019 at the IceCube Neutrino Observatory. Both the (stable)
three-neutrino and the 3+1 sterile neutrino models are disfavored relative to
the unstable sterile neutrino model, though with -values of 2.5\% and
0.81\%, respectively, we do not observe evidence for 3+1 neutrinos with
neutrino decay. The best-fit parameters for the sterile neutrino with decay
model from this study are ,
, and , where
is the decay-mediating coupling. The preferred regions from short-baseline
oscillation searches are excluded at 90\% C.L
Observation of high-energy neutrinos from the Galactic plane
The origin of high-energy cosmic rays, atomic nuclei that continuously impact
Earth's atmosphere, has been a mystery for over a century. Due to deflection in
interstellar magnetic fields, cosmic rays from the Milky Way arrive at Earth
from random directions. However, near their sources and during propagation,
cosmic rays interact with matter and produce high-energy neutrinos. We search
for neutrino emission using machine learning techniques applied to ten years of
data from the IceCube Neutrino Observatory. We identify neutrino emission from
the Galactic plane at the 4.5 level of significance, by comparing
diffuse emission models to a background-only hypothesis. The signal is
consistent with modeled diffuse emission from the Galactic plane, but could
also arise from a population of unresolved point sources.Comment: Submitted on May 12th, 2022; Accepted on May 4th, 202
Fraction of decays in prompt production measured in pPb collisions at TeV
The fraction of and decays in the prompt
yield, , is measured by
the LHCb detector in pPb collisions at TeV. The study
covers the forward () and backward () rapidity
regions, where is the rapidity in the nucleon-nucleon
center-of-mass system. Forward and backward rapidity samples correspond to
integrated luminosities of 13.6 0.3 nb and 20.8 0.5
nb, respectively. The result is presented as a function of the
transverse momentum in the range 1 GeV/.
The fraction at forward rapidity is compatible with the LHCb
measurement performed in collisions at TeV, whereas the
result at backward rapidity is 2.4 larger than in the forward region
for GeV/. The increase of at low at backward rapidity is compatible with the suppression of the
(2S) contribution to the prompt yield. The lack of in-medium
dissociation of states observed in this study sets an upper limit of
180 MeV on the free energy available in these pPb collisions to dissociate or
inhibit charmonium state formation.Comment: All figures and tables, along with machine-readable versions and any
supplementary material and additional information, are available at
https://cern.ch/lhcbproject/Publications/p/LHCb-PAPER-2023-028.html (LHCb
public pages
Observation of strangeness enhancement with charmed mesons in high-multiplicity collisions at TeV
The production of prompt and mesons is measured by the LHCb
experiment in proton-lead () collisions in both the forward
() and backward () rapidity regions at a
nucleon-nucleon center-of-mass energy of TeV.
The nuclear modification factors of both and mesons are
determined as a function of transverse momentum, , and
rapidity. In addition, the to cross-section ratio is measured
as a function of the charged particle multiplicity in the event. An enhanced
to production in high-multiplicity events is observed for the
whole measured range, in particular at low
and backward rapidity, where the significance exceeds six standard deviations.
This constitutes the first observation of strangeness enhancement in charm
quark hadronization in high-multiplicity collisions. The results
are also qualitatively consistent with the presence of quark coalescence as an
additional charm quark hadronization mechanism in high-multiplicity proton-lead
collisions.Comment: All figures and tables, along with machine-readable versions and any
supplementary material and additional information, are available at
https://cern.ch/lhcbproject/Publications/p/LHCb-PAPER-2023-021.html (LHCb
public pages
Search for violation in the phase space of decays with the energy test
A search for violation in and decays is reported.
The search is performed using an unbinned model-independent method known as the
energy test that probes local violation in the phase space of the
decays. The data analysed correspond to an integrated luminosity of
fb collected in proton-proton collisions by the LHCb experiment at
a centre-of-mass energy of ~TeV, amounting to approximately 950000
and 620000 signal candidates for the and modes, respectively. The
method is validated using
and decays, where
-violating effects are expected to be negligible, and using
background-enhanced regions of the signal decays. The results are consistent
with symmetry in both the and the decays, with
-values for the hypothesis of no violation of 70% and 66%,
respectively.Comment: All figures and tables, along with any supplementary material and
additional information, are available at
https://cern.ch/lhcbproject/Publications/p/LHCb-PAPER-2023-019.html (LHCb
public pages
- …