2,060 research outputs found

    Magnetic field reversals and galactic dynamos

    Full text link
    We argue that global magnetic field reversals similar to those observed in the Milky Way occur quite frequently in mean-field galactic dynamo models that have relatively strong, random, seed magnetic fields that are localized in discrete regions. The number of reversals decreases to zero with reduction of the seed strength, efficiency of the galactic dynamo and size of the spots of the seed field. A systematic observational search for magnetic field reversals in a representative sample of spiral galaxies promises to give valuable information concerning seed magnetic fields and, in this way, to clarify the initial stages of galactic magnetic field evolution

    The impact of spreading bandwidth on DS-CDMA power control requirements

    Get PDF
    Direct sequence code division multiple access (DS-CDMA) techniques have received a great deal of attention for current and future communication systems. One of the major considerations in implementing a DS-CDMA system is the necessity for accurate power control to ensure adequate quality-of-service and capacity. This paper investigates the power control errors that occur in a real microcellular environment for a variety of architectures. Furthermore, the mitigation of the effect of power control errors with varying spreading bandwidth is quantified

    Proof Relevant Corecursive Resolution

    Full text link
    Resolution lies at the foundation of both logic programming and type class context reduction in functional languages. Terminating derivations by resolution have well-defined inductive meaning, whereas some non-terminating derivations can be understood coinductively. Cycle detection is a popular method to capture a small subset of such derivations. We show that in fact cycle detection is a restricted form of coinductive proof, in which the atomic formula forming the cycle plays the role of coinductive hypothesis. This paper introduces a heuristic method for obtaining richer coinductive hypotheses in the form of Horn formulas. Our approach subsumes cycle detection and gives coinductive meaning to a larger class of derivations. For this purpose we extend resolution with Horn formula resolvents and corecursive evidence generation. We illustrate our method on non-terminating type class resolution problems.Comment: 23 pages, with appendices in FLOPS 201

    Temporal dynamics of aquatic communities and implications for pond conservation

    Get PDF
    Conservation through the protection of particular habitats is predicated on the assumption that the conservation value of those habitats is stable. We test this assumption for ponds by investigating temporal variation in macroinvertebrate and macrophyte communities over a 10-year period in northwest England. We surveyed 51 ponds in northern England in 1995/6 and again in 2006, identifying all macrophytes (167 species) and all macroinvertebrates (221 species, excluding Diptera) to species. The alpha-diversity, beta-diversity and conservation value of these ponds were compared between surveys. We find that invertebrate species richness increased from an average of 29. 5 species to 39. 8 species between surveys. Invertebrate gamma-diversity also increased between the two surveys from 181 species to 201 species. However, this increase in diversity was accompanied by a decrease in beta-diversity. Plant alpha-, beta and gamma-diversity remained approximately constant between the two periods. However, increased proportions of grass species and a complete loss of charophytes suggests that the communities are undergoing succession. Conservation value was not correlated between sampling periods in either plants or invertebrates. This was confirmed by comparing ponds that had been disturbed with those that had no history of disturbance to demonstrate that levels of correlation between surveys were approximately equal in each group of ponds. This study has three important conservation implications: (i) a pond with high diversity or high conservation value may not remain that way and so it is unwise to base pond conservation measures upon protecting currently-speciose habitats; (ii) maximising pond gamma-diversity requires a combination of late and early succession ponds, especially for invertebrates; and (iii) invertebrate and plant communities in ponds may require different management strategies if succession occurs at varying rates in the two groups

    Annexin-A5 assembled into two-dimensional arrays promotes cell membrane repair

    Get PDF
    Eukaryotic cells possess a universal repair machinery that ensures rapid resealing of plasma membrane disruptions. Before resealing, the torn membrane is submitted to considerable tension, which functions to expand the disruption. Here we show that annexin-A5 (AnxA5), a protein that self-assembles into two-dimensional (2D) arrays on membranes upon Ca2+ activation, promotes membrane repair. Compared with wild-type mouse perivascular cells, AnxA5-null cells exhibit a severe membrane repair defect. Membrane repair in AnxA5-null cells is rescued by addition of AnxA5, which binds exclusively to disrupted membrane areas. In contrast, an AnxA5 mutant that lacks the ability of forming 2D arrays is unable to promote membrane repair. We propose that AnxA5 participates in a previously unrecognized step of the membrane repair process: triggered by the local influx of Ca2+, AnxA5 proteins bind to torn membrane edges and form a 2D array, which prevents wound expansion and promotes membrane resealing

    Search for new phenomena in final states with an energetic jet and large missing transverse momentum in pp collisions at √ s = 8 TeV with the ATLAS detector

    Get PDF
    Results of a search for new phenomena in final states with an energetic jet and large missing transverse momentum are reported. The search uses 20.3 fb−1 of √ s = 8 TeV data collected in 2012 with the ATLAS detector at the LHC. Events are required to have at least one jet with pT > 120 GeV and no leptons. Nine signal regions are considered with increasing missing transverse momentum requirements between Emiss T > 150 GeV and Emiss T > 700 GeV. Good agreement is observed between the number of events in data and Standard Model expectations. The results are translated into exclusion limits on models with either large extra spatial dimensions, pair production of weakly interacting dark matter candidates, or production of very light gravitinos in a gauge-mediated supersymmetric model. In addition, limits on the production of an invisibly decaying Higgs-like boson leading to similar topologies in the final state are presente

    Sensitivity of projected long-term CO 2 emissions across the Shared Socioeconomic Pathways

    Get PDF
    Scenarios showing future greenhouse gas emissions are needed to estimate climate impacts and the mitigation efforts required for climate stabilization. Recently, the Shared Socioeconomic Pathways (SSPs) have been introduced to describe alternative social, economic and technical narratives, spanning a wide range of plausible futures in terms of challenges to mitigation and adaptation. Thus far the key drivers of the uncertainty in emissions projections have not been robustly disentangled. Here we assess the sensitivities of future CO 2 emissions to key drivers characterizing the SSPs. We use six state-of-the-art integrated assessment models with different structural characteristics, and study the impact of five families of parameters, related to population, income, energy efficiency, fossil fuel availability, and low-carbon energy technology development. A recently developed sensitivity analysis algorithm allows us to parsimoniously compute both the direct and interaction effects of each of these drivers on cumulative emissions. The study reveals that the SSP assumptions about energy intensity and economic growth are the most important determinants of future CO 2 emissions from energy combustion, both with and without a climate policy. Interaction terms between parameters are shown to be important determinants of the total sensitivities

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

    Get PDF
    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

    Observation of associated near-side and away-side long-range correlations in √sNN=5.02  TeV proton-lead collisions with the ATLAS detector

    Get PDF
    Two-particle correlations in relative azimuthal angle (Δϕ) and pseudorapidity (Δη) are measured in √sNN=5.02  TeV p+Pb collisions using the ATLAS detector at the LHC. The measurements are performed using approximately 1  μb-1 of data as a function of transverse momentum (pT) and the transverse energy (ΣETPb) summed over 3.1<η<4.9 in the direction of the Pb beam. The correlation function, constructed from charged particles, exhibits a long-range (2<|Δη|<5) “near-side” (Δϕ∼0) correlation that grows rapidly with increasing ΣETPb. A long-range “away-side” (Δϕ∼π) correlation, obtained by subtracting the expected contributions from recoiling dijets and other sources estimated using events with small ΣETPb, is found to match the near-side correlation in magnitude, shape (in Δη and Δϕ) and ΣETPb dependence. The resultant Δϕ correlation is approximately symmetric about π/2, and is consistent with a dominant cos⁡2Δϕ modulation for all ΣETPb ranges and particle pT

    Search for direct pair production of the top squark in all-hadronic final states in proton-proton collisions at s√=8 TeV with the ATLAS detector

    Get PDF
    The results of a search for direct pair production of the scalar partner to the top quark using an integrated luminosity of 20.1fb−1 of proton–proton collision data at √s = 8 TeV recorded with the ATLAS detector at the LHC are reported. The top squark is assumed to decay via t˜→tχ˜01 or t˜→ bχ˜±1 →bW(∗)χ˜01 , where χ˜01 (χ˜±1 ) denotes the lightest neutralino (chargino) in supersymmetric models. The search targets a fully-hadronic final state in events with four or more jets and large missing transverse momentum. No significant excess over the Standard Model background prediction is observed, and exclusion limits are reported in terms of the top squark and neutralino masses and as a function of the branching fraction of t˜ → tχ˜01 . For a branching fraction of 100%, top squark masses in the range 270–645 GeV are excluded for χ˜01 masses below 30 GeV. For a branching fraction of 50% to either t˜ → tχ˜01 or t˜ → bχ˜±1 , and assuming the χ˜±1 mass to be twice the χ˜01 mass, top squark masses in the range 250–550 GeV are excluded for χ˜01 masses below 60 GeV
    corecore