Results 141 to 150 of about 21,783,491 (356)

Model checking without a model [PDF]

, 1998
Patrice Godefroid, Robert S. Hanmer, Lalita Jategaonkar Jagadeesan   +2 more
openalex   +1 more source

Preferences for post‐traumatic osteoarthritis prevention strategies in individuals with anterior cruciate ligament injury

Arthritis Care &Research, Accepted Article.
Objectives There is growing interest in evaluating new strategies to delay or prevent post‐traumatic osteoarthritis (PTOA) in individuals who have sustained anterior cruciate ligament (ACL) injury. This study sought to determine characteristics of potential treatments that are acceptable to patients with ACL injury.
Kevin Kennedy, Lily Waddell, Adam Easterbrook, Jeffrey N. Katz, Cale Jacobs, Morgan Jones, Faith Selzer, Elena Losina, Liana Fraenkel, Nick Bansback   +9 more
wiley   +1 more source

Partial-order model checking: A guide for the perplexed

, 1992
David K. Probst, Hon F. Li
openalex   +1 more source

Model checking for a first-order temporal logic using multiway decision graphs [PDF]

, 1998
Ying Xu, E. Cerny, X. Song, Francisco Corella, Otmane Aı̈t Mohamed   +4 more
openalex   +1 more source

Clinical Outcomes Of Patients Within The Rheumatoid Arthritis Care Pathway Cohort At a Tertiary Care Integrated Delivery Network: A Comparison To Usual Care

Arthritis Care &Research, Accepted Article.
Objective We aimed to compare clinical outcomes between patients in the Allegheny Health Network rheumatoid arthritis (RA) care pathway and patients receiving usual care. Methods The care pathway initiative implements guideline‐based best practice alongside multi‐disciplinary team‐based care. Clinical and insurance claims data were extracted to compare
Tarun Sharma, Tyson S. Barrett, Teigan Dwyer, Nancy Campbell, Jessica Heintzinger, Ellen Kraemer, Adam Dore, Susan Manzi   +7 more
wiley   +1 more source

Assessment of Pain Types in Recently Diagnosed Patients With Inflammatory Arthritis

Arthritis Care &Research, EarlyView.
Objective Up to 40% of patients with inflammatory arthritis (IA) experience persistent pain, traditionally thought to be associated with a shift from peripherally to centrally mediated pain during the disease course in some patients. We assessed sensory profiles of recently diagnosed individuals with IA, hypothesizing that pain reported at this early ...
Zoe Rutter‐Locher, Sam Norton, Joseph L. Taylor, Bina Menon, Tom Esterine, Ruth Williams, Leonie S. Taams, Kirsty Bannister, Bruce W. Kirkham   +8 more
wiley   +1 more source

Selective quantitative analysis and interval model checking: Verifying different facets of a system [PDF]

, 1996
Sérgio Campos, Orna Grümberg
openalex   +1 more source

Accuracy of diagnostic codes and algorithms used to identify rheumatoid arthritis and juvenile idiopathic arthritis in administrative claims and electronic health records: systematic review and meta‐analysis.

Arthritis Care &Research, Accepted Article.
Objective This systematic review aimed to assess the diagnostic accuracy of algorithms used to identify rheumatoid arthritis (RA) and juvenile idiopathic arthritis (JIA) in electronic health records (EHRs). Methods We searched MEDLINE, Embase, and CENTRAL databases and included studies that validated case definitions against a reference standard such ...
Constanza Saka‐Herrán, Jessica Bennett, Yara Alkabti, Muhammad Fatir, Barbara Clyne, Caroline McCarthy, Gráinne Tynan, Nikki Dunne, Michelle Flood, Eoghan McCarthy, Frank Moriarty   +10 more
wiley   +1 more source

Model checking via testing for direct effects in Mendelian Randomization and transcriptome-wide association studies. [PDF]

PLoS Comput Biol, 2021
Deng Y, Pan W.
europepmc   +1 more source

What if model checking must be truly symbolic [PDF]

, 1995
Hardi Hungar, Orna Grümberg, Werner Damm   +2 more
openalex   +1 more source