Accuracy verification methods : theory and algorithms /

Código QR

Accuracy verification methods : theory and algorithms /

Detalles Bibliográficos
Autor principal:	Mali, Olli (Autor/a)
Otros Autores:	Neittaanmäki, Pekka (Autor/a), Repin, Vadim 1971- (Autor/a)
Formato:	Libro
Lenguaje:	English
Publicado:	Dordrecht : Springer, c2014.
Colección:	Computational methods in applied sciences / Series Editor E. Oñate volume 32
Acceso en línea:	Ver documento en línea

Ejemplares similares

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

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

On theory and verification in sociology
por: Zetterberg, Hans L.
Publicado: (1965)

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

An accuracy assessment of tree detection algorithms in juniper woodlands

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

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

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

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

Improving Accuracy in Knee Arthroplasty /
por: Thienpont, Emmanuel
Publicado: (2012)

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

Accuracy of UAS photogrammetry : a comparative evaluation /
por: 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 /
Publicado: (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 /
Publicado: (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 /
Publicado: (2017)

Standardized Functional Verification
por: Wiemann, Alan.
Publicado: (2008)

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

Accuracy enhancement technologies for micromachining processes. /
por: Acherjee, Bappa
Publicado: (2020)

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

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

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

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

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

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

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

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

Program verification using Ada
por: McGettrick, Andrew D., et al.
Publicado: (1982)

Embedded software verification and debugging /
Publicado: (2017)

Scalable Techniques for Formal Verification /
por: Ray, Sandip.
Publicado: (2010)

Open Verification Methodology Cookbook
por: Glasser, Mark.
Publicado: (2009)

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

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

Field manual for timber verification /
por: Maravi, Edgar

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

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

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

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

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

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

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