Non-Deterministic Abstract Machines

We present a generic design of abstract machines for non-deterministic programming languages, such as process calculi or concurrent lambda calculi, that provides a simple way to implement them. Such a machine traverses a term in the search for a redex, making non-deterministic choices when several paths are possible and backtracking when it reaches a dead end, i.e., an irreducible subterm. The search is guaranteed to terminate thanks to term annotations the machine introduces along the way. We show how to automatically derive a non-deterministic abstract machine from a zipper semantics - a form of structural operational semantics in which the decomposition process of a term into a context and a redex is made explicit. The derivation method ensures the soundness and completeness of the machines w.r.t. the zipper semantics

Mixtures of Regression Models for Time-Course Gene Expression Data: Evaluation of Initialization and Random Effects

Finite mixture models are routinely applied to time course microarray data. Due to the complexity and size of this type of data the choice of good starting values plays an important role. So far initialization strategies have only been investigated for data from a mixture of multivariate normal distributions. In this work several initialization procedures are evaluated for mixtures of regression models with and without random effects in an extensive simulation study on different artificial datasets. Finally these procedures are also applied to a real dataset from E. coli

Bayesian analysis of Jolly-Seber type models; Incorporating heterogeneity in arrival and departure

We propose the use of finite mixtures of continuous distributions in modelling the process by which new individuals, that arrive in groups, become part of a wildlife population. We demonstrate this approach using a data set of migrating semipalmated sandpipers (Calidris pussila) for which we extend existing stopover models to allow for individuals to have different behaviour in terms of their stopover duration at the site. We demonstrate the use of reversible jump MCMC methods to derive posterior distributions for the model parameters and the models, simultaneously. The algorithm moves between models with different numbers of arrival groups as well as between models with different numbers of behavioural groups. The approach is shown to provide new ecological insights about the stopover behaviour of semipalmated sandpipers but is generally applicable to any population in which animals arrive in groups and potentially exhibit heterogeneity in terms of one or more other processes

Bronchial epithelial spheroids: an alternative culture model to investigate epithelium inflammation-mediated COPD

<p>Abstract</p> <p>Background</p> <p>Chronic obstructive pulmonary disease (COPD) is characterized by abnormal lung inflammation that exceeds the protective response. Various culture models using epithelial cell lines or primary cells have been used to investigate the contribution of bronchial epithelium in the exaggerated inflammation of COPD. However, these models do not mimic <it>in vivo </it>situations for several reasons (e.g, transformed epithelial cells, protease-mediated dissociation of primary cells, etc.). To circumvent these concerns, we developed a new epithelial cell culture model.</p> <p>Methods</p> <p>Using non transformed non dissociated bronchial epithelium obtained by bronchial brushings from COPD and non-COPD smokers, we developed a 3-dimensional culture model, bronchial epithelial spheroids (BES). BES were analyzed by videomicroscopy, light microscopy, immunofluorescence, and transmission electron microscopy. We also compared the inflammatory responses of COPD and non-COPD BES. In our study, we chose to stimulate BES with lipopolycaccharide (LPS) and measured the release of the pro-inflammatory mediators interleukin-8 (IL-8) and leukotriene B4 (LTB4) and the anti-inflammatory mediator prostaglandin E2 (PGE2).</p> <p>Results</p> <p>BES obtained from both COPD and non-COPD patients were characterized by a polarized bronchial epithelium with tight junctions and ciliary beating, composed of basal cells, secretory cells and ciliated cells. The ciliary beat frequency of ciliated cells was not significantly different between the two groups. Of interest, BES retained their characteristic features in culture up to 8 days. BES released the inflammatory mediators IL-8, PGE2 and LTB4 constitutively and following exposure to LPS. Interestingly, LPS induced a higher release of IL-8, but not PGE2 and LTB4 in COPD BES (p < 0.001) which correlated with lung function changes.</p> <p>Conclusion</p> <p>This study provides for the first time a compelling evidence that the BES model provides an unaltered bronchial surface epithelium. More importantly, BES represent an attractive culture model to investigate the mechanisms of injuring agents that mediate epithelial cell inflammation and its contribution to COPD pathogenesis.</p

Hypoxia regulates human lung fibroblast proliferation via p53-dependent and -independent pathways

<p>Abstract</p> <p>Background</p> <p>Hypoxia induces the proliferation of lung fibroblasts in vivo and in vitro. However, the subcellular interactions between hypoxia and expression of tumor suppressor p53 and cyclin-dependent kinase inhibitors p21 and p27 remain unclear.</p> <p>Methods</p> <p>Normal human lung fibroblasts (NHLF) were cultured in a hypoxic chamber or exposed to desferroxamine (DFX). DNA synthesis was measured using bromodeoxyuridine incorporation, and expression of p53, p21 and p27 was measured using real-time RT-PCR and Western blot analysis.</p> <p>Results</p> <p>DNA synthesis was increased by moderate hypoxia (2% oxygen) but was decreased by severe hypoxia (0.1% oxygen) and DFX. Moderate hypoxia decreased p21 synthesis without affecting p53 synthesis, whereas severe hypoxia and DFX increased synthesis of both p21 and p53. p27 protein expression was decreased by severe hypoxia and DFX. Gene silencing of p21 and p27 promoted DNA synthesis at ambient oxygen concentrations. p21 and p53 gene silencing lessened the decrease in DNA synthesis due to severe hypoxia or DFX exposure. p21 gene silencing prevented increased DNA synthesis in moderate hypoxia. p27 protein expression was significantly increased by p53 gene silencing, and was decreased by wild-type p53 gene transfection.</p> <p>Conclusion</p> <p>These results indicate that in NHLF, severe hypoxia leads to cell cycle arrest via the p53-p21 pathway, but that moderate hypoxia enhances cell proliferation via the p21 pathway in a p53-independent manner. In addition, our results suggest that p27 may be involved in compensating for p53 in cultured NHLF proliferation.</p

ATP-binding cassette (ABC) transporters in normal and pathological lung

ATP-binding cassette (ABC) transporters are a family of transmembrane proteins that can transport a wide variety of substrates across biological membranes in an energy-dependent manner. Many ABC transporters such as P-glycoprotein (P-gp), multidrug resistance-associated protein 1 (MRP1) and breast cancer resistance protein (BCRP) are highly expressed in bronchial epithelium. This review aims to give new insights in the possible functions of ABC molecules in the lung in view of their expression in different cell types. Furthermore, their role in protection against noxious compounds, e.g. air pollutants and cigarette smoke components, will be discussed as well as the (mal)function in normal and pathological lung. Several pulmonary drugs are substrates for ABC transporters and therefore, the delivery of these drugs to the site of action may be highly dependent on the presence and activity of many ABC transporters in several cell types. Three ABC transporters are known to play an important role in lung functioning. Mutations in the cystic fibrosis transmembrane conductance regulator (CFTR) gene can cause cystic fibrosis, and mutations in ABCA1 and ABCA3 are responsible for respectively Tangier disease and fatal surfactant deficiency. The role of altered function of ABC transporters in highly prevalent pulmonary diseases such as asthma or chronic obstructive pulmonary disease (COPD) have hardly been investigated so far. We especially focused on polymorphisms, knock-out mice models and in vitro results of pulmonary research. Insight in the function of ABC transporters in the lung may open new ways to facilitate treatment of lung diseases

Models of chronic obstructive pulmonary disease

Chronic obstructive pulmonary disease (COPD) is a major global health problem and is predicted to become the third most common cause of death by 2020. Apart from the important preventive steps of smoking cessation, there are no other specific treatments for COPD that are as effective in reversing the condition, and therefore there is a need to understand the pathophysiological mechanisms that could lead to new therapeutic strategies. The development of experimental models will help to dissect these mechanisms at the cellular and molecular level. COPD is a disease characterized by progressive airflow obstruction of the peripheral airways, associated with lung inflammation, emphysema and mucus hypersecretion. Different approaches to mimic COPD have been developed but are limited in comparison to models of allergic asthma. COPD models usually do not mimic the major features of human COPD and are commonly based on the induction of COPD-like lesions in the lungs and airways using noxious inhalants such as tobacco smoke, nitrogen dioxide, or sulfur dioxide. Depending on the duration and intensity of exposure, these noxious stimuli induce signs of chronic inflammation and airway remodelling. Emphysema can be achieved by combining such exposure with instillation of tissue-degrading enzymes. Other approaches are based on genetically-targeted mice which develop COPD-like lesions with emphysema, and such mice provide deep insights into pathophysiological mechanisms. Future approaches should aim to mimic irreversible airflow obstruction, associated with cough and sputum production, with the possibility of inducing exacerbations