The first LHC pp collisions at centre-of-mass energies of 0.9 and 2.36 TeV were recorded by the CMS detector in December 2009. The trajectories of charged particles produced in the collisions were reconstructed using the all-silicon Tracker and their momenta were measured in the 3.8 T axial magnetic field. Results from the Tracker commissioning are presented including studies of timing, efficiency, signal-to-noise, resolution, and ionization energy. Reconstructed tracks are used to benchmark the performance in terms of track and vertex resolutions, reconstruction of decays, estimation of ionization energy loss, as well as identification of photon conversions, nuclear interactions, and heavy-flavour decays.

Measurements of inclusive charged-hadron transverse-momentum and pseudorapidity distributions are presented for proton-proton collisions at √ s = 0.9 and 2.36 TeV. The data were collected with the CMS detector during the LHC commissioning in December 2009. For non-single-diffractive interactions, the average charged-hadron transverse momentum is measured to be 0.46 ± 0.01 (stat.) ± 0.01 (syst.) GeV/c at 0.9 TeV and 0.50 ± 0.01 (stat.) ± 0.01 (syst.) GeV/c at 2.36 TeV, for pseudorapidities between −2.4 and +2.4. At these energies, the measured pseudorapidity densities in the central region, dN ch /dη| |η|<0.5 , are 3.48 ± 0.02 (stat.) ± 0.13 (syst.) and 4.47 ± 0.04 (stat.) ± 0.16 (syst.), respectively. The results at 0.9 TeV are in agreement with previous measurements and confirm the expectation of near equal hadron production in pp and pp collisions. The results at 2.36 TeV represent the highest-energy measurements at a particle collider to date.

Link to publication Citation for published version (APA):Abreu, P., Boudinov, E., Holthuizen, D. J., Kjaer, N. J., Kluit, P. M., Mulders, M. P., ... van Eldik, J. E. (1997). Search for neutral heavy leptons produced in $Z$ decays. Zeitschrift für Physik. C, Particles and Fields, 74, 57. DOI: 10.1007/s002880050370 General rightsIt is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulationsIf you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: http://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.Download date: 09 May 2018 Z. Phys. C 74, 57-71 (1997) ZEITSCHRIFT FÜR PHYSIK C Abstract. Weak isosinglet Neutral Heavy Leptons (ν m ) have been searched for using data collected by the DEL-PHI detector corresponding to 3.3 × 10 6 hadronic Z 0 decays at LEP1. Four separate searches have been performed, for short-lived ν m production giving monojet or acollinear jet topologies, and for long-lived ν m giving detectable secondary vertices or calorimeter clusters. No indication of the existence of these particles has been found, leading to an upper limit for the branching ratio BR(Z 0 → ν m ν) of about 1.3 × 10 −6 at 95% confidence level for ν m masses between 3.5 and 50 GeV/c 2 . Outside this range the limit weakens rapidly with the ν m mass. The results are also interpreted in terms of limits for the single production of excited neutrinos.

Charged-hadron transverse-momentum and pseudorapidity distributions in proton-proton collisions at square root of s = 7  TeV are measured with the inner tracking system of the CMS detector at the LHC. The charged-hadron yield is obtained by counting the number of reconstructed hits, hit pairs, and fully reconstructed charged-particle tracks. The combination of the three methods gives a charged-particle multiplicity per unit of pseudorapidity dN(ch)/dη|(|η|<0.5) = 5.78 ± 0.01(stat) ± 0.23(syst) for non-single-diffractive events, higher than predicted by commonly used models. The relative increase in charged-particle multiplicity from square root of s = 0.9 to 7 TeV is [66.1 ± 1.0(stat) ± 4.2(syst)]%. The mean transverse momentum is measured to be 0.545 ± 0.005(stat) ± 0.015(syst)  GeV/c. The results are compared with similar measurements at lower energies.

Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-order types called contracts. They did not, however, give a semantics of contracts. The lack of a semantics makes it impossible to define and prove soundness and completeness of the checking algorithm. (Given a semantics, a sound checker never reports violations that do not exist under that semantics; a complete checker is – in principle – able to find violations when violations exist.) Ideally, a semantics should capture what programmers intuitively feel is the meaning of a contract or otherwise clearly point out where intuition does not match reality. In this paper we give an interpretation of contracts for which we prove the Findler-Felleisen algorithm sound and (under reasonable assumptions) complete. While our semantics mostly matches intuition, it also exposes a problem with predicate contracts where an arguably more intuitive interpretation than ours would render the checking algorithm unsound. In our semantics we have to make use of a notion of safety (which we define in the paper) to avoid unsoundness. We are able to eliminate the “leakage” of safety into the semantics by changing the language, replacing the original version of unrestricted predicate contracts with a restricted form. The corresponding loss in expressive power can be recovered by making safety explicit as a contract. This can be done either in ad-hoc fashion or by including general recursive contracts. The addition of recursive contracts has far-reaching implications, deeply affecting the formulation of our model and requiring different techniques for proving soundness.