Results 61 to 70 of about 47,988 (269)

Logic, self-awareness and self-improvement: The metacognitive loop and the problem of brittleness [PDF]

, 2005
This essay describes a general approach to building perturbation-tolerant autonomous systems, based on the conviction that artificial agents should be able notice when something is amiss, assess the anomaly, and guide a solution into place.
Anderson, Dr. Michael L., Perlis, Prof. Donald R.   +1 more
core  

Real‐World Performance of CSF Kappa Free Light Chains in the 2024 McDonald Criteria

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Kappa free light chains (KFLCs) in the cerebrospinal fluid (CSF) have a similar performance to CSF‐restricted oligoclonal bands (OCB) for multiple sclerosis (MS) diagnosis. To help with implementation, we set out to resolve several remaining uncertainties: (1) performance in a real‐world cohort and the 2024 McDonald criteria; (2 ...
Maya M. Leibowitz, Ryan Cooper, Stefania Kaninia, Kathryn I. Challis, Will Greenway, Maria Bonello, Mahmoud Elbahnasawi, Deborah T. Shode, Dominika Gajdasik, Victor Iliev, Alison M. E. Whitelegg, Ian Galea   +11 more
wiley   +1 more source

Brainstem and Cerebellar Volume Loss and Associated Clinical Features in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Progressive Supranuclear Palsy (PSP) is a neurodegenerative ‘tauopathy’ with predominating pathology in the basal ganglia and midbrain. Caudal tau spread frequently implicates the cerebellum; however, the pattern of atrophy remains equivocal.
Chloe Spiegel, Timothy P. Siejka, Cassandra Marotta, Josh J. Y. Lee, Kelly Bertram, Terence J. O'Brien, Meng Law, Lucy Vivash, Ian H. Harding   +8 more
wiley   +1 more source

GUEST EDITOR'S NOTE

Psychological Topics, 2019
This thematic issue of the journal Psychological Topics is dedicated to meta-reasoning, a study of metacognitive processes of monitoring and control involved in thinking and complex cognition.
Igor Bajšanski
doaj   +2 more sources

Rewriting and Well-Definedness within a Proof System

, 2010
Term rewriting has a significant presence in various areas, not least in automated theorem proving where it is used as a proof technique. Many theorem provers employ specialised proof tactics for rewriting.
Ana Bove, Ekaterina Komendantskaya, Issam Maamria, Michael Butler, Milad Niqui   +4 more
core   +2 more sources

Two-Level Meta-reasoning in Coq [PDF]

, 2002
The use of higher-order abstract syntax is central to the direct, concise, and modular specification of languages and deductive systems in a logical framework. Developing a framework in which it is also possible to reason about such deductive systems is particularly challenging. One difficulty is that the use of higher-order abstract syntax complicates
openaire   +1 more source

Air Pollution and the Risk and Progression of Multiple Sclerosis: A Systematic Review and Meta‐Analysis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Purpose Air pollution has been linked to several neurological conditions, including stroke and neurodegenerative diseases. Evidence regarding its association with multiple sclerosis (MS) remains conflicting, limited by small sample sizes. Methods PubMed, Embase, Scopus, and Cochrane controlled register of trials (CENTRAL) were searched on ...
Ahmad A. Toubasi, Thuraya N. Al‐Sayegh
wiley   +1 more source

IV Thrombolysis Facilitates Interventional Reperfusion in Non‐Cardioembolic but Not Cardioembolic Stroke

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Intravenous thrombolysis (IVT) before thrombectomy for ischemic stroke may alter clot structure and procedural performance. We investigated how IVT relates to thrombectomy metrics across stroke etiologies. Methods We performed a time‐to‐event analysis of consecutive patients with anterior circulation large vessel occlusion (acLVO ...
Annahita Sedghi, Daniel P. O. Kaiser, Martin Arndt, Norma J. Diel, Erik Simon, Witold H. Polanski, Volker Puetz, Hagen B. Huttner, Timo Siepmann   +8 more
wiley   +1 more source

Memory and Resting‐State Connectivity in Acute Transient Global Amnesia: A Case–Control fMRI Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background and Objectives Transient global amnesia (TGA) is a striking model of isolated amnesia. While hippocampal lesions are well described, the network‐level mechanisms and the precise neuropsychological profile remain debated. Our objective was thus to characterize functional and neuropsychological correlates of acute TGA and their ...
Elias El Otmani, Emmanuel Barbeau, Béatrice Lemesle, Emilie Milongo‐Rigal, Sophie Fernandez, Sandrine Charpentier, Jean‐François Albucher, Nicolas Raposo, Fabrice Bonneville, Patrice Péran, Jérémie Pariente   +10 more
wiley   +1 more source

Validation of the Pediatric Arthritis Ultrasound Scoring System for the Elbow, Wrist, and Finger Joints in Children With Juvenile Idiopathic Arthritis

Arthritis Care &Research, EarlyView.
Objective We aimed to validate the Pediatric Arthritis Ultrasound Scoring System (PAUSS) for upper extremity joints in children with juvenile idiopathic arthritis (JIA). Methods Children with JIA were evaluated for elbow, wrist, or finger arthritis by clinical examination (CE) and musculoskeletal ultrasound (MSUS) with images scored according to the ...
Patricia Vega‐Fernandez, Pinar Ozge Avar‐Aydin, Kelly Rogers, Daniel J. Lovell, Jennifer Huggins, Alexei Grom, Hermine I. Brunner, Grant S. Schulert, Sheila T. Angeles‐Han, Mekibib Altaye, Amy Cassedy, Arthur B. Meyers, Tracy V. Ting   +12 more
wiley   +1 more source