Results 191 to 200 of about 23,407,383 (367)

Formal modeling of a causal consistent distributed system and verification of its history <i>via</i> model checking using colored Petri net. [PDF]

PeerJ Comput Sci
Alsaegg KAM, Pashazadeh S, Zolfy Lighvan M.   +2 more
europepmc   +1 more source

Clinical Outcomes of Patients Within the Rheumatoid Arthritis Care Pathway Cohort at a Tertiary Care Integrated Delivery Network: A Comparison to Usual Care

Arthritis Care &Research, EarlyView.
Objective We aimed to compare clinical outcomes between patients in the Allegheny Health Network rheumatoid arthritis (RA) care pathway and patients receiving usual care. Methods The care pathway initiative implements guideline‐based best practice alongside multidisciplinary team‐based care.
Tarun Sharma, Tyson S. Barrett, Teigan Dwyer, Nancy Campbell, Jessica Heintzinger, Ellen Kraemer, Adam Dore, Susan Manzi   +7 more
wiley   +1 more source

Symbolic model checking quantum circuits in Maude. [PDF]

PeerJ Comput Sci
Minh Do C, Ogata K.
europepmc   +1 more source

Accuracy of Diagnostic Codes and Algorithms Used to Identify Rheumatoid Arthritis and Juvenile Idiopathic Arthritis in Administrative Claims and Electronic Health Records: Systematic Review and Meta‐Analysis

Arthritis Care &Research, EarlyView.
Objective This systematic review aimed to assess the diagnostic accuracy of algorithms used to identify rheumatoid arthritis and juvenile idiopathic arthritis in electronic health records. Methods We searched Medline, Embase, and Cochrane Central Register for Controlled Trials databases and included studies that validated case definitions against a ...
Constanza Saka‐Herrán, Jessica Bennett, Yara Alkabti, Muhammad Fatir, Barbara Clyne, Caroline McCarthy, Gráinne Tynan, Nikki Dunne, Michelle Flood, Eoghan McCarthy, Frank Moriarty   +10 more
wiley   +1 more source

An approach leveraging radiomics and model checking for the automatic early diagnosis of adhesive capsulitis. [PDF]

Sci Rep
Varriano G, Nardone V, Brunese MC, Bruno M, Santone A, Brunese L, Zappia M.   +6 more
europepmc   +1 more source

Automatische Testfallgenerierung mittels Model-Checking für Steuerungsprogramme

, 2010
Benjamin Kormann, Daniel Witsch, Birgit Vogel‐Heuser   +2 more
openalex   +1 more source

Artefact for 'On the Use of Model and Logical Embeddings for Model Checking of Stochastic Systems'

, 2023
Susmoy Das, Arpit Sharma
openalex   +2 more sources

A Qualitative Analysis of Patient Perspectives and Preferences in Lupus Management to Guide Lupus Guidelines Development

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, Izzy Hartel, Lisa R. Sammaritano, Anca Askanase, Bonnie L. Bermas, Maria Dall'Era, Alí Duarte‐García, Victoria P. Werth, Brad Rovin, Reem A. Mustafa, Amy S. Turner, Bené Williams, Brian L. Ung, Hiya Bhavsar, Monique C. Gore‐Massy, Nahirannette Pulido, Natacha Guerrero, Natalie M. Smith, Wambui Machua, Linda T. Hiraki, Mary Beth Son   +20 more
wiley   +1 more source

Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC. [PDF]

Stat Biosci
Yang Z, Liang H, Liu H, Barth S, Byrne M, Andersen E, Bhandaru V, Castel A.   +7 more
europepmc   +1 more source

Response to Allopurinol and Febuxostat According to the Fractional Excretion of Urate in Men With Gout

Arthritis Care &Research, EarlyView.
Objective Body mass index (BMI), glomerular filtration rate (GFR), and pretreatment urate levels have been reported to influence the urate‐lowering response to allopurinol. We investigated whether the fractional excretion of uric acid (FEUA) also modulates this response and relates to oxypurinol concentrations.
Pascal Richette, Anouk Walter‐Petrich, Quang Dinh Nguyen, Matthieu Resche‐Rigon, Quang Huy Dinh Nguyen, Minh Duc Do, Thao Phuong Mai, Tuan Duc Nguyen, Fernando Perez‐Ruiz, Emmanuel Letavernier, Tristan Pascart, Augustin Latourte, Hang Korng Ea, Thomas Bardin   +13 more
wiley   +1 more source