J. Yoo

Verifying the Option Type with Rely-Guarantee Reasoning

J. Yoo, Michael D. Ernst, René Just

Many programming languages include an implementation of the option type, which encodes the absence or presence of values. Incorrect use of the option type results in run-time errors, and unstylistic use results in unnecessary code. Researchers and practitioners have tried to mitigate …

us (code pays fourni par la source)

First measurement of the top quark pair production cross section in proton-proton collisions at $$ \sqrt{s} $$ = 13.6 TeV

A. Tumasyan, W. Adam, Janik Walter Andrejkovic, T. Bergauer et autres

Abstract The first measurement of the top quark pair ( $$ \textrm{t}\overline{\textrm{t}} $$ t t ¯ ) production cross section in proton-proton collisions at $$ \sqrt{s} $$ s = 13.6 TeV is presented. Data recorded with the CMS detector at the CERN …

am, at, be, br (code pays fourni par la source)

Search for dijet resonances using events with three jets in proton-proton collisions at s=13TeV

A. M. Sirunyan, A. Tumasyan, W. Adam, F. Ambrogi et autres

A search for a narrow resonance with a mass between 350 and 700 GeV, and decaying into a pair of jets, is performed using proton-proton collision events containing at least three jets. The data sample corresponds to an integrated luminosity of 18.3 …

am, at, be, by, ru, us, br, ee (code pays fourni par la source)

Azimuthal anisotropy of charged particles with transverse momentum up to 100 GeV/c in PbPb collisions at sNN=5.02 TeV

A. M. Sirunyan, A. Tumasyan, W. Adam, E. Asilar et autres

The Fourier coefficients v 2 and v 3 characterizing the anisotropy of the azimuthal distribution of charged particles produced in PbPb collisions at s NN = 5.02 TeV are measured with data collected by the CMS experiment. The measurements cover a broad …

am, at, by, be (code pays fourni par la source)

Search for high-mass Zγ resonances in proton–proton collisions at s=8 and 13 TeV using jet substructure techniques

A. M. Sirunyan, A. Tumasyan, W. Adam, E. Asilar et autres

A search for massive resonances decaying to a Z boson and a photon is performed in events with a hadronically decaying Z boson candidate, separately in light-quark and b quark decay modes, identified using jet substructure and advanced b tagging techniques. Results …

am, at, by, be (code pays fourni par la source)

Search for high-mass diphoton resonances in proton–proton collisions at 13 TeV and combination with 8 TeV search

V. Khachatryan, A.M. Sirunyan, W. Adam, E. Asilar et autres

A search for the resonant production of high-mass photon pairs is presented. The search focuses on spin-0 and spin-2 resonances with masses between 0.5 and 4.5 TeV, and with widths, relative to the mass, between 1.4 × 10 − 4 and 5.6 …

am, at, by, be (code pays fourni par la source)

Measurements of jet multiplicity and differential production cross sections of Z+jets events in proton-proton collisions at s=7 TeV

V. Khachatryan, A. M. Sirunyan, A. Tumasyan, W. Adam et autres

Measurements of differential cross sections are presented for the production of a $\mathrm{Z}$ boson and at least one hadronic jet in proton-proton collisions at $\sqrt{s}=7\text{ }\text{ }\mathrm{TeV}$, recorded by the CMS detector, using a data sample corresponding to an integrated luminosity of …

am, at, be (code pays fourni par la source)

CMS Collaboration

S. Chatrchyan, V. Khachatryan, A.M. Sirunyan, A. Tumasyan et autres

am, at (code pays fourni par la source)

Measurement of the t[line over t] production cross section in the dilepton channel in pp collisions at √s = 8 TeV

S. Chatrchyan, V. Khachatryan, A. M. Sirunyan, A. Tumasyan et autres

Measurement of associated W + charm production in pp collisions at $ \sqrt{s} $ = 7 TeV

S. Chatrchyan, V. Khachatryan, A. M. Sirunyan, W. Adam et autres

Measurements are presented of the associated production of a W boson and a charm-quark jet (W + c) in pp collisions at a center-of-mass energy of 7 TeV. The analysis is conducted with a data sample corresponding to a total integrated luminosity …

am, at, be (code pays fourni par la source)

Measurement of the differential and double-differential Drell-Yan cross sections in proton-proton collisions at $ \sqrt{s} $ = 7 TeV

S. Chatrchyan, V. Khachatryan, A. M. Sirunyan, A. Tumasyan et autres

Abstract Measurements of the differential and double-differential Drell-Yan cross sections are presented using an integrated luminosity of 4.5 (4.8) fb−1 in the dimuon (dielectron) channel of proton-proton collision data recorded with the CMS detector at the LHC at $ \sqrt{s} $ = …

am, at, be (code pays fourni par la source)

Measurement of the W-boson helicity in top-quark decays from $ \mathrm{t}\overline{\mathrm{t}} $ production in lepton+jets events in pp collisions at $ \sqrt{s}=7 $ TeV

S. Chatrchyan, V. Khachatryan, A. M. Sirunyan, A. Tumasyan et autres

Abstract The W-boson helicity fractions in top-quark decays are measured with $ \mathrm{t}\overline{\mathrm{t}} $ events in the lepton+jets final state, using proton-proton collisions at a centre-of-mass energy of 7 TeV, collected in 2011 with the CMS detector at the LHC. The data …

am, at, by, be (code pays fourni par la source)