Recombinant human interferon alpha 2b prevents and reverses experimental pulmonary hypertension

Pulmonary hypertension (PH) is a progressive and fatal disease with no cure. Vascular remodeling in PH involves intraluminal growth of endothelial and smooth muscle cells, leading to obliterative vascular lesions. Cell growth in these lesions is quasi-neoplastic, with evidence of monoclonality, apoptosis resistance and cancer-like metabolic derangements. Herein we tested the effect of human interferon alpha 2b (IFNα), a pleiotropic cytokine and anti-cancer therapeutic, on the development and progression of PH in the rat SU5416/hypoxia (SUH) model and mouse hypoxia model of the disease. In both models IFNα attenuated the development of PH and reversed established PH as assessed by measuring right ventricular systolic pressure and right ventricular hypertrophy. The effect of IFNα was dependent on the type I interferon receptor (IFNAR) since mice lacking a subunit of the IFNAR were not protected by IFNα. Morphometric analysis of pulmonary aterioles from hypoxic mice or SUH rats showed that IFNα inhibited pulmonary vascular remodeling in both models and that IFNα reversed remodeling in SUH rats with established disease. Immunohistochemical staining revealed that IFNα decreased the number of PCNA and Tunel positive cells in the wall of pulmonary arterioles. In vitro, IFNα inhibited proliferation of human pulmonary artery smooth muscle cells and as well as human pulmonary artery endothelial cell proliferation and apoptosis. Together these findings demonstrate that IFNα reverses established experimental PH and provide a rationale for further exploration of the use of IFNα and other immunotherpies in PH. © 2014 Bauer et al

Nickel(II) 3,4;9,10-Perylenediimide bis-Phosphonate Pentahydrate: A Metal−Organic Ferromagnetic Dye

The new metal−organic compound nickel(II) 3,4;9,10- perylenediimide bis-phosphonate pentahydrate, i.e. Ni2[(PDI-BP)- (H2O)2]·3H2O (1), has been synthesized and its structural and magnetic properties have been studied. Reaction of 3,4;9,10-perylenediimide bisphosphonate (PDI-BP, hereafter) ligand and nickel chloride in water resulted in the precipitation of a red and poorly crystalline solid (1). As the solid shows a poor crystalline organization of aggregates, the energy dispersive X-ray diffraction analysis (EDXD) technique has been used to obtain short-range order structural information of the single nanoaggregates by radial distribution function analysis. The overall structure of the compound is characterized by layers containing perylene planes shifted in the direction perpendicular to the stacking axes in such a way that only the outer rings overlap. The edges of the perylene planes are connected to the phosphonate groups through an imido group. The oxygen atoms of the [−PO3]2‑ group and those of the water molecules are bonded to the nickel ions resulting in a [NiO6] octahedral coordination sphere. The Ni−O bond lengths are 0.21 ± 0.08 nm and the Ni−O−Ni angles of aligned moieties are 95 ± 2°. The oxygen atoms of the water molecules and the nickel atoms are nearly planar and almost perpendicular to the perylene planes forming chains of edge-sharing octahedra. The magnetic properties of (1) show the presence of intrachain ferromagnetic Ni−Ni interactions and a long-range ferromagnetic order below 21 K with a canting angle and with a spin glasslike behavior due to disorder in the inorganic layer. Hysteresis cycles show a coercive field of ca. 272 mT at 2 K that decreases as the temperature is increased and vanishes at ca. 20 K

Formal Verification of Security Protocol Implementations: A Survey

Automated formal verification of security protocols has been mostly focused on analyzing high-level abstract models which, however, are significantly different from real protocol implementations written in programming languages. Recently, some researchers have started investigating techniques that bring automated formal proofs closer to real implementations. This paper surveys these attempts, focusing on approaches that target the application code that implements protocol logic, rather than the libraries that implement cryptography. According to these approaches, libraries are assumed to correctly implement some models. The aim is to derive formal proofs that, under this assumption, give assurance about the application code that implements the protocol logic. The two main approaches of model extraction and code generation are presented, along with the main techniques adopted for each approac

