Results 71 to 80 of about 50,577 (261)

Optimization Bounds from Binary Decision Diagrams

INFORMS Journal on Computing, 2014
We explore the idea of obtaining bounds on the value of an optimization problem from a discrete relaxation based on binary decision diagrams (BDDs). We show how to construct a BDD that represents a relaxation of a 0-1 optimization problem, and how to obtain a bound for a separable objective function by solving a shortest (or longest) path problem in ...
David Bergman, André A. Ciré, Willem Jan van Hoeve, John N. Hooker   +3 more
openaire   +2 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, Guangwei Du, Sangam Kanekar, Nandakumar Nagaraja   +3 more
wiley   +1 more source

Impact of Age on the Diagnostic Yield of Routine EEG in People With Childhood or Juvenile Absence Epilepsy: A Cross‐Sectional Study

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, Alessia Giugno, Miriam Sturniolo, Enrico Fratto, Pio Zoleo, Francesca Felicia Operto, Ilaria Sammarra, Antonio Gambardella   +7 more
wiley   +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   +1 more source

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

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

Safety of Prescription Nonsteroidal Anti‐inflammatory Drugs in Adults With Inflammatory Bowel Disease: Data From a Large Administrative Claims Cohort

Arthritis Care &Research, EarlyView.
Objective The concern that nonsteroidal anti‐inflammatory drugs (NSAIDs) may precipitate flares of inflammatory bowel disease (IBD) has limited their use in managing musculoskeletal symptoms in those with IBD, but safety data are mixed. Methods This retrospective cohort study included patients with IBD aged at least 18 years from Optum's deidentified ...
Adam S. Mayer, Rui Xiao, Meenakshi Bewtra, Michael D. George, Pamela F. Weiss   +4 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  

Formal Verification Method of CTCS-2 Level Train Control Engineering Data Based on the Reduced Ordered Binary Decision Diagram

IEEE Access
The precise generation of train control curves for the on-board Automatic Train Protection (ATP) of the Chinese Train Control System Level 2 (CTCS-2) relies significantly on accurate train control engineering data, which serves as a critical element in ...
Hao Zhang, Qing Xu, Ke Ye
doaj   +1 more source