Notes on the migration and dispersal of birds at Kitui

Volume: XXI

Notes on the birds of Kakamega forest

Volume: XX

Syntactic Control of Interference Revisited

In Syntactic Control of Interference (POPL, 1978), J. C. Reynolds proposes three design principles intended to constrain the scope of imperative state effects in Algol-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as pcf) and simple imperative languages (such as the language of while programs). However, Reynolds points out that the obvious syntax for interference control has the unfortunate property that fi-reductions do not always preserve typings. Reynolds has subsequently presented a solution to this problem (ICALP, 1989), but it is fairly complicated and requires intersection types in the type system. Here, we present a much simpler solution which does not require intersection types. We first describe a new type system inspired in part by linear logic and verify that reductions preserve typings. We then define a class of bireflective models, which provide a categorical analysis of structure underlying the new typing rules; a companion paper Bireflectivity, in this volume, exposes wider ramifications of this structure. Finally, we describe a concrete model for an illustrative programming language based on the new type system; this improves on earlier such efforts in that states are not assumed to be structured using locations

Constraints on the Ultra High Energy Photon flux using inclined showers from the Haverah Park array

We describe a method to analyse inclined air showers produced by ultra high energy cosmic rays using an analytical description of the muon densities. We report the results obtained using data from inclined events (60^{\circ}<\theta<80^{\circ}) recorded by the Haverah Park shower detector for energies above 10^19 eV. Using mass independent knowledge of the UHECR spectrum obtained from vertical air shower measurements and comparing the expected horizontal shower rate to the reported measurements we show that above 10^19 eV less than 48 % of the primary cosmic rays can be photons at the 95 % confidence level and above 4 X 10^19 eV less than 50 % of the cosmic rays can be photonic at the same confidence level. These limits place important constraints on some models of the origin of ultra high-energy cosmic rays.Comment: 45 pages, 25 figure

Neutrino Detection with Inclined Air Showers

The possibilities of detecting high energy neutrinos through inclined showers produced in the atmosphere are addressed with an emphasis on the detection of air showers by arrays of particle detectors. Rates of inclined showers produced by both down-going neutrino interactions and by up-coming $\tau$ decays from earth-skimming neutrinos as a function of shower energy are calculated with analytical methods using two sample neutrino fluxes with different spectral indices. The relative contributions from different flavors and charged, neutral current and resonant interactions are compared for down-going neutrinos interacting in the atmosphere. No detailed description of detectors is attempted but rough energy thresholds are implemented to establish the ranges of energies which are more suitable for neutrino detection through inclined showers. Down-going and up-coming rates are compared.Comment: Submitted to New Journal of Physic

Conservative management versus open reduction and internal fixation for mid-shaft clavicle fractures in adults - The Clavicle Trial: Study protocol for a multicentre randomized controlled trial

Background: Clavicle fractures account for around 4% of all fractures and up to 44% of fractures of the shoulder girdle. Fractures of the middle third (or mid-shaft) account for approximately 80% of all clavicle fractures. Management of this group of fractures is often challenging and the outcome can be unsatisfactory. In particular it is not clear whether surgery produces better outcomes than non-surgical management. Currently there is much variation in the use of surgery and a lack of good quality evidence to inform our decision.Methods/Design: We aim to undertake a multicentre randomised controlled trial evaluating the effectiveness and safety of conservative management versus open reduction and internal fixation for displaced mid-shaft clavicle fractures in adults. Surgical treatment will be performed using the Acumed clavicle fixation system. Conservative management will consist of immobilisation in a sling at the side in internal rotation for 6 weeks or until clinical or radiological union. We aim to recruit 300 patients. These patients will be followed-up for at least 9 months. The primary endpoint will be the rate of non-union at 3 months following treatment. Secondary endpoints will be limb function measured using the Constant-Murley Score and the Disabilities of the Arm, Shoulder and Hand (DASH) Score at 3 and 9 months post-operatively.Discussion: This article presents the protocol for a multicentre randomised controlled trial. It gives extensive details of, and the basis for, the chosen methods, and describes the key measures taken to avoid bias and to ensure validity.Trial Registration: United Kingdom Clinical Research Network ID: 8665. The date of registration of the trial is 07/09/2006. The date the first patient was recruited is 18/12/2007. © 2011 Longo et al; licensee BioMed Central Ltd

