✦ LIBER ✦

A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks

✍ Scribed by Dubrova, E.; Teslenko, M.

Book ID: 120825553
Publisher: IEEE
Year: 2011
Tongue: English
Weight: 570 KB
Volume: 8
Category: Article
ISSN: 1545-5963
DOI: 10.1109/TCBB.2010.20

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Algorithms for Singleton Attractor Detec

Algorithms for Singleton Attractor Detection in Planar and Nonplanar AND/OR Boolean Networks

✍ Takeyuki Tamura; Tatsuya Akutsu 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 627 KB

ASP-G: an ASP-based method for finding a

ASP-G: an ASP-based method for finding attractors in genetic regulatory networks

✍ Mushthofa, M.; Torres, G.; Van de Peer, Y.; Marchal, K.; De Cock, M. 📂 Article 📅 2014 🏛 Oxford University Press 🌐 English ⚖ 161 KB

An Improved Satisfiability Algorithm for

An Improved Satisfiability Algorithm for Nested Canalyzing Functions and its Application to Determining a Singleton Attractor of a Boolean Network

✍ Melkman, Avraham A.; Akutsu, Tatsuya 📂 Article 📅 2013 🏛 Mary Ann Liebert 🌐 English ⚖ 383 KB

Some Algorithms for Synchronizing Clocks

Some Algorithms for Synchronizing Clocks of Base Transceiver Stations in a Cellular Network

✍ Jean-Louis Dornstetter; Daniel Krob; Michel Morvan; Laurent Viennot 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 193 KB

This paper deals with synchronization problems arising in the context of cellular networks. It presents and compares several algorithms that can be used for solving these problems.

A SAT-based network access scheme for fa

A SAT-based network access scheme for fairness in high speed networks

✍ B. Bellur; G. Sasaki 📂 Article 📅 1997 🏛 IEEE 🌐 English ⚖ 447 KB

A simple algorithm for clock synchroniza

A simple algorithm for clock synchronization in transputer networks

✍ Ugo de Carlini; Umbeeto Villano 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 803 KB