English
Related papers

Related papers: Joint Realizability of Monotone Boolean functions

200 papers

Designing molecules with specific properties is a long-lasting research problem and is central to advancing crucial domains such as drug discovery and material science. Recent advances in deep graph generative models treat molecule design…

Machine Learning · Computer Science 2022-03-02 Yuanqi Du , Xiaojie Guo , Amarda Shehu , Liang Zhao

When using Bayesian networks for modelling the behavior of man-made machinery, it usually happens that a large part of the model is deterministic. For such Bayesian networks deterministic part of the model can be represented as a Boolean…

Artificial Intelligence · Computer Science 2013-01-18 Thomas D. Nielsen , Pierre-Henri Wuillemin , Finn Verner Jensen , Uffe Kjærulff

This paper leans on two similar areas so far detached from each other. On the one hand, Dung's pioneering contributions to abstract argumentation, almost thirty years ago, gave rise to a plethora of successors, including abstract…

Logic in Computer Science · Computer Science 2024-07-09 Eugenio Azpeitia , Stan Muñoz Gutiérrez , David A. Rosenblueth , Octavio Zapata

We consider a variant of the Boolean satisfiability problem where a subset E of the propositional variables appearing in formula Fsat encode a symmetric, transitive, binary relation over N elements. Each of these relational variables,…

Logic in Computer Science · Computer Science 2007-05-23 Randal E. Bryant , Miroslav N. Velev

The generating functional method is employed to investigate the synchronous dynamics of Boolean networks, providing an exact result for the system dynamics via a set of macroscopic order parameters. The topology of the networks studied and…

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

We detail a simple procedure (easily convertible to an algorithm) for constructing from quasi-uniform samples of $f$ a sequence of linear spline functions converging to the monotone rearrangement of $f$, in the case where $f$ is an almost…

Numerical Analysis · Mathematics 2021-12-03 Giovanni Barbarino , Davide Bianchi , Carlo Garoni

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

The enormous structural and chemical diversity of metal-organic frameworks (MOFs) forces researchers to actively use simulation techniques on an equal footing with experiments. MOFs are widely known for outstanding adsorption properties, so…

Materials Science · Physics 2021-11-22 Vadim V. Korolev , Yurii M. Nevolin , Thomas A. Manz , Pavel V. Protsenko

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them…

Discrete Mathematics · Computer Science 2019-02-19 Valentin Bakoev

This work addresses a key limitation in current federated learning approaches, which predominantly focus on homogeneous tasks, neglecting the task diversity on local devices. We propose a principled integration of multi-task learning using…

Machine Learning · Computer Science 2024-12-30 Junliang Lyu , Yixuan Zhang , Xiaoling Lu , Feng Zhou

In general, some of the well known results of measure theory dealing with the convergence of sequences of functions such as the Dominated Convergence Theorem or the Monotone Convergence Theorem are not true when we consider arbitrary nets…

Functional Analysis · Mathematics 2023-07-19 Daniel L. Rodríguez-Vidanes

The theory of learning under the uniform distribution is rich and deep, with connections to cryptography, computational complexity, and the analysis of boolean functions to name a few areas. This theory however is very limited due to the…

Machine Learning · Computer Science 2015-06-15 Varun Kanade , Elchanan Mossel

A key problem in computational biology is discovering the gene expression changes that regulate cell fate transitions, in which one cell type turns into another. However, each individual cell cannot be tracked longitudinally, and cells at…

Machine Learning · Computer Science 2022-07-12 Yichen Gu , David Blaauw , Joshua Welch

We give sufficient conditions ensuring the strong ergodic property of unique mixing for $C^*$-dynamical systems arising from Yang-Baxter-Hecke quantisation. We discuss whether they can be applied to some important cases including monotone,…

Operator Algebras · Mathematics 2016-03-11 Vitonofrio Crismale , Francesco Fidaleo , Yun Gang Lu

Logical models have been successfully used to describe regulatory and signaling networks without requiring quantitative data. However, existing data is insufficient to adequately define a unique model, rendering the parametrization of a…

Discrete Mathematics · Computer Science 2019-01-24 José E. R. Cury , Pedro T. Monteiro , Claudine Chaouiya

The problem of function approximation by neural dynamical systems has typically been approached in a top-down manner: Any continuous function can be approximated to an arbitrary accuracy by a sufficiently complex model with a given…

Optimization and Control · Mathematics 2023-09-22 Tanya Veeravalli , Maxim Raginsky

In our previous paper [N. Tsutsumi, K. Nakai and Y. Saiki, Chaos 32, 091101 (2022)], we proposed a method for constructing a system of differential equations of chaotic behavior from only observable deterministic time series, which we call…

Chaotic Dynamics · Physics 2024-11-12 Natsuki Tsutsumi , Kengo Nakai , Yoshitaka Saiki

The conjugate function method is an algorithm for numerical computation of conformal mappings for simply and doubly connected domains. In this paper the conjugate function method is generalized for multiply connected domains. The key…

Numerical Analysis · Mathematics 2017-07-06 Harri Hakula , Tri Quach , Antti Rasila

Recently it has been proved that simple GP systems can efficiently evolve the conjunction of $n$ variables if they are equipped with the minimal required components. In this paper, we make a considerable step forward by analysing the…

Neural and Evolutionary Computing · Computer Science 2019-05-03 Benjamin Doerr , Andrei Lissovoi , Pietro S. Oliveto

In this paper, we investigate the interaction of two populations with a large number of indistinguishable agents. The problem consists in two levels: the interaction between agents of a same population, and the interaction between the two…

Optimization and Control · Mathematics 2018-10-30 Alain Bensoussan , Tao Huang , Mathieu Laurière