Attractor analysis of asynchronous Boolean models of signal transduction networks
Prior work on the dynamics of Boolean networks, including analysis of the state space
attractors and the basin of attraction of each attractor, has mainly focused on synchronous …
attractors and the basin of attraction of each attractor, has mainly focused on synchronous …
ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks
E Ben Abdallah, M Folschette, O Roux… - Algorithms for Molecular …, 2017 - Springer
Background This paper addresses the problem of finding attractors in biological regulatory
networks. We focus here on non-deterministic synchronous and asynchronous multi-valued …
networks. We focus here on non-deterministic synchronous and asynchronous multi-valued …
Analyzing Long‐Term Dynamics of Biological Networks With Answer Set Programming
E Ben Abdallah, M Folschette… - … Biology Modelling and …, 2022 - Wiley Online Library
The formal study of the dynamics of biological systems raises many problems, eg
identification of attractors, bifurcations, and reachability, that are combinatorial by essence …
identification of attractors, bifurcations, and reachability, that are combinatorial by essence …
Finding attractors in synchronous multiple-valued networks using SAT-based bounded model checking
E Dubrova, M Teslenko, L Ming - 2010 40th IEEE International …, 2010 - ieeexplore.ieee.org
Synchronous multiple-valued networks are a discrete-space discrete-time model of the gene
regulatory network of living cells. In this model, cell types are represented by the cycles in …
regulatory network of living cells. In this model, cell types are represented by the cycles in …
[PDF][PDF] Pathways, networks and therapy: A boolean approach to systems biology
R Layek - 2012 - core.ac.uk
ABSTRACT Pathways, Networks and Therapy: A Boolean Approach to Systems
Biology.(May 2012) Ritwik Kumar Layek, B. Tech., Indian Institute of Technology, Kharagpur; …
Biology.(May 2012) Ritwik Kumar Layek, B. Tech., Indian Institute of Technology, Kharagpur; …
State feedback based intervention design in Wnt and cell cycle network
Recent studies have shown a strong link between the cell cycle and the canonical version of
Wnt pathway. Based on these findings it can be safely speculated that Wnt pathway plays an …
Wnt pathway. Based on these findings it can be safely speculated that Wnt pathway plays an …
Modeling and Simulation of Biological Systems through Electronic Design Automation techniques
R Distefano - 2017 - iris.univr.it
Modeling and simulation of biological systems is a key requirement for integrating invitro
and in-vivo experimental data. In-silico simulation allows testing different experimental …
and in-vivo experimental data. In-silico simulation allows testing different experimental …