Results 71 to 80 of about 3,612,733 (245)
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Neurochemical levels measured by brain MR spectroscopy (MRS) have been proposed as endpoints for clinical trials in early‐stage spinocerebellar ataxia (SCA) trials. We tested their trial‐readiness by quantifying neurochemicals in three affected brain regions in early‐stage cohorts of SCA2 and SCA3, examining their reproducibility in ...
James M. Joers +19 more
wiley +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
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
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To determine whether integration of serum neurofilament light chain (NfL) and cortical dysfunction improves diagnostic accuracy in amyotrophic lateral sclerosis (ALS) when applied alongside the Gold Coast criteria (GCC). Methods In this prospective study, 148 participants with suspected ALS were recruited (101 ALS and 47 with ALS ...
Aicee Dawn Calma +16 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
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
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
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
Decision diagrams in machine learning: an empirical study on real-life credit-risk data. [PDF]
Decision trees are a widely used knowledge representation in machine learning. However, one of their main drawbacks is the inherent replication of isomorphic subtrees, as a result of which the produced classifiers might become too large to be ...
Files, CM +3 more
core