Logic Programming and Logarithmic Space

We present an algebraic view on logic programming, related to proof theory and more specifically linear logic and geometry of interaction. Within this construction, a characterization of logspace (deterministic and non-deterministic) computation is given via a synctactic restriction, using an encoding of words that derives from proof theory. We show that the acceptance of a word by an observation (the counterpart of a program in the encoding) can be decided within logarithmic space, by reducing this problem to the acyclicity of a graph. We show moreover that observations are as expressive as two-ways multi-heads finite automata, a kind of pointer machines that is a standard model of logarithmic space computation

First Results from the DRIFT-IIa Dark Matter Detector

Data from the DRIFT-IIa directional dark matter experiment are presented, collected during a near continuous 6 month running period. A detailed calibration analysis comparing data from gamma-ray, x-ray and neutron sources to a GEANT4 Monte Carlo simulations reveals an efficiency for detection of neutron induced recoils of 94+/-2(stat.)+/-5(sys.)%. Software-based cuts, designed to remove non-nuclear recoil events, are shown to reject 60Co gamma-rays with a rejection factor of better than 8x10-6 for all energies above threshold. An unexpected event population has been discovered and is shown here to be due to the alpha-decay of 222Rn daughter nuclei that have attached to the central cathode. A limit on the flux of neutrons in the Boulby Underground Laboratory is derived from analysis of unshielded and shielded data.Comment: 43 pages, 14 figures, submitted to Astroparticle Physic

Ferromagnetic phase transition and Bose-Einstein condensation in spinor Bose gases

Phase transitions in spinor Bose gases with ferromagnetic (FM) couplings are studied via mean-field theory. We show that an infinitesimal value of the coupling can induce a FM phase transition at a finite temperature always above the critical temperature of Bose-Einstein condensation. This contrasts sharply with the case of Fermi gases, in which the Stoner coupling $I_s$ can not lead to a FM phase transition unless it is larger than a threshold value $I_0$. The FM coupling also increases the critical temperatures of both the ferromagnetic transition and the Bose-Einstein condensation.Comment: 4 pages, 4 figure

ATM Mutations and Phenotypes in Ataxia-Telangiectasia Families in the British Isles: Expression of Mutant ATM and the Risk of Leukemia, Lymphoma, and Breast Cancer

SummaryWe report the spectrum of 59 ATM mutations observed in ataxia-telangiectasia (A-T) patients in the British Isles. Of 51 ATM mutations identified in families native to the British Isles, 11 were founder mutations, and 2 of these 11 conferred a milder clinical phenotype with respect to both cerebellar degeneration and cellular features. We report, in two A-T families, an ATM mutation (7271T→G) that may be associated with an increased risk of breast cancer in both homozygotes and heterozygotes (relative risk 12.7; P=.0025), although there is a less severe A-T phenotype in terms of the degree of cerebellar degeneration. This mutation (7271T→G) also allows expression of full-length ATM protein at a level comparable with that in unaffected individuals. In addition, we have studied 18 A-T patients, in 15 families, who developed leukemia, lymphoma, preleukemic T-cell proliferation, or Hodgkin lymphoma, mostly in childhood. A wide variety of ATM mutation types, including missense mutations and in-frame deletions, were seen in these patients. We also show that 25% of all A-T patients carried in-frame deletions or missense mutations, many of which were also associated with expression of mutant ATM protein

Stakeholder narratives on trypanosomiasis, their effect on policy and the scope for One Health

Background This paper explores the framings of trypanosomiasis, a widespread and potentially fatal zoonotic disease transmitted by tsetse flies (Glossina species) affecting both humans and livestock. This is a country case study focusing on the political economy of knowledge in Zambia. It is a pertinent time to examine this issue as human population growth and other factors have led to migration into tsetse-inhabited areas with little historical influence from livestock. Disease transmission in new human-wildlife interfaces such as these is a greater risk, and opinions on the best way to manage this are deeply divided. Methods A qualitative case study method was used to examine the narratives on trypanosomiasis in the Zambian policy context through a series of key informant interviews. Interviewees included key actors from international organisations, research organisations and local activists from a variety of perspectives acknowledging the need to explore the relationships between the human, animal and environmental sectors. Principal Findings Diverse framings are held by key actors looking from, variously, the perspectives of wildlife and environmental protection, agricultural development, poverty alleviation, and veterinary and public health. From these viewpoints, four narratives about trypanosomiasis policy were identified, focused around four different beliefs: that trypanosomiasis is protecting the environment, is causing poverty, is not a major problem, and finally, that it is a Zambian rather than international issue to contend with. Within these narratives there are also conflicting views on the best control methods to use and different reasoning behind the pathways of response. These are based on apparently incompatible priorities of people, land, animals, the economy and the environment. The extent to which a One Health approach has been embraced and the potential usefulness of this as a way of reconciling the aims of these framings and narratives is considered throughout the paper. Conclusions/Significance While there has historically been a lack of One Health working in this context, the complex, interacting factors that impact the disease show the need for cross-sector, interdisciplinary decision making to stop rival narratives leading to competing actions. Additional recommendations include implementing: surveillance to assess under-reporting of disease and consequential under-estimation of disease risk; evidence-based decision making; increased and structurally managed funding across countries; and focus on interactions between disease drivers, disease incidence at the community level, and poverty and equity impacts

