Expected performance of the ATLAS experiment - detector, trigger and physics
- T. A. C. G. Aad, E. Abat, V. Zycháček
- Physics
- 28 December 2008
A detailed study is presented of the expected performance of the ATLAS detector. The reconstruction of tracks, leptons, photons, missing energy and jets is investigated, together with the performance…
A Small Scale Reflection Extension for the Coq system
- Georges Gonthier, A. Mahboubi, E. Tassi
- Computer Science
- 2008
This document describes a set of extensions to the proof scripting language of the Coq proof assistant, improving the functionality of Coq in basic areas such as script layout and structuring, proof context management, and rewriting.
Combined measurement and QCD analysis of the inclusive e±p scattering cross sections at HERA
- F. D. Aaron, H. Abramowicz, M. Vazquez
- Physics
- 4 November 2009
A combination is presented of the inclusive deep inelastic cross sections measured by the H1 and ZEUS Collaborations in neutral and charged current unpolarised e±p scattering at HERA during the…
Electron efficiency measurements with the ATLAS detector using 2012 LHC proton–proton collision data
- M. Aaboud, G. Aad, L. Zwalinski
- PhysicsEuropean Physical Journal C: Particles and Fields
- 27 March 2017
The efficiency to reconstruct and identify electrons at the ATLAS experiment varies from 65 to 95%, depending on the transverse momentum of the electron and background rejection, which is measured in data and evaluated in simulated samples.
Search for electroweak production of charginos and sleptons decaying into final states with two leptons and missing transverse momentum in √s = 13 TeV pp collisions using the ATLAS detector
- G. Aad, A. Kupco, R. Bielski
- Physics
- 14 February 2020
A search for the electroweak production of charginos and sleptons decaying into final states with two electrons or muons is presented. The analysis is based on 139 fb$^{-1}$ of proton–proton…
Measurement of the muon reconstruction performance of the ATLAS detector using 2011 and 2012 LHC proton–proton collision data
- G. Aad, B. Abbott, L. Zwalinski
- PhysicsEuropean Physical Journal C: Particles and Fields
- 15 July 2014
The performance of the ATLAS muon reconstruction during the LHC run withpp collisions at s=7–8 TeV in 2011–2012 is presented, focusing mainly on data collected in 2012.
Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector
- G. Aad, T. Abajyan, L. Zwalinski
- Physics
- 1 November 2012
A Machine-Checked Proof of the Odd Order Theorem
- Georges Gonthier, A. Asperti, Laurent Théry
- MathematicsInternational Conference on Interactive Theorem…
- 22 July 2013
This paper reports on a six-year collaborative effort that culminated in a complete formalization of a proof of the Feit-Thompson Odd Order Theorem in the Coq proof assistant, using a comprehensive set of reusable libraries of formalized mathematics.
A Large Hadron Electron Collider at CERN: Report on the Physics and Design Concepts for Machine and Detector
- J. Fernandez, C. Adolphsen, F. Zomer
- Physics
- 13 June 2012
This document provides a brief overview of the recently published report on the design of the Large Hadron Electron Collider (LHeC), which comprises its physics programme, accelerator physics,…
Search for new phenomena in dijet events using 37 fb-1 of pp collision data collected at s =13 TeV with the ATLAS detector
- M. Aaboud, A. Kupco, R. Bielski
- Physics
- 1 September 2017
Dijet events are studied in the proton--proton collision dataset recorded at $\sqrt{s}=$13 TeV with the ATLAS detector at the Large Hadron Collider in 2015 and 2016, corresponding to integrated…
...
...