1,961 research outputs found

    Breathing synchronized electrical stimulation of the abdominal muscles in patients with acute tetraplegia

    Get PDF
    Dieser Beitrag ist mit Zustimmung des Rechteinhabers aufgrund einer (DFG geförderten) Allianz- bzw. Nationallizenz frei zugänglich.This publication is with permission of the rights owner freely accessible due to an Alliance licence and a national licence (funded by the DFG, German Research Foundation) respectively

    Bounded Delay and Concurrency for Earliest Query Answering

    Get PDF
    International audienceEarliest query answering is needed for streaming XML processing with optimal memory management. We study the feasibility of earliest query answering for node selection queries. Tractable queries are distinguished by a bounded number of concurrently alive answer candidates at every time point, and a bounded delay for node selection. We show that both properties are decidable in polynomial time for queries defined by deterministic automata for unranked trees. Our results are obtained by reduction to the bounded valuedness problem for recognizable relations between unranked trees

    Maximal atmospheric neutrino mixing and the small ratio of muon to tau mass

    Full text link
    We discuss the problem of the small ratio of muon mass to tau mass in a class of seesaw models where maximal atmospheric neutrino mixing is enforced through a μ\mu--τ\tau interchange symmetry. We introduce into those models an additional symmetry TT such that mμ=0m_\mu = 0 in the case of exact TT invariance. The symmetry TT may be softly broken in the Higgs potential, and one thus achieves mμmτm_\mu \ll m_\tau in a technically natural way. We speculate on a wider applicability of this mechanism.Comment: 10 pages, plain LaTeX, no figures, minor changes, final version for J. Phys.

    Earliest Query Answering for Deterministic Nested Word Automata

    Get PDF
    International audienceEarliest query answering (EQA) is an objective of many recent streaming algorithms for XML query answering, that aim for close to optimal memory management. In this paper, we show that EQA is infeasible even for a small fragment of Forward XPath except if P=NP. We then present an EQA algorithm for queries and schemas defined by deterministic nested word automata (dNWAs) and distinguish a large class of dNWAs for which streaming query answering is feasible in polynomial space and time

    Arbitrary Choice of Basic Variables in Density Functional Theory. II. Illustrative Applications

    Get PDF
    Our recent theory (Ref. 1) enables us to choose arbitrary quantities as the basic variables of the density functional theory. In this paper we apply it to several cases. In the case where the occupation matrix of localized orbitals is chosen as a basic variable, we can obtain the single-particle equation which is equivalent to that of the LDA+U method. The theory also leads to the Hartree-Fock-Kohn-Sham equation by letting the exchange energy be a basic variable. Furthermore, if the quantity associated with the density of states near the Fermi level is chosen as a basic variable, the resulting single-particle equation includes the additional potential which could mainly modify the energy-band structures near the Fermi level.Comment: 27 page

    Measurement of Time-Dependent CP-Violating Parameters in B0 -> K0S K0S decays

    Full text link
    We report a measurement of the CP-violating parameters in B0->K0S K0S decays based on a data sample of 657 million BBbar pairs collected at the Y(4S) resonance with the Belle detector at the KEKB asymmetric-energy e+e- collider. In this study, one neutral B meson is fully reconstructed in the B0->K0S K0S decay mode, and the flavor of the accompanying B meson is identified by its decay products. The CP-violating parameters are measured from the asymmetry in the distributions of the proper-time interval between the two B decays: S = -0.38 +0.69-0.77(stat) +-0.09(syst) and A = -0.38 +-0.38(stat) +-0.05(syst).Comment: 5pages, 2figures, submitted to PR
    corecore