104 research outputs found

    Approximation Semantics and Expressive Predicate Assignment for Object-Oriented Programming

    Get PDF
    We consider a semantics for a class-based object-oriented calculus based upon approximation; since in the context of LC such a semantics enjoys a strong correspondence with intersection type assignment systems, we also define such a system for our calculus and show that it is sound and complete. We establish the link with between type (we use the terminology predicate here) assignment and the approximation semantics by showing an approximation result, which leads to a sufficient condition for head-normalisation and termination. We show the expressivity of our predicate system by defining an encoding of Combinatory Logic (and so also LC) into our calculus. We show that this encoding preserves predicate-ability and also that our system characterises the normalising and strongly normalising terms for this encoding, demonstrating that the great analytic capabilities of these predicates can be applied to OO

    Measurements of differential production cross sections for a Z boson in association with jets in pp collisions at root s=8 TeV

    Get PDF
    Peer reviewe

    Search for the associated production of the Higgs boson with a top-quark pair

    Get PDF
    A search for the standard model Higgs boson produced in association with a top-quark pair t t ¯ H (tt¯H) is presented, using data samples corresponding to integrated luminosities of up to 5.1 fb −1 and 19.7 fb −1 collected in pp collisions at center-of-mass energies of 7 TeV and 8 TeV respectively. The search is based on the following signatures of the Higgs boson decay: H → hadrons, H → photons, and H → leptons. The results are characterized by an observed t t ¯ H tt¯H signal strength relative to the standard model cross section, μ = σ/σ SM ,under the assumption that the Higgs boson decays as expected in the standard model. The best fit value is μ = 2.8 ± 1.0 for a Higgs boson mass of 125.6 GeV

    Measurement of prompt Jψ\psi pair production in pp collisions at \sqrt s = 7 Tev

    Get PDF
    Production of prompt J/ ψ meson pairs in proton-proton collisions at s s√ = 7 TeV is measured with the CMS experiment at the LHC in a data sample corresponding to an integrated luminosity of about 4.7 fb −1 . The two J/ ψ mesons are fully reconstructed via their decays into μ + μ − pairs. This observation provides for the first time access to the high-transverse-momentum region of J/ ψ pair production where model predictions are not yet established. The total and differential cross sections are measured in a phase space defined by the individual J/ ψ transverse momentum ( p T J/ ψ ) and rapidity (| y J/ ψ |): | y J/ ψ | 6.5 GeV/ c ; 1.2 4.5 GeV/ c . The total cross section, assuming unpolarized prompt J/ ψ pair production is 1.49 ± 0.07 (stat) ±0.13 (syst) nb. Different assumptions about the J/ ψ polarization imply modifications to the cross section ranging from −31% to +27%

    The Physics of the B Factories

    Get PDF

    Charged-particle nuclear modification factors in PbPb and pPb collisions at √=sNN=5.02 TeV

    Get PDF
    The spectra of charged particles produced within the pseudorapidity window |η| < 1 at √ sNN = 5.02 TeV are measured using 404 µb −1 of PbPb and 27.4 pb−1 of pp data collected by the CMS detector at the LHC in 2015. The spectra are presented over the transverse momentum ranges spanning 0.5 < pT < 400 GeV in pp and 0.7 < pT < 400 GeV in PbPb collisions. The corresponding nuclear modification factor, RAA, is measured in bins of collision centrality. The RAA in the 5% most central collisions shows a maximal suppression by a factor of 7–8 in the pT region of 6–9 GeV. This dip is followed by an increase, which continues up to the highest pT measured, and approaches unity in the vicinity of pT = 200 GeV. The RAA is compared to theoretical predictions and earlier experimental results at lower collision energies. The newly measured pp spectrum is combined with the pPb spectrum previously published by the CMS collaboration to construct the pPb nuclear modification factor, RpA, up to 120 GeV. For pT > 20 GeV, RpA exhibits weak momentum dependence and shows a moderate enhancement above unity

    λ-definable functionals andβη conversion

    No full text
    corecore