Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) - Interval - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2010-12-09 10:22:15 Numerical analysis Mathematics Applied mathematics Iterative refinement Iterative method Interval arithmetic Newton's method Condition number Residual Root-finding algorithm Affine arithmetic		Certification of a Numerical Result: Use of Interval Arithmetic and Multiple Precision Hong Diep Nguyen and Nathalie Revol INRIA Universit´e de Lyon Laboratoire LIP (UMR 5668 CNRS - ENS Lyon - INRIA - UCBL) Add to Reading List Source URL: perso.ens-lyon.fr Download Document from Source Website File Size: 152,83 KB Share Document on Facebook

	arXiv:1711.04291v2 [stat.ML] 15 NovScale out for large minibatch SGD: Residual network training on ImageNet-1K with improved accuracy and reduced time to train Valeriu Codreanu DocID: 1xVlq - View Document
	Deep Residual Learning for Image Recognition Kaiming He Xiangyu Zhang Shaoqing Ren Microsoft Research DocID: 1xT96 - View Document
	Spatially Adaptive Computation Time for Residual Networks Michael Figurnov1∗ Maxwell D. Collins2 Yukun Zhu2 Li Zhang2 Jonathan Huang2 Dmitry Vetrov1,3 Ruslan Salakhutdinov4 1 Higher School of Economics 2 Google Inc. 3 DocID: 1vlna - View Document
	GENERAL INFORMATION G1 Physics and Chemistry Guideline for Residual Solvents and Models for the Residual Solvents Test 1. DocID: 1vlaE - View Document
	http://www.econometricsociety.org/ Econometrica, Vol. 86, No. 1 (January, 2018), 289–315 IDENTIFICATION OF NONPARAMETRIC SIMULTANEOUS EQUATIONS MODELS WITH A RESIDUAL INDEX STRUCTURE STEVEN T. BERRY DocID: 1vjFy - View Document