Derivation of passage-time densities in PEPA models using ipc: the imperial PEPA compiler

We present a technique for defining and extracting passage-time densities from high-level stochastic process algebra models. Our high-level formalism is PEPA, a popular Markovian process algebra for expressing compositional performance models. We introduce ipc, a tool which can process PEPA-specified passage-time densities and models by compiling the PEPA model and passage specification into the DNAmaca formalism. DNAmaca is an established modelling language for the low-level specification of very large Markov and semi-Markov chains. We provide performance results for ipc/DNAmaca and comparisons with another tool which supports PEPA, PRISM. Finally, we generate passage-time densities and quantiles for a case study of a high-availability web server. 1

Rabbit and Human Non-Keratinising Stratified Squamous Oesophageal Epithelium Displays Similar Microridge Structure by Scanning Electron Microscopy

Since the oesophageal epithelium of common laboratory animals, rats and mice, is keratinized it is unsuitable for comparison with typical non-keratinized stratified squamous human epithelium. It is thus important to find a suitable animal model for the study of human oesophageal tissue changes. This study investigated the microridge structure of immature and adult rabbit specimens, and adult human biopsies by scanning electron microscopy and morphometry. The investigation revealed a similarity between typical squamous human and adult rabbit oesophageal mucosal epithelium. While human epithelium specimens subdivided into two other groups (non-typical squamous and non-squamous); all typical squamous human biopsies were from patients who had normal endoscopy reports and no reflux symptoms. The surface cells of typical squamous human epithelium displayed complex microridge patterns (64% of cell surface) but patterns in non-typical squamous specimens were more variable (38%) (P \u3c 0.001) and cell boundaries less obvious. Rabbit squames displayed clear microridge patterns with an elevation in the percentage of cell surface covered by microridges, with increasing age, from immature to adult specimens (P \u3c 0.001). There was no statistically significant differences between adult rabbit, and \u27typical squamous\u27 human biopsies (range 51-65%), results which suggest potential use of a rabbit model to study changes in human oesophageal tissue

Mathematics difficulties in children born very preterm: current research and future directions

This article was published in the journal, Archives of Disease in Childhood: Fetal and Neonatal Edition [BMJ Publishing Group / © the authors]. The definitive version is available at: http://dx.doi.org/10.1136/archdischild-2013-303777Children born very preterm have poorer attainment in all school subjects, and a markedly greater reliance on special educational support than their term-born peers. In particular, difficulties with mathematics are especially common and account for the vast majority of learning difficulties in this population. In this paper, we review research relating to the causes of mathematics learning difficulties in typically developing children, and the impact of very preterm birth on attainment in mathematics. Research is needed to understand the specific nature and origins of mathematics difficulties in very preterm children to target the development of effective intervention strategies

Modulating sensitivity to drug-induced apoptosis: the future for chemotherapy?

Drug resistance is a fundamental problem in the treatment of most common human cancers. Our understanding of the cellular mechanisms underlying death and survival has allowed the development of rational approaches to overcoming drug resistance. The mitogen activated protein kinase family of protein serine/threonine kinases has been implicated in this complex web of signalling, with some members acting to enhance death and other members to prevent it. A recent publication by MacKeigan et al is the first to demonstrate an enhancement of drug-induced cell death by simultaneous blockade of MEK-mediated survival signalling, and offers the potential for targeted adjuvant therapy as a means of overcoming drug resistance

Genomic and functional analyses of fungal and bacterial consortia that enable lignocellulose breakdown in goat gut microbiomes

The herbivore digestive tract is home to a complex community of anaerobic microbes that work together to break down lignocellulose. These microbiota are an untapped resource of strains, pathways and enzymes that could be applied to convert plant waste into sugar substrates for green biotechnology. We carried out more than 400 parallel enrichment experiments from goat faeces to determine how substrate and antibiotic selection influence membership, activity, stability and chemical productivity of herbivore gut communities. We assembled 719 high-quality metagenome-assembled genomes (MAGs) that are unique at the species level. More than 90% of these MAGs are from previously unidentified herbivore gut microorganisms. Microbial consortia dominated by anaerobic fungi outperformed bacterially dominated consortia in terms of both methane production and extent of cellulose degradation, which indicates that fungi have an important role in methane release. Metabolic pathway reconstructions from MAGs of 737 bacteria, archaea and fungi suggest that cross-domain partnerships between fungi and methanogens enabled production of acetate, formate and methane, whereas bacterially dominated consortia mainly produced short-chain fatty acids, including propionate and butyrate. Analyses of carbohydrate-active enzyme domains present in each anaerobic consortium suggest that anaerobic bacteria and fungi employ mostly complementary hydrolytic strategies. The division of labour among herbivore anaerobes to degrade plant biomass could be harnessed for industrial bioprocessing

When is working memory important for arithmetic?: the impact of strategy and age

Our ability to perform arithmetic relies heavily on working memory, the manipulation and maintenance of information in mind. Previous research has found that in adults, procedural strategies, particularly counting, rely on working memory to a greater extent than retrieval strategies. During childhood there are changes in the types of strategies employed, as well as an increase in the accuracy and efficiency of strategy execution. As such it seems likely that the role of working memory in arithmetic may also change, however children and adults have never been directly compared. This study used traditional dual-task methodology, with the addition of a control load condition, to investigate the extent to which working memory requirements for different arithmetic strategies change with age between 9-11 years, 12-14 years and young adulthood. We showed that both children and adults employ working memory when solving arithmetic problems, no matter what strategy they choose. This study highlights the importance of considering working memory in understanding the difficulties that some children and adults have with mathematics, as well as the need to include working memory in theoretical models of mathematical cognition

