Approximate probabilistic verification of hybrid systems

Hybrid systems whose mode dynamics are governed by non-linear ordinary differential equations (ODEs) are often a natural model for biological processes. However such models are difficult to analyze. To address this, we develop a probabilistic analysis method by approximating the mode transitions as stochastic events. We assume that the probability of making a mode transition is proportional to the measure of the set of pairs of time points and value states at which the mode transition is enabled. To ensure a sound mathematical basis, we impose a natural continuity property on the non-linear ODEs. We also assume that the states of the system are observed at discrete time points but that the mode transitions may take place at any time between two successive discrete time points. This leads to a discrete time Markov chain as a probabilistic approximation of the hybrid system. We then show that for BLTL (bounded linear time temporal logic) specifications the hybrid system meets a specification iff its Markov chain approximation meets the same specification with probability $1$. Based on this, we formulate a sequential hypothesis testing procedure for verifying -approximately- that the Markov chain meets a BLTL specification with high probability. Our case studies on cardiac cell dynamics and the circadian rhythm indicate that our scheme can be applied in a number of realistic settings

Urinary C-Peptide of Insulin as a Non-Invasive Marker of Nutritional Status: Some Practicalities

Nutritional status is a critical element of many aspects of animal ecology, but has proven difficult to measure non-invasively in studies of free-ranging animals. Urinary C-peptide of insulin (UCP), a small polypeptide cleaved in an equimolar ratio from proinsulin when the body converts it to insulin, offers great promise in this regard, and recent studies of several non-human primate species have utilized it with encouraging results. Despite this, there are a number of unresolved issues related to the collection, processing, storage and transport of samples. These include: contamination of samples on collection (most commonly by dirt or faeces), short-term storage before returning to a field station, differences in processing and long-term storage methods (blotting onto filter paper, freezing, lyophilizing), and for frozen samples, transportation while keeping samples frozen. Such issues have been investigated for urine samples in particular with respect to their effects on steroid hormone metabolites, but there has been little investigation of their effects on UCP measurement. We collected samples from captive macaques, and undertook a series of experiments where we systematically manipulated samples and tested the effects on subsequent UCP measurements. We show that contamination of urine samples by faeces led to a decrease in UCP levels by >90%, but that contamination with dirt did not have substantial effects. Short-term storage (up to 12 hours) of samples on ice did not affect UCP levels significantly, but medium-term storage (up to 78 hours) did. Freezing and lyophilization for long-term storage did not affect UCP levels, but blotting onto filter paper did. A transportation simulation showed that transporting frozen samples packed in ice and insulated should be acceptable, but only if it can be completed within a period of a few days and if freeze-thaw can be avoided. We use our data to make practical recommendations for fieldworkers

Functional ectodomain of the hemagglutinin-neuraminidase protein is expressed in transgenic tobacco cells as a candidate vaccine against Newcastle disease virus.

Recently, the use of plants for the production of recombinant proteins has been well demonstrated with promising outcomes. In this study, an efficient Nicotiana tabacum L. cv. Bright Yellow 2 (BY-2) cells system expressing the ectodomain of hemagglutinin-neuraminidase (eHN) protein from Newcastle disease virus (NDV) strain AF2240 was established. Transgenic tobacco BY-2 cell cultures expressing the immunogenic eHN protein were generated and the translation efficiency of eHN protein was enhanced using the 5′-untranslated region of Nicotiana tabacum alcohol dehydrogenase gene (NtADH 5′-UTR) under the control of strong cauliflower mosaic virus (CaMV 35S) promoter. Transgenic lines verified by real-time PCR showed high level of eHN mRNA transcripts and immunoblotting confirmed the presence of 66 kD eHN protein. The eHN protein was stably produced in an average of 0.2–0.4 % total soluble protein. Green fluorescent protein-tagged eHN protein was expressed and localized at the cytosol of BY-2 cell. All mice receiving purified eHN protein from transgenic tobacco BY-2 cells produced specific anti-NDV antibodies. We concluded that plant made eHN elicit immune response and can serve as candidate vaccine against NDV

A Trial of Early Antiretrovirals and Isoniazid Preventive Therapy in Africa

