Reliable Computations and their Applications's Paper Summary

List of Accepted Full Papers
TitleAuthorAffiliation
On the numerical solution to linear problems using stochastic arithmeticAlt, ReneUniv. Pierre et Marie Curie
Quantum Versions of k-CSP Algorithms: a First Step TowardsKreinovich, VladikUniversity of Texas at El Paso
Interval-Based Robust Statistical Techniques for Non-Negative Convex Functions, with Application to Timing Analysis of Computer ChipsKreinovich, VladikUniversity of Texas at El Paso
A branch and prune algorithm for the approximation of non-linear AE-solution setsAlexandre, GoldsztejnUniversity of Nice-Sophia Antipolis
Pseudozero Set of Interval PolynomialsLanglois, PhilippeUniversity of Perpignan
List of Accepted Poster Papers
TitleAuthorAffiliation
Inner Approximation of Distance Constraints with Existential Quantification of ParametersGrandon, CarlosINRIA, projet COPRIN