Bounded Verification with On-the-Fly Discrepancy Computation

Simulation-based verification algorithms can provide formal safety guarantees for nonlinear and hybrid systems. The previous algorithms rely on user provided model annotations called discrepancy function, which are crucial for computing reachtubes from simulations. In this paper, we eliminate this requirement by presenting an algorithm for computing piece-wise exponential discrepancy functions. The algorithm relies on computing local convergence or divergence rates of trajectories along a simulation using a coarse over-approximation of the reach set and bounding the maximal eigenvalue of the Jacobian over this over-approximation. The resulting discrepancy function preserves the soundness and the relative completeness of the verification algorithm. We also provide a coordinate transformation method to improve the local estimates for the convergence or divergence rates in practical examples. We extend the method to get the input-to-state discrepancy of nonlinear dynamical systems which can be used for compositional analysis. Our experiments show that the approach is effective in terms of running time for several benchmark problems, scales reasonably to larger dimensional systems, and compares favorably with respect to available tools for nonlinear models.Comment: 24 page

Australian Sphingidae – DNA Barcodes Challenge Current Species Boundaries and Distributions

© 2014 Rougerie et al. This is an open-access article distributed under the terms of the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited. The attached file is the published version of the article

Prevalence of Malaria and Anaemia among HIV Infected Pregnant women Receiving Co-trimoxazole Prophylaxis in Tanzania: A Cross Sectional Study in Kinondoni Municipality.

HIV-infected pregnant women are particularly more susceptible to the deleterious effects of malaria infection particularly anaemia. In order to prevent opportunistic infections and malaria, a policy of daily co-trimoxazole prophylaxis without the standard Suphadoxine-Pyrimethamine intermittent preventive treatment (SP-IPT) was introduced to all HIV infected pregnant women in the year 2011. However, there is limited information about the effectiveness of this policy. This was a cross sectional study conducted among HIV-infected pregnant women receiving co-trimoxazole prophylaxis in eight public health facilities in Kinondoni Municipality from February to April 2013. Blood was tested for malaria infection and anaemia (haemoglobin <11 g/dl). Data were collected on the adherence to co-trimoxazole prophylaxis and other risk factors for malaria infection and anaemia. Pearson chi-square test, Fischer's exact test and multivariate logistic regression were used in the statistical analysis. This study enrolled 420 HIV infected pregnant women. The prevalence of malaria infection was 4.5%, while that of anaemia was 54%. The proportion of subjects with poor adherence to co-trimoxazole was 50.5%. As compared to HIV infected pregnant women with good adherence to co-trimoxazole prophylaxis, the poor adherents were more likely to have a malaria infection (Adjusted Odds Ratio, AOR = 6.81, 95%CI = 1.35-34.43, P = 0.02) or anaemia (AOR = 1.75, 95%CI = 1.03-2.98, P = 0.039). Other risk factors associated with anaemia were advanced WHO clinical stages, current malaria infection and history of episodes of malaria illness during the index pregnancy. The prevalence of malaria was low; however, a significant proportion of subjects had anaemia. Good adherence to co-trimoxazole prophylaxis was associated with reduction of both malaria infection and anaemia among HIV infected pregnant women

FUTURISTIC SCOPE OF STEM CELLS IN MEDICINE

ABSTRACTThe most potential application of the stem cells (SCs) in human beings lies in their ability to regenerate cells and tissues. They differentiate themselvesinto specific cell type, thereby availing remarkable source of replacement cells and tissues. They differentiate themselves into specific cell types,thereby availing renewable source of replacement cells and tissues. Their potential of regeneration has now opened many avenues in the field ofmedical science and research. As a therapeutic adjuvant in near future, the SCs will emerge as an efficient technique to completely heal a number ofdiseases including diabetes, heart diseases and strokes, osteoarthritis, rheumatoid arthritis, and macular degeneration. The researches, which areunderway, some of them will surely be proved as safe and effective SC treatment in the market in due course of time.Keywords: Stem cells, Medicine, Embryonic cells, Heart disease

Microguards and micromessengers of the genome

The regulation of gene expression is of fundamental importance to maintain organismal function and integrity and requires a multifaceted and highly ordered sequence of events. The cyclic nature of gene expression is known as ‘transcription dynamics’. Disruption or perturbation of these dynamics can result in significant fitness costs arising from genome instability, accelerated ageing and disease. We review recent research that supports the idea that an important new role for small RNAs, particularly microRNAs (miRNAs), is in protecting the genome against short-term transcriptional fluctuations, in a process we term ‘microguarding’. An additional emerging role for miRNAs is as ‘micromessengers’—through alteration of gene expression in target cells to which they are trafficked within microvesicles. We describe the scant but emerging evidence that miRNAs can be moved between different cells, individuals and even species, to exert biologically significant responses. With these two new roles, miRNAs have the potential to protect against deleterious gene expression variation from perturbation and to themselves perturb the expression of genes in target cells. These interactions between cells will frequently be subject to conflicts of interest when they occur between unrelated cells that lack a coincidence of fitness interests. Hence, there is the potential for miRNAs to represent both a means to resolve conflicts of interest, as well as instigate them. We conclude by exploring this conflict hypothesis, by describing some of the initial evidence consistent with it and proposing new ideas for future research into this exciting topic

'Special K' and a loss of cell-to-cell adhesion in proximal tubule-derived epithelial cells: modulation of the adherens junction complex by ketamine