Should We Learn Probabilistic Models for Model Checking? A New Approach and An Empirical Study

Many automated system analysis techniques (e.g., model checking, model-based testing) rely on first obtaining a model of the system under analysis. System modeling is often done manually, which is often considered as a hindrance to adopt model-based system analysis and development techniques. To overcome this problem, researchers have proposed to automatically "learn" models based on sample system executions and shown that the learned models can be useful sometimes. There are however many questions to be answered. For instance, how much shall we generalize from the observed samples and how fast would learning converge? Or, would the analysis result based on the learned model be more accurate than the estimation we could have obtained by sampling many system executions within the same amount of time? In this work, we investigate existing algorithms for learning probabilistic models for model checking, propose an evolution-based approach for better controlling the degree of generalization and conduct an empirical study in order to answer the questions. One of our findings is that the effectiveness of learning may sometimes be limited.Comment: 15 pages, plus 2 reference pages, accepted by FASE 2017 in ETAP

Intergenerational change and familial aggregation of body mass index

The relationship between parental BMI and that of their adult offspring, when increased adiposity can become a clinical issue, is unknown. We investigated the intergenerational change in body mass index (BMI) distribution, and examined the sex-specific relationship between parental and adult offspring BMI. Intergenerational change in the distribution of adjusted BMI in 1,443 complete families (both parents and at least one offspring) with 2,286 offspring (1,263 daughters and 1,023 sons) from the west of Scotland, UK, was investigated using quantile regression. Familial correlations were estimated from linear mixed effects regression models. The distribution of BMI showed little intergenerational change in the normal range (\25 kg/m2), decreasing overweightness (25– \30 kg/m2) and increasing obesity (C30 kg/m2). Median BMI was static across generations in males and decreased in females by 0.4 (95% CI: 0.0, 0.7) kg/m2; the 95th percentileincreased by 2.2 (1.1, 3.2) kg/m2 in males and 2.7 (1.4, 3.9) kg/m2 in females. Mothers’ BMI was more strongly associated with daughters’ BMI than was fathers’ (correlation coefficient (95% CI): mothers 0.31 (0.27, 0.36), fathers 0.19 (0.14, 0.25); P = 0.001). Mothers’ and fathers’ BMI were equally correlated with sons’ BMI (correlation coefficient: mothers 0.28 (0.22, 0.33), fathers 0.27 (0.22, 0.33). The increase in BMI between generations was concentrated at the upper end of the distribution. This, alongside the strong parent-offspring correlation, suggests that the increase in BMI is disproportionally greater among offspring of heavier parents. Familial influences on BMI among middle-aged women appear significantly stronger from mothers than father

The use of routine outcome measures in two child and adolescent mental health services: a completed audit cycle

Background: Routine outcome measurement (ROM) is important for assessing the clinical effectiveness of health services and for monitoring patient outcomes. Within Child and Adolescent Mental Health Services (CAMHS) in the UK the adoption of ROM in CAMHS has been supported by both national and local initiatives (such as government strategies, local commissioning policy, and research). Methods: With the aim of assessing how these policies and initiatives may have influenced the uptake of ROM within two different CAMHS we report the findings of two case-note audits: a baseline audit conducted in January 2011 and a re-audit conducted two years later in December 2012-February 2013. Results: The findings show an increase in both the single and repeated use of outcome measures from the time of the original audit, with repeated use (baseline and follow-up) of the Health of the Nation Outcome Scale for Children and Adolescents (HoNOSCA) scale increasing from 10% to 50% of cases. Re-audited case-notes contained more combined use of different outcome measures, with greater consensus on which measures to use. Outcome measures that were applicable across a wide range of clinical conditions were more likely to be used than symptom-specific measures, and measures that were completed by the clinician were found more often than measures completed by the service user. Conclusions: The findings show a substantial improvement in the use of outcome measures within CAMHS. These increases in use were found across different service organisations which were subject to different types of local service priorities and drivers

The impact of prior outpatient ACE inhibitor use on 30-day mortality for patients hospitalized with community-acquired pneumonia

BACKGROUND: Recent studies suggest that angiotensin-converting enzyme (ACE) inhibitors may have beneficial effects for patients at risk for some types of infections. We examined the effect of prior outpatient use of ACE inhibitors on mortality for patients hospitalized with community-acquired pneumonia. METHODS: A retrospective cohort study conducted at two tertiary teaching hospitals. Eligible subjects were admitted with a diagnosis of, had a chest x-ray consistent with, and had a discharge ICD-9 diagnosis of pneumonia. Subjects were excluded if they were "comfort measures only" or transferred from another acute care hospital. Subjects were considered to be on a medication if they were taking it at the time of presentation. RESULTS: Data was abstracted on 787 subjects at the two hospitals. Mortality was 9.2% at 30-days and 13.6% at 90-days. At presentation 52% of subjects were low risk, 34% were moderate risk, and 14% were high risk. In the multivariable conditional logistic regression analysis, after adjusting for potential confounders, the use of ACE inhibitors at presentation (odds ratio 0.44, 95% confidence interval 0.22–0.89) was significantly associated with 30-day mortality. CONCLUSION: Prior outpatient use of an ACE inhibitor was associated with decreased mortality in patients hospitalized with community-acquired pneumonia despite their use being associated with comorbid illnesses likely to contribute to increased mortality. Confirmatory studies are needed, as well as research to determine the mechanism(s) of this protective effect

The effect of prior statin use on 30-day mortality for patients hospitalized with community-acquired pneumonia

BACKGROUND: Recent studies suggest that HMG-CoA reductase inhibitors ("statins") may have beneficial effects for patients at risk for some types of infections. We examined the effect of prior outpatient use of statins on mortality for patients hospitalized with community-acquired pneumonia. METHODS: A retrospective cohort study conducted at two tertiary teaching hospitals. Eligible subjects were admitted with a diagnosis of, had a chest x-ray consistent with, and had a discharge ICD-9 diagnosis of pneumonia. Subjects were excluded if they were "comfort measures only" or transferred from another acute care hospital. Subjects were considered to be on a medication if they were taking it at the time of presentation. RESULTS: Data was abstracted on 787 subjects at the two hospitals. Mortality was 9.2% at 30-days and 13.6% at 90-days. At presentation 52% of subjects were low risk, 34% were moderate risk, and 14% were high risk based on the pneumonia severity index. In the multivariable regression analysis, after adjusting for potential confounders including a propensity score, the use of statins at presentation (odds ratio 0.36, 95% confidence interval 0.14–0.92) was associated with decreased 30-day mortality. DISCUSSION: Prior outpatient statin use was associated with decreased mortality in patients hospitalized with community-acquired pneumonia despite their use being associated with comorbid illnesses likely to contribute to increased mortality. Confirmatory studies are needed, as well as research to determine the mechanism(s) of this protective effect

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

NuRV: A nuXmv Extension for Runtime Verification

We present NuRV, an extension of the nuXmv model checker for assumption-based LTL runtime verification with partial observability and resets. The tool provides some new commands for online/offline monitoring and code generations into standalone monitor code. Using the online/offline monitor, LTL properties can be verified incrementally on finite traces from the system under scrutiny. The code generation currently supports C, C++, Common Lisp and Java, and is extensible. Furthermore, from the same internal monitor automaton, the monitor can be generated into SMV modules, whose characteristics can be verified by Model Checking using nuXmv. We show the architecture, functionalities and some use scenarios of NuRV, and we compare the performance of generated monitor code (in Java) with those generated by a similar tool, RV-Monitor. We show that, using a benchmark from Dwyer's LTL patterns, besides the capacity of generating monitors for long LTL formulae, our Java-based monitors are about 200x faster than RV-Monitor at generation-time and 2–5x faster at runtime