Innate Intracellular Antiviral Responses Restrict the Amplification of Defective Virus Genomes of Parainfluenza Virus 5.

During the replication of parainfluenza virus 5 (PIV5), copyback defective virus genomes (DVGs) are erroneously produced and are packaged into "infectious" virus particles. Copyback DVGs are the primary inducers of innate intracellular responses, including the interferon (IFN) response. While DVGs can interfere with the replication of nondefective (ND) virus genomes and activate the IFN-induction cascade before ND PIV5 can block the production of IFN, we demonstrate that the converse is also true, i.e., high levels of ND virus can block the ability of DVGs to activate the IFN-induction cascade. By following the replication and amplification of DVGs in A549 cells that are deficient in a variety of innate intracellular antiviral responses, we show that DVGs induce an uncharacterized IFN-independent innate response(s) that limits their replication. High-throughput sequencing was used to characterize the molecular structure of copyback DVGs. While there appears to be no sequence-specific break or rejoining points for the generation of copyback DVGs, our findings suggest there are region, size, and/or structural preferences selected for during for their amplification.IMPORTANCE Copyback defective virus genomes (DVGs) are powerful inducers of innate immune responses both in vitro and in vivo They impact the outcome of natural infections, may help drive virus-host coevolution, and promote virus persistence. Due to their potent interfering and immunostimulatory properties, DVGs may also be used therapeutically as antivirals and vaccine adjuvants. However, little is known of the host cell restrictions which limit their amplification. We show here that the generation of copyback DVGs readily occurs during parainfluenza virus 5 (PIV5) replication, but that their subsequent amplification is restricted by the induction of innate intracellular responses. Molecular characterization of PIV5 copyback DVGs suggests that while there are no genome sequence-specific breaks or rejoin points for the generation of copyback DVGs, genome region, size, and structural preferences are selected for during their evolution and amplification

Analysis of Paramyxovirus Transcription and Replication by High-Throughput Sequencing.

We have developed a high-throughput sequencing (HTS) workflow for investigating paramyxovirus transcription and replication. We show that sequencing of oligo(dT)-selected polyadenylated mRNAs, without considering the orientation of the RNAs from which they had been generated, cannot accurately be used to analyze the abundance of viral mRNAs because genomic RNA copurifies with the viral mRNAs. The best method is directional sequencing of infected cell RNA that has physically been depleted of ribosomal and mitochondrial RNA followed by bioinformatic steps to differentiate data originating from genomes from viral mRNAs and antigenomes. This approach has the advantage that the abundance of viral mRNA (and antigenomes) and genomes can be analyzed and quantified from the same data. We investigated the kinetics of viral transcription and replication during infection of A549 cells with parainfluenza virus type 2 (PIV2), PIV3, PIV5, or mumps virus and determined the abundances of individual viral mRNAs and readthrough mRNAs. We found that the mRNA abundance gradients differed significantly between all four viruses but that for each virus the pattern remained relatively stable throughout infection. We suggest that rapid degradation of non-poly(A) mRNAs may be primarily responsible for the shape of the mRNA abundance gradient in parainfluenza virus 3, whereas a combination of this factor and disengagement of RNA polymerase at intergenic sequences, particularly those at the NP:P and P:M gene boundaries, may be responsible in the other viruses.IMPORTANCE High-throughput sequencing (HTS) of virus-infected cells can be used to study in great detail the patterns of virus transcription and replication. For paramyxoviruses, and by analogy for all other negative-strand RNA viruses, we show that directional sequencing must be used to distinguish between genomic RNA and mRNA/antigenomic RNA because significant amounts of genomic RNA copurify with poly(A)-selected mRNA. We found that the best method is directional sequencing of total cell RNA, after the physical removal of rRNA (and mitochondrial RNA), because quantitative information on the abundance of both genomic RNA and mRNA/antigenomes can be simultaneously derived. Using this approach, we revealed new details of the kinetics of virus transcription and replication for parainfluenza virus (PIV) type 2, PIV3, PIV5, and mumps virus, as well as on the relative abundance of the individual viral mRNAs

