Results 201 to 210 of about 3,649,820 (385)
Sleep Matters: Exploring the Link Between Sleep Disturbances and Fatigue in Rheumatoid Arthritis
Objective Fatigue is a prevalent and debilitating symptom for patients with rheumatoid arthritis (RA). Although patients and rheumatologists often attribute fatigue to inflammation, other factors such as sleep disturbances are frequently overlooked. This study aims to explore the relationship between subjective (self‐reported) and objective (actigraphy
Natalia V. Chalupczak +12 more
wiley +1 more source
Objective Administrative claims are used to evaluate oral glucocorticoid use in rheumatoid arthritis (RA), despite limited evidence to support accuracy. We aimed to evaluate the performance of claims‐based algorithms for glucocorticoid use compared to self‐report in an RA population.
Beth I. Wallace +16 more
wiley +1 more source
A Formal Framework for Synthesis and Verification of Logic Programs [PDF]
Alessandro Avellone +2 more
openalex +1 more source
Objective Imaging evidence of active sacroiliitis is important for diagnosis, classification, and monitoring of axial spondyloarthritis (axSpA). However, there is no consistent guidance on whether patients should temporarily stop nonsteroidal anti‐inflammatory drugs (NSAIDs) before magnetic resonance imaging (MRI).
Gareth T. Jones +10 more
wiley +1 more source
Time Trends and Predictors of Gout Remission Over 6 Years
Objective This study aims to describe the trends in remission rates over 6 years of follow‐up among people with gout taking urate‐lowering therapy (ULT) and to identify variables that predict remission. Methods A post hoc analysis was conducted using data from the Cardiovascular Safety of Febuxostat or Allopurinol in Patients with Gout (CARES) trial ...
Adwoa Dansoa Tabi‐Amponsah +5 more
wiley +1 more source
Formal Verification for Task Description Languages. A Petri Net Approach. [PDF]
López J +2 more
europepmc +1 more source
Objective This study investigated trajectories of patient acceptable symptom state (PASS) among participants of digital education and exercise therapy for knee and hip osteoarthritis. Methods A longitudinal observational study among individuals aged at least 40 years who participated in the digital program.
Ali Kiadaliri +3 more
wiley +1 more source
Formal Verification of a Railway Crossing Controller Using Time Petri Nets
Ryouetsu Sasaki, Tomohiro Yoneda
openalex +2 more sources
Towards robust electronic health record systems: integrating formal verification and process modeling techniques. [PDF]
Khan S +5 more
europepmc +1 more source
Objective Systemic sclerosis (SSc) is a rare autoimmune disease characterized by tissue fibrosis, vasculopathy, and immune dysregulation. Our objectives were to quantify the overall and site‐specific cancer risks in patients with SSc compared to the general population, examine temporal trends in cancer incidence following SSc diagnosis, and explore ...
Jihyun Na +4 more
wiley +1 more source

