Results 321 to 330 of about 4,197,782 (360)
Some of the next articles are maybe not open access.
Accreditation—a verification ritual lacking verification
BMJ, 2018The King’s Fund found that Care Quality Commission (CQC) audits had little impact on the quality of care.1 Oxebridge has put this in the wider context, saying that placing confidence in related systems from the International Organization for Standardization (ISO) does not prevent loss of life.2 Compliance with such standards is equated with “quality.”
openaire +3 more sources
Logical verification and equational verification
ACM SIGACT News, 2005There were some errors in the last article of the Logic Column. Thanks to Claudia Zepeda for spotting them. They have been corrected in the online version of the article, available from the CORR archive at http://arxiv.org/abs/cs.LO/0502031. All articles published in this column are archived at CORR; the following URL will return them all: http://arxiv.
openaire +2 more sources
ACM SIGLOG News, 2015
The technical column on verification presents an invited contribution by Dr. Franco Raimondi (Department of Computer Science in Middlesex University, London) titled "Using multi-agent systems to go beyond temporal patterns verification" in the April issue of the SIGLOG newsletter.
openaire +2 more sources
The technical column on verification presents an invited contribution by Dr. Franco Raimondi (Department of Computer Science in Middlesex University, London) titled "Using multi-agent systems to go beyond temporal patterns verification" in the April issue of the SIGLOG newsletter.
openaire +2 more sources
2009
Introduction. Chapter 2 introduced the soundness property on a special class of Petri nets called WF-nets (WorkFlow nets). To reiterate, a WF-net is sound if and only if the following requirements are met: Any executing instance of the WF-net must eventually terminate At the moment of termination, there must be precisely one token in the end place and ...
Verbeek, Eric, Wynn, Moe
openaire +3 more sources
Introduction. Chapter 2 introduced the soundness property on a special class of Petri nets called WF-nets (WorkFlow nets). To reiterate, a WF-net is sound if and only if the following requirements are met: Any executing instance of the WF-net must eventually terminate At the moment of termination, there must be precisely one token in the end place and ...
Verbeek, Eric, Wynn, Moe
openaire +3 more sources
Verification of meta-interpreters
Journal of Logic and Computation, 1997zbMATH Open Web Interface contents unavailable due to conflicting licenses.
PEDRESCHI, DINO, RUGGIERI, SALVATORE
openaire +2 more sources
The hardening soil model: Formulation and verification
Beyond 2000 in Computational Geotechnics, 2019A new constitutive model is introduced which is formulated in the framework of classical theory of plasticity. In the model the total strains are calculated using a stress-dependent stiffness, different for both virgin loading and un-/reloading.
T. Schanz, P. Vermeer, P. Bonnier
semanticscholar +1 more source
Safety Verification of Deep Neural Networks
International Conference on Computer Aided Verification, 2016Deep neural networks have achieved impressive experimental results in image classification, but can surprisingly be unstable with respect to adversarial perturbations, that is, minimal changes to the input image that cause the network to misclassify it ...
Xiaowei Huang +3 more
semanticscholar +1 more source
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
Automated Technology for Verification and Analysis, 2017We present an approach for the verification of feed-forward neural networks in which all nodes have a piece-wise linear activation function. Such networks are often used in deep learning and have been shown to be hard to verify for modern satisfiability ...
Rüdiger Ehlers
semanticscholar +1 more source
2020
The chapter introduces the main concepts about circuit design verification. In the very first part of the chapter, an introductory part about why it is necessary to verify a digital circuit design is provided. Then, a general verification process is introduced, and some of the most important verification techniques are reported.
openaire +2 more sources
The chapter introduces the main concepts about circuit design verification. In the very first part of the chapter, an introductory part about why it is necessary to verify a digital circuit design is provided. Then, a general verification process is introduced, and some of the most important verification techniques are reported.
openaire +2 more sources
An Exercise in Protocol Verification [PDF]
, 1995 An abstract is not ...
Gnesi S, Madelaine E, Ristori G
openaire +5 more sources