Results 81 to 90 of about 3,800,996 (288)

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

Compact Reconfigurable Binary-Decision-Diagram Logic Circuit on a GaAs Nanowire Network

, 2010
We describe a reconfigurable binary-decision-diagram logic circuit based on Shannon's expansion of Boolean logic function and its graphical representation on a semiconductor nanowire network.
Kasai S (Kasai Seiya), Miura K (Miura Kensuke), Shiratori Y (Shiratori Yuta), Wu NJ (Wu Nan-Jian), Jia R (Jia Rui), Shiratori, Y, Hokkaido Univ, Res Ctr Integrated Quantum Elect, North 13,West 8, Sapporo, Hokkaido 0608628, Japan.E-mail Address: siratori@rciqe.hokudai.ac.jp   +5 more
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

Learning ordered binary decision diagrams

, 1995
We study the learnability of ordered binary decision diagrams (obdds). We give a polynomial-time algorithm using membership and equivalence queries that finds the minimum obdd for the target respecting a given ordering. We also prove that both types of queries and the restriction to a given ordering are necessary if we want minimality in the output ...
Gavaldà Mestre, Ricard, Guijarro Guillem, David   +1 more
openaire   +2 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

A Failure Mechanism Cumulative Model for Reliability Evaluation of a k-Out-of-n System With Load Sharing Effect

IEEE Access, 2019
In this paper, we propose a failure mechanism cumulative model that considers the loading history of the load sharing effect in a k-out-of-n system. Three types of failure mechanisms are considered, continuous degradation, compound point degradation, and
Ying Chen, Xiaoyong Yu, Yingyi Li
doaj   +1 more source

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

Tool Artifact for "A Binary Decision Diagram Lifted Domain for Analyzing Program Families"

, 2020
This document shows how to install all required tools from the paper ¨A Binary Decision Diagram Lifted Domain for Analyzing Program Families¨ if there is INTERNET CONNECTION.
Aleksandar Dimovski
core   +1 more source

Optimization of Binary Decision Diagrams by Single-Grid Cellular Genetic Algorithm

Mathematics
This paper presents a new approach based on cellular genetic algorithms for the problem of optimizing the variable ordering of binary decision diagrams.
Iulian Furdu, Cosmin Tomozei, Bogdan Pătruț   +2 more
doaj   +1 more source

Binary Decision Diagrams as a HOL derived rule [PDF]

The Computer Journal, 1994
Binary Decision Diagrams (BDDs) are a representation for Boolean formulas which makes many operations, in particular tautology - checking, surprisingly efficient in important practical cases. In contrast to such custom decision procedures, the HOL theorem prover expands all proofs out to a sequence of extremely simple primitive inferences.
openaire   +2 more sources