English
Related papers

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

200 papers

Among their many uses, growth processes (probabilistic amplification), were used for constructing reliable networks from unreliable components, and deriving complexity bounds of various classes of functions. Hence, determining the initial…

Discrete Mathematics · Computer Science 2009-09-29 Alex Brodsky , Nicholas Pippenger

Gene regulatory networks can be successfully modeled as Boolean networks. A much discussed hypothesis says that such model networks reproduce empirical findings the best if they are tuned to operate at criticality, i.e. at the borderline…

Molecular Networks · Quantitative Biology 2016-10-12 Pablo Villegas , José Ruiz-Franco , Jorge Hidalgo , Miguel A. Muñoz

The mutations of a complex systemic disease like cancer can be modeled as stuck-at faults in the Boolean system paradigm. For a class of multiple faults, the fault identification is exceptionally significant under the incomplete access of…

Systems and Control · Computer Science 2018-09-11 Anuj Deshpande , Ritwik Kumar Layek

Estimating the influence that individual nodes have on one another in a Boolean network is essential to predict and control the system's dynamical behavior, for example, detecting key therapeutic targets to control pathways in models of…

Physics and Society · Physics 2023-11-02 Thomas Parmer , Filippo Radicchi

Interactions between genes and gene products give rise to complex circuits that enable cells to process information and respond to external signals. Theoretical studies often describe these interactions using continuous, stochastic, or…

Molecular Networks · Quantitative Biology 2007-05-23 Madalena Chaves , Reka Albert , Eduardo D. Sontag

Motivation: Many problems in biomedicine and other areas of the life sciences can be characterized as control problems, with the goal of finding strategies to change a disease or otherwise undesirable state of a biological system into…

Molecular Networks · Quantitative Biology 2016-10-04 David Murrugarra , Alan Veliz-Cuba , Boris Aguilar , Reinhard Laubenbacher

We construct and investigate Boolean networks that follow a given reliable trajectory in state space, which is insensitive to fluctuations in the updating schedule, and which is also robust against noise. Robustness is quantified as the…

Biological Physics · Physics 2010-12-02 Christoph Schmal , Tiago P. Peixoto , Barbara Drossel

It has been shown that unclocked, recurrent networks of Boolean gates in FPGAs can be used for low-SWaP reservoir computing. In such systems, topology and node functionality of the network are randomly initialized. To create a network that…

Neural and Evolutionary Computing · Computer Science 2024-03-21 Raphael Norman-Tenazas , David Kleinberg , Erik C. Johnson , Daniel P. Lathrop , Matthew J. Roos

In this work we consider random Boolean networks that provide a general model for genetic regulatory networks. We extend the analysis of James Lynch who was able to proof Kauffman's conjecture that in the ordered phase of random networks,…

Cellular Automata and Lattice Gases · Physics 2007-05-23 Steffen Schober , Martin Bossert

Convolutional Neural Networks (CNNs) are well established models capable of achieving state-of-the-art classification accuracy for various computer vision tasks. However, they are becoming increasingly larger, using millions of parameters,…

Computer Vision and Pattern Recognition · Computer Science 2017-07-27 Nikolaos Passalis , Anastasios Tefas

Finding Boolean functions suitable for cryptographic primitives is a complex combinatorial optimization problem, since they must satisfy several properties to resist cryptanalytic attacks, and the space is very large, which grows super…

Neural and Evolutionary Computing · Computer Science 2022-02-17 Luca Mariot , Stjepan Picek , Domagoj Jakobovic , Marko Djurasevic , Alberto Leporati

Identity, response to external stimuli, and spatial architecture of a living system are central topics of molecular biology. Presently, they are largely seen as a result of the interplay between a gene repertoire and the regulatory…

Molecular Networks · Quantitative Biology 2007-05-23 M. Cosentino Lagomarsino , P. Jona , B. Bassetti

Precise recognition, editing, and generation of molecules are essential prerequisites for both chemists and AI systems tackling various chemical tasks. We present MolLangBench, a comprehensive benchmark designed to evaluate fundamental…

Computation and Language · Computer Science 2026-03-24 Feiyang Cai , Jiahui Bai , Tao Tang , Guijuan He , Joshua Luo , Tianyu Zhu , Srikanth Pilla , Gang Li , Ling Liu , Feng Luo

We present a rigorous mathematical framework for analyzing dynamics of a broad class of Boolean network models. We use this framework to provide the first formal proof of many of the standard critical transition results in Boolean network…

Disordered Systems and Neural Networks · Physics 2016-08-30 C. Seshadhri , Yevgeniy Vorobeychik , Jackson R. Mayo , Robert C. Armstrong , Joseph R. Ruthruff

Random boolean cellular automata are investigated, where each gate has two randomly chosen inputs and is randomly assigned a boolean function of its inputs. The effect of non-uniform distributions on the choice of the boolean functions is…

adap-org · Physics 2008-02-03 James F. Lynch

A major goal in genomics is to properly capture the complex dynamical behaviors of gene regulatory networks (GRNs). This includes inferring the complex interactions between genes, which can be used for a wide range of genomics analyses,…

Molecular Networks · Quantitative Biology 2023-01-18 Mohammad Alali , Mahdi Imani

Understanding control mechanisms in biological systems plays a crucial role in important applications, for instance in cell reprogramming. Boolean modeling allows the identification of possible efficient strategies, helping to reduce the…

Molecular Networks · Quantitative Biology 2021-12-21 Laura Cifuentes-Fontanals , Elisa Tonello , Heike Siebert

The rapid expansion of scholarly publications across diverse disciplines has made it increasingly difficult to systematically evaluate how research contributes to the United Nations Sustainable Development Goals (SDGs). Domain…

Digital Libraries · Computer Science 2026-01-27 Sahil Dewani , Kiran Sharma

Boolean functional synthesis is the process of constructing a Boolean function from a Boolean specification that relates input and output variables. Despite significant recent developments in synthesis algorithms, Boolean functional…

Logic in Computer Science · Computer Science 2018-08-27 Supratik Chakraborty , Dror Fried , Lucas M. Tabajara , Moshe Y. Vardi

Probabilistic Boolean networks (PBNs) is an important mathematical framework widely used for modelling and analysing biological systems. PBNs are suited for modelling large biological systems, which more and more often arise in systems…

Computational Engineering, Finance, and Science · Computer Science 2016-05-04 Andrzej Mizera , Jun Pang , Qixia Yuan