English
Related papers

Related papers: Analysis of Boolean Equation Systems through Struc…

200 papers

Bayesian methods for learning Gaussian graphical models offer a principled framework for quantifying model uncertainty and incorporating prior knowledge. However, their scalability is constrained by the computational cost of jointly…

Methodology · Statistics 2025-08-28 Reza Mohammadi , Marit Schoonhoven , Lucas Vogels , S. Ilker Birbil

We present proofs of the basic isopermetric structure theory, obtaining some new simplified proofs. As an application, we obtain simple descriptions for subsets $S$ of an abelian group with $|kS|\le k|S|-k+1$ or $|kS-rS|- (k+r)|S|,$ where…

Combinatorics · Mathematics 2010-11-09 Yahya Ould Hamidoune

Many systems comprising entities in interactions can be represented as graphs, whose structure gives significant insights about how these systems work. Network theory has undergone further developments, in particular in relation to…

Data Analysis, Statistics and Probability · Physics 2016-06-14 Ronan Hamon , Pierre Borgnat , Patrick Flandrin , Céline Robardet

Structural equation models are commonly used to capture the relationship between sets of observed and unobservable variables. Traditionally these models are fitted using frequentist approaches but recently researchers and practitioners have…

Methodology · Statistics 2023-02-22 Khue-Dung Dang , Luca Maestrini

Boolean Delay Equations (BDEs) are semi-discrete dynamical models with Boolean-valued variables that evolve in continuous time. Systems of BDEs can be classified into conservative or dissipative, in a manner that parallels the…

Cellular Automata and Lattice Gases · Physics 2015-06-26 Michael Ghil , Ilya Zaliapin , Barbara Coluzzi

High-dimensional data analysis typically focuses on low-dimensional structure, often to aid interpretation and computational efficiency. Graphical models provide a powerful methodology for learning the conditional independence structure in…

Methodology · Statistics 2024-09-13 Maria De Iorio , Willem van den Boom , Alexandros Beskos , Ajay Jasra , Andrea Cremaschi

A new approach to computing the equilibria and steady-states of biomolecular systems modelled by bond graphs is presented. The approach is illustrated using a model of a biomolecular cycle representing a membrane transporter and a model of…

Molecular Networks · Quantitative Biology 2019-07-04 Peter J. Gawthrop

Baker devised a powerful technique to obtain approximation schemes for various problems restricted to planar graphs. Her technique can be directly extended to various other graph classes, among the most general ones the graphs avoiding a…

Discrete Mathematics · Computer Science 2017-04-04 Zdeněk Dvořák

We extend the decomposition approach for learning Bayesian networks (BNs) proposed by (Xie et. al.) to learning multivariate regression chain graphs (MVR CGs), which include BNs as a special case. The same advantages of this decomposition…

Artificial Intelligence · Computer Science 2020-02-26 Mohammad Ali Javidian , Marco Valtorta

Multi-homogeneous polynomial systems arise in many applications. We provide bit complexity estimates for solving them which, up to a few extra other factors, are quadratic in the number of solutions and linear in the height of the input…

Symbolic Computation · Computer Science 2017-12-12 Mohab Safey El Din , Eric Schost

Several recent unsupervised learning methods use probabilistic approaches to solve combinatorial optimization (CO) problems based on the assumption of statistically independent solution variables. We demonstrate that this assumption imposes…

Machine Learning · Computer Science 2023-11-27 Sebastian Sanokowski , Wilhelm Berghammer , Sepp Hochreiter , Sebastian Lehner

Causal structure learning from observational data remains a non-trivial task due to various factors such as finite sampling, unobserved confounding factors, and measurement errors. Constraint-based and score-based methods tend to suffer…

Machine Learning · Computer Science 2022-11-09 Rezaur Rashid , Jawad Chowdhury , Gabriel Terejanu

A classical question of propositional logic is one of the shortest proof of a tautology. A related fundamental problem is to determine the relative efficiency of standard proof systems, where the relative complexity is measured using the…

Logic in Computer Science · Computer Science 2017-03-21 Olga Tveretina

This paper considers the problem of learning, from samples, the dependency structure of a system of linear stochastic differential equations, when some of the variables are latent. In particular, we observe the time evolution of some…

Machine Learning · Computer Science 2012-05-02 Ali Jalali , Sujay Sanghavi

This paper proposes an algorithm for deciding consistency of systems of Boolean equations in several variables with co-efficients in the two element Boolean algebra $B_{0}=\{0,1\}$ and find all satisfying assignments. The algorithm is based…

Data Structures and Algorithms · Computer Science 2014-07-16 Virendra Sule

Despite their apparent simplicity, random Boolean networks display a rich variety of dynamical behaviors. Much work has been focused on the properties and abundance of attractors. The topologies of random Boolean networks with one input per…

Disordered Systems and Neural Networks · Physics 2009-11-11 Björn Samuelsson , Carl Troein

An improved characteristic set algorithm for solving Boolean polynomial systems is proposed. This algorithm is based on the idea of converting all the polynomials into monic ones by zero decomposition, and using additions to obtain…

Symbolic Computation · Computer Science 2019-11-12 Zhenyu Huang , Yao Sun , Dongdai Lin

Many real-world networks are so large that we must simplify their structure before we can extract useful information about the systems they represent. As the tools for doing these simplifications proliferate within the network literature,…

Physics and Society · Physics 2015-05-13 M. Rosvall , D. Axelsson , C. T. Bergstrom

The concept of symbolic sequences play important role in study of complex systems. In the work we are interested in ultrametric structure of the set of cyclic sequences naturally arising in theory of dynamical systems. Aimed at construction…

Mathematical Physics · Physics 2016-06-22 Vladimir Al. Osipov

We discuss ways in which tools from topology can be used to derive lower bounds for the circuit complexity of Boolean functions.

Combinatorics · Mathematics 2022-11-15 Anders Björner , Mark Goresky , Robert MacPherson
‹ Prev 1 8 9 10 Next ›