Bayesian Probabilities and the Histories Algebra

We attempt a justification of a generalisation of the consistent histories programme using a notion of probability that is valid for all complete sets of history propositions. This consists of introducing Cox's axioms of probability theory and showing that our candidate notion of probability obeys them. We also give a generalisation of Bayes' theorem and comment upon how Bayesianism should be useful for the quantum gravity/cosmology programmes.Comment: 10 pages, accepted by Int. J. Theo. Phys. Feb 200

CFHT AO Imaging of the CLASS Gravitational Lens System B1359+154

We present adaptive optics imaging of the CLASS gravitational lens system B1359+154 obtained with the Canada-France-Hawaii Telescope (CFHT) in the infrared K band. The observations show at least three brightness peaks within the ring of lensed images, which we identify as emission from multiple lensing galaxies. The results confirm the suspected compound nature of the lens, as deduced from preliminary mass modeling. The detection of several additional nearby galaxies suggests that B1359+154 is lensed by the compact core of a small galaxy group. We attempted to produce an updated lens model based on the CFHT observations and new 5-GHz radio data obtained with the MERLIN array, but there are too few constraints to construct a realistic model at this time. The uncertainties inherent with modeling compound lenses make B1359+154 a challenging target for Hubble constant determination through the measurement of differential time delays. However, time delays will offer additional constraints to help pin down the mass model. This lens system therefore presents a unique opportunity to directly measure the mass distribution of a galaxy group at intermediate redshift.Comment: 12 pages including 3 figures; ApJL accepte

Prevalence and risk factors for mast cell tumours in dogs in England

BACKGROUND: Mast cell tumour (MCT) appears to be a frequent tumour type in dogs, though there is little published in relation to its frequency in dogs in the UK. The current study aimed to investigate prevalence and risk factors for MCTs in dogs attending English primary-care veterinary practices. METHODS: Electronic patient records from practices participating in the VetCompass animal surveillance project between July 2007 and June 2013 were searched for MCT diagnosis. Various search terms and standard diagnostic terms (VeNom codes) identified records containing MCT diagnoses, which were evaluated against clinical criteria for inclusion to the study. MCT prevalence for the entire dataset and specific breed types were calculated. Descriptive statistics characterised MCT cases and multivariable logistic regression methods evaluated risk factors for association with MCT (P < 0.05). RESULTS: Within a population of 168,636 dogs, 453 had MCT, yielding a prevalence of 0.27% (95% confidence interval (CI) 0.24% - 0.29%). The highest breed type specific prevalences were for the Boxer at 1.95% (95% CI 1.40% - 2.51%), Golden Retriever at 1.39% (0.98% - 1.81%) and Weimaraner at 0.85% (95% CI 0.17% to 1.53%). Age, insurance status, neuter status, weight and breed type were associated with MCT diagnosis. Of dogs of specific breed type, the Boxer, Pug and Staffordshire Bull Terrier showed greater odds of MCT diagnosis compared with crossbred dogs. Conversely, the German Shepherd Dog, Border Collie, West Highland White Terrier, Springer Spaniel and Cocker Spaniel had reduced odds of MCT diagnosis compared with crossbred dogs. No association was found between MCT diagnosis and sex. CLINICAL SIGNIFICANCE: This study highlights a clinically significant prevalence of MCT and identifies specific breed types with predisposition to MCT, potentially aiding veterinarian awareness and facilitating diagnosis

Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack

Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because a promising ap- proach to debugging is therefore not applicable to many real-world programs. We use the cost centre stack from the Glasgow Haskell Compiler profiling environment together with runtime value observations as provided by the Haskell Object Observation Debugger (HOOD) to collect enough information for algorithmic debugging. Program annotations are in suspected modules only. With this technique algorithmic debugging is applicable to a much larger set of Haskell programs. This demonstrates that for functional languages in general a simple stack trace extension is useful to support tasks such as profiling and debugging

Symmetry of two terminal, non-linear electric conduction

The well-established symmetry relations for linear transport phenomena can not, in general, be applied in the non-linear regime. Here we propose a set of symmetry relations with respect to bias voltage and magnetic field for the non-linear conductance of two-terminal electric conductors. We experimentally confirm these relations using phase-coherent, semiconductor quantum dots.Comment: 4 pages, 4 figure

Mathematics difficulties in extremely preterm children : evidence of a specific deficit in basic mathematics processing

Background: Extremely preterm (EP, <26 wk gestation) children have been observed to have poor academic achievement in comparison to their term-born peers, especially in mathematics. This study investigated potential underlying causes of this difficulty. Methods: A total of 219 EP participants were compared with 153 term-born control children at 11 y of age. All children were assessed by a psychologist on a battery of standardized cognitive tests and a number estimation test assessing children’s numerical representations. Results: EP children underperformed in all tests in comparison with the term controls (the majority of Ps < 0.001). Different underlying relationships between performance on the number estimation test and mathematical achievement were found in EP as compared with control children. That is, even after controlling for cognitive ability, a relationship between number representations and mathematical performance persisted for EP children only (EP: r = 0.346, n = 186, P < 0.001; control: r = 0.095, n = 146, P = 0.256). Conclusion: Interventions for EP children may target improving children’s numerical representations in order to subsequently remediate their mathematical skills

Pion Cloud Contribution to K+ Nucleus Scattering

A careful reanalysis is done of the contribution to $K^{+}$ nucleus scattering from the interaction of the kaon with the virtual pion cloud. The usual approximations made in the evaluation of the related kaon selfenergy are shown to fail badly. We also find new interaction mechanisms which provide appreciable corrections to the kaon selfenergy. Some of these contribute to the imaginary part below pion creation threshold. The inclusion of these new mechanisms in the inelastic part of the optical potential produces a significant improvement in the differential and total $K^{+}$ nuclear cross sections. Uncertainties remain in the dispersive part of the optical potential.Comment: 27 pages, 17 figures (not all of them included, please request them), report UG-DFM-2/9

Probing the Sensitivity of Electron Wave Interference to Disorder-Induced Scattering in Solid-State Devices

The study of electron motion in semiconductor billiards has elucidated our understanding of quantum interference and quantum chaos. The central assumption is that ionized donors generate only minor perturbations to the electron trajectories, which are determined by scattering from billiard walls. We use magnetoconductance fluctuations as a probe of the quantum interference and show that these fluctuations change radically when the scattering landscape is modified by thermally-induced charge displacement between donor sites. Our results challenge the accepted understanding of quantum interference effects in nanostructures.Comment: 8 pages, 5 figures, Submitted to Physical Review

Quasielastic K-nucleus scattering

Quasielastic K^+ - nucleus scattering data at q=290, 390 and 480 MeV/c are analyzed in a finite nucleus continuum random phase approximation framework, using a density-dependent particle-hole interaction. The reaction mechanism is consistently treated according to Glauber theory, keeping up to two-step inelastic processes. A good description of the data is achieved, also providing a useful constraint on the strength of the effective particle-hole interaction in the scalar-isoscalar channel at intermediate momentum transfers. We find no evidence for the increase in the effective number of nucleons participating in the reaction which has been reported in the literature.Comment: 21 pages, uses REVTeX and epsfig, 9 postscript figures; replaced version corrects a few minor errors in the tex