Results 21 to 30 of about 2,804 (226)
A Transformation-Based Approach to Implication of GSTE Assertion Graphs
Journal of Applied Mathematics, 2013 Generalized symbolic trajectory evaluation (GSTE) is a model checking approach and has successfully demonstrated its powerful capacity in formal verification of VLSI systems.
Guowu Yang +3 more
doaj +1 more source
Terminal Satisfiability in GSTE
Journal of Applied Mathematics, 2014 Generalized symbolic trajectory evaluation (GSTE) is an extension of symbolic trajectory evaluation (STE) and a method of model checking. GSTE specifications are given as assertion graphs.
Yongsheng Xu +4 more
doaj +1 more source
A Worldwide Stage for Sustainable Quality [PDF]
Iranian Journal of Archaeological StudiesThe first issue of Volume 15 of the Iranian Journal of Archaeological Studies (IJAS) is being published ata significant and symbolic moment in its academic trajectory.
Mehdi Mortazavi
doaj +1 more source
Aspects that facilitate access to care for viral hepatitis: An evaluative research [PDF]
São Paulo Medical JournalBACKGROUND: Viral hepatitis is a major public health concern worldwide. OBJECTIVES: This study aimed to analyze the factors that facilitate access to care for viral hepatitis.
Josué Souza Gleriano +2 more
doaj +1 more source
Jixie chuandong, 2021 Taking an asymmetry 2UPS-UP parallel mechanism with two rotational and one translational degrees of freedom as the research object， the performance analysis and multi-objective optimization of dimensional parameters for the mechanism are presented.
Jian Yi, Linxian Che, Bing He, Jie Li
doaj
The Prophet’s Mantle and Its Diverse Narratives [PDF]
پژوهش های تاریخیThe Burda, believed to be the mantle of Prophet Muhammad (PBUH), is claimed to have served as a symbol of legitimacy for Umayyad and Abbasid caliphs during investitures and other significant events.
Marziye Ramazani Mobarake +3 more
doaj +1 more source
FEBS Letters, EarlyView.The Ile181Asn variant of human UDP‐xylose synthase (hUXS1), associated with a short‐stature genetic syndrome, has previously been reported as inactive. Our findings demonstrate that Ile181Asn‐hUXS1 retains catalytic activity similar to the wild‐type but exhibits reduced stability, a looser oligomeric state, and an increased tendency to precipitate ...
Tuo Li +2 more
wiley +1 more source
Higher Amyloid and Tau Burden Is Associated With Faster Decline on a Digital Cognitive Test
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective A 2‐min digital clock‐drawing test (DCTclock) captures more granular features of the clock‐drawing process than the pencil‐and‐paper clock‐drawing test, revealing more subtle deficits at the preclinical stage of Alzheimer's disease (AD). A previous cross‐sectional study demonstrated that worse DCTclock performance was associated with
Jessie Fanglu Fu +16 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 +3 more
wiley +1 more source
Clustering Algorithm Reveals Dopamine‐Motor Mismatch in Cognitively Preserved Parkinson's Disease
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective To explore the relationship between dopaminergic denervation and motor impairment in two de novo Parkinson's disease (PD) cohorts. Methods n = 249 PD patients from Parkinson's Progression Markers Initiative (PPMI) and n = 84 from an external clinical cohort.
Rachele Malito +14 more
wiley +1 more source