Results 81 to 90 of about 494,717 (236)

Machine Improvisation With Formal Specifications

, 2014
(Abstract to follow)
Donzé, A, Valle, R, Akkaya, I, Libkind, S, Seshia, SA, Wessel, D   +5 more
openaire   +2 more sources

Hip Morphology–Based Osteoarthritis Risk Prediction Models: Development and External Validation Using Individual Participant Data From the World COACH Consortium

Arthritis Care &Research, EarlyView.
Objective This study aims to develop hip morphology‐based radiographic hip osteoarthritis (RHOA) risk prediction models and investigates the added predictive value of hip morphology measurements and the generalizability to different populations. Methods We combined data from nine prospective cohort studies participating in the Worldwide Collaboration ...
Myrthe A. van den Berg, Fleur Boel, Michiel M. A. van Buuren, Noortje S. Riedstra, Jinchi Tang, Harbeer Ahedi, Nigel K. Arden, Sita M. A. Bierma‐Zeinstra, Cindy G. Boer, Flavia M. Cicuttini, Timothy F. Cootes, David T. Felson, Willem Paul Gielis, Joshua Heerey, Graeme Jones, Stefan Kluzek, Nancy E. Lane, Claudia Lindner, Joyce B. J. van Meurs, Andrea Mosler, Amanda E. Nelson, Michael C. Nevitt, Edwin H. Oei, Jos Runhaar, Harrie Weinans, Jesse H. Krijthe, Rintje Agricola   +26 more
wiley   +1 more source

The Formal Specification of Oberon

, 1997
JUCS - Journal of Universal Computer Science Volume Nr.
Kutter,Philipp, Pierantonio,Alfonso
openaire   +3 more sources

Effectiveness and Safety of Baricitinib for Juvenile Idiopathic Arthritis–Associated Uveitis or Chronic Anterior Antinuclear Antibody–Positive Uveitis

Arthritis Care &Research, EarlyView.
Objective To evaluate the efficacy and safety of baricitinib in pediatric patients with active juvenile idiopathic arthritis–associated uveitis (JIA‐U) or chronic anterior antinuclear antibody–positive uveitis, who had an inadequate response to methotrexate (MTX) or biologic disease‐modifying antirheumatic drugs (bDMARDs).
Athimalaipet V. Ramanan, Catherine M. Guly, Gabriele Simonini, Stuart Y. Keller, Priyanka Sen, Thorsten Holzkaemper, Joana Araújo, Pierre Quartier   +7 more
wiley   +1 more source

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

Do we really need to write documentation for a system? CASE tool add-ons: generator+editor for a precise documentation

, 2014
One of the common problems of system development projects is that the system documentation is often outdated and does not describe the latest version of the system.
Mou, Dongyue, Spichkova, Maria, Zhu, Xiuna   +2 more
core  

The Formal Specification Language mCRL2

, 2007
We introduce mCRL2, a specification language that can be used to specify and analyse the behaviour of distributed systems. This language is the successor of the mCRL specification language. The mCRL2 language extends a timed basic process algebra with the possibility to define and use abstract data types. The mCRL2 data language features predefined and
Groote, Jan Friso, Mathijssen, Aad, Reniers, Michel, Usenko, Yaroslav, van Weerdenburg, Muck   +4 more
openaire   +4 more sources

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

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

Analysis of Formal Methods for Specification of E-Commerce Applications [PDF]

Mehran University Research Journal of Engineering and Technology, 2016
E-commerce based application characteristics portray elevated dynamics while incorporating decentralized nature. Extreme emphasis influencing structural design plus implementation, positions such applications highly appreciated.
Sadiq Ali Khan, Huma Jamshed
doaj