Search for More Declarativity

Good tree search algorithms are a key requirement for inference engines of rule languages. As Prolog exemplifies, inference engines based on traditional uninformed search methods with their well-known deficiencies are prone to compromise declarativity, the primary concern of rule languages. The paper presents a new family of uninformed search algorithms that combine the advantages of the traditional ones while avoiding their shortcomings. Moreover, the paper introduces a formal framework based on partial orderings, which allows precise and elegant analysis of such algorithms

From Analogical Proportion to Logical Proportions

International audienceGiven a 4-tuple of Boolean variables (a, b, c, d), logical proportions are modeled by a pair of equivalences relating similarity indicators ( a∧b and a¯∧b¯), or dissimilarity indicators ( a∧b¯ and a¯∧b) pertaining to the pair (a, b), to the ones associated with the pair (c, d). There are 120 semantically distinct logical proportions. One of them models the analogical proportion which corresponds to a statement of the form “a is to b as c is to d”. The paper inventories the whole set of logical proportions by dividing it into five subfamilies according to what they express, and then identifies the proportions that satisfy noticeable properties such as full identity (the pair of equivalences defining the proportion hold as true for the 4-tuple (a, a, a, a)), symmetry (if the proportion holds for (a, b, c, d), it also holds for (c, d, a, b)), or code independency (if the proportion holds for (a, b, c, d), it also holds for their negations (a¯,b¯,c¯,d¯)). It appears that only four proportions (including analogical proportion) are homogeneous in the sense that they use only one type of indicator (either similarity or dissimilarity) in their definition. Due to their specific patterns, they have a particular cognitive appeal, and as such are studied in greater details. Finally, the paper provides a discussion of the other existing works on analogical proportions

Measurement of the View the tt production cross-section using eμ events with b-tagged jets in pp collisions at √s = 13 TeV with the ATLAS detector

This paper describes a measurement of the inclusive top quark pair production cross-section (σtt¯) with a data sample of 3.2 fb−1 of proton–proton collisions at a centre-of-mass energy of √s = 13 TeV, collected in 2015 by the ATLAS detector at the LHC. This measurement uses events with an opposite-charge electron–muon pair in the final state. Jets containing b-quarks are tagged using an algorithm based on track impact parameters and reconstructed secondary vertices. The numbers of events with exactly one and exactly two b-tagged jets are counted and used to determine simultaneously σtt¯ and the efficiency to reconstruct and b-tag a jet from a top quark decay, thereby minimising the associated systematic uncertainties. The cross-section is measured to be: σtt¯ = 818 ± 8 (stat) ± 27 (syst) ± 19 (lumi) ± 12 (beam) pb, where the four uncertainties arise from data statistics, experimental and theoretical systematic effects, the integrated luminosity and the LHC beam energy, giving a total relative uncertainty of 4.4%. The result is consistent with theoretical QCD calculations at next-to-next-to-leading order. A fiducial measurement corresponding to the experimental acceptance of the leptons is also presented

Search for dark matter produced in association with a hadronically decaying vector boson in pp collisions at sqrt (s) = 13 TeV with the ATLAS detector

A search is presented for dark matter produced in association with a hadronically decaying W or Z boson using 3.2 fb−1 of pp collisions at View the MathML sources=13 TeV recorded by the ATLAS detector at the Large Hadron Collider. Events with a hadronic jet compatible with a W or Z boson and with large missing transverse momentum are analysed. The data are consistent with the Standard Model predictions and are interpreted in terms of both an effective field theory and a simplified model containing dark matter

Measurement of the cross section for isolated-photon plus jet production in pp collisions at √s=13 TeV using the ATLAS detector

The dynamics of isolated-photon production in association with a jet in proton–proton collisions at a centre-of-mass energy of 13 TeV are studied with the ATLAS detector at the LHC using a dataset with an integrated luminosity of 3.2 fb−1. Photons are required to have transverse energies above 125 GeV. Jets are identified using the anti- algorithm with radius parameter and required to have transverse momenta above 100 GeV. Measurements of isolated-photon plus jet cross sections are presented as functions of the leading-photon transverse energy, the leading-jet transverse momentum, the azimuthal angular separation between the photon and the jet, the photon–jet invariant mass and the scattering angle in the photon–jet centre-of-mass system. Tree-level plus parton-shower predictions from Sherpa and Pythia as well as next-to-leading-order QCD predictions from Jetphox and Sherpa are compared to the measurements

Search for resonances in the mass distribution of jet pairs with one or two jets identified as b-jets in proton–proton collisions at √s=13TeV with the ATLAS detector

Searches for high-mass resonances in the dijet invariant mass spectrum with one or two jets identi-fied as b-jets are performed using an integrated luminosity of 3.2fb−1of proton–proton collisions with a centre-of-mass energy of √s=13TeVrecorded by the ATLAS detector at the Large Hadron Collider. Noevidence of anomalous phenomena is observed in the data, which are used to exclude, at 95%credibility level, excited b∗quarks with masses from 1.1TeVto 2.1TeVand leptophobic Z bosons with masses from 1.1TeVto 1.5TeV. Contributions of a Gaussian signal shape with effective cross sections ranging from approximately 0.4 to 0.001pb are also excluded in the mass range 1.5–5.0TeV

Measurement of the double-differential high-mass Drell-Yan cross section in pp collisions at √s = 8 TeV with the ATLAS detector

This paper presents a measurement of the double-differential cross section for the Drell-Yan Z/γ∗ → ℓ+ℓ− and photon-induced γγ → ℓ+ℓ− processes where ℓ is an electron or muon. The measurement is performed for invariant masses of the lepton pairs, mℓℓ, between 116 GeV and 1500 GeV using a sample of 20.3 fb−1 of pp collisions data at centre-of-mass energy of √s = 8 TeV collected by the ATLAS detector at the LHC in 2012. The data are presented double differentially in invariant mass and absolute dilepton rapidity as well as in invariant mass and absolute pseudorapidity separation of the lepton pair. The single-differential cross section as a function of mℓℓ is also reported. The electron and muon channel measurements are combined and a total experimental precision of better than 1% is achieved at low mℓℓ. A comparison to next-to-next-to-leading order perturbative QCD predictions using several recent parton distribution functions and including next-to-leading order electroweak effects indicates the potential of the data to constrain parton distribution functions. In particular, a large impact of the data on the photon PDF is demonstrated