English
Related papers

Related papers: Stratification and enumeration of Boolean function…

200 papers

Boolean networks are a valuable class of discrete dynamical systems models, but they remain fundamentally limited by their inability to capture multi-way interactions in their components. To remedy this limitation, we propose a model of…

Dynamical Systems · Mathematics 2024-09-02 Kevin M. Stoltz , Cliff A. Joslyn

Quantization of neural networks has become common practice, driven by the need for efficient implementations of deep neural networks on embedded devices. In this paper, we exploit an oft-overlooked degree of freedom in most networks - for a…

Machine Learning · Computer Science 2019-02-07 Eldad Meller , Alexander Finkelstein , Uri Almog , Mark Grobman

Understanding design principles of molecular interaction networks is an important goal of molecular systems biology. Some insights have been gained into features of their network topology through the discovery of graph theoretic patterns…

Molecular Networks · Quantitative Biology 2013-01-18 David Murrugarra , Reinhard Laubenbacher

Discrete modelling frameworks of Biological networks can be divided in two distinct categories: Boolean and Multi-valued. Although Multi-valued networks are more expressive for qualifying the regulatory behaviours modelled by more than two…

Discrete Mathematics · Computer Science 2020-01-22 Franck Delaplace , Sergiu Ivanov

We introduce combinatorial interpretability, a methodology for understanding neural computation by analyzing the combinatorial structures in the sign-based categorization of a network's weights and biases. We demonstrate its power through…

Machine Learning · Computer Science 2025-05-07 Micah Adler , Dan Alistarh , Nir Shavit

We make the case for neural network objects and extend an already existing neural network calculus explained in detail in Chapter 2 on \cite{bigbook}. Our aim will be to show that, yes, indeed, it makes sense to talk about neural network…

Machine Learning · Computer Science 2024-02-05 Shakil Rafi , Joshua Lee Padgett , Ukash Nakarmi

We prove a Theorem about the relationship between the Depth of the ultraproduct of Boolean algebras, divided by an ultrafilter, and the products of the depths of each component. This answers (partly) an open problem of Monk.

Logic · Mathematics 2012-09-04 Saharon Shelah , Shimon Garti

A Boolean network is a mapping $f :\{0,1\}^n \to \{0,1\}^n$, which can be used to model networks of $n$ interacting entities, each having a local Boolean state that evolves over time according to a deterministic function of the current…

Combinatorics · Mathematics 2021-04-29 Maximilien Gadouleau

During the past two decades there has been a lot of interest in developing statistical depth notions that generalize the univariate concept of ranking to multivariate data. The notion of depth has also been extended to regression models and…

Methodology · Statistics 2015-08-18 Peter J. Rousseeuw , Mia Hubert

Recent findings suggest that consecutive layers of neural networks with the ReLU activation function \emph{fold} the input space during the learning process. While many works hint at this phenomenon, an approach to quantify the folding was…

Machine Learning · Computer Science 2025-03-12 Michal Lewandowski , Bernhard Heinzl , Raphael Pisoni , Bernhard A. Moser

The recently measured yeast transcriptional network is analyzed in terms of simplified Boolean network models, with the aim of determining feasible rule structures, given the requirement of stable solutions of the generated Boolean…

Molecular Networks · Quantitative Biology 2009-11-10 Stuart Kauffman , Carsten Peterson , Björn Samuelsson , Carl Troein

The determination and classification of fixed points of large Boolean networks is addressed in terms of constraint satisfaction problem. We develop a general simplification scheme that, removing all those variables and functions belonging…

Disordered Systems and Neural Networks · Physics 2009-11-10 L. Correale , M. Leone , A. Pagnani , M. Weigt , R. Zecchina

Methods of modeling cellular regulatory networks as diverse as differential equations and Boolean networks co-exist, however, without any closer correspondence to each other. With the example system of the fission yeast cell cycle control…

Molecular Networks · Quantitative Biology 2015-03-13 Maria Davidich , Stefan Bornholdt

In modern computer vision tasks, convolutional neural networks (CNNs) are indispensable for image classification tasks due to their efficiency and effectiveness. Part of their superiority compared to other architectures, comes from the fact…

Machine Learning · Computer Science 2019-06-11 Vighnesh Birodkar , Hossein Mobahi , Dilip Krishnan , Samy Bengio

Functional depth is the functional data analysis technique that orders a functional data set. Unlike the case of data on the real line, defining this order is non-trivial, and particularly, with functional data, there are a number of…

Methodology · Statistics 2022-06-29 Alicia Nieto-Reyes , John A. D. Aston

New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following…

Commutative Algebra · Mathematics 2009-08-22 Ivan V. Arzhantsev , Anatoliy P. Petravchuk

This paper presents a new mathematical framework to analyze the loss functions of deep neural networks with ReLU functions. Furthermore, as as application of this theory, we prove that the loss functions can reconstruct the inputs of the…

Machine Learning · Statistics 2018-05-21 Akiyoshi Sannai

In earlier work, the second author showed that a closed subset of a polynomial functor can always be defined by finitely many polynomial equations. In follow-up work on $\operatorname{GL}\nolimits_{\infty}$-varieties,…

Algebraic Geometry · Mathematics 2022-06-06 Andreas Blatter , Jan Draisma , Emanuele Ventura

Submodular function minimization is a key problem in a wide variety of applications in machine learning, economics, game theory, computer vision, and many others. The general solver has a complexity of $O(n^3 \log^2 n . E +n^4 {\log}^{O(1)}…

Data Structures and Algorithms · Computer Science 2017-01-25 Srikumar Ramalingam , Chris Russell , Lubor Ladicky , Philip H. S. Torr

Computational learning theory states that many classes of boolean formulas are learnable in polynomial time. This paper addresses the understudied subject of how, in practice, such formulas can be learned by deep neural networks.…

Machine Learning · Computer Science 2025-09-17 Marcio Nicolau , Anderson R. Tavares , Zhiwei Zhang , Pedro Avelar , João M. Flach , Luis C. Lamb , Moshe Y. Vardi