Results 231 to 240 of about 39,716 (258)

Sequence Analysis to Phenotype Health Care Patterns in Adults With Musculoskeletal Conditions Using Primary Care Electronic Health Records

Arthritis Care &Research, EarlyView.
Objective The aim of this study was to apply sequence analysis (SA) to phenotype health care patterns of adult patients with musculoskeletal (MSK) conditions using primary care electronic health records and to investigate the association between these health care patterns and patients’ self‐reported outcomes after consultation.
Smitha Mathew, George Peat, Emma Parry, Ross Wilkie, Kelvin P. Jordan, Jonathan C. Hill, Dahai Yu   +6 more
wiley   +1 more source

Effectiveness of a Telephone‐Delivered Walk With Ease Program on Arthritis‐Related Symptoms, Function, and Activity: A Randomized Trial

Arthritis Care &Research, EarlyView.
Objective Walk With Ease (WWE) is a six‐week arthritis‐appropriate evidence‐based physical activity program traditionally offered in a face‐to‐face format. Because many populations encounter participation barriers to in‐person programs, WWE was modified for telephone delivery (WWE‐T).
Christine A. Pellegrini, Sara Wilcox, Yesil Kim, Scott Jamieson, Katherine DeVivo, Daniel Heidtke   +5 more
wiley   +1 more source

Report on "Axiomatizing Conditional Normative Reasoning". [PDF]

Kunstliche Intell (Oldenbourg)
Parent X.
europepmc   +1 more source

A Syntactic Proof of the Decidability of First-Order Monadic Logic

Bulletin of the Section of Logic
Decidability of monadic first-order classical logic was established by Löwenheim in 1915. The proof made use of a semantic argument and a purely syntactic proof has never been provided.
Eugenio Orlandelli
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

REDUCTION TECHNIQUES FOR PROVING DECIDABILITY IN LOGICS AND THEIR MEET–COMBINATION

Bulletin of Symbolic Logic, 2021
Cristina Sernadas, Walter Carnielli
exaly