Propositional update operators based on formula/literal dependence

International audienceWe present and study a general family of belief update operators in a propositional setting. Its operators are based on formula/literal dependence, which is more fine-grained than the notion of formula/variable dependence that was proposed in the literature: formula/variable dependence is a particular case of formula/literal dependence. Our update operators are defined according to the "forget-then-conjoin" scheme: updating a belief base by an input formula consists in first forgetting in the base every literal on which the input formula has a negative influence, and then conjoining the resulting base with the input formula. The operators of our family differ by the underlying notion of formula/literal dependence, which may be defined syntactically or semantically, and which may or may not exploit further information like known persistent literals and pre-set dependencies. We argue that this allows to handle the frame problem and the ramification problem in a more appropriate way. We evaluate the update operators of our family w.r.t. two important dimensions: the logical dimension, by checking the status of the Katsuno-Mendelzon postulates for update, and the computational dimension, by identifying the complexity of a number of decision problems (including model checking, consistency and inference), both in the general case and in some restricted cases, as well as by studying compactability issues. It follows that several operators of our family are interesting alternatives to previous belief update operators

Vimentin and PSF Act in Concert to Regulate IbeA+ E. coli K1 Induced Activation and Nuclear Translocation of NF-κB in Human Brain Endothelial Cells

IbeA-induced NF-κB signaling through its primary receptor vimentin as well as its co-receptor PSF is required for meningitic E. coli K1 penetration and leukocyte transmigration across the blood-brain barrier (BBB), which are the hallmarks of bacterial meningitis. However, it is unknown how vimentin and PSF cooperatively contribute to IbeA-induced cytoplasmic activation and nuclear translocation of NF-κB, which are required for bacteria-mediated pathogenicities.IbeA-induced E. coli K1 invasion, polymorphonuclear leukocyte (PMN) transmigration and IKK/NF-κB activation are blocked by Caffeic acid phenethyl ester (CAPE), an inhibitor of NF-κB. IKKα/β phosphorylation is blocked by ERK inhibitors. Co-immunoprecipitation analysis shows that vimentin forms a complex with IκB, NF-κB and tubulins in the resting cells. A dissociation of this complex and a simultaneous association of PSF with NF-κB could be induced by IbeA in a time-dependent manner. The head domain of vimentin is required for the complex formation. Two cytoskeletal components, vimentin filaments and microtubules, contribute to the regulation of NF-κB. SiRNA-mediated knockdown studies demonstrate that IKKα/β phosphorylation is completely abolished in HBMECs lacking vimentin and PSF. Phosphorylation of ERK and nuclear translocation of NF-κB are entirely dependent on PSF. These findings suggest that vimentin and PSF cooperatively contribute to IbeA-induced cytoplasmic activation and nuclear translocation of NF-κB activation. PSF is essential for translocation of NF-κB and ERK to the nucleus.These findings reveal previously unappreciated facets of the IbeA-binding proteins. Cooperative contributions of vimentin and PSF to IbeA-induced cytoplasmic activation and nuclear translocation of NF-κB may represent a new paradigm in pathogen-induced signal transduction and lead to the development of novel strategies for the prevention and treatment of bacterial meningitis

Measurements of Higgs boson production and couplings in diboson final states with the ATLAS detector at the LHC

Measurements are presented of production properties and couplings of the recently discovered Higgs boson using the decays into boson pairs, H →γ γ, H → Z Z∗ →4l and H →W W∗ →lνlν. The results are based on the complete pp collision data sample recorded by the ATLAS experiment at the CERN Large Hadron Collider at centre-of-mass energies of √s = 7 TeV and √s = 8 TeV, corresponding to an integrated luminosity of about 25 fb−1. Evidence for Higgs boson production through vector-boson fusion is reported. Results of combined fits probing Higgs boson couplings to fermions and bosons, as well as anomalous contributions to loop-induced production and decay modes, are presented. All measurements are consistent with expectations for the Standard Model Higgs boson

Standalone vertex finding in the ATLAS muon spectrometer

A dedicated reconstruction algorithm to find decay vertices in the ATLAS muon spectrometer is presented. The algorithm searches the region just upstream of or inside the muon spectrometer volume for multi-particle vertices that originate from the decay of particles with long decay paths. The performance of the algorithm is evaluated using both a sample of simulated Higgs boson events, in which the Higgs boson decays to long-lived neutral particles that in turn decay to bbar b final states, and pp collision data at √s = 7 TeV collected with the ATLAS detector at the LHC during 2011

Measurement of the top quark-pair production cross section with ATLAS in pp collisions at \sqrt{s}=7\TeV

