Validation of Ultrahigh Dependability for Software-Based Systems

Modern society depends on computers for a number of critical tasks in which failure can have very high costs. As a consequence, high levels of dependability (reliability, safety, etc.) are required from such computers, including their software. Whenever a quantitative approach to risk is adopted, these requirements must be stated in quantitative terms, and a rigorous demonstration of their being attained is necessary. For software used in the most critical roles, such demonstrations are not usually supplied. The fact is that the dependability requirements often lie near the limit of the current state of the art, or beyond, in terms not only of the ability to satisfy them, but also, and more often, of the ability to demonstrate that they are satisfied in the individual operational products (validation). We discuss reasons why such demonstrations cannot usually be provided with the means available: reliability growth models, testing with stable reliability, structural dependability modelling, as well as more informal arguments based on good engineering practice. We state some rigorous arguments about the limits of what can be validated with each of such means. Combining evidence from these different sources would seem to raise the levels that can be validated; yet this improvement is not such as to solve the problem. It appears that engineering practice must take into account the fact that no solution exists, at present, for the validation of ultra-high dependability in systems relying on complex software

Structural characterization of N-protonated amides: Regioselective N-activation of medium-bridged twisted lactams

The straightforward protonation of lactams by treatment with acid and the full structural characterization of three resulting N-protonated lactams are disclosed. This work provides experimental evidence that N-protonation of amide bonds results in a dramatic increase in nonplanarity about the C-N amide bond. The resulting compounds are discussed in structural, spectroscopic, and reactivity terms. The data suggest that distortion of these amide bonds by -50° is sufficient for their effective N-activation

Haplotyping the human leukocyte antigen system from single chromosomes

We describe a method for determining the parental HLA haplotypes of a single individual without recourse to conventional segregation genetics. Blood samples were cultured to identify and sort chromosome 6 by bivariate flow cytometry. Single chromosome 6 amplification products were confirmed with a single nucleotide polymorphism (SNP) array and verified by deep sequencing to enable assignment of both alleles at the HLA loci, defining the two haplotypes. This study exemplifies a rapid and efficient method of haplotyping that can be applied to any chromosome pair, or indeed all chromosome pairs, using a single sorting operation. The method represents a cost-effective approach to complete phasing of SNPs, which will facilitate a deeper understanding of the links between SNPs, gene regulation and protein function

Finite element simulation of three-dimensional free-surface flow problems

An adaptive finite element algorithm is described for the stable solution of three-dimensional free-surface-flow problems based primarily on the use of node movement. The algorithm also includes a discrete remeshing procedure which enhances its accuracy and robustness. The spatial discretisation allows an isoparametric piecewise-quadratic approximation of the domain geometry for accurate resolution of the curved free surface. The technique is illustrated through an implementation for surface-tension-dominated viscous flows modelled in terms of the Stokes equations with suitable boundary conditions on the deforming free surface. Two three-dimensional test problems are used to demonstrate the performance of the method: a liquid bridge problem and the formation of a fluid droplet

A versatile strategy for isolating a highly enriched population of intestinal stem cells

The isolation of pure populations of mouse intestinal stem cells (ISCs) is essential to facilitate functional studies of tissue homeostasis, tissue regeneration, and intestinal diseases. However, the purification of ISCs has relied predominantly on the use of transgenic reporter alleles in mice. Here, we introduce a combinational cell surface marker-mediated strategy that allows the isolation of an ISC population transcriptionally and functionally equivalent to the gold standard Lgr5-GFP ISCs. Used on reporter-free mice, this strategy allows the isolation of functional, transcriptionally distinct ISCs uncompromised by Lgr5 haploinsufficiency.Christian M. Nefzger, Thierry Jardé, Fernando J.Rossello, Katja Horvay, Anja S.Knaupp, David R.Powell ... et al

The Dependence of the Superconducting Transition Temperature of Organic Molecular Crystals on Intrinsically Non-Magnetic Disorder: a Signature of either Unconventional Superconductivity or Novel Local Magnetic Moment Formation

We give a theoretical analysis of published experimental studies of the effects of impurities and disorder on the superconducting transition temperature, T_c, of the organic molecular crystals kappa-ET_2X and beta-ET_2X (where ET is bis(ethylenedithio)tetrathiafulvalene and X is an anion eg I_3). The Abrikosov-Gorkov (AG) formula describes the suppression of T_c both by magnetic impurities in singlet superconductors, including s-wave superconductors and by non-magnetic impurities in a non-s-wave superconductor. We show that various sources of disorder lead to the suppression of T_c as described by the AG formula. This is confirmed by the excellent fit to the data, the fact that these materials are in the clean limit and the excellent agreement between the value of the interlayer hopping integral, t_perp, calculated from this fit and the value of t_perp found from angular-dependant magnetoresistance and quantum oscillation experiments. If the disorder is, as seems most likely, non-magnetic then the pairing state cannot be s-wave. We show that the cooling rate dependence of the magnetisation is inconsistent with paramagnetic impurities. Triplet pairing is ruled out by several experiments. If the disorder is non-magnetic then this implies that l>=2, in which case Occam's razor suggests that d-wave pairing is realised. Given the proximity of these materials to an antiferromagnetic Mott transition, it is possible that the disorder leads to the formation of local magnetic moments via some novel mechanism. Thus we conclude that either kappa-ET_2X and beta-ET_2X are d-wave superconductors or else they display a novel mechanism for the formation of localised moments. We suggest systematic experiments to differentiate between these scenarios.Comment: 18 pages, 5 figure

