Verification of functional a posteriori error estimates for obstacle problem in 1D.

Petr Harasim Jan Valdman

Published in: Kybernetika (2013)

Keyphrases

error estimates
error estimation
cross validation
functional verification
model checking
error analysis
mobile robot
provably correct
functional analysis
maximum likelihood
real time
knowledge representation
model selection
pairwise
neural network
functional properties
database