6,209 research outputs found

    The Vampire and the FOOL

    Full text link
    This paper presents new features recently implemented in the theorem prover Vampire, namely support for first-order logic with a first class boolean sort (FOOL) and polymorphic arrays. In addition to having a first class boolean sort, FOOL also contains if-then-else and let-in expressions. We argue that presented extensions facilitate reasoning-based program analysis, both by increasing the expressivity of first-order reasoners and by gains in efficiency

    Belimumab : a technological advance for systemic lupus erythematosus patients? Report of a systematic review and meta-analysis

    Get PDF
    Objectives: To undertake a systematic review and meta-analysis to investigate clinical effectiveness of belimumab for patients with systemic lupus erythematosus (SLE) and antinuclear and/or anti-double-stranded DNA (dsDNA) autoantibodies. Methods: We searched eight electronic databases and reference lists for randomised controlled trials (RCTs) of belimumab against placebo or best supportive care. Quality assessment and random effects meta-analysis were undertaken. Design: A meta-analysis of RCTs. Participants: 2133 SLE patients. Primary and secondary outcome measures: SLE Responder Index (SRI) at week 52. Results: Three double-blind placebo-controlled RCTs (L02, BLISS-52 BLISS-76) investigated 2133 SLE patients. BLISS-52 and BLISS-76 trials recruited patients with antinuclear and/or anti-dsDNA autoantibodies and demonstrated belimumab effectiveness for the SRI at week 52. Ethnicity and geographical location of participants varied considerably between BLISS trials. Although tests for statistical heterogeneity were negative, BLISS-52 results were systematically more favourable for all measured outcomes. Meta-analysis of pooled 52-week SRI BLISS results showed benefit for belimumab (OR 1.63, 95% CI 1.27 to 2.09). By week 76, the primary SRI outcome in BLISS-76 was not statistically significant (OR 1.31, 95% CI 0.919 to 1.855)

    The C@merata Task at MediaEval 2015: Natural Language Queries on Classical Music Scores

    Get PDF
    This was the second year of the C@merata task [16,1] which relates natural language processing to music inform ation retrieval. Participants each build a system which takes as input a query and a music score and produces as output one or more ma tching passages in the score. This year, questions were mo re difficult and scores were more complex. Participants were the same as last year and once again CLAS was the best with a Beat F-Score of 0.620

    The C@merata Task at MediaEval 2014: Natural Language Queries on Classical Music Scores

    Get PDF
    This paper summarises the C@merata task in which participants built systems to answer short natural language queries about classical music scores in MusicXML. The task thus combined natural language processing with music information retrieval. Five groups from four countries submitted eight runs. The best submission scored Beat Precision 0.713 and Beat Recall 0.904

    Explicitly correlated Gaussian functions with shifted-center and projection techniques in pre-Born-Oppenheimer calculations

    Full text link
    Numerical projection methods are elaborated for the calculation of eigenstates of the non-relativistic many-particle Coulomb Hamiltonian with selected rotational and parity quantum numbers employing shifted explicitly correlated Gaussian functions, which are, in general, not eigenfunctions of the total angular momentum and parity operators. The increased computational cost of numerically projecting the basis functions onto the irreducible representations of the three dimensional rotation-inversion group is the price to pay for the increased flexibility of the basis functions. This increased flexibility allowed us to achieve a substantial improvement for the variational upper bound to the Pauli-allowed ground-state energy of the H3+={_3^+=\{p+,^+,p+,^+,p+,^+,e,^-,e}^-\} molecular ion treated as an explicit five-particle system. We compare our pre-Born-Oppenheimer result for this molecular ion with rovibrational results including non-adiabatic corrections.Comment: 29 pages, 3 figures, 4 table

    Emergent Chiral Symmetry: Parity and Time Reversal Doubles

    Get PDF
    There are numerous examples of approximately degenerate states of opposite parity in molecular physics. Theory indicates that these doubles can occur in molecules that are reflection-asymmetric. Such parity doubles occur in nuclear physics as well, among nuclei with odd A \sim 219-229. We have also suggested elsewhere that such doubles occur in particle physics for baryons made up of `cbu' and `cbd' quarks. In this article, we discuss the theoretical foundations of these doubles in detail, demonstrating their emergence as a surprisingly subtle consequence of the Born-Oppenheimer approximation, and emphasizing their bundle-theoretic and topological underpinnings. Starting with certain ``low energy'' effective theories in which classical symmetries like parity and time reversal are anomalously broken on quantization, we show how these symmetries can be restored by judicious inclusion of ``high-energy'' degrees of freedom. This mechanism of restoring the symmetry naturally leads to the aforementioned doublet structure. A novel by-product of this mechanism is the emergence of an approximate symmetry (corresponding to the approximate degeneracy of the doubles) at low energies which is not evident in the full Hamiltonian. We also discuss the implications of this mechanism for Skyrmion physics, monopoles, anomalies and quantum gravity.Comment: 32 pages, latex. minor changes in presentation and reference

    Fermions, Skyrmions and the 3-Sphere

    Get PDF
    This paper investigates a background charge one Skyrme field chirally coupled to light fermions on the 3-sphere. The Dirac equation for the system commutes with a generalised angular momentum or grand spin. It can be solved explicitly for a Skyrme configuration given by the hedgehog form. The energy spectrum and degeneracies are derived for all values of the grand spin. Solutions for non-zero grand spin are each characterised by a set of four polynomials. The paper also discusses the energy of the Dirac sea using zeta function regularization.Comment: 19 pages, 2 figure

    Costs of vitamin D testing and prescribing among children in primary care

    Get PDF
    Vitamin D has attracted considerable interest in recent years, with a marked increase in diagnosis of vitamin D deficiency seen among children in clinical practice in the UK. The economic implications of this change in diagnostic behaviour have not been explored. We performed a cohort study to examine longitudinal trends in healthcare expenditure arising from vitamin D testing and prescribing for children in primary care in England, using the electronic healthcare records of 722,525 children aged 0–17 years held in The Health Improvement Network database. Combined costs of vitamin D tests and prescriptions increased from £1647 per 100,000 person-years in 2008 (95% CI, £934 to £3007) to £28,913 per 100,000 person-years in 2014 (95% CI, £26,361 to £31,739). The total cost of vitamin D prescriptions and tests for children in primary care at the national level in England in 2014 was estimated to be £4.31 million (95% CI, £2.96–£6.48 million). CONCLUSION: There has been a marked increase in healthcare expenditure on vitamin D tests and prescriptions for children in primary care over the past decade. Future research should explore the drivers for this change in diagnostic behaviour and the reasons prompting investigation of vitamin D status in clinical practice

    Exploring the costs and outcomes of sexually transmitted infection (STI) screening interventions targeting men in football club settings: preliminary cost-consequence analysis of the SPORTSMART pilot randomised controlled trial

    Get PDF
    Background: The objective of this study was to compare the costs and outcomes of two sexually transmitted infection (STI) screening interventions targeted at men in football club settings in England, including screening promoted by team captains. Methods: A comparison of costs and outcomes was undertaken alongside a pilot cluster randomised control trial involving three trial arms: (1) captain-led and poster STI screening promotion; (2) sexual health advisor-led and poster STI screening promotion and (3) poster-only STI screening promotion (control/comparator). For all study arms, resource use and cost data were collected prospectively. Results: There was considerable variation in uptake rates between clubs, but results were broadly comparable across study arms with 50% of men accepting the screening offer in the captain-led arm, 67% in the sexual health advisor-led arm and 61% in the poster-only control arm. The overall costs associated with the intervention arms were similar. The average cost per player tested was comparable, with the average cost per player tested for the captain-led promotion estimated to be £88.99 compared with £88.33 for the sexual health advisor-led promotion and £81.87 for the poster-only (control) arm. Conclusions: Costs and outcomes were similar across intervention arms. The target sample size was not achieved, and we found a greater than anticipated variability between clubs in the acceptability of screening, which limited our ability to estimate acceptability for intervention arms. Further evidence is needed about the public health benefits associated with screening interventions in non-clinical settings so that their cost-effectiveness can be fully evaluated
    corecore