Piecewise-Linear Models of Genetic Regulatory Networks: Theory and Example

International audienceThe experimental study of genetic regulatory networks has made tremendous progress in recent years resulting in a huge amount of data on the molecular interactions in model organisms. It is therefore not possible anymore to intuitively understand how the genes and interactions together influence the behavior of the system. In order to answer such questions, a rigorous modeling and analysis approach is necessary. In this chapter, we present a family of such models and analysis methods enabling us to better understand the dynam-ics of genetic regulatory networks. We apply such methods to the network that underlies the nutritional stress response of the bacterium E. coli. The functioning and development of living organisms is controlled by large and complex networks of genes, proteins, small molecules, and their interactions, so-called genetic regulatory networks. The study of these networks has recently taken a qualitative leap through the use of modern genomic techniques that allow for the simultaneous measurement of the expression levels of all genes of an organism. This has resulted in an ever growing description of the interactions in the studied genetic regulatory networks. However, it is necessary to go beyond the simple description of the interactions in order to understand the behavior of these networks and their relation with the actual functioning of the organism. Since the networks under study are usually very large, an intuitive approach for their understanding is out of ques-tion. In order to support this work, mathematical and computer tools are necessary: the unambiguous description of the phenomena that mathematical models provide allows for a detailed analysis of the behaviors at play, though they might not exactly represent the exact behavior of the networks. In this chapter, we will be mostly interested in the modeling of the genetic reg-ulatory networks by means of differential equations. This classical approach allows precise numerical predictions of deterministic dynamic properties of genetic regu-latory networks to be made. However, for most networks of biological interest the application of differential equations is far from straightforward. First, the biochemi-cal reaction mechanisms underlying the interactions are usually not or incompletel

CytoASP: a Cytoscape app for qualitative consistency reasoning, prediction and repair in biological networks

Background: Qualitative reasoning frameworks, such as the Sign Consistency Model (SCM), enable modelling regulatory networks to check whether observed behaviour can be explained or if unobserved behaviour can be predicted. The BioASP software collection offers ideal tools for such analyses. Additionally, the Cytoscape platform can offer extensive functionality and visualisation capabilities. However, specialist programming knowledge is required to use BioASP and no methods exist to integrate both of these software platforms effectively. Results: We report the implementation of CytoASP, an app that allows the use of BioASP for influence graph consistency checking, prediction and repair operations through Cytoscape. While offering inherent benefits over traditional approaches using BioASP, it provides additional advantages such as customised visualisation of predictions and repairs, as well as the ability to analyse multiple networks in parallel, exploiting multi-core architecture. We demonstrate its usage in a case study of a yeast genetic network, and highlight its capabilities in reasoning over regulatory networks. Conclusion: We have presented a user-friendly Cytoscape app for the analysis of regulatory networks using BioASP. It allows easy integration of qualitative modelling, combining the functionality of BioASP with the visualisation and processing capability in Cytoscape, and thereby greatly simplifying qualitative network modelling, promoting its use in relevant projects

A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks

<p>Abstract</p> <p>Background</p> <p>The study of biological networks has led to the development of increasingly large and detailed models. Computer tools are essential for the simulation of the dynamical behavior of the networks from the model. However, as the size of the models grows, it becomes infeasible to manually verify the predictions against experimental data or identify interesting features in a large number of simulation traces. Formal verification based on temporal logic and model checking provides promising methods to automate and scale the analysis of the models. However, a framework that tightly integrates modeling and simulation tools with model checkers is currently missing, on both the conceptual and the implementational level.</p> <p>Results</p> <p>We have developed a generic and modular web service, based on a service-oriented architecture, for integrating the modeling and formal verification of genetic regulatory networks. The architecture has been implemented in the context of the qualitative modeling and simulation tool G<smcaps>NA</smcaps> and the model checkers N<smcaps>U</smcaps>SMV and C<smcaps>ADP</smcaps>. G<smcaps>NA</smcaps> has been extended with a verification module for the specification and checking of biological properties. The verification module also allows the display and visual inspection of the verification results.</p> <p>Conclusions</p> <p>The practical use of the proposed web service is illustrated by means of a scenario involving the analysis of a qualitative model of the carbon starvation response in <it>E. coli</it>. The service-oriented architecture allows modelers to define the model and proceed with the specification and formal verification of the biological properties by means of a unified graphical user interface. This guarantees a transparent access to formal verification technology for modelers of genetic regulatory networks.</p

Tracing technological development trajectories: A genetic knowledge persistence-based main path approach

The aim of this paper is to propose a new method to identify main paths in a technological domain using patent citations. Previous approaches for using main path analysis have greatly improved our understanding of actual technological trajectories but nonetheless have some limitations. They have high potential to miss some dominant patents from the identified main paths; nonetheless, the high network complexity of their main paths makes qualitative tracing of trajectories problematic. The proposed method searches backward and forward paths from the high-persistence patents which are identified based on a standard genetic knowledge persistence algorithm. We tested the new method by applying it to the desalination and the solar photovoltaic domains and compared the results to output from the same domains using a prior method. The empirical results show that the proposed method overcomes the aforementioned drawbacks defining main paths that are almost 10x less complex while containing more of the relevant important knowledge than the main path networks defined by the existing method.Comment: 20 pages, 7 figure

Efficient parameter search for qualitative models of regulatory networks using symbolic model checking

