Application-Layer Connector Synthesis

International audienceThe heterogeneity characterizing the systems populating the Ubiquitous Computing environment prevents their seamless interoperability. Heterogeneous protocols may be willing to cooperate in order to reach some common goal even though they meet dynamically and do not have a priori knowledge of each other. Despite numerous e orts have been done in the literature, the automated and run-time interoperability is still an open challenge for such environment. We consider interoperability as the ability for two Networked Systems (NSs) to communicate and correctly coordinate to achieve their goal(s). In this chapter we report the main outcomes of our past and recent research on automatically achieving protocol interoperability via connector synthesis. We consider application-layer connectors by referring to two conceptually distinct notions of connector: coordinator and mediator. The former is used when the NSs to be connected are already able to communicate but they need to be speci cally coordinated in order to reach their goal(s). The latter goes a step forward representing a solution for both achieving correct coordination and enabling communication between highly heterogeneous NSs. In the past, most of the works in the literature described e orts to the automatic synthesis of coordinators while, in recent years the focus moved also to the automatic synthesis of mediators. Within the Connect project, by considering our past experience on automatic coordinator synthesis as a baseline, we propose a formal theory of mediators and a related method for automatically eliciting a way for the protocols to interoperate. The solution we propose is the automated synthesis of emerging mediating connectors (i.e., mediators for short)

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

Peer reviewe

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

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

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%

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

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

An explanation of the continuing federal government mandate of single-member congressional districts

A formal rational expectation model is developed to explain why congressional single-member districts (SMD’s) were mandated in 1842 and why that mandate has repeatedly been re-affirmed. The tendency of voters to moderate the dominant party in the federal government combined with the single-party sweep effect of multi-member districts (MMD’s) creates the incentives for the strongest party to support a SMD mandate. This model performs empirically much better than alternative theories. The model’s prediction that the current SMD mandate is permanent is an example of how an institutional change can endure even if it no longer reflects voter preferences. Copyright Springer Science+Business Media B.V. 2007