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 +3 more
doaj +2 more sources
Contraction Heuristics for Tensor Decision Diagrams [PDF]
EntropyIn 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 +3 more
doaj +2 more sources
TeDDy: Templated decision diagram library
SoftwareX, 2023 Discrete functions are an integral part of numerous areas of research in mathematics and computer science. Efficient processing of such functions in a computer requires an appropriate representation.
Michal Mrena +2 more
doaj +2 more sources
Enhanced performance in automated diabetic retinopathy diagnosis achieved through Voronoi diagrams and artificial intelligence [PDF]
Scientific ReportsDiabetic 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 +4 more
doaj +2 more sources
A participatory systems approach for visualizing and testing implementation strategies and mechanisms: evidence adoption in community coalitions [PDF]
Implementation Science CommunicationsBackground The strengths of Implementation Science can be further enhanced by embracing methods that account for the complexity of real-world systems, complementing its existing focus on translating evidence into practice.
Travis R. Moore +3 more
doaj +2 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 +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
Practical Data-in-Use Protection Using Binary Decision Diagrams
IEEE Access, 2020 Protection of data-in-use, contrary to the protection of data-at-rest or data-in-transit, remains a challenge. Cryptography advances such as Fully Homomorphic Encryption (FHE) provide theoretical, albeit impractical, solutions to functionally-complete ...
Oleg Mazonka +4 more
doaj +1 more source
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 +3 more
doaj +1 more source