Data assurance in opaque computations

The chess endgame is increasingly being seen through the lens of, and therefore effectively defined by, a data ‘model’ of itself. It is vital that such models are clearly faithful to the reality they purport to represent. This paper examines that issue and systems engineering responses to it, using the chess endgame as the exemplar scenario. A structured survey has been carried out of the intrinsic challenges and complexity of creating endgame data by reviewing the past pattern of errors during work in progress, surfacing in publications and occurring after the data was generated. Specific measures are proposed to counter observed classes of error-risk, including a preliminary survey of techniques for using state-of-the-art verification tools to generate EGTs that are correct by construction. The approach may be applied generically beyond the game domain

The Cauchy problem for the 3-D Vlasov-Poisson system with point charges

In this paper we establish global existence and uniqueness of the solution to the three-dimensional Vlasov-Poisson system in presence of point charges in case of repulsive interaction. The present analysis extends an analogeous two-dimensional result by Caprino and Marchioro [On the plasma-charge model, to appear in Kinetic and Related Models (2010)].Comment: 28 page

Krueppel-like factor 15 regulates Wnt/beta-catenin transcription and controls cardiac progenitor cell fate in the postnatal heart

Wnt/beta-catenin signalling controls adult heart remodelling in part via regulation of cardiac progenitor cell (CPC) differentiation. An enhanced understanding of mechanisms controlling CPC biology might facilitate the development of new therapeutic strategies in heart failure. We identified and characterized a novel cardiac interaction between Krueppel-like factor 15 and components of the Wnt/beta-catenin pathway leading to inhibition of transcription. In vitro mutation, reporter assays and co-localization analyses revealed that KLF15 requires both the C-terminus, necessary for nuclear localization, and a minimal N-terminal regulatory region to inhibit transcription. In line with this, functional Klf15 knock-out mice exhibited cardiac beta-catenin transcriptional activation along with functional cardiac deterioration in normal homeostasis and upon hypertrophy. We further provide in vivo and in vitro evidences for preferential endothelial lineage differentiation of CPCs upon KLF15 deletion. Via inhibition of beta-catenin transcription, KLF15 controls CPC homeostasis in the adult heart similar to embryonic cardiogenesis. This knowledge may provide a tool for reactivation of this apparently dormant CPC population in the adult heart and thus be an attractive approach to enhance endogenous cardiac repair

Measuring the metric: a parametrized post-Friedmanian approach to the cosmic dark energy problem

We argue for a ``parametrized post-Friedmanian'' approach to linear cosmology, where the history of expansion and perturbation growth is measured without assuming that the Einstein Field Equations hold. As an illustration, a model-independent analysis of 92 type Ia supernovae demonstrates that the curve giving the expansion history has the wrong shape to be explained without some form of dark energy or modified gravity. We discuss how upcoming lensing, galaxy clustering, cosmic microwave background and Lyman alpha forest observations can be combined to pursue this program, which generalizes the quest for a dark energy equation of state, and forecast the accuracy that the proposed SNAP satellite can attain.Comment: Replaced to match accepted PRD version. References and another example added, section III omitted since superceded by astro-ph/0207047. 11 PRD pages, 7 figs. Color figs and links at http://www.hep.upenn.edu/~max/gravity.html or from [email protected]

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 TeV-scale gravity signatures in high-mass final states with leptons and jets with the ATLAS detector at sqrt [ s ] = 13TeV

A search for physics beyond the Standard Model, in final states with at least one high transverse momentum charged lepton (electron or muon) and two additional high transverse momentum leptons or jets, is performed using 3.2 fb−1 of proton–proton collision data recorded by the ATLAS detector at the Large Hadron Collider in 2015 at √s = 13 TeV. The upper end of the distribution of the scalar sum of the transverse momenta of leptons and jets is sensitive to the production of high-mass objects. No excess of events beyond Standard Model predictions is observed. Exclusion limits are set for models of microscopic black holes with two to six extra dimensions

The performance of the jet trigger for the ATLAS detector during 2011 data taking

The performance of the jet trigger for the ATLAS detector at the LHC during the 2011 data taking period is described. During 2011 the LHC provided proton–proton collisions with a centre-of-mass energy of 7 TeV and heavy ion collisions with a 2.76 TeV per nucleon–nucleon collision energy. The ATLAS trigger is a three level system designed to reduce the rate of events from the 40 MHz nominal maximum bunch crossing rate to the approximate 400 Hz which can be written to offline storage. The ATLAS jet trigger is the primary means for the online selection of events containing jets. Events are accepted by the trigger if they contain one or more jets above some transverse energy threshold. During 2011 data taking the jet trigger was fully efficient for jets with transverse energy above 25 GeV for triggers seeded randomly at Level 1. For triggers which require a jet to be identified at each of the three trigger levels, full efficiency is reached for offline jets with transverse energy above 60 GeV. Jets reconstructed in the final trigger level and corresponding to offline jets with transverse energy greater than 60 GeV, are reconstructed with a resolution in transverse energy with respect to offline jets, of better than 4 % in the central region and better than 2.5 % in the forward direction

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