Ginsim

swMATH9090MaRDI QIDQ21083

No author found.

Related Items (38)

From structure to dynamics: frequency tuning in the p53-Mdm2 network. I: Logical approach ⋮ Hopf bifurcation in the presomitic mesoderm during the mouse segmentation ⋮ Stable states of Boolean regulatory networks composed over hexagonal grids ⋮ Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics ⋮ Computing bottom SCCs symbolically using transition guided reduction ⋮ Overcoming Complexity of Biological Systems: from Data Analysis to Mathematical Modeling ⋮ Reducing Boolean networks with backward Boolean equivalence ⋮ Aeon 2021: bifurcation decision trees in Boolean networks ⋮ A circuit-preserving mapping from multilevel to Boolean dynamics ⋮ Remarks on the respective roles of logical parameters and time delays in asynchronous logic: an homage to El Houssine Snoussi ⋮ Bistability and asynchrony in a Boolean model of the \textsc{L}-arabinose operon in \textit{Escherichia coli} ⋮ Boolean network analysis through the joint use of linear algebra and algebraic geometry ⋮ A genetically modified Hoare logic ⋮ The case for algebraic biology: from research to education ⋮ Positive and negative cycles in Boolean networks ⋮ Comparison of Combinatorial Signatures of Global Network Dynamics Generated by Two Classes of ODE Models ⋮ Numerical simulation of piecewise-linear models of gene regulatory networks using complementarity systems ⋮ The Regulation of Gene Expression by Operons and the Local Modeling Framework ⋮ Formalizing and enriching phenotype signatures using Boolean networks ⋮ Petri net modelling of biological regulatory networks ⋮ Attractor computation using interconnected Boolean networks: testing growth rate models in \textit{E. coli} ⋮ Logical reduction of biological networks to their most determinative components ⋮ Dynamically consistent reduction of logical regulatory graphs ⋮ Positive circuits and maximal number of fixed points in discrete dynamical systems ⋮ Analysis of discrete bioregulatory networks using symbolic steady states ⋮ Petri net representation of multi-valued logical regulatory graphs ⋮ Dynamical modeling and analysis of large cellular regulatory networks ⋮ Unnamed Item ⋮ Reduction of Boolean network models ⋮ Mapping multivalued onto Boolean dynamics ⋮ Automated inference of gene regulatory networks using explicit regulatory modules ⋮ Control of intracellular molecular networks using algebraic methods ⋮ AND-NOT logic framework for steady state analysis of Boolean network models ⋮ Learning any memory-less discrete semantics for dynamical systems represented by logic programs ⋮ Variable stabilisation in Boolean monotonic model pools ⋮ Minimal trap spaces of logical models are maximal siphons of their Petri net encoding ⋮ An extension of ERODE to reduce Boolean networks by backward Boolean equivalence ⋮ Bilevel integer programming on a Boolean network for discovering critical genetic alterations in cancer development and therapy

This page was built for software: Ginsim