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
Home| Scope| Editorial Board| Content| Search| Subscription| Rules| Contacts
ISSN 1560-7534
© 2024 FRC ICT