Results 11 to 20 of about 65,002 (306)

GRAPES-DD: exploiting decision diagrams for index-driven search in biological graph databases [PDF]

BMC Bioinformatics, 2021
Background Graphs are mathematical structures widely used for expressing relationships among elements when representing biomedical and biological information. On top of these representations, several analyses are performed. A common task is the search of
Nicola Licheri, Vincenzo Bonnici, Marco Beccuti, Rosalba Giugno   +3 more
doaj   +2 more sources

Contraction Heuristics for Tensor Decision Diagrams [PDF]

Entropy
In this paper, we study the equivalence problem for quantum circuits: Given two quantum circuits, are they equivalent? We reduce this problem to the contraction problem of a tensor network.
Christian Bøgh Larsen, Simon Brun Olsen, Kim Guldstrand Larsen, Christian Schilling   +3 more
doaj   +2 more sources

Optimal Decision Diagrams for Classification

Proceedings of the AAAI Conference on Artificial Intelligence, 2023
Decision diagrams for classification have some notable advantages over decision trees, as their internal connections can be determined at training time and their width is not bound to grow exponentially with their depth. Accordingly, decision diagrams are usually less prone to data fragmentation in internal nodes.
Alexandre M. Florio, Pedro Martins, Maximilian Schiffer, Thiago Serra, Thibaut Vidal   +4 more
openaire   +3 more sources

Enhanced performance in automated diabetic retinopathy diagnosis achieved through Voronoi diagrams and artificial intelligence [PDF]

Scientific Reports
Diabetic retinopathy (DR), a serious eye condition in diabetic patients, requires early and precise detection for effective treatment. Late diagnosis and poor blood sugar control exacerbate this condition, highlighting the need for improved diagnostic ...
Mac Gayver da Silva Castro, Francisco Vagnaldo Fechine Jamacaru, Manoel Odorico de Moraes Filho, Paulo Roberto Leitão de Vasconcelos, Conceição Aparecida Dornelas   +4 more
doaj   +2 more sources

Difference Decision Diagrams [PDF]

, 1999
This paper describes a newdata structure, difference decision diagrams (DDDs), for representing a Boolean logic over inequalities of the form x-y ≤ c where the variables are integer or real-valued.We give algorithms for manipulating DDDs and for determining validity, satisfiability, and equivalence.
Jesper B. Møller, Jakob Lichtenberg, Henrik Reif Andersen, Henrik Hulgaard   +3 more
openaire   +2 more sources

Reliability Dynamic Analysis by Fault Trees and Binary Decision Diagrams

Information, 2020
New wind turbines are becoming more complex and reliability analysis of them rising in complexity. The systems are composed of many components. Fault tree is used as an useful tool to analyze these interrelations and provide a scheme of the wind turbine,
Fausto Pedro García Márquez, Isaac Segovia Ramírez, Behnam Mohammadi-Ivatloo, Alberto Pliego Marugán   +3 more
doaj   +3 more sources

Multiobjective Optimization by Decision Diagrams [PDF]

, 2016
In this paper we present a technique for solving multiobjective discrete optimization problems using decision diagrams. The proposed methodology is related to an algorithm designed for multiobjective optimization for dynamic programming, except utilizing decision diagram theory to reduce the state space, which can lead to orders of magnitude ...
David Bergman, André Augusto Ciré
openaire   +4 more sources

Novel Reduction Methods for Decision Diagrams

IEEE Access, 2023
We propose a novel method of reduction for binary-based decision diagrams (DD) exploiting the similarities between Boolean functions. Conventional methods are able to remove redundant parts of DD that adhere to (or represent) identical structures.
Jan Lucansky, Ivan Kotuliak
doaj   +1 more source

Automated Parallel Test Forms Assembly using Zero-suppressed Binary Decision Diagrams

IEEE Access, 2023
Recently, through the progress achieved in the study of computer science, automated test assemblies of parallel test forms, for which each form has equivalent measurement accuracy but with a different set of items, have emerged as a new standard tool. An
Kazuma Fuchimoto, Shin-Ichi Minato, Maomi Ueno   +2 more
doaj   +1 more source

Synthesis of parallel adders from if-decision diagrams

Системный анализ и прикладная информатика, 2020
Addition is one of the timing critical operations in most of modern processing units. For decades, extensive research has been done devoted to designing higher speed and less complex adder architectures, and to developing advanced adder implementation ...
A. A. Prihozhy
doaj   +1 more source