Results 91 to 100 of about 2,084,052 (380)

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

Formalisation of the sofware component ontology specification

Lietuvos Matematikos Rinkinys, 2005
This paper is devoted to the development and specification problems of software component ontology. The formalisation of the proposed component ontology is presented, too. The choice of ontology interpretation  is motivated.
Lina Bagušytė, Audronė Lupeikienė
doaj   +3 more sources

Study on OSPF Algebraic Formal Modelling Using ACP

Elektronika ir Elektrotechnika, 2018
OSPF is a commonly used link state routing protocol in order to interconnect network devices inside an Autonomous System. This paper focuses on achieving a detailed modelling for OSPF by performing manual algebraic derivations according to Algebra of ...
Pedro Juan Roig, Salvador Alcaraz, Katja Gilly, Carlos Juiz   +3 more
doaj   +1 more source

Leveraging rust types for modular specification and verification

Proc. ACM Program. Lang., 2019
Rust's type system ensures memory safety: well-typed Rust programs are guaranteed to not exhibit problems such as dangling pointers, data races, and unexpected side effects through aliased references. Ensuring correctness properties beyond memory safety,
Vytautas Astrauskas, Peter Müller, F. Poli, Alexander J. Summers   +3 more
semanticscholar   +1 more source

Effect of Nonsteroidal Anti‐Inflammatory Drugs on Sacroiliac Joint Inflammation, as Seen on Magnetic Resonance Imaging, in Axial Spondyloarthritis

Arthritis Care &Research, EarlyView.
Objective Imaging evidence of active sacroiliitis is important for diagnosis, classification, and monitoring of axial spondyloarthritis (axSpA). However, there is no consistent guidance on whether patients should temporarily stop nonsteroidal anti‐inflammatory drugs (NSAIDs) before magnetic resonance imaging (MRI).
Gareth T. Jones, Alexander N. Bennett, Raj Sengupta, Pedro M. Machado, Helena Marzo‐Ortega, Lorna Aucott, Margaret A. Hall‐Craggs, Timothy J. P. Bray, Alan Bainbridge, Ruaridh M. Gollifer, Gary J. Macfarlane   +10 more
wiley   +1 more source

Proportion of Acceptable Symptom State Nearly Tripled With Improvements in Patient‐Reported Outcomes for All Symptom State Subgroups: A Registry Study of More Than 15,000 Patients With Osteoarthritis in Digital Education and Exercise Therapy

Arthritis Care &Research, EarlyView.
Objective This study investigated trajectories of patient acceptable symptom state (PASS) among participants of digital education and exercise therapy for knee and hip osteoarthritis. Methods A longitudinal observational study among individuals aged at least 40 years who participated in the digital program.
Ali Kiadaliri, L. Stefan Lohmander, Amanda E. Nelson, Leif E. Dahlberg   +3 more
wiley   +1 more source

Ontology Assisted Formal Specification Extraction from Text

Studia Universitatis Babes-Bolyai: Series Informatica, 2010
In the field of knowledge processing, the ontologies are the most important mean. They make possible for the computer to understand better the natural language and to make judgments.
Andreea Mihis
doaj  

Requirements analysis of the VoD application using the tools in TRADE [PDF]

, 1996
This report contains a specification of requirements for a video-on-demand (VoD) application developed at Belgacom, used as a trial application in the 2RARE project. The specification contains three parts: an informal specification in natural language; a
Huyts, Sander, Wieringa, R.J.
core   +2 more sources

The Economic Burden of Rheumatoid Arthritis in Low‐ and Middle‐Income Countries: Systematic Review and Meta‐Analysis

Arthritis Care &Research, Accepted Article.
Objective The aim of this systematic review was to synthesise the economic impact of rheumatoid arthritis (RA) on households, health systems, and society in low‐ and middle‐income countries (LMICs). Methods Electronic databases such as PubMed, Web of Science, and CINAHL were searched using keywords related to RA and cost of illness.
Tadesse Gebrye, Chidozie E.Mbada, Clara T.Fatoye, Faatihah Niyi‐Odumosu, Ushotanefe Useh, Zalmai Hakimi, Francis Fatoye   +6 more
wiley   +1 more source

Virtual or in‐person: does it matter? Comparing pain, function, quality of life, self‐efficacy and physical function outcomes of virtual, hybrid and in‐person GLA:D Canada participants

Arthritis Care &Research, Accepted Article.
Objective This study aimed to determine if program format (in‐person, virtual, hybrid) results in differences in three‐month outcomes of pain, function, quality of life, self‐efficacy and chair stands in a hip/knee osteoarthritis management program. Methods A secondary analysis of the GLA:DTM Canada database was completed.
Jill Van Damme, Vanina Dal Bello‐Haas, Ayse Kuspinar, Patricia Strachan, Michael Zywiel, James Young, Rhona McGlasson, Lisa C. Carlesso   +7 more
wiley   +1 more source