Results 1 to 10 of about 240,562 (189)
Extracting concepts from triadic contexts using Binary Decision Diagram [PDF]
Journal of Universal Computer Science, 2022 Due to the high complexity of real problems, a considerable amount of research that deals with high volumes of information has emerged. The literature has considered new applications of data analysis for high dimensional environments in order to manage ...
Julio Cesar Vale Neves +2 more
doaj +3 more sources
An Improved Algorithm for Network Reliability Evaluation [PDF]
Journal of Artificial Intelligence and Data Mining, 2013 Binary Decision Diagram (BDD) is a data structure proved to be compact in representation and efficient in manipulation of Boolean formulas. Using Binary decision diagram in network reliability analysis has already been investigated by some researchers ...
Mohammad Ghasemzadeh
doaj +1 more source
Synthesis of quantum circuits based on incompletely specified functions and if-decision diagrams
Журнал Белорусского государственного университета: Математика, информатика, 2021 The problem of synthesis and optimisation of logical reversible and quantum circuits from functional descriptions represented as decision diagrams is considered.
Anatoly A. Prihozhy
doaj +1 more source
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
IEEE Access, 2022 Attribute-based blind signature is used to realize the blind signature of messages by multiple people, and it is suitable for electronic payment services in the cloud.
Rui Ma, Linyue Du
doaj +1 more source
e-Prime: Advances in Electrical Engineering, Electronics and Energy, 2023 This paper introduces the development of NOT, OR, and AND logic gates utilizing a 2:1 Multiplexer (MUX) based on a titanium-diffused lithium niobate electro-optic Mach–Zehnder interferometer.
Sourabh Kumar Das, Nirmalya Pahari
doaj +1 more source
Equational Binary Decision Diagrams [PDF]
, 2007 We allow equations in binary decision diagrams (BDD). The resulting objects are called EQ-BDDs. A straightforward notion of reduced ordered EQ-BDDs (EQ-OBDD) is defined, and it is proved that each EQ-BDD is logically equivalent to an EQ-OBDD. Moreover, on EQOBDDs satisfiability and tautology checking can be done in constant time.
Groote, J.F., Pol, van de, J.C.
openaire +3 more sources
IEEE Access, 2020 With the continuous shrinkage of transistor sizes in very large scale integrated circuits, power consumption forms a serious concern to be tackled. With their ability to allow for zero energy dissipation, reversible circuits have been considered as ...
Baker K. Abdalhaq +2 more
doaj +1 more source
On binary decision hypertree (hyperdiagram) [PDF]
AUT Journal of Mathematics and ComputingIn computer science, a binary decision diagram is a data structure that is used to represent a Boolean function and to consider a compressed representation of relations.
Mohammad Hamidi, Marzieh Rahmati
doaj +1 more source
Exploring Different Paradigms to Extract Proper Implications From High Dimensional Formal Contexts
IEEE Access, 2020 Formal Concept Analysis (FCA) is an applied mathematical technique for data analysis, in which the relations between objects and attributes are identified.
Julio C. V. Neves +5 more
doaj +1 more source