The strong thirteen spheres problem

The thirteen spheres problem is asking if 13 equal size nonoverlapping spheres in three dimensions can touch another sphere of the same size. This problem was the subject of the famous discussion between Isaac Newton and David Gregory in 1694. The problem was solved by Schutte and van der Waerden only in 1953. A natural extension of this problem is the strong thirteen spheres problem (or the Tammes problem for 13 points) which asks to find an arrangement and the maximum radius of 13 equal size nonoverlapping spheres touching the unit sphere. In the paper we give a solution of this long-standing open problem in geometry. Our computer-assisted proof is based on a enumeration of the so-called irreducible graphs.Comment: Modified lemma 2, 16 pages, 12 figures. Uploaded program packag

Track Reconstruction and Performance of DRIFT Directional Dark Matter Detectors using Alpha Particles

First results are presented from an analysis of data from the DRIFT-IIa and DRIFT-IIb directional dark matter detectors at Boulby Mine in which alpha particle tracks were reconstructed and used to characterise detector performance--an important step towards optimising directional technology. The drift velocity in DRIFT-IIa was [59.3 +/- 0.2 (stat) +/- 7.5 (sys)] m/s based on an analysis of naturally-occurring alpha-emitting background. The drift velocity in DRIFT-IIb was [57 +/- 1 (stat) +/- 3 (sys)] m/s determined by the analysis of alpha particle tracks from a Po-210 source. 3D range reconstruction and energy spectra were used to identify alpha particles from the decay of Rn-222, Po-218, Rn-220 and Po-216. This study found that (22 +/- 2)% of Po-218 progeny (from Rn-222 decay) are produced with no net charge in 40 Torr CS2. For Po-216 progeny (from Rn-220 decay) the uncharged fraction is (100 +0 -35)%.Comment: 27 pages, 12 figures, 5 tables. Submitted to Nuclear Instruments and Methods in Physics Research, Section A. Subj-class: Instrumentation and Detector

A Circulating Hydrogen Ultra-High Purification System for the MuCap Experiment

The MuCap experiment is a high-precision measurement of the rate for the basic electroweak process of muon capture, mu- + p -> n + nu . The experimental approach is based on an active target consisting of a time projection chamber (TPC) operating with pure hydrogen gas. The hydrogen has to be kept extremely pure and at a stable pressure. A Circulating Hydrogen Ultrahigh Purification System was designed at the Petersburg Nuclear Physics Institute (PNPI) to continuously clean the hydrogen from impurities. The system is based on an adsorption cryopump to stimulate the hydrogen flow and on a cold adsorbent for the hydrogen cleaning. It was installed at the Paul Scherrer Institute (PSI) in 2004 and performed reliably during three experiment runs. During several months long operating periods the system maintained the hydrogen purity in the detector on the level of 20 ppb for moisture, which is the main contaminant, and of better than 7 ppb and 5 ppb for nitrogen and oxygen, respectively. The pressure inside the TPC was stabilized to within 0.024% of 10 bar at a hydrogen flow rate of 3 standard liters per minute.Comment: submitted to Nucl. Instr. Methods Phys. Res.

Limits on spin-dependent WIMP-nucleon cross-sections from the first ZEPLIN-II data

The first underground data run of the ZEPLIN-II experiment has set a limit on the nuclear recoil rate in the two-phase xenon detector for direct dark matter searches. In this paper the results from this run are converted into the limits on spin-dependent WIMP-proton and WIMP-neutron cross-sections. The minimum of the curve for WIMP-neutron cross-section corresponds to 0.07 pb at a WIMP mass of around 65 GeV.Comment: 12 pages, 2 figures, to be published in Physics Letters

The ZEPLIN II dark matter detector: data acquisition system and data reduction

ZEPLIN-II is a two-phase (liquid/gas) xenon dark matter detector searching for WIMP-nucleon interactions. In this paper we describe the data acquisition system used to record the data from ZEPLIN-II and the reduction procedures which parameterise the data for subsequent analysis.Comment: 11 pages, 10 figure