Results 231 to 240 of about 3,649,820 (385)
Practical formal verification in microprocessor design
, 2001 Robert B. Jones +4 more
openalex +2 more sources
Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol [PDF]
, 2003 Mariëlle Stoelinga
openalex +1 more source
Formal Verification of Smart Contracts Based on Users and Blockchain Behaviors Models
International Conference on New Technologies, Mobility and Security, 2018 Tesnim Abdellatif, Kei-Léo Brousmiche
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 +8 more
wiley +1 more source
Formal verification of a generic framework to synthesize SAT-provers [PDF]
, 2004 Francisco J. Martín-Mateos +3 more
openalex +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
Proof Engineering in the Large: Formal Verification of Pentium®4 Floating-Point Divider
, 2001 Roope Kaivola, Katherine Kohatsu
openalex +1 more source
Advanced Biology, EarlyView.The novelty of this study showed that the injection of exosomes produced from ADMSCs in combination with Roflumilast poses a more favorable therapeutic outcome for CKD induced by Adriamycin, compared to therapy with exosomes or Roflumilast alone. Roflumilast and exosomes treatment lowered the expression of the apoptotic, fibrotic, and inflammatory ...
Mohamed Ali +5 more
wiley +1 more source
A Twist in the Diagnosis: Chronic Arthropathy Without Inflammation
Arthritis Care &Research, EarlyView.
María Á. Puche‐Larrubia +3 more
wiley +1 more source