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

Gamma-ray bursts and terrestrial planetary atmospheres

We describe results of modeling the effects on Earth-like planets of long-duration gamma-ray bursts (GRBs) within a few kiloparsecs. A primary effect is generation of nitrogen oxide compounds which deplete ozone. Ozone depletion leads to an increase in solar UVB radiation at the surface, enhancing DNA damage, particularly in marine microorganisms such as phytoplankton. In addition, we expect increased atmospheric opacity due to buildup of nitrogen dioxide produced by the burst and enhanced precipitation of nitric acid. We review here previous work on this subject and discuss recent developments, including further discussion of our estimates of the rates of impacting GRBs and the possible role of short-duration bursts.Comment: 12 pages including 5 figures (4 in color). Added discussion of GRB rates and biological effects. Accepted for publication in New Journal of Physics, for special issue "Focus on Gamma-Ray Bursts

Flavour physics from an approximate U(2)^3 symmetry

The quark sector of the Standard Model exhibits an approximate U(2)^3 flavour symmetry. This symmetry, broken in specific directions dictated by minimality, can explain the success of the Cabibbo-Kobayashi-Maskawa picture of flavour mixing and CP violation, confirmed by the data so far, while allowing for observable deviations from it, as expected in most models of ElectroWeak Symmetry Breaking. Building on previous work in the specific context of supersymmetry, we analyze the expected effects and we quantify the current bounds in a general Effective Field Theory framework. As a further relevant example we then show how the U(2)^3 symmetry and its breaking can be implemented in a generic composite Higgs model and we make a first analysis of its peculiar consequences. We also discuss how some partial extension of U(2)^3 to the lepton sector can arise, both in general and in composite Higgs models. An optimistic though conceivable interpretation of the considerations developed in this paper gives reasons to think that new physics searches in the flavour sector may be about to explore an interesting realm of phenomena.Comment: 29 pages, 5 figure

Are lay people good at recognising the symptoms of schizophrenia?

©2013 Erritty, Wydell. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.This article has been made available through the Brunel Open Access Publishing Fund.Aim: The aim of this study was to explore the general public’s perception of schizophrenia symptoms and the need to seekhelp for symptoms. The recognition (or ‘labelling’) of schizophrenia symptoms, help-seeking behaviours and public awareness of schizophrenia have been suggested as potentially important factors relating to untreated psychosis. Method: Participants were asked to rate to what extent they believe vignettes describing classic symptoms (positive and negative) of schizophrenia indicate mental illness. They were also asked if the individuals depicted in the vignettes required help or treatment and asked to suggest what kind of help or treatment. Results: Only three positive symptoms (i.e., Hallucinatory behaviour, Unusual thought content and Suspiciousness) of schizophrenia were reasonably well perceived (above 70%) as indicating mental illness more than the other positive or negative symptoms. Even when the participants recognised that the symptoms indicated mental illness, not everyone recommended professional help. Conclusion: There may be a need to improve public awareness of schizophrenia and psychosis symptoms, particularly regarding an awareness of the importance of early intervention for psychosis

Three-dimensional coherent X-ray diffraction imaging via deep convolutional neural networks

As a critical component of coherent X-ray diffraction imaging (CDI), phase retrieval has been extensively applied in X-ray structural science to recover the 3D morphological information inside measured particles. Despite meeting all the oversampling requirements of Sayre and Shannon, current phase retrieval approaches still have trouble achieving a unique inversion of experimental data in the presence of noise. Here, we propose to overcome this limitation by incorporating a 3D Machine Learning (ML) model combining (optional) supervised learning with transfer learning. The trained ML model can rapidly provide an immediate result with high accuracy which could benefit real-time experiments, and the predicted result can be further refined with transfer learning. More significantly, the proposed ML model can be used without any prior training to learn the missing phases of an image based on minimization of an appropriate ‘loss function’ alone. We demonstrate significantly improved performance with experimental Bragg CDI data over traditional iterative phase retrieval algorithms

Valley filter and valley valve in graphene

It is known that the lowest propagating mode in a narrow ballistic ribbon of graphene may lack the twofold valley degeneracy of higher modes. Depending on the crystallographic orientation of the ribbon axis, the lowest mode mixes both valleys or lies predominantly in a single valley (chosen by the direction of propagation). We show, using a tight-binding model calculation, that a nonequilibrium valley polarization can be realized in a sheet of graphene, upon injection of current through a ballistic point contact with zigzag edges. The polarity can be inverted by local application of a gate voltage to the point contact region. Two valley filters in series may function as an electrostatically controlled ``valley valve'', representing a zero-magnetic-field counterpart to the familiar spin valve.Comment: RevTeX, 4 pages, 5 figure

Tools for delivering entomopathogenic fungi to malaria mosquitoes: effects of delivery surfaces on fungal efficacy and persistence.

BACKGROUND\ud \ud Entomopathogenic fungi infection on malaria vectors increases daily mortality rates and thus represents a control measure that could be used in integrated programmes alongside insecticide-treated bed nets (ITNs) and indoor residual spraying (IRS). Before entomopathogenic fungi can be integrated into control programmes, an effective delivery system must be developed.\ud \ud METHODS\ud \ud The efficacy of Metarhizium anisopliae ICIPE-30 and Beauveria bassiana I93-825 (IMI 391510) (2 × 10(10) conidia m(-2)) applied on mud panels (simulating walls of traditional Tanzanian houses), black cotton cloth and polyester netting was evaluated against adult Anopheles gambiae sensu stricto. Mosquitoes were exposed to the treated surfaces 2, 14 and 28 d after conidia were applied. Survival of mosquitoes was monitored daily.\ud \ud RESULTS\ud \ud All fungal treatments caused a significantly increased mortality in the exposed mosquitoes, descending with time since fungal application. Mosquitoes exposed to M. anisopliae conidia on mud panels had a greater daily risk of dying compared to those exposed to conidia on either netting or cotton cloth (p < 0.001). Mosquitoes exposed to B. bassiana conidia on mud panels or cotton cloth had similar daily risk of death (p = 0.14), and a higher risk than those exposed to treated polyester netting (p < 0.001). Residual activity of fungi declined over time; however, conidia remained pathogenic at 28 d post application, and were able to infect and kill 73 - 82% of mosquitoes within 14 d.\ud \ud CONCLUSION\ud \ud Both fungal isolates reduced mosquito survival on immediate exposure and up to 28 d after application. Conidia were more effective when applied on mud panels and cotton cloth compared with polyester netting. Cotton cloth and mud, therefore, represent potential substrates for delivering fungi to mosquitoes in the field

Gene Therapy for Lysosomal Storage Disorders: Ongoing Studies and Clinical Development

Rare monogenic disorders such as lysosomal diseases have been at the forefront in the development of novel treatments where therapeutic options are either limited or unavailable. The increasing number of successful pre-clinical and clinical studies in the last decade demonstrates that gene therapy represents a feasible option to address the unmet medical need of these patients. This article provides a comprehensive overview of the current state of the field, reviewing the most used viral gene delivery vectors in the context of lysosomal storage disorders, a selection of relevant pre-clinical studies and ongoing clinical trials within recent years