4,230 research outputs found
Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
This paper presents a combination of several automated reasoning and proof
presentation tools with the Mizar system for formalization of mathematics. The
combination forms an online service called MizAR, similar to the SystemOnTPTP
service for first-order automated reasoning. The main differences to
SystemOnTPTP are the use of the Mizar language that is oriented towards human
mathematicians (rather than the pure first-order logic used in SystemOnTPTP),
and setting the service in the context of the large Mizar Mathematical Library
of previous theorems,definitions, and proofs (rather than the isolated problems
that are solved in SystemOnTPTP). These differences poses new challenges and
new opportunities for automated reasoning and for proof presentation tools.
This paper describes the overall structure of MizAR, and presents the automated
reasoning systems and proof presentation tools that are combined to make MizAR
a useful mathematical service.Comment: To appear in 10th International Conference on. Artificial
Intelligence and Symbolic Computation AISC 201
Resident Perceptions of Medical Errors in the Emergency Department
Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/73541/1/S1069-6563_03_00559-1.pd
Inversion symmetric 3-monopoles and the Atiyah-Hitchin manifold
We consider 3-monopoles symmetric under inversion symmetry. We show that the
moduli space of these monopoles is an Atiyah-Hitchin submanifold of the
3-monopole moduli space. This allows what is known about 2-monopole dynamics to
be translated into results about the dynamics of 3-monopoles. Using a numerical
ADHMN construction we compute the monopole energy density at various points on
two interesting geodesics. The first is a geodesic over the two-dimensional
rounded cone submanifold corresponding to right angle scattering and the second
is a closed geodesic for three orbiting monopoles.Comment: latex, 22 pages, 2 figures. To appear in Nonlinearit
Interventions to prevent Lyme disease in humans: A systematic review
Lyme disease (LD) is an infection transferred to humans through bites from infected ticks. Surveillance indicates that the number of LD cases is increasing in the UK, therefore, improved knowledge about reducing transmission from ticks to humans is needed. Eighteen electronic databases were searched and additional web-based searching was conducted, to locate empirical research, published from 2002 onwards. Sixteen studies that evaluated five types of prevention intervention were included: personal protection (n = 4), domestic strategies (landscape modification and chemical pest control) (n = 3), education (n = 6), vaccination (n = 3), and deer-reduction programmes (n = 2). In general the quality of evidence was low. Results suggest that personal protection strategies, including the use of tick repellents and wearing of protective clothes, can prevent tick bites and reduce the incidence of LD among adults. Educational interventions were generally successful for improving adults' knowledge, behavioural beliefs (e.g., self-efficacy for performing tick checks) and preventative behaviour, but for children, the findings were mixed. For adults and children, knowledge changes did not typically translate into a lower incidence of LD. Whilst evidence on vaccination against LD is promising, too few studies were available to reach robust conclusions. There was no evidence of effectiveness for deer culling, and the evidence was inconclusive for applying acaricide (tick poison) to deer's ears and heads. Low-quality evidence suggests that personal protective strategies, that limit exposure to ticks, should continue to be recommended, as should education to encourage the adoption of personal protective strategies; further investigation of education interventions for children, vaccination and deer programmes is needed
Interventions to prevent Lyme disease in humans : A systematic review
Lyme disease (LD) is an infection transferred to humans through bites from infected ticks. Surveillance indicates that the number of LD cases is increasing in the UK, therefore, improved knowledge about reducing transmission from ticks to humans is needed. Eighteen electronic databases were searched and additional web-based searching was conducted, to locate empirical research, published from 2002 onwards. Sixteen studies that evaluated five types of prevention intervention were included: personal protection (n = 4), domestic strategies (landscape modification and chemical pest control) (n = 3), education (n = 6), vaccination (n = 3), and deer-reduction programmes (n = 2). In general the quality of evidence was low. Results suggest that personal protection strategies, including the use of tick repellents and wearing of protective clothes, can prevent tick bites and reduce the incidence of LD among adults. Educational interventions were generally successful for improving adults' knowledge, behavioural beliefs (e.g., self-efficacy for performing tick checks) and preventative behaviour, but for children, the findings were mixed. For adults and children, knowledge changes did not typically translate into a lower incidence of LD. Whilst evidence on vaccination against LD is promising, too few studies were available to reach robust conclusions. There was no evidence of effectiveness for deer culling, and the evidence was inconclusive for applying acaricide (tick poison) to deer's ears and heads. Low-quality evidence suggests that personal protective strategies, that limit exposure to ticks, should continue to be recommended, as should education to encourage the adoption of personal protective strategies; further investigation of education interventions for children, vaccination and deer programmes is needed
Scavenger 0.1: A Theorem Prover Based on Conflict Resolution
This paper introduces Scavenger, the first theorem prover for pure
first-order logic without equality based on the new conflict resolution
calculus. Conflict resolution has a restricted resolution inference rule that
resembles (a first-order generalization of) unit propagation as well as a rule
for assuming decision literals and a rule for deriving new clauses by (a
first-order generalization of) conflict-driven clause learning.Comment: Published at CADE 201
What helps to support people affected by Adverse Childhood Experiences? A review of evidence
Adverse Childhood Experiences (ACEs) include physical, sexual or emotional abuse; neglect; domestic violence in the home; homelessness or living in care; parental mental health problems or substance abuse; and parents who are absent through imprisonment, separation or death. We sought to understand how people affected by ACEs can best be supported by conducting a review of evidence. The review involved three components: a qualitative synthesis of UK views studies; a systematic review of reviews which measured the effectiveness of interventions to support people affected by ACEs; and a stakeholder workshop with young people with lived experience of ACEs. The review was commissioned by the Department of Health and Social Care
- …