Results 141 to 150 of about 117,504 (308)

Formal verification of safety properties of epoch processing in Beacon Chain. [PDF]

Sci Rep
Rashid M, Rasool I, Afzaal H, Zafar NA.
europepmc   +1 more source

Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]

Sensors (Basel), 2019
López J, Santana-Alonso A, Díaz-Cacho Medina M.   +2 more
europepmc   +1 more source

Beyond Robustness: Formal Verification of Emergent Behavior in Safety-Critical AI Systems

Revista, Zen, IA, 10
openalex   +1 more source

A Formal Verification Methodology for DDD Mode Pacemaker Control Programs [PDF]

, 2015
Sana Shuja, Sudarshan K. Srinivasan, Shaista Jabeen, Dharmakeerthi Nawarathna   +3 more
openalex   +1 more source

Prediction of Myasthenia Gravis Worsening: A Machine Learning Algorithm Using Wearables and Patient‐Reported Measures

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare disorder characterized by fluctuating muscle weakness with potential life‐threatening crises. Timely interventions may be delayed by limited access to care and fragmented documentation. Our objective was to develop predictive algorithms for MG deterioration using multimodal telemedicine data ...
Maike Stein, Haoqi Sun, Sophie Lehnerer, Lea Gerischer, Maximilian Mönch, Christian Meisel, Andreas Meisel, Pushpa Narayanaswami   +7 more
wiley   +1 more source

Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]

BMC Med Res Methodol
Khan S, Akhtar N, Mushtaq MF, Abdel Samee N, Mahmoud NF, Ashraf I.   +5 more
europepmc   +1 more source

Chronological and Spatial Distribution of Skeletal Muscle Fat Replacement in FHL1‐Related Myopathies

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objectives Variants in the FHL1 gene cause FHL1‐related myopathies (FHL1‐RMs), a group of neuromuscular disorders with diverse clinical presentations. This study aimed to comprehensively characterize the spatial and temporal patterns of skeletal muscle fat replacement throughout the whole body in FHL1‐RMs, to examine disease progression over ...
Rui Shimazaki, Satoru Noguchi, Hotake Takizawa, Yasushi Oya, Yuji Takahashi, Hirofumi Komaki, Hajime Arahata, Shinichiro Hayashi, Ichizo Nishino   +8 more
wiley   +1 more source

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

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

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