Argument Schemes for Reasoning with Legal Cases Using Values

ABSTRACT Argument schemes can provide a means of explicitly describing reasoning methods in a form that lends itself to computation. The reasoning required to distinguish cases in the manner of CATO has been previously captured as a set of argument schemes. Here we present argument schemes that encapsulate another way of reasoning with cases: using preferences between social values revealed in past decisions to decide cases which have no exact matching precedents when the cases are described in terms of factors. We provide a set of schemes, with variations to capture different ways of comparing sets and varying degrees of promotion of values; we formalise these schemes; and we illustrate them with some examples

Z boson production in Pb+Pb collisions at √Snn = 5.02 TeV measured by the ATLAS experiment

The production yield of Z bosons is measured in the electron and muon decay channels in Pb+Pb collisions at √S = 5.02 TeV with the ATLAS detector. Data from the 2015 LHC run corresponding to an integrated luminosity of 0.49 nb are used for the analysis. The Z boson yield, normalised by the total number of minimum-bias events and the mean nuclear thickness function, is measured as a function of dilepton rapidity and event centrality. The measurements in Pb+Pb collisions are compared with similar measurements made in proton-proton collisions at the same centre-of-mass energy. The nuclear modification factor is found to be consistent with unity for all centrality intervals. The results are compared with theoretical predictions obtained at next-to-leading order using nucleon and nuclear parton distribution functions. The normalised Z boson yields in Pb+Pb collisions lie 1-3σ above the predictions. The nuclear modification factor measured as a function of rapidity agrees with unity and is consistent with a next-to-leading-order QCD calculation including the isospin effect. nn -

Measurement of J/ψ production in association with a W ± boson with pp data at 8 TeV

A measurement of the production of a prompt J/ψ meson in association with a W± boson with W± → μν and J/ψ → μ+μ− is presented for J/ψ transverse momenta in the range 8.5–150 GeV and rapidity |yJ/ψ| < 2.1 using ATLAS data recorded in 2012 at the LHC. The data were taken at a proton-proton centre-of-mass energy of s = 8 TeV and correspond to an integrated luminosity of 20.3 fb−1. The ratio of the prompt J/ψ plus W± cross-section to the inclusive W± cross-section is presented as a differential measurement as a function of J/ψ transverse momenta and compared with theoretical predictions using different double-parton-scattering cross-sections. [Figure not available: see fulltext.]

Search for flavour-changing neutral currents in processes with one top quark and a photon using 81 fb−1 of pp collisions at s=13TeV with the ATLAS experiment

A search for flavour-changing neutral current (FCNC) events via the coupling of a top quark, a photon, and an up or charm quark is presented using 81 fb−1 of proton–proton collision data taken at a centre-of-mass energy of 13 TeV with the ATLAS detector at the LHC. Events with a photon, an electron or muon, a b-tagged jet, and missing transverse momentum are selected. A neural network based on kinematic variables differentiates between events from signal and background processes. The data are consistent with the background-only hypothesis, and limits are set on the strength of the tqγ coupling in an effective field theory. These are also interpreted as 95% CL upper limits on the cross section for FCNC tγ production via a left-handed (right-handed) tuγ coupling of 36 fb (78 fb) and on the branching ratio for t→γu of 2.8×10−5 (6.1×10−5). In addition, they are interpreted as 95% CL upper limits on the cross section for FCNC tγ production via a left-handed (right-handed) tcγ coupling of 40 fb (33 fb) and on the branching ratio for t→γc of 22×10−5 (18×10−5)

Measurement of Azimuthal Anisotropy of Muons from Charm and Bottom Hadrons in pp Collisions at sqrt[s]=13 TeV with the ATLAS Detector.

The elliptic flow of muons from the decay of charm and bottom hadrons is measured in pp collisions at sqrt[s]=13  TeV using a data sample with an integrated luminosity of 150  pb^{-1} recorded by the ATLAS detector at the LHC. The muons from heavy-flavor decay are separated from light-hadron decay muons using momentum imbalance between the tracking and muon spectrometers. The heavy-flavor decay muons are further separated into those from charm decay and those from bottom decay using the distance-of-closest-approach to the collision vertex. The measurement is performed for muons in the transverse momentum range 4-7 GeV and pseudorapidity range |η|<2.4. A significant nonzero elliptic anisotropy coefficient v_{2} is observed for muons from charm decays, while the v_{2} value for muons from bottom decays is consistent with zero within uncertainties

