Results 161 to 170 of about 23,407,383 (367)

Increasing Students’ Learning Effort Results by using Learning Pair Checks Model of Five Grade of SD Negeri 173299 Paniaran in Academic Year 2017/2018

, 2018
Robert Harianja
openalex   +1 more source

Statistical Model Checking

Computing and Software Science, 2019
Axel Legay, Anna Lukina, Louis-Marie Traonouez, Junxing Yang, S. Smolka, R. Grosu   +5 more
semanticscholar   +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

Evaluation of Internal Checks of Kiln-Dried Lumber using a Hierarchical Model I.

, 2018
Ken Watanabe, Hideaki Korai, Isao Kobayashi, Takashi Yanagida, Keisuke Toba, Yasuhiro Teranishi, Tatsuya Naruse   +6 more
openalex   +2 more sources

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

CSL Model Checking Algorithms for Infinite-State Structured Markov Chains

, 2007
Anne Remke, Boudewijn R. Haverkort
openalex   +2 more sources

Automatic Compliance Check of Window-to-Wall Ratio Software Embeded Intelligent Algorithms in Revit Modeling [PDF]

, 2022
Xiuying Yan, Xiudong Wang, Dawei Li, Xiulian Yan, Kai-xing Fan, Da-long Liu   +5 more
openalex   +1 more source

Effective stateless model checking for C/C++ concurrency

Proc. ACM Program. Lang., 2017
Michalis Kokologiannakis, O. Lahav, Konstantinos Sagonas, Viktor Vafeiadis   +3 more
semanticscholar   +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