Discrete causal model view of biological networks

Authors:
Franck Delaplace;Hanna Klaudel;Amandine Cartier-Michaud
Affiliations:
IBISC, Evry, France;IBISC, Evry, France;IBISC, Evry, France
Venue:
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Year:
2010

Citing 9
Cited 1

Neural and automata networks: dynamical behavior and applications

Neural and automata networks: dynamical behavior and applications
The Omega test: a fast and practical integer programming algorithm for dependence analysis

Proceedings of the 1991 ACM/IEEE conference on Supercomputing
A Comparison of Presburger Engines for EFSM Reachability

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
SUPER-EXPONENTIAL COMPLEXITY OF PRESBURGER ARITHMETIC

SUPER-EXPONENTIAL COMPLEXITY OF PRESBURGER ARITHMETIC
Computational Challenges of Systems Biology

Computer
Algorithmic systems biology

Communications of the ACM - Security in the Browser
An efficient method for dynamic analysis of gene regulatory networks and in silico gene perturbation experiments

RECOMB'07 Proceedings of the 11th annual international conference on Research in computational molecular biology
Rewriting game theory as a foundation for state-based models of gene regulation

CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Positive and negative circuits in discrete neural networks

IEEE Transactions on Neural Networks

Analysis of modular organisation of interaction networks based on asymptotic dynamics

CMSB'12 Proceedings of the 10th international conference on Computational Methods in Systems Biology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Signaling and regulatory pathways coordinate multiple cellular functions in response to environmental variations. Discovering the pathways governing functionally specific responses is essential for understanding of biological systems. It aims at determining the causal cascades of regulations leading to the observed responses. Their characterization by computational methods remains an important and challenging question. The presented cabin (Causal Analysis of Biological Interaction Network) method determines a causal model view composed of a subnetwork and a set of agent states deduced from observations with regards to a model of network dynamics. The validity of the results is ensured by formally checking the conditions of correctness of a model with respect to observations. State-based and symbolic versions of the algorithm have been implemented and used for a biological case study.