332 research outputs found

    GoSh: a goat and sheep ESTs database.

    Get PDF
    Made available in DSpace on 2018-06-07T01:03:16Z (GMT). No. of bitstreams: 1 ID29151124.pdf: 69304 bytes, checksum: 128ac67dd2da790fae9cf4d1ab49e9df (MD5) Previous issue date: 2008-02-16bitstream/item/178254/1/ID-29151-1-2-4.pd

    Multiple verification in computational modeling of bone pathologies

    Full text link
    We introduce a model checking approach to diagnose the emerging of bone pathologies. The implementation of a new model of bone remodeling in PRISM has led to an interesting characterization of osteoporosis as a defective bone remodeling dynamics with respect to other bone pathologies. Our approach allows to derive three types of model checking-based diagnostic estimators. The first diagnostic measure focuses on the level of bone mineral density, which is currently used in medical practice. In addition, we have introduced a novel diagnostic estimator which uses the full patient clinical record, here simulated using the modeling framework. This estimator detects rapid (months) negative changes in bone mineral density. Independently of the actual bone mineral density, when the decrease occurs rapidly it is important to alarm the patient and monitor him/her more closely to detect insurgence of other bone co-morbidities. A third estimator takes into account the variance of the bone density, which could address the investigation of metabolic syndromes, diabetes and cancer. Our implementation could make use of different logical combinations of these statistical estimators and could incorporate other biomarkers for other systemic co-morbidities (for example diabetes and thalassemia). We are delighted to report that the combination of stochastic modeling with formal methods motivate new diagnostic framework for complex pathologies. In particular our approach takes into consideration important properties of biosystems such as multiscale and self-adaptiveness. The multi-diagnosis could be further expanded, inching towards the complexity of human diseases. Finally, we briefly introduce self-adaptiveness in formal methods which is a key property in the regulative mechanisms of biological systems and well known in other mathematical and engineering areas.Comment: In Proceedings CompMod 2011, arXiv:1109.104

    Complementary approaches to understanding the plant circadian clock

    Get PDF
    Circadian clocks are oscillatory genetic networks that help organisms adapt to the 24-hour day/night cycle. The clock of the green alga Ostreococcus tauri is the simplest plant clock discovered so far. Its many advantages as an experimental system facilitate the testing of computational predictions. We present a model of the Ostreococcus clock in the stochastic process algebra Bio-PEPA and exploit its mapping to different analysis techniques, such as ordinary differential equations, stochastic simulation algorithms and model-checking. The small number of molecules reported for this system tests the limits of the continuous approximation underlying differential equations. We investigate the difference between continuous-deterministic and discrete-stochastic approaches. Stochastic simulation and model-checking allow us to formulate new hypotheses on the system behaviour, such as the presence of self-sustained oscillations in single cells under constant light conditions. We investigate how to model the timing of dawn and dusk in the context of model-checking, which we use to compute how the probability distributions of key biochemical species change over time. These show that the relative variation in expression level is smallest at the time of peak expression, making peak time an optimal experimental phase marker. Building on these analyses, we use approaches from evolutionary systems biology to investigate how changes in the rate of mRNA degradation impacts the phase of a key protein likely to affect fitness. We explore how robust this circadian clock is towards such potential mutational changes in its underlying biochemistry. Our work shows that multiple approaches lead to a more complete understanding of the clock

    Large Scale In Silico Screening on Grid Infrastructures

    Get PDF
    Large-scale grid infrastructures for in silico drug discovery open opportunities of particular interest to neglected and emerging diseases. In 2005 and 2006, we have been able to deploy large scale in silico docking within the framework of the WISDOM initiative against Malaria and Avian Flu requiring about 105 years of CPU on the EGEE, Auvergrid and TWGrid infrastructures. These achievements demonstrated the relevance of large-scale grid infrastructures for the virtual screening by molecular docking. This also allowed evaluating the performances of the grid infrastructures and to identify specific issues raised by large-scale deployment.Comment: 14 pages, 2 figures, 2 tables, The Third International Life Science Grid Workshop, LSGrid 2006, Yokohama, Japan, 13-14 october 2006, to appear in the proceeding

    SNPRanker: a tool for identification and scoring of SNPs associated to target genes

    Get PDF
    Summary The identification of genes and SNPs involved in human diseases remains a challenge. Many public resources, databases and applications, collect biological data and perform annotations, increasing the global biological knowledge. The need of SNPs prioritization is emerging with the development of new high-throughput genotyping technologies, which allow to develop customized disease-oriented chips. Therefore, given a list of genes related to a specific biological process or disease as input, a crucial issue is finding the most relevant SNPs to analyse. The selection of these SNPs may rely on the relevant a-priori knowledge of biomolecular features characterising all the annotated SNPs and genes of the provided list. The bioinformatics approach described here allows to retrieve a ranked list of significant SNPs from a set of input genes, such as candidate genes associated with a specific disease. The system enriches the genes set by including other genes, associated to the original ones by ontological similarity evaluation. The proposed method relies on the integration of data from public resources in a vertical perspective (from genomics to systems biology data), the evaluation of features from biomolecular knowledge, the computation of partial scores for SNPs and finally their ranking, relying on their global score. Our approach has been implemented into a web based tool called SNPRanker, which is accessible through at the URL http://www.itb.cnr.it/snpranker. An interesting application of the presented system is the prioritisation of SNPs related to genes involved in specific pathologies, in order to produce custom arrays

    Cystic Fibrosis Defective Response to Infection Involves Autophagy and Lipid Metabolism

    Get PDF
    Cystic fibrosis (CF) is a hereditary disease, with 70% of patients developing a proteinopathy related to the deletion of phenylalanine 508. CF is associated with multiple organ dysfunction, chronic inflammation, and recurrent lung infections. CF is characterized by defective autophagy, lipid metabolism, and immune response. Intracellular lipid accumulation favors microbial infection, and autophagy deficiency impairs internalized pathogen clearance. Myriocin, an inhibitor of sphingolipid synthesis, significantly reduces inflammation, promotes microbial clearance in the lungs, and induces autophagy and lipid oxidation. RNA-seq was performed in Aspergillusfumigatus-infected and myriocin-treated CF patients' derived monocytes and in a CF bronchial epithelial cell line. Fungal clearance was also evaluated in CF monocytes. Myriocin enhanced CF patients' monocytes killing of A. fumigatus. CF patients' monocytes and cell line responded to infection with a profound transcriptional change; myriocin regulates genes that are involved in inflammation, autophagy, lipid storage, and metabolism, including histones and heat shock proteins whose activity is related to the response to infection. We conclude that the regulation of sphingolipid synthesis induces a metabolism drift by promoting autophagy and lipid consumption. This process is driven by a transcriptional program that corrects part of the differences between CF and control samples, therefore ameliorating the infection response and pathogen clearance in the CF cell line and in CF peripheral blood monocytes

    Blood ozonization in patients with mild to moderate COVID-19 pneumonia: a single centre experience

    Get PDF
    The emerging outbreak of the coronavirus disease 2019 (COVID-19) caused by the severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) continues to spread worldwide. We prescribed some promising medication to our patients with mild to moderate pneumonia due to SARS-CoV-2, however such drugs as chloroquine, hydrossichloroquine, azithromycin, antivirals (lopinavir/ritonavir, darunavir/cobicistat) and immunomodulating agents (steroids, tocilizumab) were not confirmed as effective against SARS-CoV2. We, therefore, started to use auto-hemotherapy treated with an oxygen/ozone (O2/O3) gaseous mixture as adjuvant therapy. In Udine University Hospital (Italy) we performed a case\u2013control study involving hospitalized adult patients with confirmed COVID-19 with mild to moderate pneumonia. Clinical presentations are based upon clinical phenotypes identified by the Italian Society of Emergency and Urgency Medicine (SIMEU\u2014Societ\ue0 Italiana di Medicina di Emergenza-Urgenza) and patients that met criteria of phenotypes 2 to 4 were treated with best available therapy (BAT), with or without O3-autohemotherapy. 60 patients were enrolled in the study: 30 patients treated with BAT and O2/O3 mixture, as adjuvant therapy and 30 controls treated with BAT only. In the group treated with O3-autohemotherapy plus BAT, patients were younger but with more severe clinical phenotypes. A decrease of SIMEU clinical phenotypes was observed (2.70 \ub1 0.67 vs. 2.35 \ub1 0.88, p = 0.002) in all patients during hospitalization but this clinical improvement\ua0was statistically significant only in O3-treated patients (2.87 \ub1 0.78 vs. 2.27 \ub1 0.83, p < 0.001), differently to the control group (2.53 \ub1 0.51 vs. 2.43 \ub1 0.93, p = 0.522). No adverse events were observed associated with the application of O2/O3 gaseous mixture. O2/O3 therapy as adjuvant therapy could be useful in mild to moderate pneumonia due to SARS-CoV-2. Randomized prospective study is ongoing [Clinical Trials.gov ID: Z7C2CA5837]

    Multiscale Bone Remodelling with Spatial P Systems

    Get PDF
    Many biological phenomena are inherently multiscale, i.e. they are characterized by interactions involving different spatial and temporal scales simultaneously. Though several approaches have been proposed to provide "multilayer" models, only Complex Automata, derived from Cellular Automata, naturally embed spatial information and realize multiscaling with well-established inter-scale integration schemas. Spatial P systems, a variant of P systems in which a more geometric concept of space has been added, have several characteristics in common with Cellular Automata. We propose such a formalism as a basis to rephrase the Complex Automata multiscaling approach and, in this perspective, provide a 2-scale Spatial P system describing bone remodelling. The proposed model not only results to be highly faithful and expressive in a multiscale scenario, but also highlights the need of a deep and formal expressiveness study involving Complex Automata, Spatial P systems and other promising multiscale approaches, such as our shape-based one already resulted to be highly faithful.Comment: In Proceedings MeCBIC 2010, arXiv:1011.005
    • …
    corecore