Results 91 to 100 of about 1,643,554 (351)

Temporal Trends in and Associations With Nonsteroidal Anti‐inflammatory Drug Prescription in Adult and Pediatric Patients With Inflammatory Bowel Disease

Arthritis Care &Research, EarlyView.
Objective Recent inflammatory bowel disease (IBD) treatment guidelines have recommended against nonsteroidal anti‐inflammatory drug (NSAID) use despite prevalent musculoskeletal symptoms and opioid overuse in this population. Given the discordance between changing national guidelines and potential clinical utility, we sought to assess national temporal
Adam S. Mayer, Rui Xiao, Andrew Grossman, Meenakshi Bewtra, Michael D. George, Pamela F. Weiss   +5 more
wiley   +1 more source

Applying Automated Model Extraction for Simulation and Verification of Real-Life SDL Specification With Spin

IEEE Access, 2017
Formally defined Specification and Description Language (SDL) is used for the design and specification of complex safety-critical systems. Each change in the specification of the product should be immediately checked formally against the requirements ...
Bostjan Vlaovic, Aleksander Vreze, Zmago Brezocnik   +2 more
doaj   +1 more source

The complexity of formal specifications - assessments by α - metric [PDF]

, 1999
Peter Kokol, Vili Podgorelec, Henri Habrias, Nassim Hadj Rabia   +3 more
openalex   +1 more source

Ultrasonography Compared With Computed Tomography in Identifying Thoracic Aortic Aneurysms in Patients With Giant Cell Arteritis

Arthritis Care &Research, EarlyView.
Objective The objectives of this study were to evaluate the correlation and agreement between ultrasonography and computed tomography (CT) in measuring ascending aorta diameter in patients with giant cell arteritis (GCA) and to investigate the development of new ascending aortic aneurysms in patients with newly diagnosed GCA.
Anne C. Bull Haaversen, Lene K. Brekke, Tanaz A. Kermani, Øyvind Molberg, Andreas P. Diamantopoulos   +4 more
wiley   +1 more source

Formal Specification in “Z” Language by Software Z/EVES

Advances in Electrical and Electronic Engineering, 2006
The paper shows a short overview of representation formalisms, which can be used for specification of technical system functional requirements. Some basic model schemas of function called User Identification of ITS are presented by formal specification ...
Josef Svec, Jiri Zahradnik
doaj  

Accuracy of Diagnostic Codes and Algorithms Used to Identify Rheumatoid Arthritis and Juvenile Idiopathic Arthritis in Administrative Claims and Electronic Health Records: Systematic Review and Meta‐Analysis

Arthritis Care &Research, EarlyView.
Objective This systematic review aimed to assess the diagnostic accuracy of algorithms used to identify rheumatoid arthritis and juvenile idiopathic arthritis in electronic health records. Methods We searched Medline, Embase, and Cochrane Central Register for Controlled Trials databases and included studies that validated case definitions against a ...
Constanza Saka‐Herrán, Jessica Bennett, Yara Alkabti, Muhammad Fatir, Barbara Clyne, Caroline McCarthy, Gráinne Tynan, Nikki Dunne, Michelle Flood, Eoghan McCarthy, Frank Moriarty   +10 more
wiley   +1 more source

Formal Specification and Testing of a Management Architecture [PDF]

, 1997
G. P. A. Fernandes, John Derrick
openalex   +1 more source

Clinical Conditions Associated With a High Antinuclear Antibody Titer in Individuals Without Autoimmune Disease

Arthritis Care &Research, EarlyView.
Objective Antinuclear antibodies (ANAs) are present at high titers in 2% of the general population, but their clinical significance in individuals without an autoimmune (AI) disease is not known. We tested the hypothesis that the presence of a high ANA titer in non‐AI conditions is associated with disease.
Matthew Chung, John P. Shelley, Gul Karakoc, John Still, Xiaodi Ruan, Jonathan Mosley, C. Michael Stein, Vivian K. Kawai   +7 more
wiley   +1 more source

Formal verification of a concurrent file system based on lock guarantee conditions extended concurrent separation logic

Tongxin xuebao
During the formal verification, logic is relied to formally specify and reason about the properties that the file system must satisfy. Concurrent separation logic (CSL) is used in the formal verification of concurrent file systems and to prove the ...
ZHENG Xinmin, LI Mingshu, YANG Qiusong, LI Wenbo   +3 more
doaj  

Formal Specification Based Automatic Test Generation for Embedded Network Systems

Journal of Applied Mathematics, 2014
Embedded systems have become increasingly connected and communicate with each other, forming large-scaled and complicated network systems. To make their design and testing more reliable and robust, this paper proposes a formal specification language ...
Eun Hye Choi, Hideaki Nishihara, Takahiro Ando, Nguyen Van Tang, Masahiro Aoki, Keiichi Yoshisaka, Osamu Mizuno, Hitoshi Ohsaki   +7 more
doaj   +1 more source