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

A topological classification of convex bodies

The shape of homogeneous, generic, smooth convex bodies as described by the Euclidean distance with nondegenerate critical points, measured from the center of mass represents a rather restricted class M_C of Morse-Smale functions on S^2. Here we show that even M_C exhibits the complexity known for general Morse-Smale functions on S^2 by exhausting all combinatorial possibilities: every 2-colored quadrangulation of the sphere is isomorphic to a suitably represented Morse-Smale complex associated with a function in M_C (and vice versa). We prove our claim by an inductive algorithm, starting from the path graph P_2 and generating convex bodies corresponding to quadrangulations with increasing number of vertices by performing each combinatorially possible vertex splitting by a convexity-preserving local manipulation of the surface. Since convex bodies carrying Morse-Smale complexes isomorphic to P_2 exist, this algorithm not only proves our claim but also generalizes the known classification scheme in [36]. Our expansion algorithm is essentially the dual procedure to the algorithm presented by Edelsbrunner et al. in [21], producing a hierarchy of increasingly coarse Morse-Smale complexes. We point out applications to pebble shapes.Comment: 25 pages, 10 figure

Obstetric anal sphincter injury: a systematic review of information available on the internet.

OBJECTIVE: There is no systematic evaluation of online health information pertaining to obstetric anal sphincter injury. Therefore, we evaluated the accuracy, credibility, reliability, and readability of online information concerning obstetric anal sphincter injury. MATERIALS AND METHODS: Multiple search engines were searched. The first 30 webpages were identified for each keyword and considered eligible if they provided information regarding obstetric anal sphincter injury. Eligible webpages were assessed by two independent researchers for accuracy (prioritised criteria based upon the RCOG Third and Fourth Degree Tear guideline); credibility; reliability; and readability. RESULTS: Fifty-eight webpages were included. Seventeen webpages (30%) had obtained Health On the Net certification, or Information Standard approval and performed better than those without such approvals (p = 0.039). The best overall performing website was http://www.pat.nhs.uk (score of 146.7). A single webpage (1%) fulfilled the entire criteria for accuracy with a score of 18: www.tamesidehospital.nhs.uk . Twenty-nine webpages (50%) were assessed as credible (scores ≥7). A single webpage achieved a maximum credibility score of 10: www.meht.nhs.uk . Over a third (21 out of 58) were rated as poor or very poor. The highest scoring webpage was http://www.royalsurrey.nhs.uk (score 62). No webpage met the recommended Flesch Reading Ease Score above 70. The intra-class coefficient between researchers was 0.98 (95% CI 0.96-0.99) and 0.94 (95% CI 0.89-0.96) for accuracy and reliability assessments. CONCLUSION: Online information concerning obstetric anal sphincter injury often uses language that is inappropriate for a lay audience and lacks sufficient accuracy, credibility, and reliability

Conformational adaptation of Asian macaque TRIMCyp directs lineage specific antiviral activity

TRIMCyps are anti-retroviral proteins that have arisen independently in New World and Old World primates. All TRIMCyps comprise a CypA domain fused to the tripartite domains of TRIM5α but they have distinct lentiviral specificities, conferring HIV-1 restriction in New World owl monkeys and HIV-2 restriction in Old World rhesus macaques. Here we provide evidence that Asian macaque TRIMCyps have acquired changes that switch restriction specificity between different lentiviral lineages, resulting in species-specific alleles that target different viruses. Structural, thermodynamic and viral restriction analysis suggests that a single mutation in the Cyp domain, R69H, occurred early in macaque TRIMCyp evolution, expanding restriction specificity to the lentiviral lineages found in African green monkeys, sooty mangabeys and chimpanzees. Subsequent mutations have enhanced restriction to particular viruses but at the cost of broad specificity. We reveal how specificity is altered by a scaffold mutation, E143K, that modifies surface electrostatics and propagates conformational changes into the active site. Our results suggest that lentiviruses may have been important pathogens in Asian macaques despite the fact that there are no reported lentiviral infections in current macaque populations

Role of Symbiotic Auxotrophy in the Rhizobium-Legume Symbioses

Symbiotic auxotrophy occurs in both determinate pea and indeterminate bean nodules demonstrating its importance for bacteroid formation and nodule function in legumes with different developmental programmes. However, only small quantities of branched chain amino acids are needed and symbiotic auxotrophy did not occur in the Sinorhizobium meliloti-alfalfa symbiosis under the conditions measured. The contrasting symbiotic phenotypes of aap bra mutants inoculated on different legumes probably reflects altered timing of amino acid availability, development of symbiotic auxotrophy and nodule developmental programmes

High Throughput Interrogation of Somatic Mutations in High Grade Serous Cancer of the Ovary

