P_UNSAT approach of attractor calculation for Boolean gene regulatory networks

被引：5
|
作者：
He, Qinbin [1 ]
Xia, Zhile [1 ]
Lin, Bin [1 ]
机构：
[1] Taizhou Univ, Dept Math, Linhai 317000, Zhejiang, Peoples R China
来源：
JOURNAL OF THEORETICAL BIOLOGY | 2018年 / 447卷
关键词：
Boolean networks; Genetic regulatory networks; Attractor; CANCER; REDUCTION; STABILITY; DYNAMICS; PATHWAY; MODELS;
D O I：
10.1016/j.jtbi.2018.03.037
中图分类号：
Q [生物科学];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
Boolean network models provide an efficient way for studying gene regulatory networks. The main dynamics of a Boolean network is determined by its attractors. Attractor calculation plays a key role for analyzing Boolean gene regulatory networks. An approach of attractor calculation was proposed in this study, which combined the predecessor approach and the logic unsatisfiability approach to accelerate at tractor calculation. The proposed algorithm is effective to calculate all attractors for large-scale Boolean gene regulatory networks even the networks with a relatively large average degree. (C) 2018 Elsevier Ltd. All rights reserved.
引用
收藏
页码：171 / 177
页数：7
相关论文
共 50 条
  • [1] An efficient approach of attractor calculation for large-scale Boolean gene regulatory networks
    He, Qinbin
    Xia, Zhile
    Lin, Bin
    JOURNAL OF THEORETICAL BIOLOGY, 2016, 408 : 137 - 144
  • [2] An Effective Approach of Attractor Calculation for Boolean Control Networks
    He, Qinbin
    He, Siyue
    INTERNATIONAL JOURNAL OF CONTROL AUTOMATION AND SYSTEMS, 2024, 22 (06) : 1827 - 1835
  • [3] Attractor Stabilizability of Boolean Networks With Application to Biomolecular Regulatory Networks
    Rafimanzelat, Mohammad Reza
    Bahrami, Fariba
    IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2019, 6 (01): : 72 - 81
  • [4] Stochastic Boolean networks: An efficient approach to modeling gene regulatory networks
    Liang, Jinghang
    Han, Jie
    BMC SYSTEMS BIOLOGY, 2012, 6
  • [5] Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
    Khaled, Tarek
    Benhamou, Belaid
    Trinh, Van-Giang
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2023, 91 (05) : 713 - 750
  • [6] Using answer set programming to deal with boolean networks and attractor computation: application to gene regulatory networks of cells
    Tarek Khaled
    Belaid Benhamou
    Van-Giang Trinh
    Annals of Mathematics and Artificial Intelligence, 2023, 91 : 713 - 750
  • [7] An Information Theoretic Approach to Constructing Robust Boolean Gene Regulatory Networks
    Vasic, Bane
    Ravanmehr, Vida
    Krishnan, Anantha Raman
    IEEE-ACM TRANSACTIONS ON COMPUTATIONAL BIOLOGY AND BIOINFORMATICS, 2012, 9 (01) : 52 - 65
  • [8] Attractor Analysis of the Asynchronous Boolean Model of the Klotho Gene Regulatory Network
    Marku, Malvina
    Kociaj, Inva
    Nikaj, Klotilda
    Ifti, Margarita
    COMPLEX NETWORKS VIII, 2017, : 251 - 259
  • [9] A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks
    Guo, Wensheng
    Yang, Guowu
    Wu, Wei
    He, Lei
    Sun, Mingyu
    PLOS ONE, 2014, 9 (04):
  • [10] Accelerated analysis of Boolean gene regulatory networks
    Purandare, Mitra
    Polig, Raphael
    Hagleitner, Christoph
    2017 27TH INTERNATIONAL CONFERENCE ON FIELD PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), 2017,
12345