Tablet computers in assessing performance in a high stakes exam : opinion matters

The authors would like to thank Dr Craig brown, University of Aberdeen for assistance with data analysis.Peer reviewedPublisher PD

Spectrum of turbulent Kelvin-waves cascade in superfluid helium

To explain the observed decay of superfluid turbulence at very low temperature, it has been proposed that a cascade of Kelvin waves (analogous to the classical Kolmogorov cascade) transfers kinetic energy to length scales which are small enough that sound can be radiated away. We report results of numerical simulations of the interaction of quantized vortex filaments. We observe the development of the Kelvin-waves cascade, and compute the statistics of the curvature, the amplitude spectrum (which we compare with competing theories) and the fractal dimension.Comment: 32 pages, 22 figure

Reduced healthcare utilisation following successful HCV treatment in HIV co-infected patients with mild liver disease

New direct-acting antivirals (DAA) for hepatitis C virus (HCV) infection have achieved high cure rates in many patient groups previously considered difficult-to-treat, including those HIV/HCV co-infected. The high price of these medications is likely to limit access to treatment, at least in the short term. Early treatment priority is likely to be given to those with advanced disease, but a more detailed understanding of the potential benefits in treating those with mild disease is needed. We hypothesized that successful HCV treatment within a co-infected population with mild liver disease would lead to a reduction in the use and costs of healthcare services in the 5 years following treatment completion. We performed a retrospective cohort study of HIV/HCV-co-infected patients without evidence of fibrosis/cirrhosis who received a course of HCV therapy between 2004 and 2013. Detailed analysis of healthcare utilization up to 5 years following treatment for each patient using clinical and electronic records was used to estimate healthcare costs. Sixty-three patients were investigated, of whom 48 of 63 (76.2%) achieved sustained virological response 12 weeks following completion of therapy (SVR12). Individuals achieving SVR12 incurred lower health utilization costs (£5000 per-patient) compared to (£10 775 per-patient) non-SVR patients in the 5 years after treatment. Healthcare utilization rates and costs in the immediate 5 years following treatment were significantly higher in co-infected patients with mild disease that failed to achieve SVR12. These data suggest additional value to achieving cure beyond the prevention of complications of disease

The functional integral with unconditional Wiener measure for anharmonic oscillator

In this article we propose the calculation of the unconditional Wiener measure functional integral with a term of the fourth order in the exponent by an alternative method as in the conventional perturbative approach. In contrast to the conventional perturbation theory, we expand into power series the term linear in the integration variable in the exponent. In such a case we can profit from the representation of the integral in question by the parabolic cylinder functions. We show that in such a case the series expansions are uniformly convergent and we find recurrence relations for the Wiener functional integral in the $N$ - dimensional approximation. In continuum limit we find that the generalized Gelfand - Yaglom differential equation with solution yields the desired functional integral (similarly as the standard Gelfand - Yaglom differential equation yields the functional integral for linear harmonic oscillator).Comment: Source file which we sent to journa

Effects of crack tip geometry on dislocation emission and cleavage: A possible path to enhanced ductility

We present a systematic study of the effect of crack blunting on subsequent crack propagation and dislocation emission. We show that the stress intensity factor required to propagate the crack is increased as the crack is blunted by up to thirteen atomic layers, but only by a relatively modest amount for a crack with a sharp 60$^\circ$ corner. The effect of the blunting is far less than would be expected from a smoothly blunted crack; the sharp corners preserve the stress concentration, reducing the effect of the blunting. However, for some material parameters blunting changes the preferred deformation mode from brittle cleavage to dislocation emission. In such materials, the absorption of preexisting dislocations by the crack tip can cause the crack tip to be locally arrested, causing a significant increase in the microscopic toughness of the crack tip. Continuum plasticity models have shown that even a moderate increase in the microscopic toughness can lead to an increase in the macroscopic fracture toughness of the material by several orders of magnitude. We thus propose an atomic-scale mechanism at the crack tip, that ultimately may lead to a high fracture toughness in some materials where a sharp crack would seem to be able to propagate in a brittle manner. Results for blunt cracks loaded in mode II are also presented.Comment: 12 pages, REVTeX using epsfig.sty. 13 PostScript figures. Final version to appear in Phys. Rev. B. Main changes: Discussion slightly shortened, one figure remove

Uncovering Bugs in Distributed Storage Systems during Testing (not in Production!)

Testing distributed systems is challenging due to multiple sources of nondeterminism. Conventional testing techniques, such as unit, integration and stress testing, are ineffective in preventing serious but subtle bugs from reaching production. Formal techniques, such as TLA+, can only verify high-level specifications of systems at the level of logic-based models, and fall short of checking the actual executable code. In this paper, we present a new methodology for testing distributed systems. Our approach applies advanced systematic testing techniques to thoroughly check that the executable code adheres to its high-level specifications, which significantly improves coverage of important system behaviors. Our methodology has been applied to three distributed storage systems in the Microsoft Azure cloud computing platform. In the process, numerous bugs were identified, reproduced, confirmed and fixed. These bugs required a subtle combination of concurrency and failures, making them extremely difficult to find with conventional testing techniques. An important advantage of our approach is that a bug is uncovered in a small setting and witnessed by a full system trace, which dramatically increases the productivity of debugging

Cystic fibrosis mice carrying the missense mutation G551D replicate human genotype phenotype correlations

We have generated a mouse carrying the human G551D mutation in the cystic fibrosis transmembrane conductance regulator gene (CFTR) by a one-step gene targeting procedure. These mutant mice show cystic fibrosis pathology but have a reduced risk of fatal intestinal blockage compared with 'null' mutants, in keeping with the reduced incidence of meconium ileus in G551D patients. The G551D mutant mice show greatly reduced CFTR-related chloride transport, displaying activity intermediate between that of cftr(mlUNC) replacement ('null') and cftr(mlHGU) insertional (residual activity) mutants and equivalent to approximately 4% of wild-type CFTR activity. The long-term survival of these animals should provide an excellent model with which to study cystic fibrosis, and they illustrate the value of mouse models carrying relevant mutations for examining genotype-phenotype correlations

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