Ketamine, a mild hallucinogenic class C drug, is the fastest growing ‘party drug’ used by 16–24 year olds in the UK. As the recreational use of Ketamine increases we are beginning to see the signs of major renal and bladder complications. To date however, we know nothing of a role for Ketamine in modulating both structure and function of the human renal proximal tubule. In the current study we have used an established model cell line for human epithelial cells of the proximal tubule (HK2) to demonstrate that Ketamine evokes early changes in expression of proteins central to the adherens junction complex. Furthermore we use AFM single-cell force spectroscopy to assess if these changes functionally uncouple cells of the proximal tubule ahead of any overt loss in epithelial cell function. Our data suggests that Ketamine (24–48 hrs) produces gross changes in cell morphology and cytoskeletal architecture towards a fibrotic phenotype. These physical changes matched the concentration-dependent (0.1–1 mg/mL) cytotoxic effect of Ketamine and reflect a loss in expression of the key adherens junction proteins epithelial (E)- and neural (N)-cadherin and β-catenin. Down-regulation of protein expression does not involve the pro-fibrotic cytokine TGFβ, nor is it regulated by the usual increase in expression of Slug or Snail, the transcriptional regulators for E-cadherin. However, the loss in E-cadherin can be partially rescued pharmacologically by blocking p38 MAPK using SB203580. These data provide compelling evidence that Ketamine alters epithelial cell-to-cell adhesion and cell-coupling in the proximal kidney via a non-classical pro-fibrotic mechanism and the data provides the first indication that this illicit substance can have major implications on renal function. Understanding Ketamine-induced renal pathology may identify targets for future therapeutic intervention

Classification of patients with knee osteoarthritis in clinical phenotypes: data from the osteoarthritis initiative

<div><p>Objectives</p><p>The existence of phenotypes has been hypothesized to explain the large heterogeneity characterizing the knee osteoarthritis. In a previous systematic review of the literature, six main phenotypes were identified: Minimal Joint Disease (MJD), Malaligned Biomechanical (MB), Chronic Pain (CP), Inflammatory (I), Metabolic Syndrome (MS) and Bone and Cartilage Metabolism (BCM). The purpose of this study was to classify a sample of individuals with knee osteoarthritis (KOA) into pre-defined groups characterized by specific variables that can be linked to different disease mechanisms, and compare these phenotypes for demographic and health outcomes.</p><p>Methods</p><p>599 patients were selected from the OAI database FNIH at 24 months’ time to conduct the study. For each phenotype, cut offs of key variables were identified matching the results from previous studies in the field and the data available for the sample. The selection process consisted of 3 steps. At the end of each step, the subjects classified were excluded from the further classification stages. Patients meeting the criteria for more than one phenotype were classified separately into a ‘complex KOA’ group.</p><p>Results</p><p>Phenotype allocation (including complex KOA) was successful for 84% of cases with an overlap of 20%. Disease duration was shorter in the MJD while the CP phenotype included a larger number of Women (81%). A significant effect of phenotypes on WOMAC pain (F = 16.736 p <0.001) and WOMAC physical function (F = 14.676, p < 0.001) was identified after controlling for disease duration.</p><p>Conclusion</p><p>This study signifies the feasibility of a classification of KOA subjects in distinct phenotypes based on subgroup-specific characteristics.</p></div

Comparison of embedded and added motor imagery training in patients after stroke: Study protocol of a randomised controlled pilot trial using a mixed methods approach

Copyright @ 2009 Schuster et al; licensee BioMed Central Ltd. This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.Background: Two different approaches have been adopted when applying motor imagery (MI) to stroke patients. MI can be conducted either added to conventional physiotherapy or integrated within therapy sessions. The proposed study aims to compare the efficacy of embedded MI to an added MI intervention. Evidence from pilot studies reported in the literature suggests that both approaches can improve performance of a complex motor skill involving whole body movements, however, it remains to be demonstrated, which is the more effective one.Methods/Design: A single blinded, randomised controlled trial (RCT) with a pre-post intervention design will be carried out. The study design includes two experimental groups and a control group (CG). Both experimental groups (EG1, EG2) will receive physical practice of a clinical relevant motor task ('Going down, laying on the floor, and getting up again') over a two week intervention period: EG1 with embedded MI training, EG2 with MI training added after physiotherapy. The CG will receive standard physiotherapy intervention and an additional control intervention not related to MI.The primary study outcome is the time difference to perform the task from pre to post-intervention. Secondary outcomes include level of help needed, stages of motor task completion, degree of motor impairment, balance ability, fear of falling measure, motivation score, and motor imagery ability score. Four data collection points are proposed: twice during baseline phase, once following the intervention period, and once after a two week follow up. A nested qualitative part should add an important insight into patients' experience and attitudes towards MI. Semi-structured interviews of six to ten patients, who participate in the RCT, will be conducted to investigate patients' previous experience with MI and their expectations towards the MI intervention in the study. Patients will be interviewed prior and after the intervention period.Discussion: Results will determine whether embedded MI is superior to added MI. Findings of the semi-structured interviews will help to integrate patient's expectations of MI interventions in the design of research studies to improve practical applicability using MI as an adjunct therapy technique

The roles of endolithic fungi in bioerosion and disease in marine ecosystems. II. Potential facultatively parasitic anamorphic ascomycetes can cause disease in corals and molluscs

Anamorphic ascomycetes have been implicated as causative agents of diseases in tissues and skeletons of hard corals, in tissues of soft corals (sea fans) and in tissues and shells of molluscs. Opportunist marine fungal pathogens, such as Aspergillus sydowii, are important components of marine mycoplankton and are ubiquitous in the open oceans, intertidal zones and marine sediments. These fungi can cause infection in or at least can be associated with animals which live in these ecosystems. A. sydowii can produce toxins which inhibit photosynthesis in and the growth of coral zooxanthellae. The prevalence of many documented infections has increased in frequency and severity in recent decades with the changing impacts of physical and chemical factors, such as temperature, acidity and eutrophication. Changes in these factors are thought to cause significant loss of biodiversity in marine ecosystems on a global scale in general, and especially in coral reefs and shallow bays