Skip to main content
Figure 5 | BMC Bioinformatics

Figure 5

From: "Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

Figure 5

Screenshot of Antelope showing the results for unstable steady state search for the stem cell niche GRN with an indetermination in the SCR logical rule. This indetermination represents a mutation in FAS. As observed, SCR activity is present even in the absence of SHR, which is indispensable for SCR activity. It is important to note that some of the changes can only be observed analyzing the basins of attraction. For instance, the steady states for QC and CEI (two different cell types) are not possible without SCR presence; hence, a change of one steady state for another is only observable through their basins of attraction.

Back to article page