Results 221 to 230 of about 3,649,820 (385)

A fuzzy description logic based IoT framework: Formal verification and end user programming. [PDF]

PLoS One
Pérez-Gaspar M, Gomez J, Bárcenas E, Garcia F.   +3 more
europepmc   +1 more source

Virtual or in‐person: does it matter? Comparing pain, function, quality of life, self‐efficacy and physical function outcomes of virtual, hybrid and in‐person GLA:D Canada participants

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, Vanina Dal Bello‐Haas, Ayse Kuspinar, Patricia Strachan, Michael Zywiel, James Young, Rhona McGlasson, Lisa C. Carlesso   +7 more
wiley   +1 more source

Verification of a Formal Security Model for Multiapplicative Smart Cards

, 2000
Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul A. Karger, Vernon Austel, David C. Toll   +5 more
openalex   +1 more source

Formal verification of replication on a distributed data space architecture [PDF]

, 2002
Jozef Hooman, Jaco van de Pol
openalex   +1 more source

Considerations for Issues of Regression to the Mean and Contextual Effects in Clinical Trials for Pain in Rheumatic Diseases

Arthritis Care &Research, EarlyView.
Recently, there has been growing discussion about how to best assess pain in clinical trials in rheumatic diseases. Reliable measurement of pain outcomes is essential for accurately determining the effectiveness of treatments. Although pain intensity is the most common measure of change in pain trials, other pain‐related measures, such as pain ...
Yen T. Chen, Guohao Zhu, Afton L. Hassett, Daniel Clauw, Susan L. Murphy   +4 more
wiley   +1 more source

Formal verification of conflict detection algorithms [PDF]

, 2003
César A. Muñoz, Victor Carreño, Gilles Dowek, Ricky W. Butler   +3 more
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, Brooke E Patterson, Kay M Crossley, Ali Guermazi, Matthew G King, Danilo De Oliveira Silva, Jackie L Whittaker, Michael A Girdwood, Adam G Culvenor   +8 more
wiley   +1 more source

Formal Verification based on Boolean Expression Diagrams

, 2001
Poul Frederick Williams
openalex   +1 more source

Hierarchical formal verification using a hybrid tool [PDF]

, 2003
Skander Kort, Sofi�ne Tahar, Paul Curzon   +2 more
openalex   +1 more source

Exploring patients’ profiles associated with the resolution of acute calcium pyrophosphate arthritis treatedwith colchicine and prednisone: post hoc analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source