Modified Alvarado Scoring System as a diagnostic tool for Acute Appendicitis at Bugando Medical Centre, Mwanza, Tanzania

<p>Abstract</p> <p>Background</p> <p>Decision-making in patients with acute appendicitis poses a diagnostic challenge worldwide, despite much advancement in abdominal surgery. The Modified Alvarado Scoring System (MASS) has been reported to be a cheap and quick diagnostic tool in patients with acute appendicitis. However, differences in diagnostic accuracy have been observed if the scores were applied to various populations and clinical settings. The purpose of this study was to evaluate the diagnostic value of Modified Alvarado Scoring System in patients with acute appendicitis in our setting.</p> <p>Methods</p> <p>A cross-sectional study involving all patients suspected to have acute appendicitis at Bugando Medical Centre over a six-month period between November 2008 and April 2009 was conducted. All patients who met the inclusion criteria were consecutively enrolled in the study. They were evaluated on admission using the MASS to determine whether they had acute appendicitis or not. All patients underwent appendicectomy according to the hospital protocol. The decision to operate was the prerogative of the surgeon or surgical resident based on overall clinical judgment and not the MASS. The diagnosis was confirmed by histopathological examination. Data was collected using a pre-tested coded questionnaire and analyzed using SPSS statistical computer software.</p> <p>Results</p> <p>A total number of 127 patients were studied. Their ages ranged from eight to 76 years (mean 29.64 ± 12.97). There were 37 (29.1%) males and 90 (70.9%) females (M: F = 1:2.4). All patients in this study underwent appendicectomy. The perforation rate was 9.4%. Histopathological examination confirmed appendicitis in 85 patients (66.9%) and the remaining 42 patients had normal appendix giving a negative appendicectomy rate of 33.1% (26.8% for males and 38.3% for females). The sensitivity and specificity of MASS in this study were 94.1% (males 95.8% and females 88.3%) and 90.4% (males 92.9% and females 89.7%) respectively. The Positive Predictive Value and Negative Predictive Value were 95.2% (males 95.5% and females 90.6%) and 88.4% (males 89.3% and females 80.1%) respectively. The accuracy of MASS was 92.9% (males 91.5% and females 87.6%).</p> <p>Conclusion</p> <p>The study shows that use of MASS in patients suspected to have acute appendicitis provides a high degree of diagnostic accuracy and can be employed at Bugando Medical Centre to improve the diagnostic accuracy of acute appendicitis and subsequently reduces negative appendicectomy and complication rates. However, additional investigations may be required to confirm the diagnosis in case of atypical presentation.</p

Elevated nerve growth factor and neurotrophin-3 levels in cerebrospinal fluid of children with hydrocephalus

BACKGROUND: Elevated intracranial pressure (ICP) resulting from impaired drainage of cerebrospinal fluid (CSF) causes hydrocephalus with damage to the central nervous system. Clinical symptoms of elevated intracranial pressure (ICP) in infants may be difficult to diagnose, leading to delayed treatment by shunt placement. Until now, no biochemical marker of elevated ICP has been available for clinical diagnosis and monitoring. In experimental animal models, nerve growth factor (NGF) and neurotrophin-3 (NT-3) have been shown to be produced by glial cells as an adaptive response to hypoxia. We investigated whether concentrations of NGF and NT-3 are increased in the CSF of children with hydrocephalus. METHODS: NGF was determined in CSF samples collected from 42 hydrocephalic children on 65 occasions (taps or shunt placement surgery). CSF samples obtained by lumbar puncture from 22 children with suspected, but unconfirmed bacterial infection served as controls. Analysis was performed using ELISA techniques. RESULTS: NGF concentrations in hydrocephalic children were over 50-fold increased compared to controls (median 225 vs 4 pg/mL, p < 0.0001). NT-3 was detectable (> 1 pg/mL) in 14/31 hydrocephalus samples at 2–51 pg/mL but in none of 11 control samples (p = 0.007). CONCLUSION: NGF and NT-3 concentrations are increased in children with hydrocephalus. This may represent an adaptive response of the brain to elevated ICP

Measurement of inclusive D*+- and associated dijet cross sections in photoproduction at HERA

Inclusive photoproduction of D*+- mesons has been measured for photon-proton centre-of-mass energies in the range 130 < W < 280 GeV and a photon virtuality Q^2 < 1 GeV^2. The data sample used corresponds to an integrated luminosity of 37 pb^-1. Total and differential cross sections as functions of the D* transverse momentum and pseudorapidity are presented in restricted kinematical regions and the data are compared with next-to-leading order (NLO) perturbative QCD calculations using the "massive charm" and "massless charm" schemes. The measured cross sections are generally above the NLO calculations, in particular in the forward (proton) direction. The large data sample also allows the study of dijet production associated with charm. A significant resolved as well as a direct photon component contribute to the cross section. Leading order QCD Monte Carlo calculations indicate that the resolved contribution arises from a significant charm component in the photon. A massive charm NLO parton level calculation yields lower cross sections compared to the measured results in a kinematic region where the resolved photon contribution is significant.Comment: 32 pages including 6 figure