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
|