BACKGROUND: In sub-Saharan Africa, the burden of human immunodeficiency virus (HIV)-associated tuberculosis is high. We conducted a trial with a 2-by-2 factorial design to assess the benefits of early antiretroviral therapy (ART), 6-month isoniazid preventive therapy (IPT), or both among HIV-infected adults with high CD4+ cell counts in Ivory Coast. METHODS: We included participants who had HIV type 1 infection and a CD4+ count of less than 800 cells per cubic millimeter and who met no criteria for starting ART according to World Health Organization (WHO) guidelines. Participants were randomly assigned to one of four treatment groups: deferred ART (ART initiation according to WHO criteria), deferred ART plus IPT, early ART (immediate ART initiation), or early ART plus IPT. The primary end point was a composite of diseases included in the case definition of the acquired immunodeficiency syndrome (AIDS), non-AIDS-defining cancer, non-AIDS-defining invasive bacterial disease, or death from any cause at 30 months. We used Cox proportional models to compare outcomes between the deferred-ART and early-ART strategies and between the IPT and no-IPT strategies. RESULTS: A total of 2056 patients (41% with a baseline CD4+ count of ≥500 cells per cubic millimeter) were followed for 4757 patient-years. A total of 204 primary end-point events were observed (3.8 events per 100 person-years; 95% confidence interval [CI], 3.3 to 4.4), including 68 in patients with a baseline CD4+ count of at least 500 cells per cubic millimeter (3.2 events per 100 person-years; 95% CI, 2.4 to 4.0). Tuberculosis and invasive bacterial diseases accounted for 42% and 27% of primary end-point events, respectively. The risk of death or severe HIV-related illness was lower with early ART than with deferred ART (adjusted hazard ratio, 0.56; 95% CI, 0.41 to 0.76; adjusted hazard ratio among patients with a baseline CD4+ count of ≥500 cells per cubic millimeter, 0.56; 95% CI, 0.33 to 0.94) and lower with IPT than with no IPT (adjusted hazard ratio, 0.65; 95% CI, 0.48 to 0.88; adjusted hazard ratio among patients with a baseline CD4+ count of ≥500 cells per cubic millimeter, 0.61; 95% CI, 0.36 to 1.01). The 30-month probability of grade 3 or 4 adverse events did not differ significantly among the strategies. CONCLUSIONS: In this African country, immediate ART and 6 months of IPT independently led to lower rates of severe illness than did deferred ART and no IPT, both overall and among patients with CD4+ counts of at least 500 cells per cubic millimeter. (Funded by the French National Agency for Research on AIDS and Viral Hepatitis; TEMPRANO ANRS 12136 ClinicalTrials.gov number, NCT00495651.)

Professional Exposure to Goats Increases the Risk of Pneumonic-Type Lung Adenocarcinoma: Results of the IFCT-0504-Epidemio Study

Pneumonic-type lung adenocarcinoma (P-ADC) represents a distinct subset of lung cancer with specific clinical, radiological, and pathological features. Given the weak association with tobacco-smoking and the striking similarities with jaagsiekte sheep retrovirus (JSRV)-induced ovine pulmonary adenocarcinoma, it has been suggested that a zoonotic viral agent infecting pulmonary cells may predispose to P-ADC in humans. Our objective was to explore whether exposure to domestic small ruminants may represent a risk factor for P-ADC. We performed a multicenter case-control study recruiting patients with P-ADC as cases and patients with non-P-ADC non-small cell lung cancer as controls. A dedicated 356-item questionnaire was built to evaluate exposure to livestock. A total of 44 cases and 132 controls were included. At multivariate analysis, P-ADC was significantly more associated with female gender (Odds-ratio (OR) = 3.23, 95% confidence interval (CI): 1.32–7.87, p = 0.010), never- smoker status (OR = 3.57, 95% CI: 1.27–10.00, p = 0.015), personal history of extra-thoracic cancer before P-ADC diagnosis (OR = 3.43, 95% CI: 1.10–10.72, p = 0.034), and professional exposure to goats (OR = 5.09, 95% CI: 1.05–24.69, p = 0.043), as compared to other subtypes of lung cancer. This case-control suggests a link between professional exposure to goats and P-ADC, and prompts for further epidemiological evaluation of potential environmental risk factors for P-ADC

Bethe-hole polarization analyser for the magnetic vector of light

