Results 101 to 110 of about 3,636,570 (292)

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, Valentina Ciriani, Lorenzo Lago   +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, Yue Andy Qi, Ying Hao, Catherine DeMarino, Samuel Darko, Irene Cortese, Daniel S. Reich, María I. Gaitán, Steven Jacobson, Bridgett J. Billioux, Bryan Smith, Avindra Nath   +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

Reserves, Injury Severity, and Outcomes in Traumatic Brain Injury: A CENTER‐TBI Observational Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Reserve refers to the brain's ability to maintain function after an injury and strongly relates to traumatic brain injury (TBI) outcomes. This study examined (1) whether associations between pre‐injury reserve proxies and outcomes differed across injury severity categories, and (2) whether the impact of injury severity varied across ...
Natascha Ekdahl, Marika C. Möller, Lindsay Wilson, Anne Vik, Toril Skandsen, Jonas Stenberg, CENTER‐TBI participants and investigators   +6 more
wiley   +1 more source

Query Learning Algorithm for Ordered Multi-Terminal Binary Decision Diagrams

, 2023
We propose a query learning algorithm for ordered multi-terminal binary decision diagrams (OMTBDDs) using at most n equivalence and 2n(l\lcei\log_2 m\rceil+ 3n) membership queries by extending the algorithm for ordered binary decision diagrams (OBDDs ...
Nakamura, Atsuyoshi
core  

Binary-Decision-Diagrams for Set Abstraction

CoRR, 2015
Whether explicit or implicit, sets are a critical part of many pieces of software. As a result, it is necessary to develop abstractions of sets for the purposes of abstract interpretation, model checking, and deductive verification. However, the construction of effective abstractions for sets is challenging because they are a higher-order construct. It
openaire   +3 more sources

Utility of the APE2 Score as a Diagnostic Tool for Autoimmune Encephalitis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To retrospectively evaluate the diagnostic performance of the Antibody Prevalence in Epilepsy and Encephalopathy (APE2) score relative to clinician‐adjudicated autoimmune encephalitis (AE) and the Graus criteria in a tertiary neuroimmunology referral cohort, including antibody‐negative AE.
Bijoya Basu, Sophia F. Damman, Samhitha M. Rai, Hesham Abboud   +3 more
wiley   +1 more source

Binary Decision Diagrams

, 2008
Decision diagrams are a natural representation of finite functions. The obvious complexity measures are length and size which correspond to time and space of computations.
Ingo Wegener, Detlef Sieling, Beate Bollig, Martin Sauerhoff   +3 more
core  

Clinical Impact of MGMT Promoter Methylation in IDH‐Mutant Gliomas: Influence of Threshold Selection and Clinical Confounding

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background The clinical relevance of MGMT promoter methylation in IDH‐mutant gliomas remains controversial in the era of molecular classification. We aimed to systematically evaluate its clinical relevance by integrating quantitative assessment, cutoff exploration, and adjustment for clinical confounding.
Haihui Jiang, Linxi Cao, Xiaodong Chen, Siqi Tong, Qinghui Zhu, Jun Yang, Song Lin, Yong Cui   +7 more
wiley   +1 more source

Factored Edge-Valued Binary Decision Diagrams

, 1997
Factored Edge-Valued Binary Decision Diagrams form an extension to Edge-Valued Binary Decision Diagrams. By associating both an additive and a multiplicative weight with the edges, FEVBDDs can be used to represent a wider range of functions concisely. As
Paul Tafertshofer, Massoud Pedram
core   +1 more source