Results 151 to 160 of about 1,197,029 (323)

Systematic Classification of Attackers via Bounded Model Checking [PDF]

, 2020
Eric Rothstein-Morris, Sun Jun, Sudipta Chattopadhyay   +2 more
openalex   +1 more source

Remote Monitoring in Myasthenia Gravis: Exploring Symptom Variability

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Background Myasthenia gravis (MG) is a rare, autoimmune disorder characterized by fluctuating muscle weakness and potential life‐threatening crises. While continuous specialized care is essential, access barriers often delay timely interventions. To address this, we developed MyaLink, a telemedical platform for MG patients.
Maike Stein, Maximilian Mönch, Meret Herdick, Frauke Stascheit, Sarah Hoffmann, Hannah Preßler, Philipp Mergenthaler, Carla Dusemund, Paolo Doksani, Haoqi Sun, Pushpa Narayanaswami, Andreas Meisel, Lea Gerischer, Sophie Lehnerer   +13 more
wiley   +1 more source

Characterization of Clinical Phenotype to Glial Fibrillary Acidic Protein Concentrations in Alexander Disease

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Objective To determine the concentration of glial fibrillary acidic protein (GFAP) in cerebrospinal fluid (CSF) and plasma in Alexander disease (AxD) and whether GFAP levels are predictive of disease phenotypes. Methods CSF and plasma were collected (longitudinally when available) from AxD participants and non‐AxD controls.
Amy T. Waldman, Asako Takanohashi, Joshua Y. Joung, Geraldine W. Liu, Kaley Arnold, Amy Pizzino, Walter Faig, Sarah Woidill, Sona Narula, Adeline L. Vanderver   +9 more
wiley   +1 more source

HSAS-MD Analyzer: A Hybrid Security Analysis System Using Model-Checking Technique and Deep Learning for Malware Detection in IoT Apps. [PDF]

Sensors (Basel), 2022
Hamza AA, Abdel Halim IT, Sobh MA, Bahaa-Eldin AM.   +3 more
europepmc   +1 more source

Using Task Analytic Models and Phenotypes of Erroneous Human Behavior to Discover System Failures Using Model Checking

, 2010
Matthew L. Bolton, Ellen J. Bass
openalex   +1 more source

Meningovascular Inflammation in Cerebral Amyloid Angiopathy‐Related Cortical Superficial Siderosis

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT The role of inflammation in cortical superficial siderosis (cSS), a marker of cerebral amyloid angiopathy (CAA) linked to high hemorrhage risk, is unclear. We examined 15 patients with cSS using 3 T post‐contrast vessel wall MRI (VWI) and CSF analysis.
Philipp Arndt, Eya Khadhraoui, Sebastian J. Müller, Katja Neumann, Hendrik Mattern, Sven G. Meuth, Valentina Perosa, Andreas Charidimou, Stefanie Schreiber   +8 more
wiley   +1 more source

Efektivitas Model Pembelajaran Kooperatif Tipe Pair Checks Ditinjau dari Kecerdasan Interpersonal terhadap Kompetensi Pengetahuan Matematika

, 2019
Gusti Ngurah Sastra Agustika, A.A. Wahyu Kartika, I Wyn. Wiarta   +2 more
openalex   +2 more sources

Brainstem and Cerebellar Volume Loss and Associated Clinical Features in Progressive Supranuclear Palsy

Annals of Clinical and Translational Neurology, EarlyView.
ABSTRACT Introduction Progressive Supranuclear Palsy (PSP) is a neurodegenerative ‘tauopathy’ with predominating pathology in the basal ganglia and midbrain. Caudal tau spread frequently implicates the cerebellum; however, the pattern of atrophy remains equivocal.
Chloe Spiegel, Timothy P. Siejka, Cassandra Marotta, Josh J. Y. Lee, Kelly Bertram, Terence J. O'Brien, Meng Law, Lucy Vivash, Ian H. Harding   +8 more
wiley   +1 more source

Lived and Care Experiences of Chronic Musculoskeletal Shoulder Pain in Australian Adults: A Qualitative Study

Arthritis Care &Research, EarlyView.
Objective Australian evidence on lived and care experiences of chronic musculoskeletal shoulder pain (CMSP), irrespective of disorder classification or disease, is limited. However, such evidence is important for person‐centered care and informing local service pathways and care guidelines or standards.
Sonia Ranelli, Joanne E. Jordan, Ilana N. Ackerman, Alison Thorpe, Jennifer G. Persaud, Linda J. Woodhouse, Jason Chua, Ben Horgan, Andrew M. Briggs   +8 more
wiley   +1 more source

SMT-Based Symbolic Model-Checking for Operator Precedence Languages [PDF]

Michele Chiari, Luca Geatti, Nicola Gigante, Matteo Pradella   +3 more
openalex   +1 more source