|
Article information
2011 , Volume 16, ¹ 1, p.30-47
Evdokimov A.A., Kochemazov S.E., Semenov A.A.
Application of symbolic computations to the study of discrete models of some gene networks
This article deals with studies of some discrete models of gene networks. Problems such as fixed points search and matrix synthesis for the graph specifying regulatory circuit of gene networks are solved. Problems considered in the article can be reduced to the systems of Boolean equations. These systems are solved using SAT- and ROBDD - approaches. Final part of the article contains the results of numerical experiments on randomly generated gene networks
[full text]
Keywords: discrete models of gene networks, fixed points of automaton mappings, functional graph, synthesis of gene network graph adjacency matrix, threshold function, SAT, ROBD
Author(s):
Evdokimov Alexander Andreevich
PhD. , Professor
Position: Head of Laboratory
Office: Sobolev Institute of Mathematics, Siberian branch of Russian Academy of Sciences
Address: 664044, Russia, Irkutsk
Phone Office: (383) 330-15-35
E-mail: evdok@math.nsc.ru
Kochemazov Stepan Evgenievich
Position: Student
Office: Institute for system dynamics and control theory SB RAS
Address: 664074, Russia, Irkutsk, Lavrentiev ave., 1
Phone Office: (3952) 453054
E-mail: veinamond@gmail.com
Semenov Alexander Anatolievich
PhD. , Associate Professor
Position: Leading research officer
Office: Institute for system dynamics and control theory SB RAS
Address: 664044, Russia, Irkutsk, Lavrentiev ave., 1
Phone Office: (3952)453054
E-mail: biclop@rambler.ru
Bibliography link:
Evdokimov A.A., Kochemazov S.E., Semenov A.A. Application of symbolic computations to the study of discrete models of some gene networks // Computational technologies. 2011. V. 16. ¹ 1. P. 30-47
|
