Results 151 to 160 of about 221,743 (312)
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objective Digital technologies hold promise for transforming healthcare by enhancing personalized treatments and offer valuable opportunities to improve patient care. Here, we evaluated several novel, self‐administered, home‐based, digital endpoints for their association with corresponding conventional standard clinical measures (primary) in ...
Arne Mueller +14 more
wiley +1 more source
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT Objectives We aimed to determine the frequency of subclinical optic nerve (ON) lesions using MRI, optical coherence tomography (OCT), and visual evoked potentials (VEP) in radiologically isolated syndrome (RIS), and to assess their diagnostic and prognostic significance.
Christine Lebrun‐Frenay +13 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
Arthritis Care &Research, EarlyView.Objective A patient‐centered approach for chronic disease management, including systemic lupus erythematosus (SLE), aligns treatment with patients’ values and preferences, leading to improved outcomes. This paper summarizes how patient experiences, perspectives, and priorities informed the American College of Rheumatology (ACR) 2024 Lupus Nephritis (LN)
Shivani Garg +20 more
wiley +1 more source
20 Years of Planning via Model Checking: From Theory to Practice
, 2015 Planning via Model Checking is nowadays a well-known technique. Techniques based on model checking have been successfully applied for dealing with different kinds of planning problems.
Traverso, Paolo
core
Abstract We introduce a high-level language with Python-like syntax for string-to-string, polyregular, first-order definable transductions. This language features function calls, boolean variables, and nested for-loops. We devise and implement a complete decision procedure for the verification of such programs against a first-order ...
Aliaume Lopez, Rafal Stefanski
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective We developed a novel electronic health record sidecar application to visualize key rheumatoid arthritis (RA) outcomes, including disease activity, physical function, and pain, via a patient‐facing graphical interface designed for use during outpatient visits (“RA PRO dashboard”).
Gabriela Schmajuk +16 more
wiley +1 more source
Arthritis Care &Research, EarlyView.Objective This study aimed to investigate potential moderators influencing the effects of manual therapy and exercise therapy on pain and functional outcomes in individuals with knee and/or hip osteoarthritis, using data from the MOA trial. This is a secondary analysis of data from the MOA trial that compares the clinical effectiveness of manual ...
Daniel Cury Ribeiro +2 more
wiley +1 more source
Model composition in model checking.
, 2014 Model-checking allows one to formally check properties of systems: these properties are modeled as logic formulas and the systems as structures like transition systems. These transition systems are often composed, i.e., they arise in form of products or sums.
openaire +2 more sources
Arthritis Care &Research, EarlyView.Objective Rheumatic and musculoskeletal diseases (RMDs) are leading causes of physical disability, necessitating support with activities of daily living. This study describes social care received by patients with RMDs in two disparate regions of England: Salford (urban) and Norfolk (rural).
Mehreen Somro +6 more
wiley +1 more source