Results 71 to 80 of about 9,378 (263)

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

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

CSF Cytokine Network Organization Predicts Progression Independent of Relapse and MRI Activity in Multiple Sclerosis

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, Matteo Conti, Ettore Dolcetti, Federica Azzolini, Angela Borrelli, Roberta Fantozzi, Mario Stampanoni Bassi, Giovanni Galifi, Giuseppe Maccarrone, Luca Montaguti, Marco Cervigni, Maddalena Dal Pozzo, Roberto Furlan, Annamaria Finardi, Girolama Alessandra Marfia, Marco Salvetti, Antonella Conte, Fabio Buttari, Diego Centonze, Luana Gilio   +19 more
wiley   +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, Valentina Ciriani, Lorenzo Lago   +2 more
openaire   +4 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

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

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

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

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