A SAT-based algorithm for finding attractors in synchronous Boolean networks

E Dubrova, M Teslenko - IEEE/ACM transactions on …, 2011 - ieeexplore.ieee.org
This paper addresses the problem of finding attractors in synchronous Boolean networks.
The existing Boolean decision diagram-based algorithms have limited capacity due to the …

GOAL: a load-balanced adaptive routing algorithm for torus networks

A Singh, WJ Dally, AK Gupta, B Towles - ACM SIGARCH Computer …, 2003 - dl.acm.org
We introduce a load-balanced adaptive routing algorithm for torus networks, GOAL-Globally
Oblivious Adaptive Locally-that provides high throughput on adversarial traffic patterns …

[HTML][HTML] Attractor detection and enumeration algorithms for Boolean networks

T Mori, T Akutsu - Computational and Structural Biotechnology Journal, 2022 - Elsevier
The Boolean network (BN) is a mathematical model used to represent various biological
processes such as gene regulatory networks. The state of a BN is determined from the …

Steady state analysis of Boolean molecular network models via model reduction and computational algebra

A Veliz-Cuba, B Aguilar, F Hinkelmann… - BMC …, 2014 - Springer
Background A key problem in the analysis of mathematical models of molecular networks is
the determination of their steady states. The present paper addresses this problem for …

[图书][B] Algorithms for analysis, inference, and control of Boolean networks

T Akutsu - 2018 - World Scientific
The Boolean network (BN) is a mathematical model of genetic networks and is based on
Boolean functions. Boolean functions are functions on the Boolean domain that consists of …

An efficient algorithm for computing attractors of synchronous and asynchronous Boolean networks

D Zheng, G Yang, X Li, Z Wang, F Liu, L He - PloS one, 2013 - journals.plos.org
Biological networks, such as genetic regulatory networks, often contain positive and
negative feedback loops that settle down to dynamically stable patterns. Identifying these …

A parallel attractor finding algorithm based on Boolean satisfiability for genetic regulatory networks

W Guo, G Yang, W Wu, L He, M Sun - PloS one, 2014 - journals.plos.org
In biological systems, the dynamic analysis method has gained increasing attention in the
past decade. The Boolean network is the most common model of a genetic regulatory …

Improving BDD-based attractor detection for synchronous Boolean networks

H Qu, Q Yuan, J Pang, A Mizera - Proceedings of the 7th Asia-Pacific …, 2015 - dl.acm.org
Boolean networks are an important formalism for modelling biological systems and have
attracted much attention in recent years. An important direction in Boolean networks is to …

[HTML][HTML] Algorithmic probability-guided machine learning on non-differentiable spaces

S Hernández-Orozco, H Zenil, J Riedel… - Frontiers in artificial …, 2021 - frontiersin.org
We show how complexity theory can be introduced in machine learning to help bring
together apparently disparate areas of current research. We show that this model-driven …

An efficient algorithm for identifying primary phenotype attractors of a large-scale Boolean network

SM Choo, KH Cho - BMC Systems Biology, 2016 - Springer
Background Boolean network modeling has been widely used to model large-scale
biomolecular regulatory networks as it can describe the essential dynamical characteristics …