Acceptance Criteria for Critical Software Based on Testability Estimates and Test Results

Testability is defined as the probability that a program will fail a test, conditional on the program containing some fault. In this paper, we show that statements about the testability of a program can be more simply described in terms of assumptions on the probability distribution of the failure intensity of the program. We can thus state general acceptance conditions in clear mathematical terms using Bayesian inference. We develop two scenarios, one for software for which the reliability requirements are that the software must be completely fault-free, and another for requirements stated as an upper bound on the acceptable failure probability

Linking Ethnic Identification to Organisational Solidarity

This paper investigates the process through which ethnic identification (EI) influences employees’ sense of organisational solidarity (OS). A survey of 1525 employees working in different ministries of a state government in Nigeria was collected and analysed by means of a regression to investigate EI-OS relationships. As expected, EI was a significant determinant of OS with co-worker social support explaining the rationale for EI-OS relationship. The conceptualisation of OS as a composite construct that manifest in employees’ self-efficacy, organisational self-identity and employee voice behaviours is novel. The study provides evidence from an under researched area to further generalise existing debates

Effective Rheology of Bubbles Moving in a Capillary Tube

We calculate the average volumetric flux versus pressure drop of bubbles moving in a single capillary tube with varying diameter, finding a square-root relation from mapping the flow equations onto that of a driven overdamped pendulum. The calculation is based on a derivation of the equation of motion of a bubble train from considering the capillary forces and the entropy production associated with the viscous flow. We also calculate the configurational probability of the positions of the bubbles.Comment: 4 pages, 1 figur

Concomitant malaria among visceral leishmaniasis in-patients from Gedarif and Sennar States, Sudan: a retrospective case-control study

In areas where visceral leishmaniasis (VL) and malaria are co-endemic, co-infections are common. Clinical implications range from potential diagnostic delay to increased disease-related morbidity, as compared to VL patients. Nevertheless, public awareness of the disease remains limited. In VL-endemic areas with unstable and seasonal malaria, vulnerability to the disease persists through all age-groups, suggesting that in these populations, malaria may easily co-occur with VL, with potentially severe clinical effects

Transcriptional Analysis of Murine Macrophages Infected with Different Toxoplasma Strains Identifies Novel Regulation of Host Signaling Pathways

Most isolates of Toxoplasma from Europe and North America fall into one of three genetically distinct clonal lineages, the type I, II and III lineages. However, in South America these strains are rarely isolated and instead a great variety of other strains are found. T. gondii strains differ widely in a number of phenotypes in mice, such as virulence, persistence, oral infectivity, migratory capacity, induction of cytokine expression and modulation of host gene expression. The outcome of toxoplasmosis in patients is also variable and we hypothesize that, besides host and environmental factors, the genotype of the parasite strain plays a major role. The molecular basis for these differences in pathogenesis, especially in strains other than the clonal lineages, remains largely unexplored. Macrophages play an essential role in the early immune response against T. gondii and are also the cell type preferentially infected in vivo. To determine if non-canonical Toxoplasma strains have unique interactions with the host cell, we infected murine macrophages with 29 different Toxoplasma strains, representing global diversity, and used RNA-sequencing to determine host and parasite transcriptomes. We identified large differences between strains in the expression level of known parasite effectors and large chromosomal structural variation in some strains. We also identified novel strain-specifically regulated host pathways, including the regulation of the type I interferon response by some atypical strains. IFNβ production by infected cells was associated with parasite killing, independent of interferon gamma activation, and dependent on endosomal Toll-like receptors in macrophages and the cytoplasmic receptor retinoic acid-inducible gene 1 (RIG-I) in fibroblasts.National Institutes of Health (U.S.) (R01-AI080621)New England Regional Center of Excellence for Biodefense and Emerging Infectious Diseases (Developmental Grant AIO57159)Pew Charitable Trusts (Biomedical Scholars Program)Robert A. Swanson Career Development awardThe Knights Templar Eye Foundation, Inc.Pre-Doctoral Grant in the Biological Sciences (5-T32-GM007287-33)Cleo and Paul Schimmel Foundatio

Aquaporins: important but elusive drug targets.

The aquaporins (AQPs) are a family of small, integral membrane proteins that facilitate water transport across the plasma membranes of cells in response to osmotic gradients. Data from knockout mice support the involvement of AQPs in epithelial fluid secretion, cell migration, brain oedema and adipocyte metabolism, which suggests that modulation of AQP function or expression could have therapeutic potential in oedema, cancer, obesity, brain injury, glaucoma and several other conditions. Moreover, loss-of-function mutations in human AQPs cause congenital cataracts (AQP0) and nephrogenic diabetes insipidus (AQP2), and autoantibodies against AQP4 cause the autoimmune demyelinating disease neuromyelitis optica. Although some potential AQP modulators have been identified, challenges associated with the development of better modulators include the druggability of the target and the suitability of the assay methods used to identify modulators

