Verifying higher-order concurrency with data automata

Using a combination of automata-theoretic and game-semantic techniques, we propose a method for analysing higher-order concurrent programs. Our language of choice is Finitary Idealised Concurrent Algol (FICA) due to its relatively simple fully abstract game model.Our first contribution is an automata model over a tree-structured infinite data alphabet, called split automata, whose distinctive feature is the separation of control and memory. We show that every FICA term can be translated into such an automaton. Thanks to the structure of split automata, we are able to observe subtle aspects of the underlying game semantics.This enables us to identify a fragment of FICA with iteration and limited synchronisation (but without recursion), for which, in contrast to the whole FICA, a variety of verification problems turn out to be decidable

Energy Response and Longitudinal Shower Profiles Measured in CMS HCAL and Comparison With Geant4

The response of the CMS combined electromagnetic and hadron calorimeter to beams of pions with momenta in the range 5-300 GeV/c has been measured in the H2 test beam at CERN. The raw response with the electromagnetic compartment calibrated to electrons and the hadron compartment calibrated to 300 GeV pions may be represented by sigma = (1.2) sqrt{E} oplus (0.095) E. The fraction of energy visible in the calorimeter ranges from 0.72 at 5 GeV to 0.95 at 300 GeV, indicating a substantial nonlinearity. The intrinsic electron to hadron ratios are fit as a function of energy and found to be in the range 1.3-2.7 for the electromagnetic compartment and 1.4-1.8 for the hadronic compartment. The fits are used to correct the non-linearity of the e pi response to 5% over the entire measured range resulting in a substantially improved resolution at low energy. Longitudinal shower profile have been measured in detail and compared to Geant4 models, LHEP-3.7 and QGSP-2.8. At energies below 30 GeV, the data, LHEP and QGSP are in agreement. Above 30 GeV, LHEP gives a more accurate simulation of the longitudinal shower profile

Recent Progress and Next Steps for the MATHUSLA LLP Detector

We report on recent progress and next steps in the design of the proposed MATHUSLA Long Lived Particle (LLP) detector for the HL-LHC as part of the Snowmass 2021 process. Our understanding of backgrounds has greatly improved, aided by detailed simulation studies, and significant R&D has been performed on designing the scintillator detectors and understanding their performance. The collaboration is on track to complete a Technical Design Report, and there are many opportunities for interested new members to contribute towards the goal of designing and constructing MATHUSLA in time for HL-LHC collisions, which would increase the sensitivity to a large variety of highly motivated LLP signals by orders of magnitude.Comment: Contribution to Snowmass 2021 (EF09, EF10, IF6, IF9), 18 pages, 12 figures. v2: included additional endorser

Design, Performance, and Calibration of the CMS Hadron-Outer Calorimeter

The CMS hadron calorimeter is a sampling calorimeter with brass absorber and plastic scintillator tiles with wavelength shifting fibres for carrying the light to the readout device. The barrel hadron calorimeter is complemented with an outer calorimeter to ensure high energy shower containment in the calorimeter. Fabrication, testing and calibration of the outer hadron calorimeter are carried out keeping in mind its importance in the energy measurement of jets in view of linearity and resolution. It will provide a net improvement in missing \et measurements at LHC energies. The outer hadron calorimeter will also be used for the muon trigger in coincidence with other muon chambers in CMS

Design, Performance, and Calibration of CMS Hadron Endcap Calorimeters

Detailed measurements have been made with the CMS hadron calorimeter endcaps (HE) in response to beams of muons, electrons, and pions. Readout of HE with custom electronics and hybrid photodiodes (HPDs) shows no change of performance compared to readout with commercial electronics and photomultipliers. When combined with lead-tungstenate crystals, an energy resolution of 8\% is achieved with 300 GeV/c pions. A laser calibration system is used to set the timing and monitor operation of the complete electronics chain. Data taken with radioactive sources in comparison with test beam pions provides an absolute initial calibration of HE to approximately 4\% to 5\%

Design, Performance and Calibration of the CMS Forward Calorimeter Wedges

We report on the test beam results and calibration methods using charged particles of the CMS Forward Calorimeter (HF). The HF calorimeter covers a large pseudorapidity region (3\l |\eta| \le 5), and is essential for large number of physics channels with missing transverse energy. It is also expected to play a prominent role in the measurement of forward tagging jets in weak boson fusion channels. The HF calorimeter is based on steel absorber with embedded fused-silica-core optical fibers where Cherenkov radiation forms the basis of signal generation. Thus, the detector is essentially sensitive only to the electromagnetic shower core and is highly non-compensating (e/h \approx 5). This feature is also manifest in narrow and relatively short showers compared to similar calorimeters based on ionization. The choice of fused-silica optical fibers as active material is dictated by its exceptional radiation hardness. The electromagnetic energy resolution is dominated by photoelectron statistics and can be expressed in the customary form as a/\sqrt{E} + b. The stochastic term a is 198% and the constant term b is 9%. The hadronic energy resolution is largely determined by the fluctuations in the neutral pion production in showers, and when it is expressed as in the electromagnetic case, a = 280% and b = 11%

Penilaian Kinerja Keuangan Koperasi di Kabupaten Pelalawan

This paper describe development and financial performance of cooperative in District Pelalawan among 2007 - 2008. Studies on primary and secondary cooperative in 12 sub-districts. Method in this stady use performance measuring of productivity, efficiency, growth, liquidity, and solvability of cooperative. Productivity of cooperative in Pelalawan was highly but efficiency still low. Profit and income were highly, even liquidity of cooperative very high, and solvability was good