Results 151 to 160 of about 1,932,015 (306)

Intelligent Tutoring Systems for Adult Learning in STEM Disciplines

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Intelligent tutoring systems (ITS) are reshaping adult learning in STEM by providing adaptive, data‐driven instruction across classrooms, workplaces, and informal environments. In the context of ITS, this article compares generative AI, which creates personalized explanations and practice materials, with explainable AI, which focuses on ...
Jill Zarestky, Amanda R. Lager Gleason
wiley   +1 more source

Artificial Intelligence and Mental Well‐Being in Adult Education: Implications for Practice and Professional Responsibility

New Directions for Adult and Continuing Education, EarlyView.
ABSTRACT Mental well‐being is central to adult learner success, yet many adult education institutions lack capacity to provide timely and accessible support. This article examines how artificial intelligence (AI) can strengthen mental health–adjacent supports in adult and continuing higher education, with attention to professional practice and ...
Adam L. McClain, Thomas Wade
wiley   +1 more source

Super‐Refractory Status Epilepticus (SRSE) in a Patient With Compound Heterozygous OPA1 Variants: Case Report and Literature Review

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Super‐Refractory Status Epilepticus (SRSE) is a rare, life‐threatening neurological emergency with unclear etiology in many cases. Mitochondrial dysfunction, often due to disease‐causing genetic variants, is increasingly recognized as a cause, with each gene producing distinct pathophysiological mechanisms.
Pouria Mohammadi, Lara Basovic, Christopher Michael McGraw   +2 more
wiley   +1 more source

Benefits of applying formal methods to industrial control software [PDF]

, 2011
Formal methods are being applied to the development of software of various applications at Philips Healthcare. In particular, the Analytical Software Design (ASD) method is being used as a formal technology for developing defect-free control software of ...
Osaiweran, A.A.H., Wesselius, J.H., Groote, J.F., Groote, J.F.; id_orcid   +3 more
core  

Clinical Spectrum and Outcomes of SOX1 Antibody‐Associated Paraneoplastic Neurological Syndromes: A Chinese Cohort Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background SOX1 antibody‐positive paraneoplastic neurological syndromes (PNS) exhibit significant population‐specific clinical heterogeneity. While Western cohorts predominantly manifest Lambert‐Eaton myasthenic syndrome (65%–80%), comprehensive clinical characterization and treatment response data in Asian populations remain critically ...
Jin‐Long Ye, Zu‐Ying Kuang, Bo Li, Meng‐Qiu Pan, Li‐Hua Zhou, Yang‐Yang Dai, Si‐Fen Xie, Xian‐Guang Lin, Ye‐Peng Hu, Li‐Hong Jiang, Zhan‐Hang Wang, Wei‐Jing Zhang   +11 more
wiley   +1 more source

Remote Assessment of Ataxia Severity in SCA3 Across Multiple Centers and Time Points

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Spinocerebellar ataxia type 3 (SCA3) is a genetically defined ataxia. The Scale for Assessment and Rating of Ataxia (SARA) is a clinician‐reported outcome that measures ataxia severity at a single time point. In its standard application, SARA fails to capture short‐term fluctuations, limiting its sensitivity in trials.
Marcus Grobe‐Einsler, Vivian Maas, Arian Taheri Amin, Jennifer Faber, Tamara Schaprian, Katharina Hill, Matthis Synofzik, Lisa H. Graf, Heike Jacobi, Manuela Lima, Ana F. Ferreira, Bart P. van de Warrenburg, Ilse H. J. Willemse, Dagmar Timmann, Andreas Thieme, Paola Giunti, Hector Garcia‐Moreno, Magda M. Santana, Jeannette Hübener‐Schmid, Elin H. Davies, Thomas Klockgether   +20 more
wiley   +1 more source

Are formal methods ready for agility? A reality check

, 2010
The integration of agile software development techniques with formal methods has attracted attention as a research topic. But what exactly is to be gained from attempting to combine two approaches which are seen as orthogonal or even opposing, and to ...
Wolff, Sune, Gorm Larsen, Peter, Fitzgerald, John   +2 more
core  

CX3CL1 in Early Detection of Alzheimer's Disease: Plasma Dynamics Across Age and Disease Stages

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Backgrounds Alzheimer's disease (AD) is characterized by amyloid‐beta plaques, tau tangles, and neuroinflammation. C‐X3‐C motif chemokine ligand 1 (CX3CL1, also known as fractalkine), a neuroimmune chemokine implicated in AD pathogenesis, shows inconsistent alterations in plasma/serum across studies.
Ling Wang, Yujie Liu, Fei Li, Xuelin Li, Lanlan Li, Jie Zhang, Yali Xu   +6 more
wiley   +1 more source

Software specification and design: from formal methods to standard middleware

, 2001
Software Specification and Design: From Formal Methods to Standard ...
SEMINI, LAURA, MONTANGERO, CARLO
core  

Impact of Asymptomatic Intracranial Hemorrhage on Outcome After Endovascular Stroke Treatment

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Endovascular treatment (EVT) achieves high rates of recanalization in acute large‐vessel occlusion (LVO) stroke, but functional recovery remains heterogeneous. While symptomatic intracranial hemorrhage (sICH) has been well studied, the prognostic impact of asymptomatic intracranial hemorrhage (aICH) after EVT is less certain ...
Shihai Yang, Chengsong Yue, Zhuang Li, Xiaolei Shi, Haoxuan Zhu, Jie Yang, Linyu Li, Jiaxing Song, Shitao Fan, Gaoming Li, Wenzhe Sun, Zhixian Ye, Jiacheng Huang, Dahong Yang, Jinfu Ma, Xu Xu, Zhixi Wang, Lilan Wang, Guojian Liu, Fengli Li, Changwei Guo, Li Qi, Wenjie Zi   +22 more
wiley   +1 more source