Abstract:Motivation: Mathematical models take an important place in science and engineering. A model can help scientists to explain dynamic behavior of a system and to understand the functionality of system components. Since length of a time series and number of replicates is limited by the cost of experiments, Boolean networks as a structurally simple and parameter-free logical model for gene regulatory networks have attracted interests of many scientists. In order to fit into the biological contexts and to lower the data requirements, biological prior knowledge is taken into consideration during the inference procedure. In the literature, the existing identification approaches can only deal with a subset of possible types of prior knowledge. Results: We propose a new approach to identify Boolean networks from time series data incorporating prior knowledge, such as partial network structure, canalizing property, positive and negative unateness. Using vector form of Boolean variables and applying a generalized matrix multiplication called the semi-tensor product (STP), each Boolean function can be equivalently converted into a matrix expression. Based on this, the identification problem is reformulated as an integer linear programming problem to reveal the system matrix of Boolean model in a computationally efficient way, whose dynamics are consistent with the important dynamics captured in the data. By using prior knowledge the number of candidate functions can be reduced during the inference. Hence, identification incorporating prior knowledge is especially suitable for the case of small size time series data and data without sufficient stimuli. The proposed approach is illustrated with the help of a biological model of the network of oxidative stress response. Conclusions: The combination of efficient reformulation of the identification problem with the possibility to incorporate various types of prior knowledge enables the application of computational model inference to systems with limited amount of time series data. The general applicability of this methodological approach makes it suitable for a variety of biological systems and of general interest for biological and medical research.

Inference of gene regulatory networks with the strong-inhibition Boolean model

LogBTF: Gene regulatory network inference using Boolean threshold network model from single-cell gene expression data

LogicGep: Boolean networks inference using symbolic regression from time-series transcriptomic profiling data

A novel mutual information-based Boolean network inference method from time-series gene expression data

A gene regulatory network inference model based on pseudo-siamese network

Reconstructing Genetic Regulatory Boolean Network and Dynamic Analysis

A novel constrained genetic algorithm-based Boolean network inference method from steady-state gene expression data

From Boolean to probabilistic Boolean networks as models of genetic regulatory networks

Study on the Generalization of Boolean Functions in Critical Boolean Networks

Inference of gene regulatory networks based on nonlinear ordinary differential equations

INFERENCE OF GENE REGULATORY NETWORKS USING BOOLEAN-NETWORK INFERENCE METHODS

On Learning Gene Regulatory Networks Under the Boolean Network Model

LBF-MI: Limited Boolean Functions and Mutual Information to Infer a Gene Regulatory Network from Time-Series Gene Expression Data

Predicting missing expression values in gene regulatory networks using a discrete logic modeling optimization guided by network stable states

Stability of Genetic Networks with SUM Regulatory Logic: Lur'e System and LMI Approach

Inference of Gene Regulatory Networks from Genetic Perturbations with Linear Regression Model

Review and assessment of Boolean approaches for inference of gene regulatory networks

Identification of Boolean Network Models From Time Series Data Incorporating Prior Knowledge

Modeling and Analysis of Gene Regulatory Networks with a Bayesian-driven Approach

Inference of Gene Regulatory Networks Incorporating Multi-Source Biological Knowledge via a State Space Model with L1 Regularization