Results 151 to 160 of about 117,504 (308)

Glymphatic Dysfunction Reflects Post‐Concussion Symptoms: Changes Within 1 Month and After 3 Months

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Mild traumatic brain injury (mTBI) may alter glymphatic function; however, its progression and variability remain obscure. This study examined glymphatic function following mTBI within 1 month and after 3 months post‐injury to determine whether variations in glymphatic function are associated with post‐traumatic symptom severity ...
Eunkyung Kim, Han Gil Seo, Roh‐Eul Yoo, Byung‐Mo Oh   +3 more
wiley   +1 more source

Cognitive Status in People With Epilepsy in the Republic of Guinea: A Prospective, Case–Control Study

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective People with epilepsy (PWE) may experience cognitive deficits but fail to undergo formal evaluation. This study compares cognitive status between PWE and healthy controls in the West African Republic of Guinea. Methods A cross‐sectional, case–control study was conducted in sequential recruitment phases (July 2024–July 2025) at Ignace ...
Maya L. Mastick, Cheick O. Soumah, Malé Doré, Oumar Mara, Desiré Neldje, Fodé A. Cissé, Toure M. Lamine, Aminata Diallo, Seungwon Lee, Siddharth Satish, Alexander J. X. Chen, Alice Liu, Nomin Enkhtsetseg, Farrah J. Mateen, The Guinea Epilepsy Project   +14 more
wiley   +1 more source

Formal Verification of Secure Forwarding Protocols

, 2021
Tobias Klenze, Christoph Sprenger, David Basin   +2 more
openalex   +2 more sources

In‐Depth Profiling Highlights the Effect of Efgartigimod on Peripheral Innate and Adaptive Immune Cells in Myasthenia Gravis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is an autoimmune disorder characterized by antibody‐mediated complement activation. Efgartigimod, a neonatal Fc receptor (FcRn) antagonist, is approved for treating generalized MG (gMG). However, its modulatory effects on upstream innate and adaptive immune cells remain largely unexplored.
Lei Jin, Liu Dong, Ying Wang, Dingxian He, Chong Yan, Jianying Xi, Haoqin Jiang, Yu Shi, Ming Guan, Chongbo Zhao, Jie Song, Sushan Luo   +11 more
wiley   +1 more source

Formal Verification of Real-Time Systems with Data Processing

, 2017
Tamás Tóth, István Majzik
openalex   +2 more sources

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

, 1996
Dominique Bolignano
openalex   +1 more source

Bayesian Estimation Improves Prediction of Outcomes After Epilepsy Surgery

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT We estimated the statistical power of studies predicting seizure freedom after epilepsy surgery. We extracted data from a Cochrane meta‐analysis. The median power across all studies was 14%. Studies with a median sample size or less (n ≤ 56) and a statistically significant result exaggerated the true effect size by a factor of 5.4, while the ...
Adam S. Dickey, Vineet Reddy, Ammar A. Rashied, Nigel P. Pedersen, Robert T. Krafty   +4 more
wiley   +1 more source

Towards an Approach of Formal Verification of Web Service Composition

, 2015
Mohamed Graïet, Mourad Kmimech, Lazhar Hamel, Mohamed Tahar Bhiri, Walid Gaaloul, Raoudha Maraoui   +5 more
openalex   +1 more source

Using Formal Verification to Evaluate Single Event Upsets in a RISC-V Core [PDF]

Bing Xue, Mark Zwoliński
openalex   +1 more source

Formal Verification of Spacecraft Control Programs Using a Metalanguage for State Transformers [PDF]

, 2018
Andrey Mokhov, Georgy Lukyanov, Jakob Lechner   +2 more
openalex   +1 more source