Incremental bounded model checking for embedded software

Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated verification tools based on bounded model checking (BMC). Existing industrial tools for embedded software use an off-the-shelf bounded model checker and apply it iteratively to verify the program with an increasing number of unwindings. This approach unnecessarily wastes time repeating work that has already been done and fails to exploit the power of incremental SAT solving. This article reports on the extension of the software model checker CBMC to support incremental BMC and its successful integration with the industrial embedded software verification tool BTC EMBEDDED TESTER. We present an extensive evaluation over large industrial embedded programs, mainly from the automotive industry. We show that incremental BMC cuts runtimes by one order of magnitude in comparison to the standard non-incremental approach, enabling the application of formal verification to large and complex embedded software. We furthermore report promising results on analysing programs with arbitrary loop structure using incremental BMC, demonstrating its applicability and potential to verify general software beyond the embedded domain

Systems approaches to modelling pathways and networks.

Peer reviewedPreprin

The plasma membrane carbonic anhydrase in murine hepatocytes identified as isozyme XIV

BACKGROUND: Biochemical and histochemical studies have both previously indicated plasma membrane-associated carbonic anhydrase (CA) activity in hepatocytes which has been assumed to be CA IV. However, immunohistochemical data did not support this assignment. Recent northern blotting results indicated the presence of mRNA for the most recently discovered membrane-bound CA isozyme, CA XIV, in the liver. The present study was designed to examine whether CA XIV could contribute to the CA activity described in the hepatocytes. METHODS: Tissue samples from mouse liver were subjected to immunohistochemical staining using the antibodies raised against recombinant mouse CA XIV and CA IV. RT-PCR and western blotting were also performed for CA XIV. RESULTS: A strong immunofluorescent signal was observed in the plasma membrane of mouse hepatocytes. Although CA XIV was expressed on both the apical and basolateral surfaces, the staining was more prominent at the apical (canalicular) membrane domain. The expression of CA XIV in the liver was confirmed by RT-PCR and western blotting. CONCLUSIONS: The presence of CA XIV in the hepatocyte plasma membrane places this novel enzyme at a strategic site to control pH regulation and ion transport between the hepatocytes, sinusoids and bile canaliculi

The switch between acute and persistent paramyxovirus infection caused by single amino acid substitutions in the RNA polymerase P subunit

Paramyxoviruses can establish persistent infections both in vitro and in vivo, some of which lead to chronic disease. However, little is known about the molecular events that contribute to the establishment of persistent infections by RNA viruses. Using parainfluenza virus type 5 (PIV5) as a model we show that phosphorylation of the P protein, which is a key component of the viral RNA polymerase complex, determines whether or not viral transcription and replication becomes repressed at late times after infection. If the virus becomes repressed, persistence is established, but if not, the infected cells die. We found that single amino acid changes at various positions within the P protein switched the infection phenotype from lytic to persistent. Lytic variants replicated to higher titres in mice than persistent variants and caused greater infiltration of immune cells into infected lungs but were cleared more rapidly. We propose that during the acute phases of viral infection in vivo, lytic variants of PIV5 will be selected but, as the adaptive immune response develops, variants in which viral replication can be repressed will be selected, leading to the establishment of prolonged, persistent infections. We suggest that similar selection processes may operate for other RNA viruses

Iron Status and Analysis of Efficacy and Safety of Ferric Carboxymaltose Treatment in Patients with Inflammatory Bowel Disease

Background and Aims:We analyzed iron deficiency and the therapeutic response following intravenous ferric carboxymaltose in a large single-center inflammatory bowel disease (IBD) cohort. Methods: 250 IBD patients were retrospectively analyzed for iron deficiency and iron deficiency anemia. A subgroup was analyzed regarding efficacy and side effects of iron supplementation with ferric carboxymaltose. Results: In the cohort (n = 250), 54.4% of the patients had serum iron levels 60 mu g/dl, 61.6% had ferritin >100 ng/ml, and 90.7% reached Hb >12/13 g/dl at follow-up (p < 0.0001 for all parameters vs. pretreatment values). The most frequent adverse event was a transient increase of liver enzymes with male gender as risk factor (p = 0.008, OR 8.62, 95% CI 1.74-41.66). Conclusions: Iron deficiency and anemia are frequent in IBD patients. Treatment with ferric carboxymaltose is efficious, safe and well tolerated in iron-deficient IBD patients. Copyright (C) 2011 S. Karger AG, Base

Indicators of ocean health and human health: developing a research and monitoring framework

