Identification of bifurcation transitions in biological regulatory networks using Answer-Set Programming.

CONCLUSIONS: Our method allows a formal and scalable identification of transitions which are responsible for the lost of capability to reach a given state. It can be applied to any asynchronous automata networks, which encompass Boolean and multi-valued models. An implementation is provided as part of the Pint software, available at http://loicpauleve.name/pint.
PMID: 28736575 [PubMed]

Source: Algorithms for Molecular Biology : AMB - July 26, 2017 Category: Molecular Biology Authors: Fitime LF, Roux O, Guziolowski C, Paulevé L Tags: Algorithms Mol Biol Source Type: research