Results 101 to 110 of about 1,590,113 (289)
Arthritis Care &Research, EarlyView.Objective Despite well‐described biologic causes, the public views unhealthy lifestyle choices as the primary cause of gout. This study investigated how causal beliefs about gout influence the public's views about its management. Methods In a randomized study, 201 members of the public viewed one of two 2‐minute videos about gout.
Rachel Murdoch +6 more
wiley +1 more source
Bringing requirements engineering to formal methods: timing diagrams for Event-B and KAOS
, 2010 Event-B is a language for the formal development of reactive systems. At present the RODIN toolkit (RODIN, 2009) for Event-B is used for modelling requirements, specifying refinements and verification.
Joochim, Tossaporn
core +1 more source
Arthritis Care &Research, EarlyView.Objective This study aimed to investigate hand function trajectories over five years in primary hand osteoarthritis (OA). Additionally, determinants of baseline and longitudinal hand function were assessed. Methods A total of 538 patients with both baseline and five‐year study visits were analyzed.
Annemiek V. E. M. Olde Meule +4 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Hydroxychloroquine (HCQ) is a cornerstone therapy in systemic lupus erythematosus (SLE), but the weight‐based dosing does not account for clinical factors that can introduce individual variability in drug metabolism and clearance. We leveraged longitudinal data from a prospective SLE cohort to identify clinical factors that predict ...
Jay J. Patel +6 more
wiley +1 more source
Clinical, Histologic, and Serological Predictors of Renal Function Loss in Lupus Nephritis
Arthritis Care &Research, EarlyView.Objective Kidney survival is the ultimate goal in lupus nephritis (LN) management, but long‐term predictors remain inadequately studied, requiring long‐term follow‐up. This study aimed to identify baseline and early longitudinal predictors of kidney survival in the Accelerating Medicines Partnership LN longitudinal cohort.
Shangzhu Zhang +21 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective This study aimed to characterize cannabis product choices (cannabinoid content and formulation) among patients with rheumatologic conditions and their associations with patient factors, patient‐reported perceived side effects, and positive impacts.
Susan Zhang +10 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective Although the definition of a gout flare is well established, the state of gout flare resolution has not yet been defined. This study aimed to explore patients’ experiences and perceptions of gout flare resolution. Methods Semistructured interviews were conducted with 24 people with gout, guided by open‐ended questions exploring their ...
Sarah Stewart +5 more
wiley +1 more source
A relational framework for the integration of specifications [PDF]
, 2003 We describe a framework for viewpoint specification using formal specification languages. In order to establish consistency and to further develop specifications, specifications need to be integrated ("unified").
Derrick, John, Boiten, Eerke Albert
core
Distinct Systemic Sclerosis Phenotypes Related to Ethnicity: An Opportunity to Personalize Care?
Arthritis Care &Research, EarlyView.Objective The objective is to describe and compare demographic, clinical, and serological characteristics of patients with systemic sclerosis (SSc) according to ethnic background. Methods Participants enrolled in the Canadian Scleroderma Research Group cohort who self‐identified to a single ethnicity group were included.
Danick Goulet +11 more
wiley +1 more source
Practice-Oriented Formal Methods to Support the Software Development of Industrial Control Systems
, 2017 Formal specification and verification methods provide ways to describe requirements precisely and to check whether the requirements are satisfied by the design or the implementation.
Darvas, Daniel
core +1 more source