Combination of searches for Higgs boson pairs in pp collisions at s=13TeV with the ATLAS detector

This letter presents a combination of searches for Higgs boson pair production using up to 36.1 fb−1 of proton–proton collision data at a centre-of-mass energy s=13 TeV recorded with the ATLAS detector at the LHC. The combination is performed using six analyses searching for Higgs boson pairs decaying into the bb¯bb¯, bb¯W+W−, bb¯τ+τ−, W+W−W+W−, bb¯γγ and W+W−γγ final states. Results are presented for non-resonant and resonant Higgs boson pair production modes. No statistically significant excess in data above the Standard Model predictions is found. The combined observed (expected) limit at 95% confidence level on the non-resonant Higgs boson pair production cross-section is 6.9 (10) times the predicted Standard Model cross-section. Limits are also set on the ratio (κλ) of the Higgs boson self-coupling to its Standard Model value. This ratio is constrained at 95% confidence level in observation (expectation) to −5.0<κλ<12.0 (−5.8<κλ<12.0). In addition, limits are set on the production of narrow scalar resonances and spin-2 Kaluza–Klein Randall–Sundrum gravitons. Exclusion regions are also provided in the parameter space of the habemus Minimal Supersymmetric Standard Model and the Electroweak Singlet Model

The Suppressor of AAC2 Lethality SAL1 Modulates Sensitivity of Heterologously Expressed Artemia ADP/ATP Carrier to Bongkrekate in Yeast

The ADP/ATP carrier protein (AAC) expressed in Artemia franciscana is refractory to bongkrekate. We generated two strains of Saccharomyces cerevisiae where AAC1 and AAC3 were inactivated and the AAC2 isoform was replaced with Artemia AAC containing a hemagglutinin tag (ArAAC-HA). In one of the strains the suppressor of ΔAAC2 lethality, SAL1, was also inactivated but a plasmid coding for yeast AAC2 was included, because the ArAACΔsal1Δ strain was lethal. In both strains ArAAC-HA was expressed and correctly localized to the mitochondria. Peptide sequencing of ArAAC expressed in Artemia and that expressed in the modified yeasts revealed identical amino acid sequences. The isolated mitochondria from both modified strains developed 85% of the membrane potential attained by mitochondria of control strains, and addition of ADP yielded bongkrekate-sensitive depolarizations implying acquired sensitivity of ArAAC-mediated adenine nucleotide exchange to this poison, independent from SAL1. However, growth of ArAAC-expressing yeasts in glycerol-containing media was arrested by bongkrekate only in the presence of SAL1. We conclude that the mitochondrial environment of yeasts relying on respiratory growth conferred sensitivity of ArAAC to bongkrekate in a SAL1-dependent manner. © 2013 Wysocka-Kapcinska et al

Search for Magnetic Monopoles and Stable High-Electric-Charge Objects in 13 Tev Proton-Proton Collisions with the ATLAS Detector.

A search for magnetic monopoles and high-electric-charge objects is presented using 34.4  fb^{-1} of 13 TeV pp collision data collected by the ATLAS detector at the LHC during 2015 and 2016. The considered signature is based upon high ionization in the transition radiation tracker of the inner detector associated with a pencil-shape energy deposit in the electromagnetic calorimeter. The data were collected by a dedicated trigger based on the tracker high-threshold hit capability. The results are interpreted in models of Drell-Yan pair production of stable particles with two spin hypotheses (0 and 1/2) and masses ranging from 200 to 4000 GeV. The search improves by approximately a factor of 5 the constraints on the direct production of magnetic monopoles carrying one or two Dirac magnetic charges and stable objects with electric charge in the range 20≤|z|≤60 and extends the charge range to 60<|z|≤100