Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations

DOI10.1134/S1990478914030028MaRDI QIDQ5264738zbMATH OpenOpenAlexFDO

Authors A. A. Evdokimov, S. E. Kochemazov, Il'ya Vladimirovich Otpushchennikov, Aleksandr Anatol'evich Semënov

Publication date 27 July 2015

Published in Journal of Applied and Industrial Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s1990478914030028

zbMATH Keywords

SATdiscrete functiondiscrete automaton model of gene networks

Mathematics Subject Classification ID

Genetics and epigenetics (92D10) Graph theory (including graph drawing) in computer science (68R10) Systems biology, networks (92C42)

Recommendations

• Application of symbolic computations to the study of discrete models of some gene networks
• Cycles of functioning for discrete models of a regulatory circuit of a gene network with threshold functions
• Discrete time piecewise affine models of genetic regulatory networks
• Gene regulatory networks: a discrete model of dynamics and topological evolution
• Combinatorial explosion in model gene networks.

Cites work

• scientific article; zbMATH DE number 3150484 (Why is no real title available?)
• scientific article; zbMATH DE number 2206788 (Why is no real title available?)
• scientific article; zbMATH DE number 5493266 (Why is no real title available?)
• scientific article; zbMATH DE number 3313427 (Why is no real title available?)
• Application of symbolic computations to the study of discrete models of some gene networks
• Applications of SAT Solvers to Cryptanalysis of Hash Functions
• Collective dynamics of `small-world' networks
• Cycles of functioning for discrete models of a regulatory circuit of a gene network with threshold functions
• Discrete dynamical systems of the circulant type with linear functions at the vertices of the network
• Optimal control problems in gene network dynamics and methods for solving them
• Parallel logical cryptanalysis of the generator A5/1 in BNB-grid system
• Random Graphs
• Technology for translating combinatorial problems into Boolean equations
• The Structure and Function of Complex Networks
• The complexity of theorem-proving procedures

Cited in

(2)

• Application of symbolic computations to the study of discrete models of some gene networks
• Cycles of functioning for discrete models of a regulatory circuit of a gene network with threshold functions

This page was built for publication: Study of discrete automaton models of gene networks of nonregular structure using symbolic calculations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5264738)