English
Related papers

Related papers: A framework for (de)composing with Boolean automat…

200 papers

This note is a survey of examples and results about cellular automata with the purpose of recalling that there is no 'universal' way of being computationally universal. In particular, we show how some cellular automata can embed efficient…

Computational Complexity · Computer Science 2021-12-03 Guillaume Theyssier

Dynamical systems theory and complexity science provide powerful tools for analysing artificial agents and robots. Furthermore, they have been recently proposed also as a source of design principles and guidelines. Boolean networks are a…

Artificial Intelligence · Computer Science 2015-03-18 Andrea Roli , Mattia Manfroni , Carlo Pinciroli , Mauro Birattari

Boolean networks (BNs) are discrete-time systems where nodes are inter-connected (here we call such connection rule among nodes as network structure), and the dynamics of each gene node is determined by logical functions. In this paper, we…

Systems and Control · Electrical Eng. & Systems 2020-11-03 Jie Zhong , Daniel W. C. Ho , Jianquan Lu

Recent work on weighted model counting has been very successfully applied to the problem of probabilistic inference in Bayesian networks. The probability distribution is encoded into a Boolean normal form and compiled to a target language,…

Artificial Intelligence · Computer Science 2016-10-19 Giso H. Dal , Peter J. F. Lucas

Many of the systems that appear in various signal processing applications are non-linear, for example, due to hardware impairments such as non-linear amplifiers and finite-resolution quantization. The Bussgang decomposition is a popular…

Signal Processing · Electrical Eng. & Systems 2020-05-05 Özlem Tuğfe Demir , Emil Björnson

In the context of discrete dynamical systems and their applications, fixed points often have a clear interpretation. This is indeed a central topic of gene regulatory mechanisms modeled by Boolean automata networks (BANs), where a…

Discrete Mathematics · Computer Science 2025-07-29 Kévin Perrot , Sylvain Sené , Léah Tapin

Finite dynamical systems (e.g. Boolean networks and logical models) have been used in modeling biological systems to focus attention on the qualitative features of the system, such as the wiring diagram. Since the analysis of such systems…

Molecular Networks · Quantitative Biology 2012-11-27 Alan Veliz-Cuba , Kristina Buschur , Rose Hamershock , Ariel Kniss , Esther Wolff , Reinhard Laubenbacher

We consider efficiency in the implementation of deep neural networks. Hardware accelerators are gaining interest as machine learning becomes one of the drivers of high-performance computing. In these accelerators, the directed graph…

Machine Learning · Computer Science 2021-04-28 George A. Constantinides

Boolean networks are an important class of computational models for molecular interaction networks. Boolean canalization, a type of hierarchical clustering of the inputs of a Boolean function, has been extensively studied in the context of…

Molecular Networks · Quantitative Biology 2024-07-09 David Murrugarra , Elena S. Dimitrova

Standard Bayesian inference can build models that combine information from various sources, but this inference may not be reliable if components of a model are misspecified. Cut inference, as a particular type of modularized Bayesian…

Methodology · Statistics 2026-03-18 Yang Liu , Robert J. B. Goudie

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

Fungal automata are a variation of the two-dimensional sandpile automaton of Bak, Tang, and Wiesenfeld (Phys. Rev. Lett. 1987). In each step toppling cells emit grains only to some of their neighbors chosen according to a specific update…

Computational Complexity · Computer Science 2022-08-19 Augusto Modanese , Thomas Worsch

While Artificial Neural Networks (ANNs) have yielded impressive results in the realm of simulated intelligent behavior, it is important to remember that they are but sparse approximations of Biological Neural Networks (BNNs). We go beyond…

Neural and Evolutionary Computing · Computer Science 2021-03-30 Krishna Katyal , Jesse Parent , Bradly Alicea

In traditional software programs, it is easy to trace program logic from variables back to input, apply assertion statements to block erroneous behavior, and compose programs together. Although deep learning programs have demonstrated…

Machine Learning · Computer Science 2021-10-27 Mike Wu , Noah Goodman , Stefano Ermon

The dynamics of Boolean networks (BN) with quenched disorder and thermal noise is studied via the generating functional method. A general formulation, suitable for BN with any distribution of Boolean functions, is developed. It provides…

Disordered Systems and Neural Networks · Physics 2015-05-27 Alexander Mozeika , David Saad

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

Interacting biological systems at all organizational levels display emergent behavior. Modeling these systems is made challenging by the number and variety of biological components and interactions (from molecules in gene regulatory…

Molecular Networks · Quantitative Biology 2023-10-20 Jordan C. Rozum , Colin Campbell , Eli Newby , Fatemeh Sadat Fatemi Nasrollahi , Reka Albert

A small-world cellular automaton network has been formulated to simulate the long-range interactions of complex networks using unconventional computing methods in this paper. Conventional cellular automata use local updating rules. The new…

Cellular Automata and Lattice Gases · Physics 2010-03-26 Xin-She Yang , Young Z. L. Yang

Akin to electric circuits, we construct biocircuits that are manipulated by cutting and assembling channels through which stochastic information flows. This diagrammatic manipulation allows us to create a method which constructs networks by…

Molecular Networks · Quantitative Biology 2016-11-15 Cameron Ferwerda , Ovidiu Lipan

Batch normalization (BN) is a fundamental unit in modern deep networks, in which a linear transformation module was designed for improving BN's flexibility of fitting complex data distributions. In this paper, we demonstrate properly…

Computer Vision and Pattern Recognition · Computer Science 2020-12-01 Yuhui Xu , Lingxi Xie , Cihang Xie , Jieru Mei , Siyuan Qiao , Wei Shen , Hongkai Xiong , Alan Yuille