95 | -- | 0 | Nathalie Revol, Götz Alefeld. Editorial |
97 | -- | 107 | Jürgen Garloff. Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations |
109 | -- | 123 | Michael Zimmer, Walter Krämer, Evgenija D. Popova. Solvers for the verified solution of parametric linear systems |
125 | -- | 149 | Andreas Griewank, Kshitij Kulshreshtha, Andrea Walther. On the numerical stability of algorithmic differentiation |
151 | -- | 162 | Mitsuhiro T. Nakao, Takehiko Kinoshita, Takuma Kimura. On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems |
163 | -- | 172 | Ekaterina Auer, Andreas Rauh. VERICOMP: a system to compare and assess verified IVP solvers |
173 | -- | 188 | Ignacio Araya, Bertrand Neveu, Gilles Trombettoni. An interval extension based on occurrence grouping |
189 | -- | 201 | Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot. A generalization of p-boxes to affine arithmetic |
203 | -- | 213 | Stefan Siegel, Jürgen Wolff von Gudenberg. A long accumulator like a carry-save adder |
215 | -- | 228 | Marco Nehmeier. Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard |
229 | -- | 241 | Walter Krämer. Multiple/arbitrary precision interval computations in C-XSC |
243 | -- | 255 | Marco Nehmeier, Stefan Siegel, Jürgen Wolff von Gudenberg. Specification of hardware for interval arithmetic |
257 | -- | 269 | Jaime Nava, Vladik Kreinovich. Towards interval techniques for model validation |
271 | -- | 280 | Bartlomiej Jacek Kubica. A class of problems that can be solved using interval algorithms |
281 | -- | 296 | Eva Dyllong, Stefan Kiel. A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure |
297 | -- | 311 | Luc Jaulin. Solving set-valued constraint satisfaction problems |
313 | -- | 324 | Gabor Rebner, Ekaterina Auer, Wolfram Luther. A verified realization of a Dempster-Shafer based fault tree analysis |
325 | -- | 343 | Bhagyesh V. Patil, P. S. V. Nataraj, Sharad Bhartiya. Global optimization of mixed-integer nonlinear (polynomial) programming problems: the Bernstein polynomial approach |
345 | -- | 356 | Andreas Rauh, Ekaterina Auer, Thomas Dötschel, Harald Aschemann. Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances |
357 | -- | 367 | Andreas Rauh, Julia Kersten, Ekaterina Auer, Harald Aschemann. Sensitivity-based feedforward and feedback control for uncertain systems |
369 | -- | 387 | Valérie Berthé. Numeration and discrete dynamical systems |