384 research outputs found
Generic Modal Cut Elimination Applied to Conditional Logics
We develop a general criterion for cut elimination in sequent calculi for
propositional modal logics, which rests on absorption of cut, contraction,
weakening and inversion by the purely modal part of the rule system. Our
criterion applies also to a wide variety of logics outside the realm of normal
modal logic. We give extensive example instantiations of our framework to
various conditional logics. For these, we obtain fully internalised calculi
which are substantially simpler than those known in the literature, along with
leaner proofs of cut elimination and complexity. In one case, conditional logic
with modus ponens and conditional excluded middle, cut elimination and
complexity were explicitly stated as open in the literature
Transmission Dynamics of COVID-19 in Ghana and the Impact of Public Health Interventions
This study characterized COVID-19 transmission in Ghana in 2020 and 2021 by estimating the time-varying reproduction number (Rt) and exploring its association with various public health interventions at the national and regional levels. Ghana experienced four pandemic waves, with epidemic peaks in July 2020 and January, August, and December 2021. The epidemic peak was the highest nationwide in December 2021 with Rt ≥ 2. Throughout 2020 and 2021, per-capita cumulative case count by region increased with population size. Mobility data suggested a negative correlation between Rt and staying home during the first 90 days of the pandemic. The relaxation of movement restrictions and religious gatherings was not associated with increased Rt in the regions with fewer case burdens. Rt decreased from \u3e 1 when schools reopened in January 2021 to \u3c 1 after vaccination rollout in March 2021. Findings indicated most public health interventions were associated with Rt reduction at the national and regional levels
Long-lifetime, reliable liquid metal ion sources for boron, arsenic, and phosphorus
Operation of liquid–metalion sources based on palladium alloys that contain boron, arsenic, and phosphorus (singly or in combination) was studied. These sources, when run on refractory metal needles and heater ribbons, have exhibited high angular intensity (1.5–5 μA/sr), long lifetime (\u3e150 h), low energy spread (eV), and stable operation with extracted currents down to 2 μA
The HERMES Dual-Radiator Ring Imaging Cerenkov Detector
The construction and use of a dual radiator Ring Imaging Cerenkov(RICH)
detector is described. This instrument was developed for the HERMES experiment
at DESY which emphasizes measurements of semi-inclusive deep-inelastic
scattering. It provides particle identification for pions, kaons, and protons
in the momentum range from 2 to 15 GeV, which is essential to these studies.
The instrument uses two radiators, C4F10, a heavy fluorocarbon gas, and a wall
of silica aerogel tiles. The use of aerogel in a RICH detector has only
recently become possible with the development of clear, large homogeneous and
hydrophobic aerogel. A lightweight mirror was constructed using a newly
perfected technique to make resin-coated carbon-fiber surfaces of optical
quality. The photon detector consists of 1934 photomultiplier tubes for each
detector half, held in a soft steel matrix to provide shielding against the
residual field of the main spectrometer magnet.Comment: 25 pages, 23 figure
Single-spin Azimuthal Asymmetries in Electroproduction of Neutral Pions in Semi-inclusive Deep-inelastic Scattering
A single-spin asymmetry in the azimuthal distribution of neutral pions
relative to the lepton scattering plane has been measured for the first time in
deep-inelastic scattering of positrons off longitudinally polarized protons.
The analysing power in the sin(phi) moment of the cross section is 0.019 +/-
0.007(stat.) +/- 0.003(syst.). This result is compared to single-spin
asymmetries for charged pion production measured in the same kinematic range.
The pi^0 asymmetry is of the same size as the pi^+ asymmetry and shows a
similar dependence on the relevant kinematic variables. The asymmetry is
described by a phenomenological calculation based on a fragmentation function
that represents sensitivity to the transverse polarization of the struck quark.Comment: 4 pages, 1 figure, replaced to correct eprint author field, 2nd
replacement to correct figure; upper limit of model predictions are
corrected. No correction to data or conclusion
Flavor decomposition of the sea quark helicity distributions in the nucleon from semi-inclusive deep-inelastic scattering
Double-spin asymmetries of semi-inclusive cross sections for the production
of identified pions and kaons have been measured in deep-inelastic scattering
of polarized positrons on a polarized deuterium target. Five helicity
distributions including those for three sea quark flavors were extracted from
these data together with re-analyzed previous data for identified pions from a
hydrogen target. These distributions are consistent with zero for all three sea
flavors. A recently predicted flavor asymmetry in the polarization of the light
quark sea appears to be disfavored by the data.Comment: 5 pages, 3 figure
Nuclear Polarization of Molecular Hydrogen Recombined on a Non-metallic Surface
The nuclear polarization of molecules formed by recombination
of nuclear polarized H atoms on the surface of a storage cell initially coated
with a silicon-based polymer has been measured by using the longitudinal
double-spin asymmetry in deep-inelastic positron-proton scattering. The
molecules are found to have a substantial nuclear polarization, which is
evidence that initially polarized atoms retain their nuclear polarization when
absorbed on this type of surfac
The Q^2-Dependence of Nuclear Transparency for Exclusive Production
Exclusive coherent and incoherent electroproduction of the meson
from H and N targets has been studied at the HERMES experiment as a
function of coherence length (), corresponding to the lifetime of hadronic
fluctuations of the virtual photon, and squared four-momentum of the virtual
photon (). The ratio of N to H cross sections per nucleon,
known as nuclear transparency, was found to increase (decrease) with increasing
coherence length for coherent (incoherent) electroproduction. For
fixed coherence length, a rise of nuclear transparency with is observed
for both coherent and incoherent production, which is in agreement
with theoretical calculations of color transparency.Comment: 5 pages, 4 figure
Customer Specific Transaction Risk Management in eCommerce
Increasing potential for turnover in e-commerce is inextricably linked with an increase in risk. Online retailers (e-tailers), aiming for a company-wide value orientation should manage this risk. However, current approaches to risk management either use average retail prices elevated by an overall risk premium or restrict the payment methods offered to customers. Thus, they neglect customer-specific value and risk attributes and leave turnover potentials unconsidered. To close this gap, an innovative valuation model is proposed in this contribution that integrates customer-specific risk and potential turnover. The approach presented evaluates different payment methods using their risk-turnover characteristic, provides a risk-adjusted decision basis for selecting payment methods and allows e-tailers to derive automated risk management decisions per customer and transaction without reducing turnover potential
Measurement of Angular Distributions and R= sigma_L/sigma_T in Diffractive Electroproduction of rho^0 Mesons
Production and decay angular distributions were extracted from measurements
of exclusive electroproduction of the rho^0(770) meson over a range in the
virtual photon negative four-momentum squared 0.5< Q^2 <4 GeV^2 and the
photon-nucleon invariant mass range 3.8< W <6.5 GeV. The experiment was
performed with the HERMES spectrometer, using a longitudinally polarized
positron beam and a ^3He gas target internal to the HERA e^{+-} storage ring.
The event sample combines rho^0 mesons produced incoherently off individual
nucleons and coherently off the nucleus as a whole. The distributions in one
production angle and two angles describing the rho^0 -> pi+ pi- decay yielded
measurements of eight elements of the spin-density matrix, including one that
had not been measured before. The results are consistent with the dominance of
helicity-conserving amplitudes and natural parity exchange. The improved
precision achieved at 47 GeV,
reveals evidence for an energy dependence in the ratio R of the longitudinal to
transverse cross sections at constant Q^2.Comment: 15 pages, 15 embedded figures, LaTeX for SVJour(epj) document class
Revision: Fig. 15 corrected, recent data added to Figs. 10,12,14,15; minor
changes to tex
- …