This is the final version of the article. Available from NIEHS via the DOI in this record.We need to critically assess the present quality of the marine ecosystem, especially the connection between ecosystem change and threats to human health. In this article we review the current state of indicators to link changes in marine organisms with eventual effects to human health, identify research opportunities in the use of indicators of ocean and human health, and discuss how to establish collaborations between national and international governmental and private sector groups. We present a synthesis of the present state of understanding of the connection between ocean health and human health, a discussion of areas where resources are required, and a discussion of critical research needs and a template for future work in this field. To understand fully the interactions between ocean health and human health, programs should be organized around a "models-based" approach focusing on critical themes and attributes of marine environmental and public health risks. Given the extent and complex nature of ocean and human health issues, a program networking across geographic and disciplinary boundaries is essential. The overall goal of this approach would be the early detection of potential marine-based contaminants, the protection of marine ecosystems, the prevention of associated human illness, and by implication, the development of products to enhance human well-being. The tight connection between research and monitoring is essential to develop such an indicator-based effort.This work was funded by the National Institute of Environmental Health Sciences, the Intergovernmental Oceanographic Commission (UNESCO), and the Bermuda Biological Station for Research, Inc. (contribution 1615)

Predicting Pneumonia and Influenza Mortality from Morbidity Data

BACKGROUND: Few European countries conduct reactive surveillance of influenza mortality, whereas most monitor morbidity. METHODOLOGY/PRINCIPAL FINDINGS: We developed a simple model based on Poisson seasonal regression to predict excess cases of pneumonia and influenza mortality during influenza epidemics, based on influenza morbidity data and the dominant types/subtypes of circulating viruses. Epidemics were classified in three levels of mortality burden (“high”, “moderate” and “low”). The model was fitted on 14 influenza seasons and was validated on six subsequent influenza seasons. Five out of the six seasons in the validation set were correctly classified. The average absolute difference between observed and predicted mortality was 2.8 per 100,000 (18% of the average excess mortality) and Spearman's rank correlation coefficient was 0.89 (P = 0.05). CONCLUSIONS/SIGNIFICANCE: The method described here can be used to estimate the influenza mortality burden in countries where specific pneumonia and influenza mortality surveillance data are not available

Unintentional asphyxia, SIDS, and medically explained deaths:A descriptive study of outcomes of child death review (CDR) investigations following sudden unexpected death in infancy

Background: A comprehensive Child Death Review (CDR) program was introduced in England and Wales in 2008 but as yet data have only been analysed at a local level, limiting the learning from deaths. The aim of this study is to describe the profile of causes and risk factors for Sudden Unexpected Death in Infancy (SUDI) as determined by the new CDR program. Methods: This was a descriptive outcome study using data from Child Death Overview Panel (CDOP) Form C for SUDI cases dying during 2010-2 in the West Midlands region of England. The main outcome measures were: cause of death, risk factors and potential preventability of death, and determination of deaths probably due to unintentional asphyxia. Results: Data were obtained for 65/70 (93%) SUDI cases. 20/65 (31%) deaths were initially categorised as due to medical causes; 21/65 (32%) as SIDS, and 24/65 (37%) as undetermined. Reanalysis suggested that 2/21 SIDS and 7/24 undetermined deaths were probably due to unintentional asphyxia, with 6 of these involving co-sleeping and excessive parental alcohol consumption. Deaths classified as ‘undetermined’ had significantly higher total family and environmental risk factor scores (mean 2.6, 95% CI 2.0– 3.3) compared to those classified as SIDS (mean 1.6, 95% CI 1.2-1.9), or medical causes for death (mean 1.1, 95% CI 0.8-1.3). 9/20 (47%) of medical deaths, 19/21 (90%) SIDS and 23/24 (96%) undetermined deaths were considered to be potentially preventable. There were inadequacies in medical provision identified in 5/20 (25%) of medically explained deaths. Conclusions: The CDR program results in detailed information about risk factors for SUDI cases but failed to recognise deaths probably due to unintentional asphyxia. The misclassification of probable unintentional asphyxial deaths and SIDS as ‘undetermined deaths’ is likely to limit learning from these deaths and inhibit prevention strategies. Many SUDI occurred in families with mental illness, substance misuse and chaotic lifestyles and most in unsafe sleep-environments. This knowledge could be used to better target safe sleep advice for vulnerable families and prevent SUDI in the future