Probabilistic Reachability for Parametric Markov Models

Abstract. Given a parametric Markov model, we consider the problem of computing the rational function expressing the probability of reaching a given set of states. To attack this principal problem, Daws has suggested to first convert the Markov chain into a finite automaton, from which a regular expression is computed. Afterwards, this expression is evaluated to a closed form function representing the reachability probability. This paper investigates how this idea can be turned into an effective procedure. It turns out that the bottleneck lies in the growth of the regular expression relative to the number of states (nΘ(logn)). We therefore proceed differently, by tightly intertwining the regular expression computation with its evaluation. This allows us to arrive at an effective method that avoids this blow up in most practical cases. We give a detailed account of the approach, also extending to parametric models with rewards and with non-determinism. Experimental evidence is provided, illustrating that our implementation provides meaningful insights on non-trivial models.

Coherent π0 photoproduction on the deuteron up to 4 GeV

The differential cross section for 2H(γ,d)π0 has been measured at deuteron center-of-mass angles of 90° and 136°. This work reports the first data for this reaction above a photon energy of 1 GeV, and permits a test of the apparent constituent counting rule and reduced nuclear amplitude behavior as observed in elastic ed scattering. Measurements were performed up to a photon energy of 4.0 GeV, and are in good agreement with previous lower energy measurements. Overall, the data are inconsistent with both constituent-counting rule and reduced nuclear amplitude predictions

Quasielastic (e,e′p) reaction on 12C,56Fe, and 197Au

We report the results from a systematic study of the quasielastic (e,e′p) reaction on 12C, 56Fe, and 197Au performed at Jefferson Lab. We have measured nuclear transparency and extracted spectral functions (corrected for radiation) over a Q2 range of 0.64–3.25 (GeV∕c)2 for all three nuclei. In addition, we have extracted separated longitudinal and transverse spectral functions at Q2 of 0.64 and 1.8 (GeV∕c)2 for these three nuclei (except for 197Au at the higher Q2). The spectral functions are compared to a number of theoretical calculations. The measured spectral functions differ in detail but not in overall shape from most of the theoretical models. In all three targets the measured spectral functions show considerable excess transverse strength at Q2=0.64 (GeV∕c)2, which is much reduced at 1.8 (GeV∕c)2

Separated spectral functions for the quasifree 12C(e,e′p) reaction

A separation of the longitudinal and transverse 12C(e,e′p) cross sections in the quasifree region has been performed in parallel kinematics at Q2 of 0.64 and 1.8 GeV2 for initial proton momentum <80 MeV. The separated transverse and longitudinal spectral functions at Q2=0.64GeV2 show significant differences for missing energy between 25 and 60 MeV indicating a breakdown in the single nucleon knockout picture. The transverse spectral functions exhibit definite momentum transfer dependence

The British Army, information management and the First World War revolution in military affairs

Information Management (IM) – the systematic ordering, processing and channelling of information within organisations – forms a critical component of modern military command and control systems. As a subject of scholarly enquiry, however, the history of military IM has been relatively poorly served. Employing new and under-utilised archival sources, this article takes the British Expeditionary Force (BEF) of the First World War as its case study and assesses the extent to which its IM system contributed to the emergence of the modern battlefield in 1918. It argues that the demands of fighting a modern war resulted in a general, but not universal, improvement in the BEF’s IM techniques, which in turn laid the groundwork, albeit in embryonic form, for the IM systems of modern armies. KEY WORDS: British Army, Information Management, First World War, Revolution in Military Affairs, Adaptatio

Measurements of Deuteron Photodisintegration up to 4.0 GeV

The first measurements of the differential cross section for the d(γ,p)n reaction up to 4.0 GeV were performed at the Continuous Electron Beam Accelerator Facility (CEBAF) at Thomas Jefferson Laboratory. We report the cross sections at the proton center-of-mass angles of 36°, 52°, 69°, and 89°. These results are in reasonable agreement with previous measurements at lower energy. The 89° and 69° data show constituent-counting-rule behavior up to 4.0 GeV photon energy. The 52° and 36° data disagree with the counting-rule behavior. The quantum chromodynamics (QCD) model of nuclear reactions involving reduced amplitudes disagrees with the present data.U.S. Department of Energy, National Science Foundatio