Results 71 to 80 of about 526,453 (338)

Validating specifications of dynamic systems using automated reasoning techniques [PDF]

, 1995
In this paper, we propose a new approach to validating formal specifications of observable behavior of discrete dynamic systems. By observable behavior we mean system behavior as observed by users or other systems in the environment of the system ...
Feenstra, Remco, Wieringa, Roel
core   +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

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  

Towards a method for rigorous development of generic requirements patterns

, 2006
We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated
A. Węsowski, B. Dehbonei, C. Snook, C. Snook, C.M. Belcastro, D. Batory, D. Muthig, G. Booch, J.-R. Abrial, L. Laibinis, L. Laibinis, M. Fayad, P. Amey, R. Banach, S.R. Faulk, W. Lam   +15 more
core   +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

Moderators and Mediators of Pain and Function Outcomes in a New Service Delivery Model for Management of Knee Osteoarthritis in Primary Care: Secondary Exploratory Analysis of a Randomized Controlled Trial

Arthritis Care &Research, EarlyView.
Objective Our objective was to explore moderators and mediators influenced changes in pain and function in people with knee osteoarthritis (OA) receiving a new model of primary care service delivery (Optimizing Primary Care Management of Knee Osteoarthritis [PARTNER]), at 12 months (ACTRN: 12617001595303).
Abdolhay Farivar, Jocelyn L. Bowden, Kim L. Bennell, Andrew M. Briggs, Stephen J. Bunker, Rana S. Hinman, Thorlene Egerton, Simon D. French, Marie Pirotta, Karen Schuck, Venkatesha Venkatesha, Nicholas A. Zwar, David J. Hunter   +12 more
wiley   +1 more source

Retrotransposon Expression Is Upregulated in Adulthood and Suppressed during Regeneration of the Limb in the Axolotl (Ambystoma mexicanum)

Advanced Biology, EarlyView.
The axolotl's remarkable regenerative abilities decline with age, the causes may include the numerous repetitive elements within its genome. This study uncovers how Ty3 retrotransposons and coexpression networks involving muscle and immune pathways respond to aging and regeneration, suggesting that transposons respond to physiological shifts and may ...
Samuel Ruiz‐Pérez, Nicolás Alcaraz, Karla Torres‐Arciga, José Antonio Ocampo‐Cervantes, Alejandra Cervera, Clementina Castro‐Hernández, Cynthia Gabriela Sámano‐Salazar, Ernesto Soto‐Reyes, Rodrigo González‐Barrios   +8 more
wiley   +1 more source

Towards the Formal Specification and Verification of Maple Programs

, 2012
In this paper, we present our ongoing work and initial results on the formal specification and verification of MiniMaple (a substantial subset of Maple with slight extensions) programs.
D.A. Schmidt, M. Barnett, M. Zhou, M.B. Monagan, T. Lambert, V. D’Silva   +5 more
core   +1 more source

A Case‐Based Reasoning Approach to Model Manufacturing Constraints for Impact Extrusion

Advanced Engineering Materials, EarlyView.
A hybrid modeling approach is presented that combines constraint‐based process modeling and case‐based reasoning. The model formalizes manufacturing constraints and integrates simulation data to model complex manufacturing processes. The approach supports manufacturability analysis during product design through an adaptive modeling environment.
Kevin Herrmann, Eduard Ortlieb, Hendrik Wester, Paul Christoph Gembarski, Bernd‐Arno Behrens, Roland Lachmayer   +5 more
wiley   +1 more source

From Damage to Functionality: Remanufacturing of Thrust Roller Bearings by Tailored Forming

Advanced Engineering Materials, EarlyView.
Herein, the wear and fatigue behavior of repaired bearing raceways with a new powder alloy is investigated using a FE8 test‐rig and an oscillating tribometer. The tests are compared with industrial manufactured bearings to evaluate the repair quality. The repair can extend the service life of the repaired bearing to that of a new bearing and improves ...
Felix Saure, Florian Pape, Gerhard Poll, Max Marian   +3 more
wiley   +1 more source