Periodic orbits and equilibria in glass models for gene regulatory networks.
Glass models are frequently used to model gene regulatory networks. A distinct feature of the Glass model is that its dynamics can be formalized as paths through multi-dimensional binary hypercubes. In this paper, we report a broad range of results about Glass models that have been obtained by compu...
Main Authors: | Zinovik, I, Chebiryak, Y, Kroening, D |
---|---|
Format: | Journal article |
Sprog: | English |
Udgivet: |
2010
|
Lignende værker
-
An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors
af: Zinovik, I, et al.
Udgivet: (2007) -
Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers.
af: Zinovik, I, et al.
Udgivet: (2008) -
Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers
af: Zinovik, I, et al.
Udgivet: (2015) -
An efficient SAT encoding of circuit codes
af: Chebiryak, Y, et al.
Udgivet: (2008) -
Towards a Classification of Hamiltonian Cycles in the 6-Cube.
af: Chebiryak, Y, et al.
Udgivet: (2008)