Numerical integration is an important operation for scientific computations. Although the different quadrature methods have been well studied from a mathematical point of view, the analysis of the actual error when performing the quadrature on a computer is often neglected. This step is however required for certified arithmetics. We study the Newton-Cotes quadrature scheme and give enough details on the algorithms and the error bounds to enable software developers to write a correctly-rounded Newton-Cotes quadrature
This report describes the calculation of local errors in Chamfer masks both in two- and in three-dim...
Projet EURECALa représentation graphique des graphes est un problème dont les applications pratiques...
Current loop generation techniques are based on Fourier-Motzkin pairwaise elimination, which is know...
The question we investigate in this article is: what is the mean value of a set of geometric feature...
In this report, we are investigating the numerical approximation of an optimal control problem invol...
Implementation of cellular automata using reactive programming gives a way to code cell behaviors in...
We adress in this paper the choice of both the step and the curve of the parameter space to be used ...
This paper presents the proofs of the strong normalization, subject reduction, and Church-Rosser the...
Projet PROMATHThe proximal-point algorithm is studied in the framework of the minimization of a quad...
The classical approach to motion and structure estimation problem from two perspective projections c...
The first part of the thesis is dedicated to the convexity in the discrete plane Z2 or more generall...
Degradable performance of fault-tolerant computer systems has given rise to considerable interest in...
We investigate modular properties of term rewriting systems, the basic operational formalism for equ...
The semi-Lagrangian atmospheric model on the sphere based on compact finite differences is presented...
A derivation step in a Graph Interpolation Grammar has the effect of scanning an input token. This f...
This report describes the calculation of local errors in Chamfer masks both in two- and in three-dim...
Projet EURECALa représentation graphique des graphes est un problème dont les applications pratiques...
Current loop generation techniques are based on Fourier-Motzkin pairwaise elimination, which is know...
The question we investigate in this article is: what is the mean value of a set of geometric feature...
In this report, we are investigating the numerical approximation of an optimal control problem invol...
Implementation of cellular automata using reactive programming gives a way to code cell behaviors in...
We adress in this paper the choice of both the step and the curve of the parameter space to be used ...
This paper presents the proofs of the strong normalization, subject reduction, and Church-Rosser the...
Projet PROMATHThe proximal-point algorithm is studied in the framework of the minimization of a quad...
The classical approach to motion and structure estimation problem from two perspective projections c...
The first part of the thesis is dedicated to the convexity in the discrete plane Z2 or more generall...
Degradable performance of fault-tolerant computer systems has given rise to considerable interest in...
We investigate modular properties of term rewriting systems, the basic operational formalism for equ...
The semi-Lagrangian atmospheric model on the sphere based on compact finite differences is presented...
A derivation step in a Graph Interpolation Grammar has the effect of scanning an input token. This f...
This report describes the calculation of local errors in Chamfer masks both in two- and in three-dim...
Projet EURECALa représentation graphique des graphes est un problème dont les applications pratiques...
Current loop generation techniques are based on Fourier-Motzkin pairwaise elimination, which is know...