Results 81 to 90 of about 1,643,554 (351)

Hydroxychloroquine Associated With Lower Glomerular Filtration Rate Decline in Lupus Nephritis

Arthritis Care &Research, EarlyView.
Objective Hydroxychloroquine (HCQ) protects kidney function in lupus nephritis (LN) by preventing flares, yet some cohort studies show no significant benefit in kidney function with HCQ. Clarifying these conflicting findings by showing early and long‐term benefits of HCQ on kidney function preservation is critical.
Shivani Garg, Brad Rovin, Brad C. Astor, Tripti Singh, Fauzia Hollnagel, Megan Kuik, Lexie Kolton, Callie Saric, S. Sam Lim, Christie M. Bartels   +9 more
wiley   +1 more source

Machine Improvisation With Formal Specifications

, 2014
(Abstract to follow)
Donzé, A, Valle, R, Akkaya, I, Libkind, S, Seshia, SA, Wessel, D   +5 more
openaire   +2 more sources

Formal Methods for Control Synthesis: An Optimization Perspective

Annu. Rev. Control. Robotics Auton. Syst., 2019
In control theory, complicated dynamics such as systems of (nonlinear) differential equations are controlled mostly to achieve stability. This fundamental property, which can be with respect to a desired operating point or a prescribed trajectory, is ...
C. Belta, Sadra Sadraddini
semanticscholar   +1 more source

Economic Burden of Rheumatoid Arthritis in Low‐ and Middle‐Income Countries: Systematic Review and Meta‐Analysis

Arthritis Care &Research, EarlyView.
Objective The aim of this systematic review was to synthesize the economic impact of rheumatoid arthritis (RA) on households, health systems, and society in low‐ and middle‐income countries (LMICs). Methods Electronic databases such as PubMed, Web of Science, and CINAHL were searched using keywords related to RA and cost of illness.
Tadesse Gebrye, Chidozie E. Mbada, Clara T. Fatoye, Faatihah Niyi‐Odumosu, Ushotanefe Useh, Zalmai Hakimi, Francis Fatoye   +6 more
wiley   +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 Education and Exercise Program Participants

Arthritis Care &Research, EarlyView.
Objective This study aimed to determine if program format (in‐person, virtual, or hybrid) results in differences in 3‐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 Good Life with osteoArthritis in Denmark (GLA:D) Canada database was
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

Hip Morphology–Based Osteoarthritis Risk Prediction Models: Development and External Validation Using Individual Participant Data From the World COACH Consortium

Arthritis Care &Research, EarlyView.
Objective This study aims to develop hip morphology‐based radiographic hip osteoarthritis (RHOA) risk prediction models and investigates the added predictive value of hip morphology measurements and the generalizability to different populations. Methods We combined data from nine prospective cohort studies participating in the Worldwide Collaboration ...
Myrthe A. van den Berg, Fleur Boel, Michiel M. A. van Buuren, Noortje S. Riedstra, Jinchi Tang, Harbeer Ahedi, Nigel K. Arden, Sita M. A. Bierma‐Zeinstra, Cindy G. Boer, Flavia M. Cicuttini, Timothy F. Cootes, David T. Felson, Willem Paul Gielis, Joshua Heerey, Graeme Jones, Stefan Kluzek, Nancy E. Lane, Claudia Lindner, Joyce B. J. van Meurs, Andrea Mosler, Amanda E. Nelson, Michael C. Nevitt, Edwin H. Oei, Jos Runhaar, Harrie Weinans, Jesse H. Krijthe, Rintje Agricola   +26 more
wiley   +1 more source

The Formal Specification Language mCRL2

, 2007
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the mCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and
Groote, Jan Friso, Mathijssen, Aad, Reniers, Michel, Usenko, Yaroslav, van Weerdenburg, Muck   +4 more
openaire   +4 more sources

Cost‐Effectiveness of Low‐Dose Colchicine Prophylaxis When Starting Allopurinol Using the “Start‐Low Go‐Slow” Approach for Gout: Evidence From a Noninferiority Randomized Double‐Blind Placebo‐Controlled Trial

Arthritis Care &Research, EarlyView.
Objective The aim of this study was to investigate the cost‐effectiveness of low‐dose colchicine prophylaxis for preventing gout flares when starting allopurinol using the “start‐low go‐slow” approach. Methods Participants with gout, fulfilling the American College of Rheumatology recommendations for starting urate‐lowering therapy and with serum urate
Yana Pryymachenko, Ross Wilson, Nicola Dalbeth, J. Haxby Abbott, Lisa Stamp   +4 more
wiley   +1 more source

Analysis of Formal Methods for Specification of E-Commerce Applications [PDF]

Mehran University Research Journal of Engineering and Technology, 2016
E-commerce based application characteristics portray elevated dynamics while incorporating decentralized nature. Extreme emphasis influencing structural design plus implementation, positions such applications highly appreciated.
Sadiq Ali Khan, Huma Jamshed
doaj  

A Verified Formal Specification of A Secured Communication Method For Smart Card Applications [PDF]

, 2021
Donald D. Kim
openalex   +1 more source