Spironolactone and colitis: Increased mortality in rodents and in humans

Background: Crohn's disease causes intestinal inflammation leading to intestinal fibrosis. Spironolactone is an antifibrotic medication commonly used in heart failure to reduce mortality. We examined whether spironolactone is antifibrotic in the context of intestinal inflammation. Methods: In vitro, spironolactone repressed fibrogenesis in transforming growth factor beta (TGF‐β)‐stimulated human colonic myofibroblasts. However, spironolactone therapy significantly increased mortality in two rodent models of inflammation‐induced intestinal fibrosis, suggesting spironolactone could be harmful during intestinal inflammation. Since inflammatory bowel disease (IBD) patients rarely receive spironolactone therapy, we examined whether spironolactone use was associated with mortality in a common cause of inflammatory colitis, Clostridium difficile infection (CDI). Results: Spironolactone use during CDI infection was associated with increased mortality in a retrospective cohort of 4008 inpatients (15.9% vs. 9.1%, n = 390 deaths, P < 0.0001). In patients without liver disease, the adjusted odds ratio (OR) for inpatient mortality associated with 80 mg spironolactone was 1.99 (95% confidence interval [CI]: 1.51–2.63) In contrast to the main effect of spironolactone mortality, multivariate modeling revealed a protective interaction between liver disease and spironolactone dose. The adjusted OR for mortality after CDI was 1.96 (95% CI: 1.50–2.55) for patients without liver disease on spironolactone vs. 1.28 (95% CI: 0.82–2.00) for patients with liver disease on spironolactone when compared to a reference group without liver disease or spironolactone use. Conclusions: We propose that discontinuation of spironolactone in patients without liver disease during CDI could reduce hospital mortality by 2‐fold, potentially reducing mortality from CDI by 35,000 patients annually across Europe and the U.S. (Inflamm Bowel Dis 2011;)Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/92045/1/21929_ftp.pd

Artificial gauge fields for the Bose-Hubbard model on a checkerboard superlattice and extended Bose-Hubbard model

We study the effects of an artificial gauge field on the ground-state phases of the Bose-Hubbard model on a checkerboard superlattice in two dimensions, including the superfluid phase and the Mott and alternating Mott insulators. First, we discuss the single-particle Hofstadter problem, and show that the presence of a checkerboard superlattice gives rise to a magnetic flux-independent energy gap in the excitation spectrum. Then, we consider the many-particle problem, and derive an analytical mean-field expression for the superfluid-Mott and superfluid--alternating-Mott insulator phase transition boundaries. Finally, since the phase diagram of the Bose-Hubbard model on a checkerboard superlattice is in many ways similar to that of the extended Bose-Hubbard model, we comment on the effects of magnetic field on the latter model, and derive an analytical mean-field expression for the superfluid-insulator phase transition boundaries as well.Comment: 8 pages, 5 figures and 1 table; to appear in EPJ

Single Spin Asymmetry ANA_N in Polarized Proton-Proton Elastic Scattering at s=200\sqrt{s}=200 GeV

We report a high precision measurement of the transverse single spin asymmetry $A_N$ at the center of mass energy $\sqrt{s}=200$ GeV in elastic proton-proton scattering by the STAR experiment at RHIC. The $A_N$ was measured in the four-momentum transfer squared $t$ range $0.003 \leqslant |t| \leqslant 0.035$ \GeVcSq, the region of a significant interference between the electromagnetic and hadronic scattering amplitudes. The measured values of $A_N$ and its $t$-dependence are consistent with a vanishing hadronic spin-flip amplitude, thus providing strong constraints on the ratio of the single spin-flip to the non-flip amplitudes. Since the hadronic amplitude is dominated by the Pomeron amplitude at this $\sqrt{s}$, we conclude that this measurement addresses the question about the presence of a hadronic spin flip due to the Pomeron exchange in polarized proton-proton elastic scattering.Comment: 12 pages, 6 figure

Longitudinal double-spin asymmetry and cross section for inclusive neutral pion production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV

We report a measurement of the longitudinal double-spin asymmetry A_LL and the differential cross section for inclusive Pi0 production at midrapidity in polarized proton collisions at sqrt(s) = 200 GeV. The cross section was measured over a transverse momentum range of 1 < p_T < 17 GeV/c and found to be in good agreement with a next-to-leading order perturbative QCD calculation. The longitudinal double-spin asymmetry was measured in the range of 3.7 < p_T < 11 GeV/c and excludes a maximal positive gluon polarization in the proton. The mean transverse momentum fraction of Pi0's in their parent jets was found to be around 0.7 for electromagnetically triggered events.Comment: 6 pages, 3 figures, submitted to Phys. Rev. D (RC