| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A class of problems that can be solved using interval algorithms
|
Kubica, Bartłomiej Jacek
|
|
2011
|
94 |
2-4 |
p. 271-280
|
artikel
|
| 2 |
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure
|
Dyllong, Eva
|
|
2011
|
94 |
2-4 |
p. 281-296
|
artikel
|
| 3 |
A generalization of p-boxes to affine arithmetic
|
Bouissou, Olivier
|
|
2011
|
94 |
2-4 |
p. 189-201
|
artikel
|
| 4 |
A long accumulator like a carry-save adder
|
Siegel, Stefan
|
|
2011
|
94 |
2-4 |
p. 203-213
|
artikel
|
| 5 |
An interval extension based on occurrence grouping
|
Araya, Ignacio
|
|
2011
|
94 |
2-4 |
p. 173-188
|
artikel
|
| 6 |
A verified realization of a Dempster–Shafer based fault tree analysis
|
Rebner, Gabor
|
|
2011
|
94 |
2-4 |
p. 313-324
|
artikel
|
| 7 |
Editorial
|
Revol, Nathalie
|
|
2012
|
94 |
2-4 |
p. 95
|
artikel
|
| 8 |
Global optimization of mixed-integer nonlinear (polynomial) programming problems: the Bernstein polynomial approach
|
Patil, Bhagyesh V.
|
|
2011
|
94 |
2-4 |
p. 325-343
|
artikel
|
| 9 |
Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard
|
Nehmeier, Marco
|
|
2011
|
94 |
2-4 |
p. 215-228
|
artikel
|
| 10 |
Multiple/arbitrary precision interval computations in C-XSC
|
Krämer, Walter
|
|
2011
|
94 |
2-4 |
p. 229-241
|
artikel
|
| 11 |
Numeration and discrete dynamical systems
|
Berthé, V.
|
|
2011
|
94 |
2-4 |
p. 369-387
|
artikel
|
| 12 |
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
|
Nakao, Mitsuhiro T.
|
|
2011
|
94 |
2-4 |
p. 151-162
|
artikel
|
| 13 |
On the numerical stability of algorithmic differentiation
|
Griewank, Andreas
|
|
2011
|
94 |
2-4 |
p. 125-149
|
artikel
|
| 14 |
Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations
|
Garloff, Jürgen
|
|
2011
|
94 |
2-4 |
p. 97-107
|
artikel
|
| 15 |
Sensitivity-based feedforward and feedback control for uncertain systems
|
Rauh, Andreas
|
|
2011
|
94 |
2-4 |
p. 357-367
|
artikel
|
| 16 |
Solvers for the verified solution of parametric linear systems
|
Zimmer, Michael
|
|
2011
|
94 |
2-4 |
p. 109-123
|
artikel
|
| 17 |
Solving set-valued constraint satisfaction problems
|
Jaulin, Luc
|
|
2011
|
94 |
2-4 |
p. 297-311
|
artikel
|
| 18 |
Specification of hardware for interval arithmetic
|
Nehmeier, M.
|
|
2012
|
94 |
2-4 |
p. 243-255
|
artikel
|
| 19 |
Towards interval techniques for model validation
|
Nava, Jaime
|
|
2011
|
94 |
2-4 |
p. 257-269
|
artikel
|
| 20 |
VERICOMP: a system to compare and assess verified IVP solvers
|
Auer, Ekaterina
|
|
2011
|
94 |
2-4 |
p. 163-172
|
artikel
|
| 21 |
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances
|
Rauh, Andreas
|
|
2011
|
94 |
2-4 |
p. 345-356
|
artikel
|
Tijdschrift beschrijving