Results 11 to 20 of about 357,721 (279)
Warning Decision-Making for Landslide Dam Breaching Flood Using Influence Diagrams
Frontiers in Earth Science, 2021 Warning and evacuation are among the most effective ways for saving human lives and properties from landslide dam hazards. A new warning decision model for landslide dam break is developed using Influence Diagrams to minimize the total losses.
Yan Zhu +6 more
doaj +1 more source
Three-Way Concept Acquisition and Attribute Characteristic Analysis Based on Pictorial Diagrams [PDF]
Jisuanji kexue yu tansuo, 2022 Three-way concepts analysis, an effective tool for knowledge discovery, is a combination of three-way decision and formal concept analysis. Based on the connections between three-way concepts and formal concepts, the method of obtaining three-way ...
WAN Qing, MA Yingcang, LI Jinhai
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
Monitoring the daily evolution and extent of snow drought [PDF]
Natural Hazards and Earth System Sciences, 2022 Snow droughts are commonly defined as below-average snowpack at a point in time, typically 1 April in the western United States (wUS). This definition is valuable for interpreting the state of the snowpack but obscures the temporal evolution of snow ...
B. J. Hatchett +2 more
doaj +1 more source
On the Error Resilience of Ordered Binary Decision Diagrams [PDF]
, 2014 Ordered Binary Decision Diagrams (OBDDs) are a data structure that is used in an increasing number of fields of Computer Science (e.g., logic synthesis, program verification, data mining, bioinformatics, and data protection) for representing and ...
Bernasconi, Anna +2 more
core +3 more sources
Software-based self-test generation for microprocessors with high-level decision diagrams; pp. 48–61 [PDF]
Proceedings of the Estonian Academy of Sciences, 2014 This paper presents a novel approach to automated behavioural level test program generation for microprocessors using the model of high-level decision diagrams (HLDD) for representing instruction sets.
Artjom Jasnetski +3 more
doaj +1 more source
Binary Decision Diagrams: from Tree Compaction to Sampling
, 2020 Any Boolean function corresponds with a complete full binary decision tree. This tree can in turn be represented in a maximally compact form as a direct acyclic graph where common subtrees are factored and shared, keeping only one copy of each unique ...
A Genitrini +9 more
core +1 more source
DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction [PDF]
, 2008 Recently much attention has been paid to quantum circuit design to prepare for the future "quantum computation era." Like the conventional logic synthesis, it should be important to verify and analyze the functionalities of generated quantum circuits ...
Miller, D. Michael +2 more
core +2 more sources
Directed expected utility networks [PDF]
, 2016 A variety of statistical graphical models have been defined to represent the conditional independences underlying a random vector of interest. Similarly, many different graphs embedding various types of preferential independences, such as, for example ...
Leonelli, Manuele, Smith, Jim Q.
core +3 more sources
Energies, 2019 The wind energy industry is expanding in order to be able to meet the current and future energy demand, and is supported by governments in that renewable energy investment has been made.
Fausto Pedro García Márquez +2 more
doaj +1 more source