Results 151 to 160 of about 12,133 (300)

High‐Resolution MRI Revealed Different Etiology‐Specific Associations With Cerebral Infarction in Adult Moyamoya Vasculopathy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective High‐resolution MRI enables detailed assessment of intracranial vessel wall pathology in moyamoya vasculopathy. We aimed to classify adult moyamoya vasculopathy etiologies using high‐resolution MRI and to examine subtype‐specific associations between high‐resolution MRI features and ischemic infarction.
Guangsong Han, Jiachun Pan, Yuehui Hong, Xiaoyuan Fan, Ming Yao, Lixin Zhou, Yicheng Zhu, Feng Feng, Jun Ni   +8 more
wiley   +1 more source

On the adequacy of graph rewriting for simulating term rewriting

, 1992
: "Several authors have investigated the correspondence between graph rewriting and term rewriting. Almost invariably they have considered only acyclic graphs.
Kennaway, J. R.
core  

Advancing Age Modulates Associations Between Cognitive Impairment and Brain Volumes in Early MS

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Cognitive impairment is common in multiple sclerosis (MS), but manifestations following the first demyelinating event are relatively unexplored. We investigated cross‐sectional associations between magnetic resonance imaging (MRI)–derived brain volumes and the presence of cognitive impairment outcomes five years after the first ...
Piriyankan Ananthavarathan, Marco Pitteri, Michael Foster, Sara Collorone, Sara Salama, Elisa Colato, Ferran Prados, Baris Kanber, Marios Yiannakas, Claudia A. M. Gandini Wheeler‐Kingshott, Indran Davagnanam, Frederik Barkhof, Declan Chard, Olga Ciccarelli, Ahmed Toosy   +14 more
wiley   +1 more source

Predictive Ability of Plasma p‐tau217 for β‐Amyloid Status: A Prospective Multicenter Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Plasma tau phosphorylated at threonine 217 (p‐tau217) measured with fully automated platforms has shown high accuracy for Alzheimer's disease (AD) diagnosis, but real‐world multicenter data remain limited. We aimed to validate the diagnostic performance of p‐tau217 for identifying AD pathology in a real‐world multicenter cohort ...
Miquel Massons, Nuria Guillen, Jordi Sarto, Neus Falgàs, Sergi Borrego‐Écija, Diana Esteller‐Gauxax, Magda Castellví, Adrià Tort‐Merino, Agnès Pérez‐Millan, Anna Antonell, Josep M. Augè Fradera, Gerard Piñol, Iolanda Riba, Anna Carnes‐Vendrell, Marta Cullell, Maria Teresa Osuna, Lorena Bajo, Teresa Romero, Eva Bonjoch, Joan Bello, Susana Fernández, Marta Balagué, Isabel Gómez‐Ruiz, Anuncia Boltes, Claustre Pont, Raquel Cuevas, Sara Carrillo, Laura Iglesias, Teresa Maria Casadevall Codina, Lorena Grau Guinea, Fernando Jose Espada, Raquel Sánchez‐Valle, Mircea Balasa, Albert Lladó   +33 more
wiley   +1 more source

Termination of Lazy Rewriting Revisited

, 2007
Lazy rewriting is a proper restriction of term rewriting that dynamically restricts the reduction of certain arguments of functions in order to obtain termination.
Gramlich, Bernhard, Schernhammer, Felix
core  

Understanding Further the Phenotypic Spectrum of Central Nervous System Inflammatory Demyelinating Disorders Using Unsupervised Clustering

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Central nervous system (CNS) inflammatory demyelinating syndromes, including multiple sclerosis (MS), aquaporin‐4 antibody–positive neuromyelitis optica spectrum disorder (AQP4 + NMOSD), and myelin oligodendrocyte glycoprotein (MOG) antibody–associated disease (MOGAD), occasionally overlap.
Bade Gulec, Elif Everest, Melih Tutuncu, Ugur Bilge, Sabahattin Saip, Ugur Uygunoglu, Aksel Siva   +6 more
wiley   +1 more source

Natural rewriting for general term rewriting systems

, 2004
. We address the problem of an efficient rewriting strategy for general term rewriting systems. Several strategies have been proposed over the last two decades for rewriting, the most efficient of all being the natural rewriting strategy [9].
Santiago Escobar, Prasanna Thati, José Meseguer   +2 more
core  

Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Technique [PDF]

, 2009
A static dependency pair method, proposed by us, can effectively prove termination of simply-typed term rewriting systems (STRSs). The theoretical basis is given by the notion of strong computability.
SAKAI, Masahiko, KUSAKARI, Keiichirou
core  

Comparing the Effect of Semi‐Immersive Virtual Reality, Computerized Cognitive Training, and Traditional Rehabilitation on Cognitive Function in Multiple Sclerosis: A Randomized Clinical Trial

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Cognitive impairment is a common non‐motor symptom in Multiple Sclerosis (MS), negatively affecting autonomy and Quality of Life (QoL). Innovative rehabilitation strategies, such as semi‐immersive virtual reality (VR) and computerized cognitive training (CCT), may offer advantages over traditional cognitive rehabilitation (TCR ...
Maria Grazia Maggio, Desiree Latella, Lilla Bonanno, Paulo Cezar Rocha dos Santos, Marcos Maldonado‐Díaz, Meir Plotnik, Rosaria De Luca, Angelo Quartarone, Rocco Salvatore Calabrò   +8 more
wiley   +1 more source

White Matter Hyperintensity Burden and Short‐Interval Change Associated With Sleep Apnoea in the UK Biobank

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Purpose White matter hyperintensities (WMH) are a core neuroimaging marker of cerebral small vessel disease (CSVD). Sleep apnoea (SA) is a recognized vascular risk factor, but its associations with regional WMH burden, short‐interval WMH change and cognitive performance in population‐based cohorts remain incompletely defined. We
Peng Cheng, Diego Z. Carvalho, Shahid Karim, Anwar Chahal, Virend K. Somers   +4 more
wiley   +1 more source