BACKGROUND:Epithelial ovarian cancer is the most lethal of all gynecologic malignancies, and high grade serous ovarian cancer (HGSC) is the most common subtype of ovarian cancer. The objective of this study was to determine the frequency and types of point somatic mutations in HGSC using a mutation detection protocol called OncoMap that employs mass spectrometric-based genotyping technology. METHODOLOGY/PRINCIPAL FINDINGS:The Center for Cancer Genome Discovery (CCGD) Program at the Dana-Farber Cancer Institute (DFCI) has adapted a high-throughput genotyping platform to determine the mutation status of a large panel of known cancer genes. The mutation detection protocol, termed OncoMap has been expanded to detect more than 1000 mutations in 112 oncogenes in formalin-fixed paraffin-embedded (FFPE) tissue samples. We performed OncoMap on a set of 203 FFPE advanced staged HGSC specimens. We isolated genomic DNA from these samples, and after a battery of quality assurance tests, ran each of these samples on the OncoMap v3 platform. 56% (113/203) tumor samples harbored candidate mutations. Sixty-five samples had single mutations (32%) while the remaining samples had ≥ 2 mutations (24%). 196 candidate mutation calls were made in 50 genes. The most common somatic oncogene mutations were found in EGFR, KRAS, PDGRFα, KIT, and PIK3CA. Other mutations found in additional genes were found at lower frequencies (<3%). CONCLUSIONS/SIGNIFICANCE:Sequenom analysis using OncoMap on DNA extracted from FFPE ovarian cancer samples is feasible and leads to the detection of potentially druggable mutations. Screening HGSC for somatic mutations in oncogenes may lead to additional therapies for this patient population

Predictors of functional outcome vary by the hemisphere of involvement in major ischemic stroke treated with intra-arterial therapy: a retrospective cohort study

<p>Abstract</p> <p>Background</p> <p>Conflicting data exists regarding the effect of hemispheric lateralization on acute ischemic stroke outcome. Some of this variability may be related to heterogeneous study populations, particularly with respect to the level of arterial occlusion. Furthermore, little is known about the relationship between stroke lateralization and predictors of outcome. The purpose of this study was to characterize the impact of stroke lateralization on both functional outcome and its predictors in a well-defined population of anterior circulation proximal artery occlusions treated with IAT.</p> <p>Methods</p> <p>Thirty-five consecutive left- and 35 consecutive right-sided stroke patients with intracranial ICA and/or MCA occlusions who underwent IAT were retrospectively analyzed. Ischemic change on pre-treatment imaging was quantified. Reperfusion success was graded using the Mori scale. Good outcome at three months was defined as an mRS ≤ 2. Left- and right-sided strokes were compared for outcome and its predictors.</p> <p>Result</p> <p>Of 70 patients with median NIHSS score of 18 (IQR, 14-21), 19 (27.1%) had a good outcome. There were 21 terminal ICA and 49 MCA occlusions. There was no difference in the rate of good outcomes between left- (n = 9) and right-sided (n = 10) strokes (p = 0.99). There were no significant differences in occlusion level, age, ischemic change on initial imaging and degree of reperfusion between left- and right-sided strokes. Left-sided strokes had higher baseline NIHSS scores (p = 0.02) and lower admission SBP (p = 0.009). Independent predictors of outcome for left-sided strokes were NIHSS (p = 0.0002) and reperfusion (p = 0.006), and for right-sided strokes were age (p = 0.002) and reperfusion (p = 0.003). In univariate analysis, pre-treatment ischemic change on NCCT was associated with outcome only for left-sided strokes (p = 0.05).</p> <p>Conclusions</p> <p>In anterior circulation proximal artery occlusions treated with IAT, hemispheric lateralization influences the clinical and imaging predictors of outcome. Most notably, NIHSS predicts outcome only for the left-sided strokes in this population. This finding has important implications for outcome prediction in the acute setting and indicates a need for stroke severity scales more sensitive to right hemispheric deficits.</p

Identification of the PDI-Family Member ERp90 as an Interaction Partner of ERFAD

In the endoplasmic reticulum (ER), members of the protein disulfide isomerase (PDI) family perform critical functions during protein maturation. Herein, we identify the previously uncharacterized PDI-family member ERp90. In cultured human cells, we find ERp90 to be a soluble ER-luminal glycoprotein that comprises five potential thioredoxin (Trx)-like domains. Mature ERp90 contains 10 cysteine residues, of which at least some form intramolecular disulfides. While none of the Trx domains contain a canonical Cys-Xaa-Xaa-Cys active-site motif, other conserved cysteines could endow the protein with redox activity. Importantly, we show that ERp90 co-immunoprecipitates with ERFAD, a flavoprotein involved in ER-associated degradation (ERAD), through what is most likely a direct interaction. We propose that the function of ERp90 is related to substrate recruitment or delivery to the ERAD retrotranslocation machinery by ERFAD

Azimuthal anisotropy and correlations at large transverse momenta in p+pp+p and Au+Au collisions at sNN\sqrt{s_{_{NN}}}= 200 GeV

Results on high transverse momentum charged particle emission with respect to the reaction plane are presented for Au+Au collisions at $\sqrt{s_{_{NN}}}$= 200 GeV. Two- and four-particle correlations results are presented as well as a comparison of azimuthal correlations in Au+Au collisions to those in $p+p$ at the same energy. Elliptic anisotropy, $v_2$, is found to reach its maximum at $p_t \sim 3$ GeV/c, then decrease slowly and remain significant up to $p_t\approx 7$ -- 10 GeV/c. Stronger suppression is found in the back-to-back high-$p_t$ particle correlations for particles emitted out-of-plane compared to those emitted in-plane. The centrality dependence of $v_2$ at intermediate $p_t$ is compared to simple models based on jet quenching.Comment: 4 figures. Published version as PRL 93, 252301 (2004