A measurement of the production cross-section for top quark pairs(\ttbar) in $pp$ collisions at \sqrt{s}=7 \TeV is presented using data recorded with the ATLAS detector at the Large Hadron Collider. Events are selected in two different topologies: single lepton (electron $e$ or muon $\mu$) with large missing transverse energy and at least four jets, and dilepton ($ee$, $\mu\mu$ or $e\mu$) with large missing transverse energy and at least two jets. In a data sample of 2.9 pb-1, 37 candidate events are observed in the single-lepton topology and 9 events in the dilepton topology. The corresponding expected backgrounds from non-\ttbar Standard Model processes are estimated using data-driven methods and determined to be $12.2 \pm 3.9$ events and $2.5 \pm 0.6$ events, respectively. The kinematic properties of the selected events are consistent with SM \ttbar production. The inclusive top quark pair production cross-section is measured to be \sigmattbar=145 \pm 31 ^{+42}_{-27} pb where the first uncertainty is statistical and the second systematic. The measurement agrees with perturbative QCD calculations.Comment: 30 pages plus author list (50 pages total), 9 figures, 11 tables, CERN-PH number and final journal adde

Measurement of the top quark pair cross section with ATLAS in pp collisions at √s=7 TeV using final states with an electron or a muon and a hadronically decaying τ lepton

A measurement of the cross section of top quark pair production in proton-proton collisions recorded with the ATLAS detector at the Large Hadron Collider at a centre-of-mass energy of 7 TeV is reported. The data sample used corresponds to an integrated luminosity of 2.05 fb -1. Events with an isolated electron or muon and a τ lepton decaying hadronically are used. In addition, a large missing transverse momentum and two or more energetic jets are required. At least one of the jets must be identified as originating from a b quark. The measured cross section, σtt-=186±13(stat.)±20(syst.)±7(lumi.) pb, is in good agreement with the Standard Model prediction

Hunt for new phenomena using large jet multiplicities and missing transverse momentum with ATLAS in 4.7 fb−1 of √s=7 TeV proton-proton collisions

Results are presented of a search for new particles decaying to large numbers of jets in association with missing transverse momentum, using 4.7 fb−1 of pp collision data at s√=7TeV collected by the ATLAS experiment at the Large Hadron Collider in 2011. The event selection requires missing transverse momentum, no isolated electrons or muons, and from ≥6 to ≥9 jets. No evidence is found for physics beyond the Standard Model. The results are interpreted in the context of a MSUGRA/CMSSM supersymmetric model, where, for large universal scalar mass m 0, gluino masses smaller than 840 GeV are excluded at the 95% confidence level, extending previously published limits. Within a simplified model containing only a gluino octet and a neutralino, gluino masses smaller than 870 GeV are similarly excluded for neutralino masses below 100 GeV

Measurement of the production cross section for W-bosons in association with jets in pp collisions at s=7 TeV with the ATLAS detector

This Letter reports on a first measurement of the inclusive W + jets cross section in proton-proton collisions at a centre-of-mass energy of 7 TeV at the LHC, with the ATLAS detector. Cross sections, in both the electron and muon decay modes of the W-boson, are presented as a function of jet multiplicity and of the transverse momentum of the leading and next-to-leading jets in the event. Measurements are also presented of the ratio of cross sections sigma (W + >= n)/sigma(W + >= n - 1) for inclusive jet multiplicities n = 1-4. The results, based on an integrated luminosity of 1.3 pb(-1), have been corrected for all known detector effects and are quoted in a limited and well-defined range of jet and lepton kinematics. The measured cross sections are compared to particle-level predictions based on perturbative QCD. Next-to-leading order calculations, studied here for n <= 2, are found in good agreement with the data. Leading-order multiparton event generators, normalized to the NNLO total cross section, describe the data well for all measured jet multiplicitie

Measurement of the inclusive and dijet cross-sections of b-jets in pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

The inclusive and dijet production cross-sections have been measured for jets containing b-hadrons (b-jets) in proton-proton collisions at a centre-of-mass energy of sqrt(s) = 7 TeV, using the ATLAS detector at the LHC. The measurements use data corresponding to an integrated luminosity of 34 pb^-1. The b-jets are identified using either a lifetime-based method, where secondary decay vertices of b-hadrons in jets are reconstructed using information from the tracking detectors, or a muon-based method where the presence of a muon is used to identify semileptonic decays of b-hadrons inside jets. The inclusive b-jet cross-section is measured as a function of transverse momentum in the range 20 < pT < 400 GeV and rapidity in the range |y| < 2.1. The bbbar-dijet cross-section is measured as a function of the dijet invariant mass in the range 110 < m_jj < 760 GeV, the azimuthal angle difference between the two jets and the angular variable chi in two dijet mass regions. The results are compared with next-to-leading-order QCD predictions. Good agreement is observed between the measured cross-sections and the predictions obtained using POWHEG + Pythia. MC@NLO + Herwig shows good agreement with the measured bbbar-dijet cross-section. However, it does not reproduce the measured inclusive cross-section well, particularly for central b-jets with large transverse momenta.Comment: 10 pages plus author list (21 pages total), 8 figures, 1 table, final version published in European Physical Journal