Results 21 to 30 of about 357,721 (279)
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
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
MALL proof equivalence is Logspace-complete, via binary decision diagrams [PDF]
, 2015 Proof equivalence in a logic is the problem of deciding whether two proofs are equivalent modulo a set of permutation of rules that reflects the commutative conversions of its cut-elimination procedure. As such, it is related to the question of proofnets:
Bagnol, Marc
core +3 more sources
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
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
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
The integrated dynamic land use and transport model MARS [PDF]
, 2008 Cities worldwide face problems like congestion or outward migration of businesses. The involved transport and land use interactions require innovative tools.
A Anas +17 more
core +1 more source
Parallelizing Quantum Simulation With Decision Diagrams
IEEE Transactions on Quantum EngineeringSince people became aware of the power of quantum phenomena in the domain of traditional computation, a great number of complex problems that were once considered intractable in the classical world have been tackled.
Shaowen Li +3 more
doaj +1 more source