Results 101 to 110 of about 2,084,052 (380)

Model‐based validation of diagnostic software with application in automotive systems

IET Cyber-systems and Robotics, 2021
Software validation aims to ensure that a particular software product fulfils its intended purpose, and needs to be performed against both software requirement as well as its implementation (i.e. product). However, for diagnostic software (i.e.
Jun Chen, Ramesh S
doaj   +1 more source

The Validation of Formal Specifications of Requirements [PDF]

Electronic Workshops in Computing, 1996
We review the approaches put forward to validate formal specifications of requirements, drawing a parallel with research into the validation of knowledge bases. Using an industrial-scale case study we describe a partially implemented, integrated environment for validating requirements stated in many-sorted first order logic.
McCluskey, TL, Porteous, JM, Bryant, CH, West, MM   +3 more
openaire   +3 more sources

Knee crepitus and osteoarthritis features in young adults following traumatic knee injury

Arthritis Care &Research, Accepted Article.
Objective This study explored the association between knee crepitus and the presence, and worsening, of structural osteoarthritis features and self‐reported outcomes in young adults following traumatic knee injury. Methods One‐year following anterior cruciate ligament reconstruction (ACLR), 112 participants (41 female participants; median age 28 years)
Jamon L Couch, Brooke E Patterson, Kay M Crossley, Ali Guermazi, Matthew G King, Danilo De Oliveira Silva, Jackie L Whittaker, Michael A Girdwood, Adam G Culvenor   +8 more
wiley   +1 more source

InnoChain: a Distributed Ledger for Industry with Formal Verification on all Implementation Levels

Моделирование и анализ информационных систем, 2020
The extent of formal verification methods applied to industrial projects has always been limited. The proliferation of distributed ledger systems (DLS), also known as blockchain, is rapidly changing the situation. Since the main area of DLSs' application
Vladimir Aleksandrovich Kukharenko, Kirill Viktorovich Ziborov, Rafael Faritovich Sadykov, Alexandr Vladimirovich Naumchev, Ruslan Maratovich Rezin, Leonid Albertovich Merkin-Janson   +5 more
doaj   +1 more source

Component-Based Formal Analysis of 5G-AKA: Channel Assumptions and Session Confusion

Network and Distributed System Security Symposium, 2019
—The 5G mobile telephony standards are nearing completion; upon adoption these will be used by billions across the globe. Ensuring the security of 5G communication is of the utmost importance, building trust in a critical component of everyday life and ...
Cas J. F. Cremers, Martin Dehnel-Wild
semanticscholar   +1 more source

Perceptions about asymptomatic hyperuricemia and views about urate‐lowering therapy in people with asymptomatic hyperuricemia

Arthritis Care &Research, Accepted Article.
Background/Aims Asymptomatic hyperuricemia is a precursor of gout and is also associated with cardiovascular disease and chronic kidney disease. The aim of this study was to understand perceptions about asymptomatic hyperuricemia and views about urate‐lowering therapy in people with asymptomatic hyperuricemia.
Nicola Dalbeth, Sarah Stewart, Gregory D Gamble, Borislav Mihov, Lisa K Stamp, Janine Haslett, William J Taylor, Tony R Merriman, Adwoa Dansoa Tabi‐Amponsah, Anne Horne, Tuhina Neogi, Tristan Pascart, Mariano Andrés, Maria‐Luisa Peral‐Garrido, Eleonora Norkuviene, Janitzia Vazquez Mellado, Till Uhlig, Mingshu Sun, Changgui Li, Keith J Petrie   +19 more
wiley   +1 more source

Exploring patients’ profiles associated with the resolution of acute calcium pyrophosphate arthritis treatedwith colchicine and prednisone: post hoc analysis of a randomized controlled trial

Arthritis Care &Research, Accepted Article.
Objective The objective was to identify factors determining acute arthritis resolution and safety with colchicine and prednisone in acute calcium pyrophosphate (CPP) crystal arthritis. Methods We conducted a post hoc analysis of the COLCHICORT trial, which compared colchicine and prednisone for the treatment of acute CPP crystal arthritis, using a ...
Tristan Pascart, Laurène Norberciak, Pascal Richette, Pierre Robinet, Aurore Pacaud, Gauthier Marchasson, Thibault Rabin, Hélène Luraschi, Pierre Maciejasz, Anne‐France Georgel, Augustin Latourte, Hang‐Korng Ea, Sébastien Ottaviani, Charlotte Jauffret, Vincent Ducoulombier   +14 more
wiley   +1 more source

Formal Methods for Control Synthesis: An Optimization Perspective

Annu. Rev. Control. Robotics Auton. Syst., 2019
In control theory, complicated dynamics such as systems of (nonlinear) differential equations are controlled mostly to achieve stability. This fundamental property, which can be with respect to a desired operating point or a prescribed trajectory, is ...
C. Belta, Sadra Sadraddini
semanticscholar   +1 more source

Assessment of Pain Types in Recently Diagnosed Patients With Inflammatory Arthritis

Arthritis Care &Research, EarlyView.
Objective Up to 40% of patients with inflammatory arthritis (IA) experience persistent pain, traditionally thought to be associated with a shift from peripherally to centrally mediated pain during the disease course in some patients. We assessed sensory profiles of recently diagnosed individuals with IA, hypothesizing that pain reported at this early ...
Zoe Rutter‐Locher, Sam Norton, Joseph L. Taylor, Bina Menon, Tom Esterine, Ruth Williams, Leonie S. Taams, Kirsty Bannister, Bruce W. Kirkham   +8 more
wiley   +1 more source

Data‐Driven Distributed Safe Control Design for Multi‐Agent Systems

International Journal of Adaptive Control and Signal Processing, EarlyView.
This paper presents a data‐driven control barrier function (CBF) technique for ensuring safe control of multi‐agent systems (MASs) with uncertain linear dynamics. A data‐driven quadratic programming (QP) optimization is first developed for CBF‐based safe control of single‐agent systems using a nonlinear controller. This approach is then extended to the
Marjan Khaledi, Bahare Kiumarsi
wiley   +1 more source