Volume 94, Issue 2-4

March 2012

Special Issue on GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN2010)

Issue Editors:

Nathalie Revol,
Götz Alefeld

21 articles in this issue

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

Volume 94, Issue 2-4

Search

Navigation