Results 131 to 140 of about 21,783,491 (356)
Test generation for intelligent networks using model checking [PDF]
, 1997 André Engels, Loe Feijs, Sjouke Mauw
openalex +1 more source
Arthritis Care &Research, Accepted Article.Objective This study aimed to determine if program format (in‐person, virtual, hybrid) results in differences in three‐month outcomes of pain, function, quality of life, self‐efficacy and chair stands in a hip/knee osteoarthritis management program. Methods A secondary analysis of the GLA:DTM Canada database was completed.
Jill Van Damme +7 more
wiley +1 more source
Arthritis Care &Research, Accepted Article.Objectives This study aims to develop hip morphology‐based radiographic hip osteoarthritis (RHOA) risk prediction models and investigates the added predictive value of hip morphology measurements and the generalizability to different populations. Methods We combined data from nine prospective cohort studies participating in the World COACH consortium ...
Myrthe A. van den Berg +26 more
wiley +1 more source
The application of adaptive symmetry reduction for LTL model checking
Моделирование и анализ информационных систем, 2010 Adaptive symmetry reduction is a technique which exploits the similarity of com- ponents in systems of regular structure. It helps to reduce the effect of state explosion when exploring reachable states of a system.
I. V. Konnov, V. A. Zakharov
doaj
Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems. [PDF]
Micromachines (Basel), 2021 Liu Y, Ma Y, Yang Y, Zheng T.
europepmc +1 more source
Formal Verification of a Railway Interlocking System using Model Checking [PDF]
, 1998 Alessandro Cimatti +5 more
openalex +1 more source
Arthritis Care &Research, Accepted Article.Objective We conducted formative research aimed at identifying solutions that address inequitable health outcomes in lupus due to adverse social determinants of health. Methods We conducted a search for keywords which provided insights into potential solutions and initiatives underway. An advisory panel of lupus experts iteratively reviewed the list of
Joy Buie +11 more
wiley +1 more source
Verification of Erlang programs using abstract interpretation and model checking [PDF]
, 1999 Frank Huch
openalex +1 more source
Knee crepitus and osteoarthritis features in young adults following traumatic knee injury
Arthritis Care &Research, Accepted Article.Objective This study explored the association between knee crepitus and the presence, and worsening, of structural osteoarthritis features and self‐reported outcomes in young adults following traumatic knee injury. Methods One‐year following anterior cruciate ligament reconstruction (ACLR), 112 participants (41 female participants; median age 28 years)
Jamon L Couch +8 more
wiley +1 more source
Diagnostic Checking Using a Model for a Multi-Enzyme System
, 1985 D. Peferoen, J.A. Spriet
openalex +1 more source