English
Related papers

Related papers: Analysis of Boolean Equation Systems through Struc…

200 papers

Established methods for structural elicitation typically rely on code modelling standard graphical models classes, most often Bayesian networks. However, more appropriate models may arise from asking the expert questions in common language…

Methodology · Statistics 2018-07-11 Rachel L. Wilkerson , Jim Q. Smith

Interaction graphs provide an important qualitative modeling approach for System Biology. This paper presents a novel approach for construction of interaction graph with the help of Boolean function decomposition. Each decomposition part…

Systems and Control · Computer Science 2014-09-26 Jayanta Kumar Das , Ranjeet Kumar Rout , Pabitra Pal Choudhury

A parameterised Boolean equation system (PBES) is a set of equations that defines sets as the least and/or greatest fixed-points that satisfy the equations. This system is regarded as a declarative program defining functions that take a…

Logic in Computer Science · Computer Science 2017-01-04 Yutaro Nagae , Masahiko Sakai , Hiroyuki Seki

Boolean networks have been successfully used in modelling gene regulatory networks. In this paper we propose a reduction method that reduces the complexity of a Boolean network but keeps dynamical properties and topological features and…

Quantitative Methods · Quantitative Biology 2009-07-06 Alan Veliz-Cuba

Methods of solving big Boolean equations can be broadly classified as algebraic, tabular, numerical and map methods. The most prominent among these classes are the algebraic and map methods. This paper surveys and compares these two types…

Logic in Computer Science · Computer Science 2023-02-21 Ali Muhammad Ali Rushdi

We develop a direct method to recover an orthoalgebra from its poset of Boolean subalgebras. For this a new notion of direction is introduced. Directions are also used to characterize in purely order-theoretic terms those posets that are…

Quantum Algebra · Mathematics 2020-08-31 John Harding , Chris Heunen , Bert Lindenhovius , Mirko Navara

We estimate the Boolean complexity of multiplication of structured matrices by a vector and the solution of nonsingular linear systems of equations with these matrices. We study four basic most popular classes, that is, Toeplitz, Hankel,…

Symbolic Computation · Computer Science 2014-04-21 Victor Y. Pan , Elias Tsigaridas

The presented work focuses on problems from determinant theory, set theory and topology. The term graph is the binding element that connects these problems. Graphs are distinguished by their geometrical simplicity, which helps in showing…

History and Overview · Mathematics 2024-12-24 Ágnes Cseh

Boolean networks have been used in a variety of settings, as models for general complex systems as well as models of specific systems in diverse fields, such as biology, engineering, and computer science. Traditionally, their properties as…

Dynamical Systems · Mathematics 2024-02-02 Matthew Wheeler , Claus Kadelka , Alan Veliz-Cuba , David Murrugarra , Reinhard Laubenbacher

For causal discovery in the presence of latent confounders, constraints beyond conditional independences exist that can enable causal discovery algorithms to distinguish more pairs of graphs. Such constraints are not well-understood yet. In…

Machine Learning · Computer Science 2024-06-14 Thijs van Ommen

This paper describes a new approach to the problem of the structural research of clusters based on the theory of geodetic and k-geodetic graphs. We firmly believe that this same approach can be used when solving problems of correlation…

Discrete Mathematics · Computer Science 2017-07-17 Carlos E. Frasser , George N. Vostrov

We consider the problem of structure learning for linear causal models based on observational data. We treat models given by possibly cyclic mixed graphs, which allow for feedback loops and effects of latent confounders. Generalizing…

Statistics Theory · Mathematics 2020-08-21 Carlos Améndola , Philipp Dettling , Mathias Drton , Federica Onori , Jun Wu

Score-based approaches in the structure learning task are thriving because of their scalability. Continuous relaxation has been the key reason for this advancement. Despite achieving promising outcomes, most of these methods are still…

Machine Learning · Computer Science 2023-09-07 Quang-Duy Tran , Phuoc Nguyen , Bao Duong , Thin Nguyen

Graphical models can represent a multivariate distribution in a convenient and accessible form as a graph. Causal models can be viewed as a special class of graphical models that not only represent the distribution of the observed system…

Methodology · Statistics 2017-06-29 Christina Heinze-Deml , Marloes H. Maathuis , Nicolai Meinshausen

In the Matrix approach to graph transformation we represent simple digraphs and rules with Boolean matrices and vectors, and the rewriting is expressed using Boolean operators only. In previous works, we developed analysis techniques…

Discrete Mathematics · Computer Science 2009-11-16 Pedro Pablo Perez Velasco , Juan de Lara Jaramillo

This note is on the structures of line graphs and 2-variegated graphs. We have given here solutions of some graph equations involving line graphs and 2-variegated graphs.

Combinatorics · Mathematics 2025-08-08 Ranjan N. Naik

A graphical model is a statistical model that is associated to a graph whose nodes correspond to variables of interest. The edges of the graph reflect allowed conditional dependencies among the variables. Graphical models admit…

Methodology · Statistics 2016-06-09 Mathias Drton , Marloes H. Maathuis

Gaussian graphical models provide a powerful framework to reveal the conditional dependency structure between multivariate variables. The process of uncovering the conditional dependency network is known as structure learning. Bayesian…

Methodology · Statistics 2024-07-30 Lucas Vogels , Reza Mohammadi , Marit Schoonhoven , S. Ilker Birbil

We introduce a reducibility on classes of structures, essentially a uniform enumeration reducibility. This reducibility is inspired by the Friedman-Stanley paper on using Borel reductions to compare classes of countable structures. This…

Logic · Mathematics 2008-03-25 Wesley Calvert , Desmond Cummins , Sara Miller , Julia F. Knight

We consider the problem of solving a linear system of equations which involves complex variables and their conjugates. We characterize when it reduces to a complex linear system, that is, a system involving only complex variables (and not…

Rings and Algebras · Mathematics 2017-06-02 Cédric Josz