Which Classes of Origin Graphs Are Generated by Transducers.

We study various models of transducers equipped with origin information. We consider the semantics of these models as particular graphs, called origin graphs, and we characterise the families of such graphs recognised by streaming string transducers

Undecidability of a weak version of MSO+U

We prove the undecidability of MSO on ω-words extended with the second-order predicate U1(X) which says that the distance between consecutive positions in a set X⊆N is unbounded. This is achieved by showing that adding U1 to MSO gives a logic with the same expressive power as MSO+U, a logic on ω-words with undecidable satisfiability. As a corollary, we prove that MSO on ω-words becomes undecidable if allowing to quantify over sets of positions that are ultimately periodic, i.e., sets X such that for some positive integer p, ultimately either both or none of positions x and x+p belong to X

Contenu en étrangeté du nucléon ; Expérience G0 au JLab

L'expérience G0 se propose de déterminer la contribution du quark étrange aux facteurs de forme électrofaibles et axial du nucléon sur un large domaine en Q2 (de 0.1 à 1 GeV/c)2). La première partie de ce document pose le formalisme de G0 et explique comment il est possible d'accéder au contenu en étrangeté du nucléon par une mesure d'asymétrie de violation de parité en diffusion élastique électron-nucléon. Ensuite le dispositif expérimental mis en place et les différentes phases de l'expérience sont présentés

G0^0 Electronics and Data Acquisition (Forward-Angle Measurements)

The G$^0$ parity-violation experiment at Jefferson Lab (Newport News, VA) is designed to determine the contribution of strange/anti-strange quark pairs to the intrinsic properties of the proton. In the forward-angle part of the experiment, the asymmetry in the cross section was measured for $\vec{e}p$ elastic scattering by counting the recoil protons corresponding to the two beam-helicity states. Due to the high accuracy required on the asymmetry, the G$^0$ experiment was based on a custom experimental setup with its own associated electronics and data acquisition (DAQ) system. Highly specialized time-encoding electronics provided time-of-flight spectra for each detector for each helicity state. More conventional electronics was used for monitoring (mainly FastBus). The time-encoding electronics and the DAQ system have been designed to handle events at a mean rate of 2 MHz per detector with low deadtime and to minimize helicity-correlated systematic errors. In this paper, we outline the general architecture and the main features of the electronics and the DAQ system dedicated to G$^0$ forward-angle measurements.Comment: 35 pages. 17 figures. This article is to be submitted to NIM section A. It has been written with Latex using \documentclass{elsart}. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment In Press (2007

Development of a quality assurance process for the SoLid experiment

The SoLid experiment has been designed to search for an oscillation pattern induced by a light sterile neutrino state, utilising the BR2 reactor of SCK circle CEN, in Belgium. The detector leverages a new hybrid technology, utilising two distinct scintillators in a cubic array, creating a highly segmented detector volume. A combination of 5 cm cubic polyvinyltoluene cells, with (LiF)-Li-6:ZnS(Ag) sheets on two faces of each cube, facilitate reconstruction of the neutrino signals. Whilst the high granularity provides a powerful toolset to discriminate backgrounds; by itself the segmentation also represents a challenge in terms of homogeneity and calibration, for a consistent detector response. The search for this light sterile neutrino implies a sensitivity to distortions of around O(10)% in the energy spectrum of reactor (v) over bare. Hence, a very good neutron detection efficiency, light yield and homogeneous detector response are critical for data validation. The minimal requirements for the SoLid physics program are a light yield and a neutron detection efficiency larger than 40 PA/MeV/cube and 50% respectively. In order to guarantee these minimal requirements, the collaboration developed a rigorous quality assurance process for all 12800 cubic cells of the detector. To carry out the quality assurance process, an automated calibration system called CALIPSO was designed and constructed. CALIPSO provides precise, automatic placement of radioactive sources in front of each cube of a given detector plane (16 x 16 cubes). A combination of Na-22, Cf-252 and AmBe gamma and neutron sources were used by CALIPSO during the quality assurance process. Initially, the scanning identified defective components allowing for repair during initial construction of the SoLid detector. Secondly, a full analysis of the calibration data revealed initial estimations for the light yield of over 60 PA/MeV and neutron reconstruction efficiency of 68%, validating the SoLid physics requirements

Exclusive Neutral Pion Electroproduction in the Deeply Virtual Regime

We present measurements of the ep->ep pi^0 cross section extracted at two values of four-momentum transfer Q^2=1.9 GeV^2 and Q^2=2.3 GeV^2 at Jefferson Lab Hall A. The kinematic range allows to study the evolution of the extracted hadronic tensor as a function of Q^2 and W. Results will be confronted with Regge inspired calculations and GPD predictions. An intepretation of our data within the framework of semi-inclusive deep inelastic scattering has also been attempted

Transverse Beam Spin Asymmetries in Forward-Angle Elastic Electron-Proton Scattering

We have measured the beam-normal single-spin asymmetry in elastic scattering of transversely-polarized 3 GeV electrons from unpolarized protons at Q^2 = 0.15, 0.25 (GeV/c)^2. The results are inconsistent with calculations solely using the elastic nucleon intermediate state, and generally agree with calculations with significant inelastic hadronic intermediate state contributions. A_n provides a direct probe of the imaginary component of the 2-gamma exchange amplitude, the complete description of which is important in the interpretation of data from precision electron-scattering experiments.Comment: 5 pages, 3 figures, submitted to Physical Review Letters; shortened to meet PRL length limit, clarified some text after referee's comment

Energy Linearity and Resolution of the ATLAS Electromagnetic Barrel Calorimeter in an Electron Test-Beam

A module of the ATLAS electromagnetic barrel liquid argon calorimeter was exposed to the CERN electron test-beam at the H8 beam line upgraded for precision momentum measurement. The available energies of the electron beam ranged from 10 to 245 GeV. The electron beam impinged at one point corresponding to a pseudo-rapidity of eta=0.687 and an azimuthal angle of phi=0.28 in the ATLAS coordinate system. A detailed study of several effects biasing the electron energy measurement allowed an energy reconstruction procedure to be developed that ensures a good linearity and a good resolution. Use is made of detailed Monte Carlo simulations based on Geant which describe the longitudinal and transverse shower profiles as well as the energy distributions. For electron energies between 15 GeV and 180 GeV the deviation of the measured incident electron energy over the beam energy is within 0.1%. The systematic uncertainty of the measurement is about 0.1% at low energies and negligible at high energies. The energy resolution is found to be about 10% sqrt(E) for the sampling term and about 0.2% for the local constant term