1,439 research outputs found

    Graphical Reasoning in Compact Closed Categories for Quantum Computation

    Full text link
    Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

    Vaccination with DNA plasmids expressing Gn coupled to C3d or alphavirus replicons expressing Gn protects mice against rift valley fever virus

    Get PDF
    Background: Rift Valley fever (RVF) is an arthropod-borne viral zoonosis. Rift Valley fever virus (RVFV) is an important biological threat with the potential to spread to new susceptible areas. In addition, it is a potential biowarfare agent. Methodology/Principal Findings: We developed two potential vaccines, DNA plasmids and alphavirus replicons, expressing the Gn glycoprotein of RVFV alone or fused to three copies of complement protein, C3d. Each vaccine was administered to mice in an all DNA, all replicon, or a DNA prime/replicon boost strategy and both the humoral and cellular responses were assessed. DNA plasmids expressing Gn-C3d and alphavirus replicons expressing Gn elicited high titer neutralizing antibodies that were similar to titers elicited by the live-attenuated MP12 virus. Mice vaccinated with an inactivated form of MP12 did elicit high titer antibodies, but these antibodies were unable to neutralize RVFV infection. However, only vaccine strategies incorporating alphavirus replicons elicited cellular responses to Gn. Both vaccines strategies completely prevented weight loss and morbidity and protected against lethal RVFV challenge. Passive transfer of antisera from vaccinated mice into naïve mice showed that both DNA plasmids expressing Gn-C3d and alphavirus replicons expressing Gn elicited antibodies that protected mice as well as sera from mice immunized with MP12. Conclusion/Significance: These results show that both DNA plasmids expressing Gn-C3d and alphavirus replicons expressing Gn administered alone or in a DNA prime/replicon boost strategy are effective RVFV vaccines. These vaccine strategies provide safer alternatives to using live-attenuated RVFV vaccines for human use. © 2010 Bhardwaj et al

    The need to promote behaviour change at the cultural level: one factor explaining the limited impact of the MEMA kwa Vijana adolescent sexual health intervention in rural Tanzania. A process evaluation

    Get PDF
    Background - Few of the many behavioral sexual health interventions in Africa have been rigorously evaluated. Where biological outcomes have been measured, improvements have rarely been found. One of the most rigorous trials was of the multi-component MEMA kwa Vijana adolescent sexual health programme, which showed improvements in knowledge and reported attitudes and behaviour, but none in biological outcomes. This paper attempts to explain these outcomes by reviewing the process evaluation findings, particularly in terms of contextual factors. Methods - A large-scale, primarily qualitative process evaluation based mainly on participant observation identified the principal contextual barriers and facilitators of behavioural change. Results - The contextual barriers involved four interrelated socio-structural factors: culture (i.e. shared practices and systems of belief), economic circumstances, social status, and gender. At an individual level they appeared to operate through the constructs of the theories underlying MEMA kwa Vijana - Social Cognitive Theory and the Theory of Reasoned Action – but the intervention was unable to substantially modify these individual-level constructs, apart from knowledge. Conclusion - The process evaluation suggests that one important reason for this failure is that the intervention did not operate sufficiently at a structural level, particularly in regard to culture. Recently most structural interventions have focused on gender or/and economics. Complementing these with a cultural approach could address the belief systems that justify and perpetuate gender and economic inequalities, as well as other barriers to behaviour change

    Diffractive Higgs Production by AdS Pomeron Fusion

    Full text link
    The double diffractive Higgs production at central rapidity is formulated in terms of the fusion of two AdS gravitons/Pomerons first introduced by Brower, Polchinski, Strassler and Tan in elastic scattering. Here we propose a simple self-consistent holographic framework capable of providing phenomenologically compelling estimates of diffractive cross sections at the LHC. As in the traditional weak coupling approach, we anticipate that several phenomenological parameters must be tested and calibrated through factorization for a self-consistent description of other diffractive process such as total cross sections, deep inelastic scattering and heavy quark production in the central region.Comment: 53 pages, 8 figure

    Effects of insurance status on children's access to specialty care: a systematic review of the literature

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>The current climate of rising health care costs has led many health insurance programs to limit benefits, which may be problematic for children needing specialty care. Findings from pediatric primary care may not transfer to pediatric specialty care because pediatric specialists are often located in academic medical centers where institutional rules determine accepted insurance. Furthermore, coverage for pediatric specialty care may vary more widely due to systematic differences in inclusion on preferred provider lists, lack of availability in staff model HMOs, and requirements for referral. Our objective was to review the literature on the effects of insurance status on children's access to specialty care.</p> <p>Methods</p> <p>We conducted a systematic review of original research published between January 1, 1992 and July 31, 2006. Searches were performed using Pubmed.</p> <p>Results</p> <p>Of 30 articles identified, the majority use number of specialty visits or referrals to measure access. Uninsured children have poorer access to specialty care than insured children. Children with public coverage have better access to specialty care than uninsured children, but poorer access compared to privately insured children. Findings on the effects of managed care are mixed.</p> <p>Conclusion</p> <p>Insurance coverage is clearly an important factor in children's access to specialty care. However, we cannot determine the structure of insurance that leads to the best use of appropriate, quality care by children. Research about specific characteristics of health plans and effects on health outcomes is needed to determine a structure of insurance coverage that provides optimal access to specialty care for children.</p

    Bilinear R-parity violation with flavor symmetry

    Get PDF
    Bilinear R-parity violation (BRPV) provides the simplest intrinsically supersymmetric neutrino mass generation scheme. While neutrino mixing parameters can be probed in high energy accelerators, they are unfortunately not predicted by the theory. Here we propose a model based on the discrete flavor symmetry A4A_4 with a single R-parity violating parameter, leading to (i) correct Cabbibo mixing given by the Gatto-Sartori-Tonin formula, and a successful unification-like b-tau mass relation, and (ii) a correlation between the lepton mixing angles θ13\theta_{13} and θ23\theta_{23} in agreement with recent neutrino oscillation data, as well as a (nearly) massless neutrino, leading to absence of neutrinoless double beta decay.Comment: 16 pages, 3 figures. Extended version, as published in JHE

    The impact of low erythrocyte density in human blood on the fitness and energetic reserves of the African malaria vector Anopheles gambiae

    Get PDF
    Background Anaemia is a common health problem in the developing world. This condition is characterized by a reduction in erythrocyte density, primarily from malnutrition and/or infectious diseases such as malaria. As red blood cells are the primary source of protein for haematophagous mosquitoes, any reduction could impede the ability of mosquito vectors to transmit malaria by influencing their fitness or that of the parasites they transmit. The aim of this study was to determine the impact of differences in the density of red blood cells in human blood on malaria vector (Anopheles gambiae sensu stricto) fitness. The hypotheses tested are that mosquito vector energetic reserves and fitness are negatively influenced by reductions in the red cell density of host human blood meals commensurate with those expected from severe anaemia. Methods Mosquitoes (An. gambiae s.s.) were offered blood meals of different packed cell volume(PCV) of human blood consistent with those arising from severe anaemia (15%) and normalPCV (50%). Associations between mosquito energetic reserves (lipid, glucose and glycogen)and fitness measures (reproduction and survival) and blood meal PCV were investigated. Results The amount of protein that malaria vectors acquired from blood feeding (indexed by haematin excretion) was significantly reduced at low blood PCV. However, mosquitoes feeding on blood of low PCV had the same oviposition rates as those feeding on blood of normal PCV, and showed an increase in egg production of around 15%. The long-term survival of An. gambiae s.s was reduced after feeding on low PCV blood, but PCV had no significant impact on the proportion of mosquitoes surviving through the minimal period required to develop and transmit malaria parasites (estimated as 14 days post-blood feeding). The impact of blood PCV on the energetic reserves of mosquitoes was relatively minor. Conclusions These results suggest that feeding on human hosts whose PCV has been depleted due to severe anaemia does not significantly reduce the fitness or transmission potential of malaria vectors, and indicates that mosquitoes may be able exploit resources for reproduction more efficiently from blood of low rather than normal PCV

    Single-Scale Natural SUSY

    Get PDF
    We consider the prospects for natural SUSY models consistent with current data. Recent constraints make the standard paradigm unnatural so we consider what could be a minimal extension consistent with what we now know. The most promising such scenarios extend the MSSM with new tree-level Higgs interactions that can lift its mass to at least 125 GeV and also allow for flavor-dependent soft terms so that the third generation squarks are lighter than current bounds on the first and second generation squarks. We argue that a common feature of almost all such models is the need for a new scale near 10 TeV, such as a scale of Higgsing or confinement of a new gauge group. We consider the question whether such a model can naturally derive from a single mass scale associated with supersymmetry breaking. Most such models simply postulate new scales, leaving their proximity to the scale of MSSM soft terms a mystery. This coincidence problem may be thought of as a mild tuning, analogous to the usual mu problem. We find that a single mass scale origin is challenging, but suggest that a more natural origin for such a new dynamical scale is the gravitino mass, m_{3/2}, in theories where the MSSM soft terms are a loop factor below m_{3/2}. As an example, we build a variant of the NMSSM where the singlet S is composite, and the strong dynamics leading to compositeness is triggered by masses of order m_{3/2} for some fields. Our focus is the Higgs sector, but our model is compatible with a light stop (with the other generation squarks heavy, or with R-parity violation or another mechanism to hide them from current searches). All the interesting low-energy mass scales, including linear terms for S playing a key role in EWSB, arise dynamically from the single scale m_{3/2}. However, numerical coefficients from RG effects and wavefunction factors in an extra dimension complicate the otherwise simple story.Comment: 32 pages, 3 figures; version accepted by JHE

    Загадки Велесової книги

    Get PDF
    Дана публікація розкриває помилки попередніх досліджень «Велесової книги» та надає пояснення важкодоступних висловів тексту.Данная публикация раскрывает ошибки предыдущих исследований «Велесовой книги» и дает объяснение труднодоступных выражений в тексте.This publication reveals the mistakes of the former researches on the «Veles-book» and gives the meanings of some hard-to-understand terms of the text
    corecore