-
Efficient algorithms for verified scientific computing : Numerical linear alg...
Interval arithmetic is a means to compute verified results. However, a naive use of interval arithmetic does not provide accurate enclosures of the exact results.... -
Inversion des anomalies de propagation des ondes sismiques : inverse stochast...
Aki et al. (1977) ont les premiers présenté une image tridimensionnelle des anomalies de vitesses sous un réseau de stations locales (NORSAR), en utilisant des... -
Estimation non biaisée et robuste de l'état et des défauts des systèmes stoch...
This thesis addresses the problem of unbiased minimum variance filtering by two techniques: the proportional integral filter and the robust minimum variance filtering.... -
Approximation and applications of distributed delay
A distributed delay is a linear input-output operators and appears in many control problems. We investigate distributed delay and its applications. After introducing...