The nature of light as an electromagnetic wave with transverse components has been confirmed using optical polarizers, which are sensitive to the orientation of the electric field. Recent advances in nanoscale optical technologies demand their magnetic counterpart, which can sense the orientation of the optical magnetic field. Here we report that subwavelength metallic apertures on infinite plane predominantly sense the magnetic field of light, establishing the orientation of the magnetic component of light as a separate entity from its electric counterpart. A subwavelength aperture combined with a tapered optical fibre probe can also serve as a nanoscale polarization analyser for the optical magnetic field, analogous to a nanoparticle sensing the local electric polarization. As proof of its functionality, we demonstrate the measurement of a magnetic field orientation that is parallel to the electric field, as well as a circularly polarized magnetic field in the presence of a linearly polarized electric field

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

Impact of voluntary exercise and housing conditions on hippocampal glucocorticoid receptor, miR-124 and anxiety

Background: Lack of physical activity and increased levels of stress contribute to the development of multiple physical and mental disorders. An increasing number of studies relate voluntary exercise with greater resilience to psychological stress, a process that is highly regulated by the hypothalamic-pituitary-adrenal (HPA) axis. However, the molecular mechanisms underlying the beneficial effects of exercise on stress resilience are still poorly understood. Here we have studied the impact of long term exercise and housing conditions on: a) hippocampal expression of glucocorticoid receptor (Nr3c1), b) epigenetic regulation of Nr3c1 (DNA methylation at the Nr3c1-1F promoter and miR-124 expression), c) anxiety (elevated plus maze, EPM), and d) adrenal gland weight and adrenocorticotropic hormone receptor (Mc2r) expression. Results: Exercise increased Nr3c1 and Nr3c1-1F expression and decreased miR-124 levels in the hippocampus in single-housed mice, suggesting enhanced resilience to stress. The opposite was found for pair-housed animals. Bisulfite sequencing showed virtually no DNA methylation in the Nr3c1-1F promoter region. Single-housing increased the time spent on stretch attend postures. Exercise decreased the time spent at the open arms of the EPM, however, the mobility of the exercise groups was significantly lower. Exercise had opposite effects on the adrenal gland weight of single and pair-housed mice, while it had no effect on adrenal Mc2r expression. Conclusions: These results suggest that exercise exerts a positive impact on stress resilience in single-housed mice that could be mediated by decreasing miR-124 and increasing Nr3c1 expression in the hippocampus. However, pair-housing reverses these effects possibly due to stress from dominance disputes between pairs

A barley cysteine-protease inhibitor reduces teh performance of two aphid species in artificial diets and transgenic arabidopsis plants

Cystatins from plants have been implicated in plant defense towards insects, based on their role as inhibitors of heterologous cysteine-proteinases. We have previously characterized thirteen genes encoding cystatins (HvCPI-1 to HvCPI-13) from barley (Hordeum vulgare), but only HvCPI-1 C68 → G, a variant generated by direct-mutagenesis, has been tested against insects. The aim of this study was to analyze the effects of the whole gene family members of barley cystatins against two aphids, Myzus persicae and Acyrthosiphon pisum. All the cystatins, except HvCPI-7, HvCPI-10 and HvCPI-12, inhibited in vitro the activity of cathepsin L- and/or B-like proteinases, with HvCPI-6 being the most effective inhibitor for both aphid species. When administered in artificial diets, HvCPI-6 was toxic to A. pisum nymphs (LC50 = 150 μg/ml), whereas no significant mortality was observed on M. persicae nymphs up to 1000 μg/ml. The effects of HvCPI-6 ingestion on A. pisum were correlated with a decrease of cathepsin B- and L-like proteinase activities. In the case of M. persicae, there was an increase of these proteolytic activities, but also of the aminopeptidase-like activity, suggesting that this species is regulating both target and insensitive enzymes to overcome the effects of the cystatin. To further analyze the potential of barley cystatins as insecticidal proteins against aphids, Arabidopsis plants expressing HvCPI-6 were tested against M. persicae. For A. pisum, which does not feed on Arabidopsis, a combined diet-Vicia faba plant bioassay was performed. A significant delay in the development time to reach the adult stage was observed in both species. The present study demonstrates the potential of barley cystatins to interfere with the performance of two aphid specie