741 research outputs found

    Validation of Observed Bedload Transport Pathways Using Morphodynamic Modeling

    Get PDF
    Phenomena related to braiding, including local scour and fill, channel bar development, migration and avulsion, make numerical morphodynamic modeling of braided rivers challenging. This paper investigates the performance of a Delft3D model, in a 2D depth-averaged formulation, to simulate the morphodynamics of an anabranch of the Rees River (New Zealand). Model performance is evaluated using data from field surveys collected on the falling limb of a major high flow, and using several sediment transport formulas. Initial model results suggest that there is generally good agreement between observed and modeled bed levels. However, some discrepancies in the bed level estimations were noticed, leading to bed level, water depth and water velocity estimation errors

    Disjoint NP-pairs from propositional proof systems

    Get PDF
    For a proof system P we introduce the complexity class DNPP(P) of all disjoint NP-pairs for which the disjointness of the pair is efficiently provable in the proof system P. We exhibit structural properties of proof systems which make the previously defined canonical NP-pairs of these proof systems hard or complete for DNPP(P). Moreover we demonstrate that non-equivalent proof systems can have equivalent canonical pairs and that depending on the properties of the proof systems different scenarios for DNPP(P) and the reductions between the canonical pairs exist

    Parameterized bounded-depth Frege is not optimal

    Get PDF
    A general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider [9]. There the authors concentrate on tree-like Parameterized Resolution-a parameterized version of classical Resolution-and their gap complexity theorem implies lower bounds for that system. The main result of the present paper significantly improves upon this by showing optimal lower bounds for a parameterized version of bounded-depth Frege. More precisely, we prove that the pigeonhole principle requires proofs of size n in parameterized bounded-depth Frege, and, as a special case, in dag-like Parameterized Resolution. This answers an open question posed in [9]. In the opposite direction, we interpret a well-known technique for FPT algorithms as a DPLL procedure for Parameterized Resolution. Its generalization leads to a proof search algorithm for Parameterized Resolution that in particular shows that tree-like Parameterized Resolution allows short refutations of all parameterized contradictions given as bounded-width CNF's

    Functional diversity of chemokines and chemokine receptors in response to viral infection of the central nervous system.

    Get PDF
    Encounters with neurotropic viruses result in varied outcomes ranging from encephalitis, paralytic poliomyelitis or other serious consequences to relatively benign infection. One of the principal factors that control the outcome of infection is the localized tissue response and subsequent immune response directed against the invading toxic agent. It is the role of the immune system to contain and control the spread of virus infection in the central nervous system (CNS), and paradoxically, this response may also be pathologic. Chemokines are potent proinflammatory molecules whose expression within virally infected tissues is often associated with protection and/or pathology which correlates with migration and accumulation of immune cells. Indeed, studies with a neurotropic murine coronavirus, mouse hepatitis virus (MHV), have provided important insight into the functional roles of chemokines and chemokine receptors in participating in various aspects of host defense as well as disease development within the CNS. This chapter will highlight recent discoveries that have provided insight into the diverse biologic roles of chemokines and their receptors in coordinating immune responses following viral infection of the CNS

    Measurement of the Charged Multiplicities in b, c and Light Quark Events from Z0 Decays

    Full text link
    Average charged multiplicities have been measured separately in bb, cc and light quark (u,d,su,d,s) events from Z0Z^0 decays measured in the SLD experiment. Impact parameters of charged tracks were used to select enriched samples of bb and light quark events, and reconstructed charmed mesons were used to select cc quark events. We measured the charged multiplicities: nˉuds=20.21±0.10(stat.)±0.22(syst.)\bar{n}_{uds} = 20.21 \pm 0.10 (\rm{stat.})\pm 0.22(\rm{syst.}), nˉc=21.28±0.46(stat.)0.36+0.41(syst.)\bar{n}_{c} = 21.28 \pm 0.46(\rm{stat.}) ^{+0.41}_{-0.36}(\rm{syst.}) nˉb=23.14±0.10(stat.)0.37+0.38(syst.)\bar{n}_{b} = 23.14 \pm 0.10(\rm{stat.}) ^{+0.38}_{-0.37}(\rm{syst.}), from which we derived the differences between the total average charged multiplicities of cc or bb quark events and light quark events: Δnˉc=1.07±0.47(stat.)0.30+0.36(syst.)\Delta \bar{n}_c = 1.07 \pm 0.47(\rm{stat.})^{+0.36}_{-0.30}(\rm{syst.}) and Δnˉb=2.93±0.14(stat.)0.29+0.30(syst.)\Delta \bar{n}_b = 2.93 \pm 0.14(\rm{stat.})^{+0.30}_{-0.29}(\rm{syst.}). We compared these measurements with those at lower center-of-mass energies and with perturbative QCD predictions. These combined results are in agreement with the QCD expectations and disfavor the hypothesis of flavor-independent fragmentation.Comment: 19 pages LaTex, 4 EPS figures, to appear in Physics Letters

    Detector Description and Performance for the First Coincidence Observations between LIGO and GEO

    Get PDF
    For 17 days in August and September 2002, the LIGO and GEO interferometer gravitational wave detectors were operated in coincidence to produce their first data for scientific analysis. Although the detectors were still far from their design sensitivity levels, the data can be used to place better upper limits on the flux of gravitational waves incident on the earth than previous direct measurements. This paper describes the instruments and the data in some detail, as a companion to analysis papers based on the first data.Comment: 41 pages, 9 figures 17 Sept 03: author list amended, minor editorial change

    Measurement of D*+/- meson production in jets from pp collisions at sqrt(s) = 7 TeV with the ATLAS detector

    Get PDF
    This paper reports a measurement of D*+/- meson production in jets from proton-proton collisions at a center-of-mass energy of sqrt(s) = 7 TeV at the CERN Large Hadron Collider. The measurement is based on a data sample recorded with the ATLAS detector with an integrated luminosity of 0.30 pb^-1 for jets with transverse momentum between 25 and 70 GeV in the pseudorapidity range |eta| < 2.5. D*+/- mesons found in jets are fully reconstructed in the decay chain: D*+ -> D0pi+, D0 -> K-pi+, and its charge conjugate. The production rate is found to be N(D*+/-)/N(jet) = 0.025 +/- 0.001(stat.) +/- 0.004(syst.) for D*+/- mesons that carry a fraction z of the jet momentum in the range 0.3 < z < 1. Monte Carlo predictions fail to describe the data at small values of z, and this is most marked at low jet transverse momentum.Comment: 10 pages plus author list (22 pages total), 5 figures, 1 table, matches published version in Physical Review

    Search for supersymmetry in final states with jets, missing transverse momentum and one isolated lepton in sqrt{s} = 7 TeV pp collisions using 1 fb-1 of ATLAS data

    Get PDF
    We present an update of a search for supersymmetry in final states containing jets, missing transverse momentum, and one isolated electron or muon, using 1.04 fb^-1 of proton-proton collision data at sqrt{s} = 7 TeV recorded by the ATLAS experiment at the LHC in the first half of 2011. The analysis is carried out in four distinct signal regions with either three or four jets and variations on the (missing) transverse momentum cuts, resulting in optimized limits for various supersymmetry models. No excess above the standard model background expectation is observed. Limits are set on the visible cross-section of new physics within the kinematic requirements of the search. The results are interpreted as limits on the parameters of the minimal supergravity framework, limits on cross-sections of simplified models with specific squark and gluino decay modes, and limits on parameters of a model with bilinear R-parity violation.Comment: 18 pages plus author list (30 pages total), 9 figures, 4 tables, final version to appear in Physical Review

    Reducing heterotic M-theory to five dimensional supergravity on a manifold with boundary

    Get PDF
    This paper constructs the reduction of heterotic MM-theory in eleven dimensions to a supergravity model on a manifold with boundary in five dimensions using a Calabi-Yau three-fold. New results are presented for the boundary terms in the action and for the boundary conditions on the bulk fields. Some general features of dualisation on a manifold with boundary are used to explain the origin of some topological terms in the action. The effect of gaugino condensation on the fermion boundary conditions leads to a `twist' in the chirality of the gravitino which can provide an uplifting mechanism in the vacuum energy to cancel the cosmological constant after moduli stabilisation.Comment: 16 pages, RevTe
    corecore