Results 51 to 60 of about 2,058,291 (283)

Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations

, 2013
We present a formal tool for verification of multivariate nonlinear inequalities. Our verification method is based on interval arithmetic with Taylor approximations.
A. Tarski, B. Akbarpour, G.E. Collins, J. Harrison, J.V. Harrison, L.C. Paulson, M. Daumas, R. Zumkeller, S. Chevillard, S. McLaughlin, T.C. Hales, T.C. Hales, T.C. Hales   +12 more
core   +1 more source

Likelihood-Ratio-Based Biometric Verification [PDF]

, 2004
The paper presents results on optimal similarity measures for biometric verification based on fixed-length feature vectors. First, we show that the verification of a single user is equivalent to the detection problem, which implies that, for single-user ...
Bazen, Asker M., Veldhuis, Raymond N.J.
core   +4 more sources

Discussion on Influencing Factors of Validation of Cleaning Process in Manufacture of Implantable Medical Devices

Zhongguo yiliao qixie zazhi
Cleaning process validation is an important guarantee for implantable medical devices to ensure product cleanliness. In the manufacturing process, implantable devices usually need to control pollution through cleaning process to achieve a certain ...
Xin LIU, Xiaofei MA
doaj   +1 more source

Infrastructure-Based Digital Twins for Cooperative, Connected, Automated Driving and Smart Road Services

IEEE Open Journal of Intelligent Transportation Systems, 2023
Driving requires continuous decision making from a driver taking into account all available relevant information. Automating driving tasks also automates the related decisions.
Elvira Thonhofer, Simon Sigl, Martin Fischer, Fin Heuer, Andreas Kuhn, Jacqueline Erhart, Manfred Harrer, Wolfgang Schildorfer   +7 more
doaj   +1 more source

System Verification through Program Verification

, 2011
We present an automatable approach to verify that a system satisfies its requirements by verification of the program that controls the system. The approach can be applied if the interaction of the program with the system hardware can be faithfully described by a table relating domain phenomena and program variables.
Dietsch, Daniel, Westphal, Bernd, Podelski, Andreas   +2 more
openaire   +3 more sources

Hidden Cost in the Global Economy: Human Trafficking of Philippine Males in Maritime, Construction and Agriculture [PDF]

, 2010
This document is part of a digital collection provided by the Martin P. Catherwood Library, ILR School, Cornell University, pertaining to the effects of globalization on the workplace worldwide.
International Verification Board, Verité   +1 more
core   +1 more source

Adherence to Protocol Recommendations for Children With Wilms Tumour in Two Consecutive Studies in the United Kingdom and Ireland—Does Variation Matter?

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background and Aims Wilms tumour (WT) has excellent event‐free and overall survival (OS). However, small differences exist between countries participating in the same international study. This led us to examine variation in adherence to protocol recommendations as a potential contributing factor.
Suzanne Tugnait, R. Al‐Saadi, A. Lopez‐Cortes, K. Dzhuma, M. Oostveen, J. Brok, S. Irtan, M. Weeks, J. Bate, S. Baker, R. Williams, M. Powis, D. Saunders, O. Olsen, T. Watson, S. Shelmerdine, S. Vaidya, L. Howell, C. Duncan, G. M. Vujanic, C. Stiller, G. P. Balchin, T. Chowdhury, K. Pritchard‐Jones   +23 more
wiley   +1 more source

Lightweight Formal Verification in Classroom Instruction of Reasoning about Functional Code [PDF]

, 1997
In college courses dealing with material that requires mathematical rigor, the adoption of a machine-readable representation for formal arguments can be advantageous.
Lapets, Andrei
core  

Sirolimus for Extracranial Arteriovenous Malformations: A Scoping Review of the Evidence in Syndromic and Non‐Syndromic Cases

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Arteriovenous malformations (AVMs) are rare, high‐flow, vascular anomalies that can occur either sporadically or as part of a genetic syndrome. AVMs can progress with serious morbidity and even mortality if left unchecked. Sirolimus is an mTOR inhibitor that is effective in low‐flow vascular malformations; however, its role in AVMs is unclear.
Will Swansson, Ingrid Winship, Gary Hammerschlag, Laura Scardamaglia   +3 more
wiley   +1 more source

Analysis of the Core Principles and Key Design and Development Control Factors of Two Typical Point-of-Care Testing Technologies

Zhongguo yiliao qixie zazhi
Point-of-care testing (POCT), as an emerging diagnostic technology, is gradually becoming an important part of the clinical diagnostic field due to its advantages, such as ease of operation, rapid response, and portability.
You ZHOU, Xin LIU
doaj   +1 more source