Abstract:Computational models of biological processes provide one of the most powerful methods for a detailed analysis of the mechanisms that drive the behavior of complex systems. Logic-based modeling has enhanced our understanding and interpretation of those systems. Defining rules that determine how the output activity of biological entities is regulated by their respective inputs has proven to be challenging, due to increasingly larger models and the presence of noise in data, allowing multiple model parameterizations to fit the experimental observations. We present several Boolean function metrics that provide modelers with the appropriate framework to analyze the impact of a particular model parameterization. We demonstrate the link between a semantic characterization of a Boolean function and its consistency with the model's underlying regulatory structure. We further define the properties that outline such consistency and show that several of the Boolean functions under study violate them, questioning their biological plausibility and subsequent use. We also illustrate that regulatory functions can have major differences with regard to their asymptotic output behavior, with some of them being biased towards specific Boolean outcomes when others are dependent on the ratio between activating and inhibitory regulators. Application results show that in a specific signaling cancer network, the function bias can be used to guide the choice of logical operators for a model that matches data observations. Moreover, graph analysis indicates that the standardized Boolean function bias becomes more prominent with increasing numbers of regulators, confirming the fact that rule specification can effectively determine regulatory outcome despite the complex dynamics of biological networks.

A study of binary decision diagram characteristics of bent Boolean functions

Complete Characterization of Generalized Bent and 2-Bent Boolean Functions.

Strongly Regular Graphs Associated with Ternary Bent Functions.

CFLOBDDs: Context-Free-Language Ordered Binary Decision Diagrams

Look into the Mirror: Evolving Self-Dual Bent Boolean Functions

On design-theoretic aspects of Boolean and vectorial bent functions

Generating Bent Functions and Dynamic Filters: A Novel Equivalence-Based Approach

Weighted Positive Binary Decision Diagrams for Exact Probabilistic Inference

Boolean function metrics can assist modelers to check and choose logical rules

An iterative approach for counting reduced ordered binary decision diagrams

Robust Boolean Operation For An Uniformed Representation Of Wire-Frame, Solid And Surface Models

Generic Constructions of (Boolean and Vectorial) Bent Functions and Their Consequences

A Construction of Bent Functions with Optimal Algebraic Degree and Large Symmetric Group

Weakly acyclic diagrams: A data structure for infinite-state symbolic verification

Bent functions satisfying the dual bent condition and permutations with the property

Canonical Decision Diagrams Modulo Theories

Weighted Context-Free-Language Ordered Binary Decision Diagrams

Bent functions and strongly regular graphs

A New Angle: On Evolving Rotation Symmetric Boolean Functions

A Further Study of Vectorial Dual-Bent Functions