Results 101 to 110 of about 3,877,335 (299)

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

Restructuring of Arithmetic Circuits with Biconditional Binary Decision Diagrams [PDF]

Biconditional Binary Decision Diagrams (BBDDs) are a novel class of canonical binary decision diagrams where the branching condition, and its associated logic expansion is biconditional on two variables.
De Micheli, Giovanni, Amarù, Luca, Balatsoukas Stimming, Alexios, Burg, Andreas, Gaillardon, Pierre-Emmanuel   +4 more
core   +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

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

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

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

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

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  

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

Decision making with decision event graphs [PDF]

, 2010
We introduce a new modelling representation, the Decision Event Graph (DEG), for asymmetric multistage decision problems. The DEG explicitly encodes conditional independences and has additional significant advantages over other representations of ...
Thwaites, Peter, Smith, J. Q., Cowell, Robert G.   +2 more
core