Accuracy verification methods : theory and algorithms /

QR Code

Accuracy verification methods : theory and algorithms /

Bibliographic Details
Main Author:	Mali, Olli (Autor/a)
Other Authors:	Neittaanmäki, Pekka (Autor/a), Repin, Vadim 1971- (Autor/a)
Format:	Book
Language:	English
Published:	Dordrecht : Springer, c2014.
Series:	Computational methods in applied sciences / Series Editor E. Oñate volume 32
Online Access:	Ver documento en línea

Similar Items

Computational methods in transport: verification and validation /
Published: (2008)

On theory and verification in sociology /
by: Zetterberg, Hans Lennard 1927-
Published: (1965)

On theory and verification in sociology
by: Zetterberg, Hans L.
Published: (1965)

Accuracy (trueness and precision) of measurement methods and results = Exactitude (justesse et fidélité) des résultats et méthodes de mesure.
Published: (1994)

An accuracy assessment of tree detection algorithms in juniper woodlands

On the accuracy of economic observations
by: Morgenstern, Oskar n. 1902, et al.
Published: (1963)

Enhanced accuracy of descaling nozzle arrangements through complementary measurement methods /
by: Frick, Jürgen

Accuracy of AISC methods in predicting flexural strength of concrete-encased members /
by: Chen, Chien-chung

Verification : how much is enough? /
by: Krass, Allan S.
Published: (1985)

Improving Accuracy in Knee Arthroplasty /
by: Thienpont, Emmanuel
Published: (2012)

Accuracy of cited references : the role of citation databases /
by: Buchanan, Robert A, et al.

Accuracy of UAS photogrammetry : a comparative evaluation /
by: Day, David,

Critical systems : formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
Published: (2016)

Critical systems: formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017 Turin, Italy, September 18-20, 2017, Proceedings /
Published: (2017)

Critical Systems: Formal Methods and Automated Verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings /
Published: (2017)

Standardized Functional Verification
by: Wiemann, Alan.
Published: (2008)

Addressing verification challenges : proceedings of an International Safeguards Symposium on Addressing Verification Challenges /
Published: (2007)

Accuracy enhancement technologies for micromachining processes. /
by: Acherjee, Bappa
Published: (2020)

Security, accuracy, and privacy in computer systems /
by: Martin, James Thomas 1933-, et al.
Published: (1973)

Remote sensing and GIS accuracy assessment /
Published: (2004)

Accuracy assessment of diploid consensus sequences.
by: Kim, Jong Hyun

FOLD RECOGNITION BY PREDICTED ALIGNMENT ACCURACY.
by: XU, JINBO

Addressing verification challenges : proceedings. --
Published: (2007)

On the accuracy of economic observations : do Sub-Saharan trade statistics mean anything? /
Published: (1989)

Verification in all its aspects, including the role of the United Nations in the field of verification /
Published: (2008)

Effective functional verification : principles and processes /
by: Vasudevan, Srivatsa, et al.
Published: (2006)

Program verification using Ada
by: McGettrick, Andrew D., et al.
Published: (1982)

Embedded software verification and debugging /
Published: (2017)

Scalable Techniques for Formal Verification /
by: Ray, Sandip.
Published: (2010)

Open Verification Methodology Cookbook
by: Glasser, Mark.
Published: (2009)

Automated technology for verification and analysis /
Published: (2017)

Completeness and accuracy of drug information in Wikipedia articles /
by: Fahimnia, Fatemeh

Field manual for timber verification /
by: Maravi, Edgar

Accuracy of computer water surface profiles : for the Federal Highway Administration /
by: Estados Unidos. Army Corps of Engineers, Hydrologic Engineering Center, et al.
Published: (1986)

Accuracy comparison of a mechanistic method and computational fluid dynamics (CFD) for greenhouse inner temperature predictions
by: Rico Garcia , E.=700 1 Castañeda Miranda, R.

Diagnostic test accuracy studies in dementia : a pragmatic approach /
Published: (2019)

Diagnostic test accuracy studies in dementia : a pragmatic approach /
Published: (2015)

ASIC and FPGA verification : a guide to component modeling /
by: Munden, Richard, et al.
Published: (2005)

Facial Kinship Verification : A Machine Learning Approach /
by: Yan, Haibin., et al.
Published: (2017)

Deductive software verification - the KeY book : from theory to practice /
Published: (2016)