The Sheaf-Theoretic Structure Of Non-Locality and Contextuality

We use the mathematical language of sheaf theory to give a unified treatment of non-locality and contextuality, in a setting which generalizes the familiar probability tables used in non-locality theory to arbitrary measurement covers; this includes Kochen-Specker configurations and more. We show that contextuality, and non-locality as a special case, correspond exactly to obstructions to the existence of global sections. We describe a linear algebraic approach to computing these obstructions, which allows a systematic treatment of arguments for non-locality and contextuality. We distinguish a proper hierarchy of strengths of no-go theorems, and show that three leading examples --- due to Bell, Hardy, and Greenberger, Horne and Zeilinger, respectively --- occupy successively higher levels of this hierarchy. A general correspondence is shown between the existence of local hidden-variable realizations using negative probabilities, and no-signalling; this is based on a result showing that the linear subspaces generated by the non-contextual and no-signalling models, over an arbitrary measurement cover, coincide. Maximal non-locality is generalized to maximal contextuality, and characterized in purely qualitative terms, as the non-existence of global sections in the support. A general setting is developed for Kochen-Specker type results, as generic, model-independent proofs of maximal contextuality, and a new combinatorial condition is given, which generalizes the `parity proofs' commonly found in the literature. We also show how our abstract setting can be represented in quantum mechanics. This leads to a strengthening of the usual no-signalling theorem, which shows that quantum mechanics obeys no-signalling for arbitrary families of commuting observables, not just those represented on different factors of a tensor product.Comment: 33 pages. Extensively revised, new results included. Published in New Journal of Physic

Diagnostic accuracy for the extent and activity of newly diagnosed and relapsed Crohn’s disease: a multicentre prospective comparison of magnetic resonance enterography and small bowel ultrasound –The METRIC Trial

Background Magnetic resonance enterography (MRE) and ultrasound (US) are used to image Crohn’s disease, but comparative accuracy for disease extent and activity is not known with certainty. We undertook a prospective multicentre cohort trial to address this Methods We recruited from 8 UK hospitals. Eligible patients were 16 years or older, newly diagnosed with Crohn’s disease, or had established disease with suspected relapse. Consecutive patients underwent MRE and US in addition to standard investigations. Discrepancy between MRE and US for small bowel (SB) disease presence triggered an additional investigation, if not already available. The primary outcome was difference in per patient sensitivity for SB disease extent (correct identification and segmental localisation) against a construct reference standard (panel diagnosis). Accuracy for SB and colonic disease presence and activity were secondary outcomes. The trial is completed (ISRCTN03982913). Findings 284 patients completed the trial (133 new diagnosis, 151 relapse). MRE sensitivity (n=233) for SB disease extent (80% [95%CI 72 to 86]) and presence (97% [91 to 99]) were significantly greater than US (70% [62 to 78], 92% [84 to 96]); a 10% (1 to 18; p=0.027), and 5% (1 to 9), difference respectively. MRE specificity for SB disease extent (95% [85 to 98]) was significantly greater than US (81% [64 to 91]). Sensitivity for active SB disease was significantly greater for MRE than US (96% [92 to 99] vs. 90% [82 to 95]), difference 6% (2 to 11). Overall, there were no significant accuracy differences for colonic disease presence. Accuracy in newly diagnosed and relapse patients was similar, although US had significantly greater sensitivity for colonic disease than MRE in newly diagnosed patients (67% [49 to 81) vs. 47% [31 to 64]), difference 20% (1 to 39). There were no serious adverse events. Interpretation MRE has higher diagnostic accuracy for the extent and activity of SB Crohn’s disease than US when tested in a prospective multi centre cohort trial setting