Results 121 to 130 of about 133,366 (251)

A methodology for evaluating tooth wear monitoring using timed automata modelling. [PDF]

J Oral Rehabil, 2020
Wetselaar P, Lobbezoo F, de Jong P, Choudry U, van Rooijen J, Langerak R.   +5 more
europepmc   +1 more source

From Adult to Adolescent: Alignment in Clinical Trials and Outcomes in Axial Spondyloarthritis

Arthritis Care &Research, EarlyView.
Spondyloarthritis (SpA) is a group of chronic inflammatory diseases encompassing axial and peripheral forms, with up to 20% of patients developing symptoms before age 16. Despite this substantial pediatric burden, treatment options for juvenile‐onset SpA (JSpA), particularly those with axial disease (axJSpA), remain limited.
Pamela F. Weiss, Judith A. Smith, Robert A. Colbert, Erin Treemarcki, Michael H. Weisman, Walter P. Maksymowych, Hermine I. Brunner, for the Childhood Arthritis and Rheumatology Research Alliance, Spondyloarthritis Research and Treatment Network, and Pediatric Rheumatology Collaborative Study Group Advisory Council   +9 more
wiley   +1 more source

Clinician and Patient Factors Associated With Long‐Term Glucocorticoid Use in People With Rheumatoid Arthritis Receiving Advanced Therapies

Arthritis Care &Research, EarlyView.
Objective Despite guideline recommendations, long‐term glucocorticoid (GC) use is common in rheumatoid arthritis (RA). We conducted a clinician survey nested within a large registry to identify patient and clinician factors associated with GC use. Methods Clinicians contributing patients to the CorEvitas Rheumatoid Arthritis Registry were surveyed ...
Michael D. George, George Reed, Matthew D. Kearney, Peter F. Cronholm, Kevin Kane, Jeffrey R. Curtis, Dimitrios A. Pappas, Joel M. Kremer   +7 more
wiley   +1 more source

An Introduction to Timed Automata

, 2013
International audienceWe introduce timed automata and show how they can be used for the specification of timed systems. We also present some syntactical extensions useful for modeling and in particular networks of timed automata.
Bérard, Béatrice, Béatrice Bérard
core   +1 more source

A Formal Verification of a Reputation Multi-Factor Authentication Mechanism for Constrained Devices and Low-Power Wide-Area Network Using Temporal Logic. [PDF]

Sensors (Basel), 2023
Bezerra WR, Martina JE, Westphall CB.
europepmc   +1 more source

Clinical Validation of Artificial Intelligence (AI)‐based Cartilage Segmentation Predicting Knee Replacement

Arthritis Care &Research, Accepted Article.
Objective For cartilage morphology to serve as a scalable endpoint in clinical trials, analyses should be performed automatically without human interaction. To clinically validate artificial intelligence (AI)‐based analysis, we studied cartilage loss from MRI prior to knee replacement.
Felix Eckstein, David J. Hunter, C. Kent Kwoh, Wolfgang Wirth   +3 more
wiley   +1 more source

Beyond Visual Scoring: Computational Computed Tomography Analysis for High‐Resolution Computed Tomography–Based Quantification of Interstitial Lung Disease in Inflammatory Rheumatic Disease

Arthritis Care &Research, EarlyView.
Interstitial lung disease (ILD) is a significant cause of morbidity and mortality in patients with inflammatory rheumatic disorders (IRDs). High‐resolution computed tomography (HRCT) is widely considered the gold standard for the noninvasive assessment of ILD; however, its interpretation is constrained by substantial interobserver variability and the ...
Alexander Pfeil, Tobias Hoffmann, Ulf Teichgräber, Diane Renz, Denise Beckmann, Gunter Wolf, Nicole Schadewaldt, Bianca Lassen‐Schmidt   +7 more
wiley   +1 more source

Automated Hand Flexor Tendon–Thickness Measurement in Systemic Sclerosis

Arthritis Care &Research, EarlyView.
Objective Systemic sclerosis (SSc) can affect flexor tendons, contributing to hand function problems and reduced quality of life. Tendon changes are currently assessed with ultrasonography and measured manually, a time‐consuming process prone to interobserver variability.
Mark Greveling, Ties van het Erve, Yvette van de Berg, Simon Mastbergen, Julia Spierings   +4 more
wiley   +1 more source

Axiomatizing timed automata

, 2020
Summary. Timed automata has been developed as a basic semantic model for real time systems. Its algorithmic aspects for automated analysis have been well studied.
Huimin Lin, Wang Yi
core  

Prevalence of Dietary Supplement Use and Potential Medication Interactions Among Adults with Systemic Lupus Erythematosus

Arthritis Care &Research, Accepted Article.
Objective To characterize the prevalence and correlates of dietary supplement use, identify commonly used supplements, and evaluate potential supplement–medication interactions among adults with systemic lupus erythematosus (SLE). Methods We analyzed cross‐sectional data from 451 adults in the Approaches to Positive, Patient‐centered Experiences of ...
Sarah L. Patterson, Russell Ellyson, Jessica Fitzpatrick, Ghizlane Yaakoubi, Bradley Pearce, S. Sam Lim, Jinoos Yazdany, Laura C. Plantinga   +7 more
wiley   +1 more source