Hidden verification for computational mathematics

Hidden verification for computational mathematics

Bibliographic Details
Main Authors:	Gottliebsen, H, Kelsey, T, Martin, U
Format:	Journal article
Published:	2005

Similar Items

Design Verification for Control Engineering
by: Boulton, R, et al.
Published: (2004)

Verification of the mathematically computed impact of the relief gradient to vehicle speed
by: Martin Bureš, et al.
Published: (2016-06-01)

Secure Location Verification with Hidden and Mobile Base Stations
by: Čapkun, S, et al.
Published: (2008)

Bayesian Workflow and Hidden Markov Energy-Signature Model for Measurement and Verification
by: Simon Rouchier
Published: (2022-05-01)

Verification of Mathematical Models of Plague
by: A. A. Lopatin, et al.
Published: (2012-06-01)

Applications of real number theorem proving in PVS
by: Gottliebsen, H, et al.
Published: (2013)

Offline Signature Verification Using the Discrete Radon Transform and a Hidden Markov Model
by: du Preez JA, et al.
Published: (2004-01-01)

Uncovering Hidden Mathematics of the Multiplication Table Using Spreadsheets
by: Sergei Abramovich

Uncovering Hidden Mathematics of the Multiplication Table Using Spreadsheets
by: Sergei Abramovich
Published: (2007-05-01)

Computational Discovery of Hidden Cues in Photographs
by: Swedish, Tristan
Published: (2023)

Verification of Geographic Laws Hidden in Textual Space and Analysis of Spatial Interaction Patterns of Information Flow
by: Lin Liu, et al.
Published: (2023-05-01)

Mathematical and Computer Simulation of the Biological Life Support System Module 2/2. Verification of the model and scenarios
by: Vladimir G. Gubanov, et al.
Published: (2009-12-01)

On computational tractability for rational verification
by: Gutierrez, J, et al.
Published: (2019)

Computer logic, testing and verification /
by: 255854 Roth, John Paul
Published: (1980)

Verification and validation in scientific computing /
by: Oberkampf, William L., 1944-, et al.
Published: (2010)

Towards verification of computation orchestration
by: Dong, Jin Song, et al.
Published: (2013)

Verification of a mathematical model of a splicing system
by: Sarmin, Nor Haniza, et al.
Published: (2007)

Alternative Model of Hydrogen Atom and its Mathematical Verification
by: Huan Liang
Published: (2022-01-01)

CONSTRUCTION AND VERIFICATION OF MATHEMATICAL MODEL OF MASS SPECTROMETRY DATA
by: Małgorzata Plechawska-Wójcik
Published: (2013-02-01)

Enhanced automatic speaker verification based on a combination of hidden Markov models and multi layer perceptions /
by: Sheikh Hussain Shaikh Salleh, 1958-, et al.

Hidden Markov models : applications in computer vision /
by: Bunke, Horst, et al.
Published: (2001)

Facilitating the Verification of Diffusing Computations and Their Applications
by: Tanja E.J. Vos, et al.
Published: (2018-08-01)

Verification of the Façade Scaffolding Computer Model
by: Jamiṅska-Gadomska P., et al.
Published: (2018-05-01)

On Distributed Runtime Verification by Aggregate Computing
by: Giorgio Audrito, et al.
Published: (2019-08-01)

A mathematical approach for hidden node problem in cognitive radio networks
by: Obite, F., et al.
Published: (2017)

Mathematical Model of Construction of Confidential Estimations of the Hidden Sources of Investment Income
by: L. A. Saraev, et al.
Published: (2009-01-01)

Calcaneal stress fracture diagnosed by MRI
by: Jacob Schade Engbjerg, et al.
Published: (2021-03-01)

Mathematical verification of summary formula in retinal vessel diameter measurement
by: Hao, Hao, et al.
Published: (2013)

Solar drying of pine lumber: Verification of a mathematical model
by: Naoual Bekkioui, et al.
Published: (2014-12-01)

History of Economic Crises: Economic-Mathematical Verification of the Main Conclusions
by: G. A. Shcherbakov
Published: (2018-08-01)

Verification of the mathematical model of the dynamics of the liquid in the flow part of the hydrobrake
by: D. S. Vdovin, et al.
Published: (2023-02-01)

Solar drying of pine lumber: Verification of a mathematical model
by: Naoual Bekkioui, et al.
Published: (2011-01-01)

Verification of Information in Large Databases by Mathematical Programming in Waste Management
by: R. Somplak, et al.
Published: (2017-10-01)

Verification of a simplified mathematical model of centrifugal compressor stages
by: Rekstin A., et al.
Published: (2019-01-01)

Verification of mathematical models for calculation of viscosity of molten oxide systems
by: S. Rosypalová, et al.
Published: (2014-06-01)

Computer mathematics /
by: 380365 Cook, D. J., et al.
Published: (1984)

On computing the total variation distance of hidden Markov models
by: Kiefer, S
Published: (2018)

Synthesis and verification of delf-aware computing systems
by: Calinescu, R, et al.
Published: (2017)

Simulation and verification for computational modelling of signalling pathways.
by: Kwiatkowska, M, et al.
Published: (2006)

Engineering computer software : verification, qualification, certification /
by: National Congress on Pressure Vessels and Piping, San Francisco, May 11.1971, et al.
Published: (1971)