Results 71 to 80 of about 248 (214)

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   +3 more sources

Clinical and Modifiable Factors Associated With Disability and Relapse in MOGAD: A Multicentre Cohort Study

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, Shaoxin Tao, Qiujia Wang, Xiaoyu Xu, Hui Yao, Zheng Liu, Dawei Li, Zhandong Qiu, Jinming Han, Jiangwei Xia, Qi Wang, Jun Sun, Kai Shao, Jiao Li, Shishuang Ruan, Yi Zhong, Jun Guo, Shougang Guo, Yue Huang, Guoliang Chai, Tao Jin, Hongyu Zhou, Junwei Hao, Yinan Zhao   +23 more
wiley   +1 more source

Factors Associated With the Rising Trend in Self‐Reported Cognitive Disability Among U.S. Adults Aged 18–39 From 2013–2024

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Building on our prior Behavioral Risk Factor Surveillance System analysis identifying adults aged 18–39 as the primary driver of the national increase in self‐reported cognitive disability, we examined factors associated with this rise using 2013–2024 U.S. BRFSS data. Methods We analyzed U.S.
Adam de Havenon, Ka‐Ho Wong, Mirriam Mananah, Christopher D. Anderson, Ada Fenick, Amy Arnsten, Arman Fesharaki‐Zadeh, James C. McPartland, Mary L. Adams, Kevin N. Sheth   +9 more
wiley   +1 more source

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   +2 more sources

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   +2 more sources

Arterial Spin‐Labeling MRI at the Cortical‐CSF Interface: A Novel Biomarker in Alzheimer Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background/Objective Arterial spin‐labeling (ASL) MRI can measure perfusion signal adjacent to CSF spaces and may provide information regarding CSF‐adjacent water transport physiology. We developed an automated pipeline to extract cortical‐CSF interface (IF) perfusion for comparison between Alzheimer disease (AD) and cognitively normal ...
Mona Asghariahmadabad, Pouya Metanat, Michael Thomas, Luke W. Bonham, Tyson Lam, Mehmet Kurt, Hong Nguyen, Tara Ellingson, Mauro Zucchelli, Stefano Casagranda, Quin Lu, Andreas M. Rauschecker, Leo Sugrue, Luis E. Savastano, Christopher P. Hess, Kamalini Ranasinghe, S. Andrew Josephson, Bruce L. Miller, Jennifer S. Yokoyama, Gil D. Rabinovici, Peter A. Ljubenkov, Lawren VandeVrede, Kambiz Nael   +22 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

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

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

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