paper-with-me

홈 › Papers

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

2021-04-02 · John Zobolas, Pedro T. Monteiro, Martin Kuiper, Åsmund Flobak

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.

📄 PDF Abstract BibTeX arXiv:2104.01279

Code (1)

druglogics/brf-bias

Similar Papers 제목 키워드 기반

PBLean: Pseudo-Boolean Proof Certificates for Lean 4

2026-02-09 · Stefan Szeider arxiv

We present PBLean, a method for importing VeriPB pseudo-Boolean (PB) proof certificates into Lean 4. Key to our approach is reflection: a Boolean checker function whose soundness is fully proved in Lean and executed as c…

IB-Net: Initial Branch Network for Variable Decision in Boolean Satisfiability

2024-03-06 · Tsz Ho Chan, Wenyi Xiao, Junhua Huang, HuiLing Zhen 외

Boolean Satisfiability problems are vital components in Electronic Design Automation, particularly within the Logic Equivalence Checking process. Currently, SAT solvers are employed for these problems and neural network …

Presburger Functional Synthesis: Complexity and Tractable Normal Forms

2025-08-10 · S. Akshay, A. R. Balasubramanian, Supratik Chakraborty, Georg Zetzsche arxiv

Given a relational specification between inputs and outputs as a logic formula, the problem of functional synthesis is to automatically synthesize a function from inputs to outputs satisfying the relation. Recently, a ri…

Breiman's two cultures: You don't have to choose sides

2021-04-25 · Andrew C. Miller, Nicholas J. Foti, Emily B. Fox

Breiman's classic paper casts data analysis as a choice between two cultures: data modelers and algorithmic modelers. Stated broadly, data modelers use simple, interpretable models with well-understood theoretical proper…

Vocal Bursts Valence Prediction

Explainable Runtime Dependency Tracking for AI-RAN Conflict Monitoring

2026-06-04 · Christie Djidjev, Nicholas Kaminski arxiv

Future AI-integrated Radio Access Networks (AI-RAN) will combine open programmability with learning-enabled xApps, rApps, and control functions that act on shared parameters and key performance indicators (KPIs). For con…