Results 81 to 90 of about 3,636,570 (292)
Decision making with decision event graphs [PDF]
, 2010 We introduce a new modelling representation, the Decision Event Graph (DEG), for asymmetric multistage decision problems. The DEG explicitly encodes conditional independences and has additional significant advantages over other representations of ...
Thwaites, Peter +2 more
core
Functional test generation using binary decision diagrams [PDF]
, 1987 This paper proposes an extension to the D-algorithm, for integrated circuits described using binary decision diagrams. An LSI/VLSI circuit is modeled as a network of interconnected modules such as counters, registers, ROMs, RAMs, decoders, and ...
Abadir, M.S., Reghbati, H.K.
core +1 more source
Topology planning for autonomous MMGs: an ordered binary decision diagram-based approach
IET Smart Grid, 2019 This paper finds its motivation from the perspective of utility planners, where the flexibility of choice while reconfiguring a distribution system into Multi-Micrgrids (MMGs) is critical.
Hafiz Anwar Ullah Khan +3 more
doaj +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background Factors associated with relapse course and disability in myelin oligodendrocyte glycoprotein antibody‐associated disease (MOGAD) remain incompletely understood. Objectives To identify clinical and modifiable factors associated with relapse and disability in MOGAD. Methods In this ambispective multicentre cohort study using data from
Yingtao Wang +23 more
wiley +1 more source
EMPLOYING COMPLEXITY ESTIMATES OF BINARY DECISION DIAGRAMS IN THE SYNTHESIS OF LOGICAL CIRCUITS
Informatika, 2016 A formula is suggested to evaluate the area of a logical circuit that is built in a given library of logical elements according to the BDD (Binary Decision Diagram) representation of a system of Boolean functions. The experimental results of synthesis of
N. A. Avdeev, P. N. Bibilo
doaj
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Building on our prior Behavioral Risk Factor Surveillance System analysis identifying adults aged 18–39 as the primary driver of the national increase in self‐reported cognitive disability, we examined factors associated with this rise using 2013–2024 U.S. BRFSS data. Methods We analyzed U.S.
Adam de Havenon +9 more
wiley +1 more source
Comparing BDD and SAT based techniques for model checking Chaum's Dining Cryptographers Protocol [PDF]
, 2006 We analyse different versions of the Dining Cryptographers protocol by means of automatic verification via model checking. Specifically we model the protocol in terms of a network of communicating automata and verify that the protocol meets the anonymity
Raimondi, F. +5 more
core
Quantum and classical nondeterministic OBDDs
Учёные записки Казанского университета: Серия Физико-математические наукиA model of nondeterministic ordered binary decision diagrams (NOBDDs) was analyzed. A method for proving a lower bound on the complexity of quantum NOBDDs was developed.
A. F. Gainutdinova
doaj +1 more source
A rewriting approach to binary decision diagrams
The Journal of Logic and Algebraic Programming, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
H. Zantema (Hans) +1 more
openaire +5 more sources
Arterial Spin‐Labeling MRI at the Cortical‐CSF Interface: A Novel Biomarker in Alzheimer Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background/Objective Arterial spin‐labeling (ASL) MRI can measure perfusion signal adjacent to CSF spaces and may provide information regarding CSF‐adjacent water transport physiology. We developed an automated pipeline to extract cortical‐CSF interface (IF) perfusion for comparison between Alzheimer disease (AD) and cognitively normal ...
Mona Asghariahmadabad +22 more
wiley +1 more source