Results 141 to 150 of about 3,157,454 (357)

Formally verified redundancy removal [PDF]

, 1999
Stefan Hendricx, Luc Claesen
openalex   +1 more source

Association of Higher Levels of High‐Sensitivity C‐Reactive Protein With Future Development of Psoriatic Arthritis in Psoriasis: A Prospective Cohort Study

Arthritis Care &Research, EarlyView.
Objective We aimed to assess whether high‐sensitivity C‐reactive protein (hsCRP) levels could predict the development of psoriatic arthritis (PsA) in patients with psoriasis. Methods We analyzed data from a prospective cohort of patients with psoriasis without PsA at enrollment.
Lihi Eder, Xianwei Li, Vinod Chandran, Cheryl F. Rosen, Richard J. Cook, Dafna D. Gladman   +5 more
wiley   +1 more source

Toward Auto-Modeling of Formal Verification for NextG Protocols: A Multimodal Cross- and Self-Attention Large Language Model Approach

IEEE Access
This paper introduces Auto-modeling of Formal Verification with Real-world Prompting for 5G and NextG protocols (AVRE), a novel system designed for the formal verification of Next Generation (NextG) communication protocols, addressing the increasing ...
Jingda Yang, Ying Wang
doaj   +1 more source

Formal verification method for combinatorial circuits at high level design [PDF]

, 1999
Junji Kitamichi, Hitoshi Kageyama, Nobuo Funabiki   +2 more
openalex   +1 more source

Risk of Hepatotoxicity in Patients With Gout Treated With Febuxostat or Benzbromarone: A Propensity Score–Matched Cohort Study

Arthritis Care &Research, EarlyView.
Objective The objective of this study was to evaluate and compare the risk of hepatotoxicity associated with the use of febuxostat and benzbromarone in patients with gout. Methods New users of febuxostat or benzbromarone with monitoring of liver function at least three times in a year after initiation of the study drugs were identified from an ...
Wenyan Sun, Lingling Cui, Robert Terkeltaub, Ying Chen, Xinde Li, Xiaoyu Cheng, Tian Liu, Nicola Dalbeth, Changgui Li   +8 more
wiley   +1 more source

Colchicine Concentrations and Relationship With Colchicine Efficacy and Adverse Events: Post Hoc Analysis of a Randomized Clinical Trial of Colchicine for Gout Flare Prophylaxis

Arthritis Care &Research, EarlyView.
Objective Our objective was to examine the relationship between colchicine plasma concentrations and clinical and demographic factors and to determine the relationship between colchicine concentrations and colchicine efficacy and colchicine‐specific adverse events.
Lisa K. Stamp, Anne Horne, Borislav Mihov, Jill Drake, Janine Haslett, Peter Chapman, Daniel F. B. Wright, Christopher Frampton, Nicola Dalbeth   +8 more
wiley   +1 more source

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]

Sensors (Basel), 2020
Chouhan AP, Banda G.
europepmc   +1 more source

Verification of an Interactive Software by Analysis of its Formal Specification

, 1995
Philippe Palanque, Rémi Bastide
openalex   +1 more source

Understanding Contributors of Resilience in Youth With Childhood‐Onset Systemic Lupus Erythematosus Through a Socioecological Lens: A Mixed‐Methods Study

Arthritis Care &Research, EarlyView.
Objective This study aimed to identify themes contributing to resilience in childhood‐onset systemic lupus erythematosus (cSLE), distinguish between profiles of resilience, and examine how they relate to underlying themes and patient characteristics. Methods We conducted a mixed‐methods study of 21 patients with cSLE aged 11 to 19 years at a Canadian ...
Isabella Zaffino, Louise Boulard, Joanna Law, Asha Jeyanathan, Lawrence Ng, Sandra Williams‐Reid, Kiah Reid, Angela Cortes, Eugene Cortes, Ashley Danguecan, Deborah M. Levy, Linda T. Hiraki, Andrea M. Knight   +12 more
wiley   +1 more source

Formal verification of superscale microprocessors with multicycle functional units, exception, and branch prediction [PDF]

, 2000
Miroslav N. Velev, Randal E. Bryant
openalex   +1 more source