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 $\mathrm{H}_2$ 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 ρ0\rho^0 Production

Exclusive coherent and incoherent electroproduction of the $\rho^0$ meson from $^1$H and $^{14}$N targets has been studied at the HERMES experiment as a function of coherence length ($l_c$), corresponding to the lifetime of hadronic fluctuations of the virtual photon, and squared four-momentum of the virtual photon ($-Q^2$). The ratio of $^{14}$N to $^1$H cross sections per nucleon, known as nuclear transparency, was found to increase (decrease) with increasing coherence length for coherent (incoherent) $\rho^0$ electroproduction. For fixed coherence length, a rise of nuclear transparency with $Q^2$ is observed for both coherent and incoherent $\rho^0$ 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