Results 191 to 200 of about 117,504 (308)

Scalable Formal Verification of Incremental Stability in Large-Scale Systems Using Graph Neural Networks [PDF]

Basu, Ahan, Anand, Mahathi, Jagtap, Pushpak   +2 more
openalex  

Secure mobile payment framework based on UICC with formal verification

, 2014
Shaik Shakeel Ahamad, V. N. Sastry, Siba K. Udgata   +2 more
openalex   +1 more source

Trends in Dermatopolymyositis Mortality, 1999–2022: A Nationwide Population‐Based Study, United States

Arthritis Care &Research, EarlyView.
We report the national burden of dermatopolymyositis mortality over the past quarter century using the US national vital statistics data. Age‐standardized mortality rates for dermatopolymyositis decreased at an annual rate of 3.8% each year, which was higher than the annual percent decrease for deaths from all other causes.
Elizabeth Matz, Ram R. Singh
wiley   +1 more source

A blended modeling framework for real-time design and verification of safety-critical embedded systems. [PDF]

PLoS One
Awan MM, Anwar MW, Butt WH, Azam F.
europepmc   +1 more source

​Did a Non‐Medical Biosimilar Switching Policy Cause an Increase in Non‐Biologic/Biosimilar Health Care Resource Utilization or Cost in Patients With Inflammatory Arthritis?

Arthritis Care &Research, EarlyView.
Objective This study aimed to evaluate the impact of a series of policies that mandated switching patients with inflammatory arthritis (IA) from an originator biologic to a biosimilar in British Columbia, Canada, on health care resource use and cost.
HaoHung Dang, Sandra Blitz, Nick Bansback, Michael Law, Mark Harrison   +4 more
wiley   +1 more source

Reduction in Renal Relapse and Preservation of Long‐Term Kidney Function After Lupus Low Disease Activity in Patients With Lupus Nephritis

Arthritis Care &Research, EarlyView.
Objective Lupus low disease activity state (LLDAS) is a validated treatment target in systemic lupus erythematosus (SLE), but limited studies have explored the role of LLDAS in lupus nephritis (LN). This study aims to investigate the frequency and predictors of LLDAS attainment and its benefit on LN relapse and renal function preservation in patients ...
Chak Kwan Cheung, Desmond Y. H. Yap, Ka Lai Lee, Philip H. Li, Iris Y. K. Tang, Chak Sing Lau, Shirley C. W. Chan   +6 more
wiley   +1 more source

Stage-specific and regional trends in prostate cancer incidence in Kazakhstan, 2005-2024. [PDF]

Front Oncol
Igissinova G, Igissin N, Kudaibergenova I, Yermek N, Telmanova Z, Turebayev D, Jexenova A, Moldagali R, Khairli G, Kazhitaev A, Dyakov S, Baibosynov D, Shishkin I, Nogoibaeva K, Baytelieva A, Mamatov N, Halimi A, Bilyalova Z.   +17 more
europepmc   +1 more source

Formal Verification of Local Robustness of a Classification Algorithm for a Spatial Use Case [PDF]

Delphine Longuet, Amira Elouazzani, Alejandro Penacho Riveiros, Nicola Bastianello   +3 more
openalex   +1 more source

A Scoping Review on Artificial Intelligence–Supported Interventions for Nonpharmacologic Management of Chronic Rheumatic Diseases

Arthritis Care &Research, EarlyView.
This review summarizes artificial intelligence (AI)‐supported nonpharmacological interventions for adults with chronic rheumatic diseases, detailing their components, purpose, and current evidence base. We searched Embase, PubMed, Cochrane, and Scopus databases for studies describing AI‐supported interventions for adults with chronic rheumatic diseases.
Nirali Shah, Alexis Castellanos, Yen Chen, John Piette, Amy Bucher, Susan Murphy   +5 more
wiley   +1 more source

Lean Six Sigma for Sharps Waste Management and Occupational Biosafety in Emergency Care Units. [PDF]

Int J Environ Res Public Health
Ayres MAC, Korzenowski AL, Dos Anjos FEV, Toigo T, Notarjacomo MHB.   +4 more
europepmc   +1 more source