Results 1 to 10 of about 135,609 (263)

Methods and Tools for the Integration of Formal Verification in Domain-Specific Languages

, 2014
Faiez Zalila
openalex   +1 more source

A Formally Verified mRNA Sequence Optimization Compiler in Lean 4: Type-Level DNA/RNA Separation and Structural Invariants

Takeo Yamamoto
openalex   +1 more source

An Integrated Formal Methods Tool-Chain and Its Application to Verifying a File System Model

, 2009
Miguel Alexandre Ferreira, José N. Oliveira   +1 more
openalex   +2 more sources

Temporal Trends and Short‐ and Long‐Term Mortality of People With Acute Myocardial Infarction and Rheumatoid Arthritis: A Nationwide Cohort Study

Arthritis Care &Research, EarlyView.
Objective We investigated whether a diagnosis of rheumatoid arthritis (RA) affects the quality of inpatient acute myocardial infarction (AMI) care and long‐term mortality post‐AMI. Methods We analyzed data from 784,091 adults, 6,047 with a diagnosis of RA, from England and Wales hospitalized with AMI between 2005 and 2019 from the Myocardial Ischaemia ...
Megan Butler, Nicholas Weight, Muhammad Rashid, Rodrigo Bagur, Purvi Parwani, Samantha Hider, Edward Roddy, Robert Butler, Mamas A. Mamas   +8 more
wiley   +1 more source

Cognitive Behavioral Therapy for Youth With Childhood‐Onset Lupus: A Randomized Clinical Trial

Arthritis Care &Research, EarlyView.
Objective Our objective was to determine the feasibility and acceptability of the Treatment and Education Approach for Childhood‐Onset Lupus (TEACH), a six‐session cognitive behavioral intervention addressing depressive, fatigue, and pain symptoms, delivered remotely to individual youth with lupus by a trained interventionist.
Natoshia R. Cunningham, Thea Senger‐Carpenter, Jocelyn Zuckerman, Michelle Adler, Mallet R. Reid, Ashley Danguecan, Luana Flores Pereira, Sarah I. Mossad, Samantha L. Ely, Khalid Abulaban, Elizabeth A. Kessler, Natalie Rosenwasser, Tamar B. Rubinstein, Ekemini A. Ogbu, Emily A. Smitherman, Alaina Miller, Taylor Abounader, Elizabeth Ross, Livie Timmerman, Dhriti Sharma, Jennifer N. Stinson, Stacy Allen, Kabita Nanda, Tala El Tal, Deborah M. Levy, Linda T. Hiraki, Hermine I. Brunner, Mathew Reeves, Steven J. Pierce, Andrea Knight   +29 more
wiley   +1 more source

Youth Employment Preferences in Rwanda and Sierra Leone: A Constrained Comparative Secondary Analysis. [PDF]

Open Res Afr
Sangwa S, Kagiraneza E, Tieche Muberarugo B, Kamara K, Sarah Jawara R.   +4 more
europepmc   +1 more source

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

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

The Causal Metric Tensor as a Reasoning Engine over the Latent Space of Large Language Models: Formal Verification and Empirical Validation (v4.2 Apex)

Dimitrios Ropokis
openalex   +1 more source

Evaluation of a Novel Electric Health Record Sidecar Application to Display Rheumatoid Arthritis Clinical Outcomes During Clinic Visits: Results of a Stepped‐Wedge Cluster Randomized Pragmatic Trial

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, Jing Li, Cathy Nasrallah, Cherish Wilson, Alicia Hamblin, Christine Hariz, Cammie Young, Stephen Shiboski, Emma Kersey, Mary Nakamura, Judith F. Ashouri, Mehrdad Matloubian, Andrew J. Gross, Jennifer Barton, Beth Berrean, Jonathan Prugh, Jinoos Yazdany   +16 more
wiley   +1 more source

Community Pharmacists' Acceptance of Telemedicine-Enabled Medication Dispensing in Jordan: A Mixed-Methods Study of Patient Safety Concerns, Implementation Barriers, and Required Safeguards. [PDF]

Healthcare (Basel)
AlRasheed HA, Abu Dayyih W, Merdas ZJH, Wadi WL, Alharazneh A, Shudifat R, Abed A.   +6 more
europepmc   +1 more source