Results 151 to 160 of about 1,494,052 (317)

Colchicine Concentrations and Relationship With Colchicine Efficacy and Adverse Events: Post Hoc Analysis of a Randomized Clinical Trial of Colchicine for Gout Flare Prophylaxis

Arthritis Care &Research, EarlyView.
Objective Our objective was to examine the relationship between colchicine plasma concentrations and clinical and demographic factors and to determine the relationship between colchicine concentrations and colchicine efficacy and colchicine‐specific adverse events.
Lisa K. Stamp, Anne Horne, Borislav Mihov, Jill Drake, Janine Haslett, Peter Chapman, Daniel F. B. Wright, Christopher Frampton, Nicola Dalbeth   +8 more
wiley   +1 more source

FoPA: identifying perturbed signaling pathways in clinical conditions using formal methods. [PDF]

BMC Bioinformatics, 2019
Mansoori F, Rahgozar M, Kavousi K.
europepmc   +1 more source

A Computer Method of the Formal Linearization for Nonlinear Systems by the Weighted Residual Procedure

, 1991
Hitoshi Takata
openalex   +2 more sources

Issues in the full scale use of formal methods for automated testing [PDF]

, 1996
Jennifer L. Crowley, James F. Leathrum, K.A. Liburdy   +2 more
openalex   +1 more source

Understanding Contributors of Resilience in Youth With Childhood‐Onset Systemic Lupus Erythematosus Through a Socioecological Lens: A Mixed‐Methods Study

Arthritis Care &Research, EarlyView.
Objective This study aimed to identify themes contributing to resilience in childhood‐onset systemic lupus erythematosus (cSLE), distinguish between profiles of resilience, and examine how they relate to underlying themes and patient characteristics. Methods We conducted a mixed‐methods study of 21 patients with cSLE aged 11 to 19 years at a Canadian ...
Isabella Zaffino, Louise Boulard, Joanna Law, Asha Jeyanathan, Lawrence Ng, Sandra Williams‐Reid, Kiah Reid, Angela Cortes, Eugene Cortes, Ashley Danguecan, Deborah M. Levy, Linda T. Hiraki, Andrea M. Knight   +12 more
wiley   +1 more source

The HACMS program: using formal methods to eliminate exploitable bugs. [PDF]

Philos Trans A Math Phys Eng Sci, 2017
Fisher K, Launchbury J, Richards R.
europepmc   +1 more source

CASE Support for Methods Integration : Implementation of a translation from a structured to a formal notation [PDF]

, 1996
Stanford B. Hooker, Mike Lockyer, P. C. Fencott   +2 more
openalex   +1 more source

Two‐Year Follow‐Up of a Multidisciplinary Lifestyle Intervention for Rheumatoid Arthritis and Osteoarthritis

Arthritis Care &Research, EarlyView.
Objective The Plants for Joints (PFJ) intervention, including a whole‐food plant‐based diet, exercise, and stress reduction, reduced signs and symptoms of rheumatoid arthritis (RA) or metabolic syndrome–associated hip or knee osteoarthritis (MSOA) compared to usual care.
Carlijn A. Wagenaar, Wendy Walrabenstein, Marike van der Leeden, Franktien Turkstra, Martijn Gerritsen, Jos W. R. Twisk, Maarten Boers, Martin van der Esch, Henriët van Middendorp, Peter J. M. Weijs, Dirkjan van Schaardenburg   +10 more
wiley   +1 more source

Biosensor characterization: formal methods from the perspective of proteome fractions. [PDF]

Synth Biol (Oxf)
Vaccari NA, Zevallos-Aliaga D, Peeters T, Guerra DG.   +3 more
europepmc   +1 more source

Editorial: Computational Methods for Understanding Complexity: The Use of Formal Methods in Biology. [PDF]

Front Bioeng Biotechnol, 2016
Rosenblueth DA.
europepmc   +1 more source