Results 121 to 130 of about 135,609 (263)

Formally verified asymptotic consensus in robust networks [PDF]

, 2022
Mohit Tekriwal, Avi Tachna-Fram, Jean-Baptiste Jeannin, Manos Kapritsos, Dimitra Panagou   +4 more
openalex   +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

Automatic construction and verification algorithm for smart contracts based on formal verification

AIP Advances
As an emerging technology, blockchain demonstrates strong potential for applications in digital finance. As a core component of blockchain, the security and reliability of smart contracts is crucial.
Rui Xie, Xuejiao Zhong, Xin Chen, Shaohui Xu, Haiyang Yu, Xinyuan Guo   +5 more
doaj   +1 more source

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

An approach to the formal verification of cryptographic protocols [PDF]

, 1996
Dominique Bolignano
openalex   +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

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

Modelling and Formal Verification of Timing Aspects in Large PLC Programs

, 2014
Borja Fernández Adiego, Dániel Darvas, Enrique Blanco Viñuela, Jean-Charles Tournier, Víctor M. González, Jan Olaf Blech   +5 more
openalex   +2 more sources

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