English
Related papers

Related papers: BoolForge: Controlled Generation and Analysis of B…

200 papers

This article presents an algorithm that allows modeling of biological networks in a qualitative framework with continuous time. Mathematical modeling is used as a systems biology tool to answer biological questions, and more precisely, to…

Molecular Networks · Quantitative Biology 2012-05-30 Gautier Stoll , Eric Viara , Emmanuel Barillot , Laurence Calzone

Boolean functional synthesis is a fundamental problem in computer science with wide-ranging applications and has witnessed a surge of interest resulting in progressively improved techniques over the past decade. Despite intense algorithmic…

Artificial Intelligence · Computer Science 2020-05-15 Priyanka Golia , Subhajit Roy , Kuldeep S. Meel

Background. Dynamical models of gene regulatory networks (GRNs) are highly effective in describing complex biological phenomena and processes, such as cell differentiation and cancer development. Yet, the topological and functional…

Molecular Networks · Quantitative Biology 2015-08-17 Andrea Paroni , Alex Graudenzi , Giulio Caravagna , Chiara Damiani , Giancarlo Mauri , Marco Antoniotti

We consider the problem of studying the simulation capabilities of the dynamics of arbitrary networks of finite states machines. In these models, each node of the network takes two states 0 (passive) and 1 (active). The states of the nodes…

Computational Complexity · Computer Science 2021-08-02 Eric Goles , Andrew Adamatzky , Pedro Montealegre , Martín Ríos-Wilson

The tool mpbn offers a Python programming interface for an easy interactive editing of Boolean networks and the efficient computation of elementary properties of their dynamics, including fixed points, trap spaces, and reachability…

Logic in Computer Science · Computer Science 2024-03-12 Van-Giang Trinh , Belaid Benhamou , Loïc Paulevé

This paper focuses on proposing a general control framework for large-scale Boolean networks (\texttt{BNs}). Only by the network structure, the concept of structural controllability for \texttt{BNs} is formalized. A necessary and sufficient…

Systems and Control · Electrical Eng. & Systems 2021-05-27 Shiyong Zhu , Jianquan Lu , Shun-ichi Azuma , Wei Xing Zheng

The time taken for gene expression varies not least because proteins vary in length considerably. This paper uses an abstract, tuneable Boolean regulatory network model to explore gene expression time variation. In particular, it is shown…

Biomolecules · Quantitative Biology 2016-03-16 Larry Bull

We realize autonomous Boolean networks by using logic gates in their autonomous mode-of-operation on a field-programmable gate array. This allows us to implement time-continuous systems with complex dynamical behaviors that can be…

Adaptation and Self-Organizing Systems · Physics 2013-12-16 David P. Rosin , Damien Rontani , Daniel J. Gauthier , Eckehard Schöll

We propose new activity-dependent adaptive Boolean networks inspired by the cis-regulatory mechanism in gene regulatory networks. We analytically show that our model can be solved for stationary in-degree distribution for a wide class of…

Adaptation and Self-Organizing Systems · Physics 2017-12-08 Taichi Haruna

Gene regulatory networks (GRNs) are increasingly used for explaining biological processes with complex transcriptional regulation. A GRN links the expression levels of a set of genes via regulatory controls that gene products exert on one…

Molecular Networks · Quantitative Biology 2016-06-21 Guy Karlebach

Network structure is often considered one of the most important features of a network, and various models exist to generate graphs having one of the most studied types of structures, such as blocks/communities or spatial structures. In this…

Social and Information Networks · Computer Science 2023-10-02 Remy Cazabet , Salvatore Citraro , Giulio Rossetti

Bayesian optimization of function networks (BOFN) is a framework for optimizing expensive-to-evaluate objective functions structured as networks, where some nodes' outputs serve as inputs for others. Many real-world applications, such as…

Machine Learning · Statistics 2025-06-24 Poompol Buathong , Peter I. Frazier

Generative Flow Networks (GFlowNets) have emerged as an innovative learning paradigm designed to address the challenge of sampling from an unnormalized probability distribution, called the reward function. This framework learns a policy on…

Machine Learning · Computer Science 2024-07-04 Anas Krichel , Nikolay Malkin , Salem Lahlou , Yoshua Bengio

This paper considers the learning of Boolean rules in either disjunctive normal form (DNF, OR-of-ANDs, equivalent to decision rule sets) or conjunctive normal form (CNF, AND-of-ORs) as an interpretable model for classification. An integer…

Artificial Intelligence · Computer Science 2020-08-07 Sanjeeb Dash , Oktay Günlük , Dennis Wei

This paper presents a gate-level Boolean evolutionary geometric attention neural network that models images as Boolean fields governed by logic gates. Each pixel is a Boolean variable (0 or 1) embedded on a two-dimensional geometric…

Neural and Evolutionary Computing · Computer Science 2025-11-25 Xianshuai Shi , Jianfeng Zhu , Leibo Liu

Normalizing flows model probability distributions through an expressive tractable density. They transform a simple base distribution, such as a Gaussian, through a sequence of invertible functions, which are referred to as layers. These…

A probabilistic Boolean network (PBN) is a discrete-time system composed of a collection of Boolean networks between which the PBN switches in a stochastic manner. This paper focuses on the study of quotients of PBNs. Given a PBN and an…

Optimization and Control · Mathematics 2021-08-02 Rui Li , Qi Zhang , Tianguang Chu

Recently, combinations of generative and Bayesian machine learning have been introduced in particle physics for both fast detector simulation and inference tasks. These neural networks aim to quantify the uncertainty on the generated…

Machine Learning · Computer Science 2024-11-21 Sebastian Bieringer , Sascha Diefenbacher , Gregor Kasieczka , Mathias Trabs

Phylogenetic trees elucidate evolutionary relationships among species, but phylogenetic inference remains challenging due to the complexity of combining continuous (branch lengths) and discrete parameters (tree topology). Traditional Markov…

Populations and Evolution · Quantitative Biology 2024-12-30 ChenRui Duan , Zelin Zang , Siyuan Li , Yongjie Xu , Stan Z. Li

Deep generative models for graph-structured data offer a new angle on the problem of chemical synthesis: by optimizing differentiable models that directly generate molecular graphs, it is possible to side-step expensive search procedures in…

Machine Learning · Statistics 2022-09-28 Nicola De Cao , Thomas Kipf