1,439 research outputs found
Graphical Reasoning in Compact Closed Categories for Quantum Computation
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
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
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
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
<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
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 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 and 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
Financial considerations in the conduct of multi-centre randomised controlled trials: evidence from a qualitative study.
National Coordinating Centre for Research Methodology; Medical Research Council, UK Department of Health; Chief Scientist OfficeNot peer reviewedPublisher PD
The impact of low erythrocyte density in human blood on the fitness and energetic reserves of the African malaria vector Anopheles gambiae
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
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
Загадки Велесової книги
Дана публікація розкриває помилки попередніх досліджень «Велесової книги» та надає пояснення важкодоступних висловів тексту.Данная публикация раскрывает ошибки предыдущих исследований «Велесовой книги» и дает объяснение труднодоступных выражений в тексте.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
- …