Global, regional, and national burden of neurological disorders during 1990-2015: a systematic analysis for the Global Burden of Disease Study 2015

Background Comparable data on the global and country-specific burden of neurological disorders and their trends are crucial for health-care planning and resource allocation. The Global Burden of Diseases, Injuries, and Risk Factors (GBD) Study provides such information but does not routinely aggregate results that are of interest to clinicians specialising in neurological conditions. In this systematic analysis, we quantified the global disease burden due to neurological disorders in 2015 and its relationship with country development level. Methods We estimated global and country-specific prevalence, mortality, disability-adjusted life-years (DALYs), years of life lost (YLLs), and years lived with disability (YLDs) for various neurological disorders that in the GBD classification have been previously spread across multiple disease groupings. The more inclusive grouping of neurological disorders included stroke, meningitis, encephalitis, tetanus, Alzheimer's disease and other dementias, Parkinson's disease, epilepsy, multiple sclerosis, motor neuron disease, migraine, tension-type headache, medication overuse headache, brain and nervous system cancers, and a residual category of other neurological disorders. We also analysed results based on the Socio-demographic Index (SDI), a compound measure of income per capita, education, and fertility, to identify patterns associated with development and how countries fare against expected outcomes relative to their level of development. Findings Neurological disorders ranked as the leading cause group of DALYs in 2015 (250·7 [95% uncertainty interval (UI) 229·1 to 274·7] million, comprising 10·2% of global DALYs) and the second-leading cause group of deaths (9·4 [9·1 to 9·7] million], comprising 16·8% of global deaths). The most prevalent neurological disorders were tension-type headache (1505·9 [UI 1337·3 to 1681·6 million cases]), migraine (958·8 [872·1 to 1055·6] million), medication overuse headache (58·5 [50·8 to 67·4 million]), and Alzheimer's disease and other dementias (46·0 [40·2 to 52·7 million]). Between 1990 and 2015, the number of deaths from neurological disorders increased by 36·7%, and the number of DALYs by 7·4%. These increases occurred despite decreases in age-standardised rates of death and DALYs of 26·1% and 29·7%, respectively; stroke and communicable neurological disorders were responsible for most of these decreases. Communicable neurological disorders were the largest cause of DALYs in countries with low SDI. Stroke rates were highest at middle levels of SDI and lowest at the highest SDI. Most of the changes in DALY rates of neurological disorders with development were driven by changes in YLLs. Interpretation Neurological disorders are an important cause of disability and death worldwide. Globally, the burden of neurological disorders has increased substantially over the past 25 years because of expanding population numbers and ageing, despite substantial decreases in mortality rates from stroke and communicable neurological disorders. The number of patients who will need care by clinicians with expertise in neurological conditions will continue to grow in coming decades. Policy makers and health-care providers should be aware of these trends to provide adequate services

Single-dose liposomal amphotericin B (AmBisome®) for the treatment of Visceral Leishmaniasis in East Africa: study protocol for a randomized controlled trial

BACKGROUND: AmBisome® is an efficacious, safe anti-leishmanial treatment. There is growing interest in its use, either as a single dose or in combination treatments. In East Africa, the minimum optimal single-dosage has not been identified. METHODS/DESIGN: An open-label, 2-arm, non-inferiority, multi-centre randomised controlled trial is being conducted to determine the optimal single-dose treatment with AmBisome®.Patients in the single-dose arm will receive one infusion on day 1, at a dose depending on body weight. For the first group of patients entered to the trial, the dose will be 7.5 mg/kg, but if this dose is found to be ineffective then in subsequent patient series the dose will be escalated progressively to 10, 12.5 and 15 mg/kg. Patients in the reference arm will receive a multi-dose regimen of AmBisome® (3 mg/kg/day on days 1-5, 14 and 21: total dose 21 mg/kg). Patients will be hospitalised for approximately one month after the start of treatment and then followed up at three and six months. The primary endpoint is the status of patients six months after treatment. A secondary endpoint is assessment at day 30. Treatment success is determined as the absence of parasites on microscopy samples taken from bone marrow, lymph node or splenic aspirates. Interim analyses to assess the comparative efficacy of the single dose are planned after recruitment of 20 and 40 patients per arm. The final non-inferiority analysis will include 120 patients per arm, to determine if the single-dose efficacy 6 months after treatment is not more than 10% inferior to the multi-dose. DISCUSSION: An effective, safe single-dose treatment would reduce hospitalization and treatment costs. Results will inform the design of combination treatment studies. TRIAL REGISTRATION: ClinicalTrials.gov NCT00832208