Results 71 to 80 of about 3,800,996 (288)
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Progression independent of relapse activity is a major determinant of long‐term disability in multiple sclerosis, but its immunopathologic basis remains incompletely understood. We investigated whether relapse‐independent progression in radiologically stable relapsing–remitting multiple sclerosis is associated with distinct ...
Antonio Bruno +19 more
wiley +1 more source
Visualization of binary decision diagram
, 2016 A binary decision diagram allows to represent a boolean function as direct acyclic graph structure and is very useful to explore very large state spaces. This data structure is widely used in NuSMV, a symbolic Model checker based on BDDs.
Dollé, Xavier
core
Binary decision diagram with minimum expected path length
, 2001 [[abstract]]We present methods to generate a Binary Decision Diagram (BDD) with minimum expected path length. A BDD is a generic data structure which is widely used in several fields.
TingTing Hwang +3 more
core +1 more source
Ordered Binary Decision Diagrams as Knowledge-Bases
Artificial Intelligence, 1999 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Takashi Horiyama, Toshihide Ibaraki
openaire +3 more sources
White Matter and Perivascular Imaging Changes in Alzheimer's Disease and Cerebral Amyloid Angiopathy
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Peak‐width of skeletonized mean diffusivity (PSMD) and diffusion tensor imaging–analysis along the perivascular space (DTI‐ALPS), reflecting white matter integrity and glymphatic function, are altered in Alzheimer's disease (AD).
Debina Laishram +3 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Background We aimed to identify the proportion of individuals with a confirmed diagnosis of childhood absence epilepsy (CAE) or juvenile absence epilepsy (JAE) who show a negative routine EEG (rEEG), and to determine the main factors associated with this finding.
Francesco Fortunato +7 more
wiley +1 more source
Improved MDD Algorithm for Mission Reliability Estimation of an Escort Formation
IEEE Access, 2020 An escort formation is a phased mission system of systems (PMSoS), which is composed of multiple ships with different functions. The configuration of the formation and success criteria for a mission may vary in different phases.
Ruibing Bian +3 more
doaj +1 more source
On the error resilience of ordered binary decision diagrams
Theoretical Computer Science, 2015 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 manipulating discrete structures and Boolean functions.
Anna Bernasconi 0001 +2 more
openaire +4 more sources
Endothelial Cell Proteins as Biomarkers in Susac Syndrome
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Susac syndrome (SS) is a rare CD8+ T cell–mediated microangiopathy affecting the brain, retina, and auditory labyrinth. Endothelial injury is thought to be a central mechanism; however, no circulating disease biomarkers are known. We performed targeted proteomic profiling to identify circulating endothelial‐associated proteins as ...
Rohit Benjamin +11 more
wiley +1 more source
Truth tables to binary decision diagrams [PDF]
, 2020 Model transformation tools have reached a considerable level of maturity in the core features, and are currently developing in many directions. Some tools are focusing on providing higher performance for large models or complex transformations. Others focus on bidirectionality, visualisation, traceability, or verifiability, among other research ...
Antonio García-Domínguez, Georg Hinkel
openaire +1 more source