Results 121 to 130 of about 115,357 (261)

Use of Symptomatic Drug Treatment for Fatigue in Multiple Sclerosis and Patterns of Work Loss

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To describe the use of central stimulants and amantadine for fatigue in MS and evaluate a potential association with reduced work loss in people with MS. Methods We conducted a nationwide, matched, register‐based cohort study in Sweden (2006 to 2023) using national registers with prospective data collection.
Simon Englund, Johan Reutfors, Thomas Frisell, Fredrik Piehl   +3 more
wiley   +1 more source

Formal verification of bioinformatics software using model checking and theorem proving. [PDF]

Brief Bioinform
Weerasena H, Jayasena A, Boucher C, Mishra P.   +3 more
europepmc   +1 more source

Formal verification: will the seedling ever flower? [PDF]

Philos Trans A Math Phys Eng Sci, 2017
White N, Matthews S, Chapman R.
europepmc   +1 more source

Post‐COVID Fatigue Is Associated With Reduced Cortical Thickness After Hospitalization

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Neuropsychiatric symptoms are among the most prevalent sequelae of COVID‐19, particularly among hospitalized patients. Recent research has identified volumetric brain changes associated with COVID‐19. However, it currently remains poorly understood how brain changes relate to post‐COVID fatigue and cognitive deficits.
Tim J. Hartung, Florentin Steigerwald, Amy Romanello, Cathrin Kodde, Matthias Endres, Sandra Frank, Peter Heuschmann, Philipp Koehler, Stephan Krohn, Daniel Pape, Jens Schaller, Sophia Stöcklein, Istvan Vadasz, Janne Vehreschild, Martin Witzenrath, Thomas Zoller, Carsten Finke, on behalf of the NAPKON Study Group, Y. Ahlgrimm, C. Finke, J. Fricke, T. Keil, L. Krist, N. Lisewsky, M. Mittermaier, M. Mueller‐Plathe, C. Pley, S. Schmidt, A. Stege, F. Steinbeis, S. Steinbrecher, C. Wildberg, M. Witzenrath, E. Zessin, T. Zoller, C. Arendt, C. Bellinghausen, S. Cremer, A. Groh, A. Gruenewaldt, Y. Khodamoradi, S. Klinsing, G. Rohde, M. Vehreschild, T. Vogl, S. Frank, J. C. Hellmuth, M. Huber, S. Kaeaeb, O. T. Keppler, E. Khatamzas, C. Mandel, S. Mueller, M. Muenchhoff, L. Reeh, C. Scherer, H. Stubbe, M. von Bergwelt, L. Weiss, B. Zwissler, S. Cleef, M. E. Figuera Basso, J. Franzenburg, K. Franzpoetter, A. Friedrichs, A. Hermes, J. Heyckendorf, C. Kujat, I. Lehmann, C. Maetzler, S. Meier, D. Pape, S. Poick, L. Reinke, A. K. Russ, A. M. Scheer, D. Schunk, T. Tamminga, S. Bohnet, D. Droemann, K. F. Franzen, R. Hoerster, N. Kaeding, M. Nissen, P. Parschke, J. Rupp, S. Caesar, H. Einsele, S. Frantz, A. Frey, A. Grau, K. Haas, C. Haertel, K. G. Haeusler, G. Hein, J. Herrmann, A. Horn, R. Jahns, P. Meybohm, F. A. Montellano, C. Morbach, J. Schmidt, P. Schulze, S. Stoerk, J. Volkmann, T. Bahmer, A. Hermes, M. Krawczak, W. Lieb, S. Schreiber, T. Tamminga, B. Balzuweit, S. Berger, J. Fricke, M. Hummel, A. Krannich, L. Krist, F. Kurth, J. Lienau, R. Lorbeer, C. Pley, J. Schaller, S. Schmidt, C. Thibeault, M. Witzenrath, T. Zoller, I. Bernemann, T. Illig, M. Kersting, N. Klopp, V. Kopfnagel, S. Muecke, M. Kraus, B. Lorenz‐Depiereux, G. Anton, A. Kuehn‐Steven, S. Kunze, M. K. Tauchert, K. Appel, M. Brechtel, I. Broehl, K. Fiedler, R. Geisler, S. M. Hopff, K. Knaub, C. Lee, S. Nunes de Miranda, S. Raquib, G. Sauer, M. Scherer, J. J. Vehreschild, P. Wagner, L. Wolf, J. C. Hellmuth, K. Guenther, F. Haug, J. Haug, A. Horn, M. Kohls, C. Fiessler, P. U. Heuschmann, O. Miljukov, C. Nuernberger, J. P. Reese, L. Schmidbauer, I. Chaplinskaya, S. Hanss, D. Krefting, C. Pape, M. Rainers, A. Schoneberg, N. Weinert, T. Bahls, W. Hoffmann, M. Nauck, C. Schaefer, M. Schattschneider, D. Stahl, H. Valentin, P. Heuschmann, A. L. Hofmann, S. Jiru‐Hillmann, J. P. Reese, S. Herold, P. Heuschmann, R. Heyder, W. Hoffmann, T. Illig, S. Schreiber, J. J. Vehreschild, M. Witzenrath   +190 more
wiley   +1 more source

Formal Property Verification [PDF]

, 2016
Limor Fix, Ken McMillan, Norris Ip, Leopold Haller   +3 more
openaire   +1 more source

Functional Connectivity Linked to Cognitive Recovery After Minor Stroke

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective Patients with minor stroke exhibit slowed processing speed and generalized alterations in functional connectivity involving frontoparietal cortex (FPC). The pattern of connectivity evolves over time. In this study, we examine the relationship of functional connectivity patterns to cognitive performance, to determine ...
Vrishab Commuri, Isabella Dallasta, Ciaran Stone, Sophia Girgenti, Neda Gould, Rafael H. Llinas, Jonathan Z. Simon, Elisabeth Breese Marsh   +7 more
wiley   +1 more source

Dynamics simulations of hypoxia inducible factor-1 regulatory network in cancer using formal verification techniques. [PDF]

Front Mol Biosci
Azhar HMF, Saeed MT, Jabeen I.
europepmc   +1 more source

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

A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]

PLoS One
Pérez-Gaspar M, Gomez J, Bárcenas E, Garcia F.   +3 more
europepmc   +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