5,657 research outputs found

    Verifying proofs in constant depth

    Get PDF
    In this paper we initiate the study of proof systems where verification of proofs proceeds by NC circuits. We investigate the question which languages admit proof systems in this very restricted model. Formulated alternatively, we ask which languages can be enumerated by NC functions. Our results show that the answer to this problem is not determined by the complexity of the language. On the one hand, we construct NC proof systems for a variety of languages ranging from regular to NP-complete. On the other hand, we show by combinatorial methods that even easy regular languages such as Exact-OR do not admit NC proof systems. We also present a general construction of proof systems for regular languages with strongly connected NFA's

    Head injury at a tertiary referral centre in the Eastern Region of Nepal

    Get PDF
    Background: The purpose of this epidemiologic study was to determine the pattern and characteristics of head injuries and to establish an epidemiologic data bank for designing preventive strategies for head injuries in the eastern region of Nepal.Patients and Methods: This retrospective review was done at B.P.Koirala institute of Health Sciences, Dharan, Nepal. All the patients with head injury admitted to the Department of Surgery between the periods January 2005 to December 2005 were included in the study.Results: The study population consisted of 334 patients who sustained head injuries. Their ages ranged from 1 to 88 with a mean age of 28.53 years. The majority (66.3%), were young adults in the 2nd to 5th decades The male to female sex ratio was 2.6:1. Road traffic crushes were the most common cause (43.4%) followed by fall from heights (30.8%). X-ray of skull showed lesions in 114 cases (49.8%) such as depressed fracture (11.4%) and linear fracture (24.0%). Common lesions on CT scan included cerebral contusion (21.6%), extradural haematoma (20.9%), linear fracture (23.8%), subarachnoid haemorrhage (18.5%) and pnemocephalus (11.2%). Forty patients (12.0%) sustained moderate head injury. There were 15 deaths. One patient had associated intra-abdominal injury (splenic rupture) and two patient sustained pulmonary trauma and succumbed to haemothorax and aspiration.Conclusion: A clearer understanding of the patterns of head injuries will assist health care providers to plan and manage the treatment of traumatic facial injuries. Such epidemiological information can also be used to guide the future funding of public health programs geared toward prevention

    A probabilistic model of a porous heat exchanger

    Get PDF
    This paper presents a probabilistic one-dimensional finite element model for heat transfer processes in porous heat exchangers. The Galerkin approach is used to develop the finite element matrices. Some of the submatrices are asymmetric due to the presence of the flow term. The Neumann expansion is used to write the temperature distribution as a series of random variables, and the expectation operator is applied to obtain the mean and deviation statistics. To demonstrate the feasibility of the formulation, a one-dimensional model of heat transfer phenomenon in superfluid flow through a porous media is considered. Results of this formulation agree well with the Monte-Carlo simulations and the analytical solutions. Although the numerical experiments are confined to parametric random variables, a formulation is presented to account for the random spatial variations

    A theorem regarding roots of the zero-order Bessel function of the first kind

    Get PDF
    This paper investigates a problem on the steady-state, conduction-convection heat transfer process in cylindrical porous heat exchangers. The governing partial differential equations for the system are obtained using the energy conservation law. Solution of these equations and the concept of enthalpy lead to a new approach to prove a theorem that the sum of inverse squares of all the positive roots of the zero order Bessel function of the first kind equals to one-forth. As a corollary, it is shown that the sum of one over pth power (p greater than or equal to 2) of the roots converges to some constant

    Phase-matched four wave mixing and quantum beam splitting of matter waves in a periodic potential

    Full text link
    We show that the dispersion properties imposed by an external periodic potential ensure both energy and quasi-momentum conservation such that correlated pairs of atoms can be generated by four wave mixing from a Bose-Einstein condensate moving in an optical lattice potential. In our numerical solution of the Gross-Pitaevskii equation, a condensate with initial quasi-momentum k_0 is transferred almost completely (>95%) into a pair of correlated atomic components with quasi-momenta k_1 and k_2, if the system is seeded with a smaller number of atoms with the appropriate quasi-momentum k_1.Comment: 4 pages, 4 figures, version accepted for publication in Phys. Rev. A, Rapid Communication

    Size-dependence of Strong-Coupling Between Nanomagnets and Photonic Cavities

    Full text link
    The coherent dynamics of a coupled photonic cavity and a nanomagnet is explored as a function of nanomagnet size. For sufficiently strong coupling eigenstates involving highly entangled photon and spin states are found, which can be combined to create coherent states. As the size of the nanomagnet increases its coupling to the photonic mode also monotonically increases, as well as the number of photon and spin states involved in the system's eigenstates. For small nanomagnets the crystalline anisotropy of the magnet strongly localized the eigenstates in photon and spin number, quenching the potential for coherent states. For a sufficiently large nanomagnet the macrospin approximation breaks down and different domains of the nanomagnet may couple separately to the photonic mode. Thus the optimal nanomagnet size is just below the threshold for failure of the macrospin approximation.Comment: 10 pages, 7 figure
    corecore