FLACK: Counterexample-Guided Fault Localization for Alloy Models
Guolong Zheng
openalex +1 more source
ABSTRACT As global populations age, cancer is increasingly becoming a leading cause of morbidity and mortality among older adults, particularly in low‐ and middle‐income countries (LMICs). Despite accounting for the majority of new cancer cases and deaths, older individuals remain underrepresented in cancer research, clinical guidelines, and health ...
Ibrahim Bidemi Abdullateef +2 more
wiley +1 more source
Hybrid meta heuristic and fuzzy impedance method for fast fault location in power system lines. [PDF]
Najafzadeh M +4 more
europepmc +1 more source
Visual Recovery Reflects Cortical MeCP2 Sensitivity in Rett Syndrome
ABSTRACT Objective Rett syndrome (RTT) is a devastating neurodevelopmental disorder with developmental regression affecting motor, sensory, and cognitive functions. Sensory disruptions contribute to the complex behavioral and cognitive difficulties and represent an important target for therapeutic interventions.
Alex Joseph Simon +12 more
wiley +1 more source
InSAR analysis reveals insights into the Ms 6.2 earthquake rupture and tectonic dynamics of the northeast margin of the Qinghai‒Tibet plateau. [PDF]
Sun G, Guo F, Guo X, Li M, Peng B.
europepmc +1 more source
Network Localization of Fatigue in Multiple Sclerosis
ABSTRACT Background Fatigue is among the most common symptoms and one of the main factors determining the quality of life in multiple sclerosis (MS). However, the neurobiological mechanisms underlying fatigue are not fully understood. Here we studied lesion locations and their connections in individuals with MS, aiming to identify brain networks ...
Olli Likitalo +12 more
wiley +1 more source
Multi-mode fault diagnosis datasets of three-phase asynchronous motor under variable working conditions. [PDF]
Chen S +5 more
europepmc +1 more source
Frailty Exacerbates Disability in Progressive Multiple Sclerosis
ABSTRACT Background To evaluate frailty in severe progressive multiple sclerosis (PMS) and to investigate the underlying mechanisms. Methods This prospective, cross‐sectional, multicenter study enrolled a late severe PMS group requiring skilled nursing (n = 53) and an age, sex, and disease duration‐matched control PMS group (n = 53).
Taylor R. Wicks +10 more
wiley +1 more source
Multimodal fusion for equipment health status assessment based on dynamic attention mechanism. [PDF]
Lei Y, Zhao J, Lv W, Gao S, Yu J.
europepmc +1 more source
Real‐World Investigation of Satralizumab in Patients With Neuromyelitis Optica Spectrum Disease
ABSTRACT Objective Satralizumab, a monoclonal antibody targeting the interleukin‐6 receptor, has demonstrated efficacy in clinical trials for neuromyelitis optica spectrum disorder (NMOSD). However, its real‐world effectiveness and safety compared to conventional immunosuppressive therapies remain uncertain.
Li‐Tsung Lin +2 more
wiley +1 more source

