Results 31 to 40 of about 65,002 (306)
Symbolic Magnifying Lens Abstraction in Markov Decision Processes [PDF]
, 2008 In this paper, we combine abstraction-refinement and symbolic techniques to fight the state-space explosion problem when model checking Markov decision processes (MDPs).
Luca de Alfaro +7 more
core +1 more source
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
Potential outcome and decision theoretic foundations for statistical causality
Journal of Causal Inference, 2023 In a recent work published in this journal, Philip Dawid has described a graphical causal model based on decision diagrams. This article describes how single-world intervention graphs (SWIGs) relate to these diagrams.
Richardson Thomas S., Robins James M.
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.
J.F. Groote (Jan Friso) +1 more
openaire +4 more sources
Fighter Equipment Contribution Evaluation Based on Maneuver Decision
IEEE Access, 2021 With the development of integrated technology and equipment systems, decision-making support has been increasingly applied in equipment research and development, especially in air combat.
Hanchen Lu, Boyi Wu, Junqing Chen
doaj +1 more source
Multivalued Decision Diagrams-Based Trust Level Analysis for Social Networks
IEEE Access, 2019 Interactions among different parties within social networks are greatly dependent on trust. Therefore, trust analysis is significant for solving social network related problems such as privacy protect, and rumor tracking and containment. This paper makes
Li Zhang +3 more
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
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog [PDF]
Logical Methods in Computer Science, 2012 We propose a novel, type-elimination-based method for reasoning in the description logic SHIQbs including DL-safe rules. To this end, we first establish a knowledge compilation method converting the terminological part of an ALCIb knowledge base into an ...
Sebastian Rudolph +2 more
doaj +1 more source
Management, 2019 Research question: This paper, on the example of strategic alliances in the automotive industry, investigates how diagrams could be useful in studying complex power relationships.
Mrdjan M. Mladjan, Dusan Z. Markovic
doaj +1 more source
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