"Prediction Verification" - similar Books and Chapters

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Verification of Mazeika's method of thermocline depth prediction for the Northeast Pacific Ocean	John William Ciboci	1966
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness	Jan Mendling	2008	Springer Berlin Heidelberg
Formal Verification	Erik Seligman; Tom Schubert and M V Achutha Kiran Kumar	2015	Morgan Kaufmann
System Verification	Jeffrey O. Grady	2007	Academic Press
Program verification	Francez, Nissim.	1992	Addison-Wesley Pub. Co.
Verification Plans: The Five-Day Verification Strategy for Modern Hardware Verification Languages	Peet James	2004	Springer US
Professional Verification: A Guide to Advanced Functional Verification	Paul Wilcox	2004	Springer US
Biodegradability Prediction	W.J. Peijnenburg; Jirí Damborský	1996	Springer Netherlands
Earthquake Prediction	SHIMAZAKI; STUART	1985	Birkhäuser Basel
Earthquake Prediction	Saumitra Mukherjee	2006	Routledge
Monsoon Prediction	Kelkar	2009	BS Publications
Prediction Markets	Stefan Luckner, Jan Schröder, Christian Slamka	2011	Gabler
Prediction analysis	John R. Wolberg	1967	D. Van Nostrand
Earthquake prediction	W. Stuart	1985	Birkhäuser
Earthquake prediction	Haroun Tazieff	1992	McGraw-Hill
Earthquake prediction	Mogi, Kiyoo	1985	Academic Press
The prediction	John Hyde	1983	Pocket Books
Nero Prediction	Humphry Knipe	November 22, 2005	Process
Earthquake prediction	Tsuneji Rikitake	1976	Elsevier Scientific Pub. Co.
La prédiction	Alice Hoffman	2006	Gallimard
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Prediction Verification		Self-determined Learning Theory: Construction, Verification, and Evaluation	Deirdre K. Mithaug; Deirdre K. Mithaug; Martin Agran; James E. Martin; Michael L. Wehmeyer	2002	Routledge
Prediction and verification		Logic, deductive and inductive	John Grier Hibben	1905	C. Scribner's Sons
15 Prediction and Verification		Mathematics and plausible reasoning	Polya G.	1954	Princeton
15 Prediction and verification 49		Mathematics and Plausible Reasoning, both volumes combined	George Polya	1954	Princeton University Press
Question Answering for Link Prediction and Verification	Maria Khvalchik; Artem Revenko; Christian Blaschke	The Semantic Web: ESWC 2019 Satellite Events: ESWC 2019 Satellite Events, Portorož, Slovenia, June 2–6, 2019, Revised Selected Papers	Pascal Hitzler; Sabrina Kirrane; Olaf Hartig; Victor de Boer; Maria-Esther Vidal; Maria Maleshkova; Stefan Schlobach; Karl Hammar; Nelia Lasierra; Steffen Stadtmüller; Katja Hose; Ruben Verborgh	1st ed. 2019	Springer International Publishing
Problems of specification, estimation, prediction and verification		Principles of econometrics / Kong Chu	Kong Chu	©1968	International Textbook Co.
Prediction of MeV Electron Fluxes and Forecast Verification	Adam Kellerman	Machine Learning Techniques for Space Weather	Enrico Camporeale; Jay Johnson; and Simon Wing	2018	Elsevier
Engine Crankshaft Remanufacturing Life Prediction and Experimental Verification		Digital Design and Manufacturing Technology II	Edited by Congda Lu	2011	Trans Tech
Methods of NMR Spectrum Prediction and Structure Verification		Contemporary Computer-Assisted Approaches to Molecular Structure Elucidation	Mikhail E Elyashberg, Antony Williams, Kirill Blinov, William Price	2011	Royal Society of Chemistry
Prediction, Prediction, Prediction…		Cognitive Psychology: Connecting Mind, Research and Everyday Experience	E. Bruce Goldstein	2018	Cengage Learning
IMRT dose verification using the dose uncertainty prediction model	Hosang Jin; Zhong Su; Heeteak Chung; Tae-Suk Suh; Jatinder Palta; Siyong Kim	World Congress of Medical Physics and Biomedical Engineering 2006: August 27 - Septmber 1, 20006 COEX Seoul, Korea	Sun I. Kim; Tae S. Suh	2007	Springer Berlin Heidelberg
Verification	C. J. Koomen	The Design of Communicating Systems: A System Engineering Approach	C.J. Koomen	1991	Springer US
Verification	Andrew D. McGettrick; Owen Traynor; David Duffy	Program Development by Specification and Transformation: The PROSPECTRA Methodology, Language Family, and System	Berthold Hoffmann; Bernd Krieg-Brückner	1993	Springer Berlin Heidelberg
Verification	Eric Verbeek; Moe Wynn	Modern Business Process Automation: YAWL and its Support Environment	Arthur H. M. ter Hofstede; Wil M. P. van der Aalst; Michael Adams; Nick Russell	2010	Springer Berlin Heidelberg
Verification	Paulo Tabuada	Verification and Control of Hybrid Systems: A Symbolic Approach	Paulo Tabuada	2009	Springer US
Verification		Encyclopedia of Trauma Care	Peter J. Papadakos; Mark L. Gestring	1st ed. 2015	Springer Berlin Heidelberg
Verification		Encyclopedia of Operations Research and Management Science	Saul I. Gass; Michael C. Fu	3rd ed. 2013	Springer US
Verification	Cas Cremers; Sjouke Mauw	Operational Semantics and Verification of Security Protocols	Cas Cremers; Sjouke Mauw	2012	Springer Berlin Heidelberg
Verification	Michael Keating	The Simple Art of SoC Design: Closing the Gap between RTL and ESL	Michael Keating; Synopsys Fellow	2011	Springer New York
Verification	Felice Balarin; Massimiliano Chiodo; Paolo Giusto; Harry Hsieh; Attila Jurecska; Luciano Lavagno et al.	Hardware-Software Co-Design of Embedded Systems: The POLIS Approach	F. Balarin; Paolo Giusto; Attila Jurecska; Claudio Passerone; Ellen Sentovich; Bassam Tabbara; M. Chiodo; Harry Hsieh; Luciano Lavagno; Alberto Sangiovanni-Vincentelli; Kei Suzuki	1997	Springer US
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries