Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

First Page		Document Content
Date: 2018-01-15 07:35:42 Functions and mappings Mathematical analysis Mathematics Computer arithmetic Limit of a function Abstract interpretation Unit in the last place Exponentiation Integral Lambda calculus Quantifier Combinatory logic		Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign Add to Reading List Source URL: perso.univ-perp.fr Download Document from Source Website File Size: 618,50 KB Share Document on Facebook

	REPORTS propagation. We assumed that the inertial term in the dynamic equation is small with respect to the elastic and frictional forces. In the continuous limit, slip as a function of space and time obeys the same diff DocID: 1ue1A - View Document
	Smoothed Analysis of Partitioning Algorithms for Euclidean Functionals∗ Markus Bl¨aser1 Bodo Manthey2 DocID: 1rtnz - View Document
	ON Lp BOUNDS FOR KAKEYA MAXIMAL FUNCTIONS AND THE MINKOWSKI DIMENSION IN R2 U. KEICH Abstract. We prove that the bound on the Lp norms of the Kakeya type maximal functions studied by Cordoba [2], and by DocID: 1rpJG - View Document
	JMLR: Workshop and Conference Proceedings vol 40:1–18, 2015 Learning the dependence structure of rare events: a non-asymptotic study Nicolas Goix Anne Sabourin DocID: 1rocp - View Document
	arXiv:0801.4345v2 [math.DG] 26 FebLimit leaves of a CMC lamination are stable William H. Meeks III∗ Joaqu´ın P´erez DocID: 1rm2b - View Document