Results 161 to 170 of about 1,494,052 (317)

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

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

Gastrointestinal Perforation as a Safety Concern Among Patients With Rheumatoid Arthritis Receiving JAK Inhibitor Therapy: A Systematic Review and Network Meta‐Analysis

Arthritis Care &Research, EarlyView.
Objective Gastrointestinal perforation (GIP) is a rare and life‐threatening safety concern associated with JAK inhibitors (JAKi). We aimed to review the evidence regarding the risk of GIP associated with the use of JAKi in patients with rheumatoid arthritis (RA) using a systematic review and network meta‐analysis approach.
Thipsukhon Sathapanasiri, Manuel Meraz, Hamraz Mokri, Sajesh K Veettil, Karn Wijarnpreecha, Naomi Schlesinger, Arthur Kavanaugh, Nathorn Chaiyakunapruk   +7 more
wiley   +1 more source

Radiomics and 256-slice-dual-energy CT in the automated diagnosis of mild acute pancreatitis: the innovation of formal methods and high-resolution CT. [PDF]

Radiol Med
Rocca A, Brunese MC, Santone A, Varriano G, Viganò L, Caiazzo C, Vallone G, Brunese L, Romano L, Di Serafino M, R O I Segmentation Collaborative Group.   +10 more
europepmc   +1 more source

Using formal methods to scope performance challenges for Smart Manufacturing Systems: focus on agility. [PDF]

Concurr Eng Res Appl, 2015
Jung K, Morris KC, Lyons KW, Leong S, Cho H.   +4 more
europepmc   +1 more source

Book Review: Formal methods in human–computer interaction. Edited by Philippe Palanque and Fabio Paterno. Published by Springer Verlag, Heidelberg, Germany, 1998. ISBN: 3-540-76158-6, 376 pages. Price: U.K. £29.50, Germany DM 89.00, Soft Cover. [PDF]

, 1998
Harold Thimbleby
openalex   +1 more source

Real‐World Cost‐Effectiveness of a Standardized Education and Exercise Therapy Program for Hip and Knee Osteoarthritis Compared to Usual Care

Arthritis Care &Research, EarlyView.
Objective We estimated the real‐world cost‐effectiveness of a standardized education and exercise therapy program (GLA:D) compared to usual care (UC) for people managing hip and/or knee osteoarthritis (HKOA). Methods We used a prospective matched cohort design to recruit people (aged >45 years) diagnosed with HKOA who used GLA:D or UC (not on a ...
Darren R. Mazzei, Jackie L. Whittaker, Peter Faris, Tracy Wasylak, Deborah A. Marshall   +4 more
wiley   +1 more source

Practical Formal Methods for Process Control Engineering

, 1992
Clive Fencott, Colin Fleming, C.P. Gerrard   +2 more
openalex   +1 more source

A Programming Approach to Formal Methods [PDF]

, 1995
S. Ramesh
openalex   +1 more source

Ageism in Rheumatology: The Health Care Professional's Perspective

Arthritis Care &Research, EarlyView.
Objective Ageism (age‐based stereotypes, prejudice, or discrimination) is prevalent and linked to prolonged disability and reduced lifespan in older adults. Little is known about ageism within rheumatology. This study explores the health care professional's (HCP) perception of the care of older adults and how ageist attitudes or perspectives may impact
Aaron P. Smith, Pooja M. Achanta, Jiha Lee, Namrata Singh, Una E. Makris   +4 more
wiley   +1 more source

Recommendations for the Use of Disease‐Modifying Antirheumatic Drugs in Pregnancy and Reproductive Health for Patients With Rheumatic Disease: A Scoping Review

Arthritis Care &Research, EarlyView.
Objective Autoimmune rheumatic diseases commonly affect individuals of childbearing age, with historically increased adverse pregnancy outcomes in this group. The advent of disease‐modifying antirheumatic drugs (DMARDs) has fostered more suitable conditions for pregnancy; however, this is accompanied by challenges in ensuring safe use in reproductive ...
Athena Chin, Alice Terrett, Mihye Kwon, Samuel Whittle, Catherine Hill   +4 more
wiley   +1 more source