Investigating the relation between the structure and behavior of complex biological networks often involves posing the following two questions: Is a hypothesized structure of a regulatory network consistent with the observed behavior? And can a proposed structure generate a desired behavior? Answering these questions presupposes that we are able to test the compatibility of network structure and behavior. We cast these questions into a parameter search problem for qualitative models of regulatory networks, in particular piecewise-affine differential equation models. We develop a method based on symbolic model checking that avoids enumerating all possible parametrizations, and show that this method performs well on real biological problems, using the IRMA synthetic network and benchmark experimental data sets. We test the consistency between the IRMA network structure and the time-series data, and search for parameter modifications that would improve the robustness of the external control of the system behavior

Systems biology in animal sciences

Systems biology is a rapidly expanding field of research and is applied in a number of biological disciplines. In animal sciences, omics approaches are increasingly used, yielding vast amounts of data, but systems biology approaches to extract understanding from these data of biological processes and animal traits are not yet frequently used. This paper aims to explain what systems biology is and which areas of animal sciences could benefit from systems biology approaches. Systems biology aims to understand whole biological systems working as a unit, rather than investigating their individual components. Therefore, systems biology can be considered a holistic approach, as opposed to reductionism. The recently developed ‘omics’ technologies enable biological sciences to characterize the molecular components of life with ever increasing speed, yielding vast amounts of data. However, biological functions do not follow from the simple addition of the properties of system components, but rather arise from the dynamic interactions of these components. Systems biology combines statistics, bioinformatics and mathematical modeling to integrate and analyze large amounts of data in order to extract a better understanding of the biology from these huge data sets and to predict the behavior of biological systems. A ‘system’ approach and mathematical modeling in biological sciences are not new in itself, as they were used in biochemistry, physiology and genetics long before the name systems biology was coined. However, the present combination of mass biological data and of computational and modeling tools is unprecedented and truly represents a major paradigm shift in biology. Significant advances have been made using systems biology approaches, especially in the field of bacterial and eukaryotic cells and in human medicine. Similarly, progress is being made with ‘system approaches’ in animal sciences, providing exciting opportunities to predict and modulate animal traits

Towards knowledge-based gene expression data mining

The field of gene expression data analysis has grown in the past few years from being purely data-centric to integrative, aiming at complementing microarray analysis with data and knowledge from diverse available sources. In this review, we report on the plethora of gene expression data mining techniques and focus on their evolution toward knowledge-based data analysis approaches. In particular, we discuss recent developments in gene expression-based analysis methods used in association and classification studies, phenotyping and reverse engineering of gene networks

Express Prediction Of External Distinctive Features Of Person Using The Program Of Dermatoglyphics For Prediction

The aim of our study was to investigate the current state of computer identification applications, such as artificial neural networks. The material of our study were antroposcopic and anthropometric parameters obtained from 180 male and females aged 18–55 years living in the Ivano-Frankivsk region and belonging to Boiko, Lemko or Hutsul ethno-territorial group. Prints of comb pattern of the toes obtained by scanning with Futronic\u27s FS80 USB2.0 Fingerprint Scanner using the program ftrScanApiEx.exe. followed by the transfer of data to a personal computer. For statistical processing of the obtained data we use STATISTICA 12 from the company StatSoft. Construction of neural networks was carried out using Neural Networks. As a result of our research there was carried out the prediction of anthropometric and antroposcopic parameters (ethno-territorial and gender belonging, etc.) through the use of dermatoglyphic parameters of the hands and feet in 180 people living in the Ivano-Frankivsk region. The proposed method allowed to obtain the results with a forecasts probability 73–90 %. The use of above algorithm of actions allowed a 50 % increase of quality of identification of unknown person for using dermatoglyphic method and 67 % facilitatation of the process of identification (of quantitative and qualitative calculations, determining correlations between parameters) in comparison with previously known manner. Therefore, our proposed method can be used as an express diagnostics of common phenotypic traits of the person (ethno-territorial affiliation, gender, etc.) at admission of mass victims (natural disasters, acts of terrorism, armed conflicts, man-made disasters, etc.), it doesn\u27t not require a long time for conducting, specially trained staff and is inexpensive.Conclusions: The possibility of predicting external-recognizing features of a person such as etno-racial belonging, sex, anthropometric and antroposcopic parameters will allow widely use dermatoglyphic method at the level with other methods in conducting forensic identification of impersonal, fragmented and putrefactive modified corpses

GenePath: a System for Automated Construction of Genetic Networks from Mutant Data

Motivation: Genetic pathways are often used in the analysis of biological phenomena. In classical genetics, they are constructed manually from experimental data on mutants. The field lacks formalism to guide such analysis, and accounting for all the data becomes complicated when large amounts of data are considered. Results: We have developed GenePath, an intelligent assistant that mimics expert geneticists in the analysis of genetic data. GenePath employs expert-defined patterns to uncover gene relations from the data, and uses these relations as constraints that guide the search for a plausible genetic network. GenePath provides formalism to genetic data analysis, facilitates the consideration of all the available data in a consistent and systematic manner, and aids in the examination of the large number of possible consequences of a planned experiment. It also provides an explanation mechanism that traces back every finding to the pertinent data. GenePath was successfully tested on several genetic problems. Availability: GenePath can be accessed at http://genepath.org. Supplementary information: Supplementary material is available at http://genepath.org/bi-supp