Works matching IS 0010485X AND DT 2012 AND VI 94 AND IP 2-4
Results: 21
Pivot tightening for direct methods for solving symmetric positive definite systems of linear interval equations.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 97, doi. 10.1007/s00607-011-0159-7
- By:
- Publication type:
- Article
A long accumulator like a carry-save adder.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 203, doi. 10.1007/s00607-011-0164-x
- By:
- Publication type:
- Article
A Comparison of verified distance computation between implicit objects using different arithmetics for range enclosure.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 281, doi. 10.1007/s00607-011-0161-0
- By:
- Publication type:
- Article
On the numerical stability of algorithmic differentiation.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 125, doi. 10.1007/s00607-011-0162-z
- By:
- Publication type:
- Article
Solving set-valued constraint satisfaction problems.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 297, doi. 10.1007/s00607-011-0169-5
- By:
- Publication type:
- Article
Verified stability analysis of continuous-time control systems with bounded parameter uncertainties and stochastic disturbances.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 345, doi. 10.1007/s00607-011-0172-x
- By:
- Publication type:
- Article
Solvers for the verified solution of parametric linear systems.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 109, doi. 10.1007/s00607-011-0170-z
- By:
- Publication type:
- Article
An interval extension based on occurrence grouping.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 173, doi. 10.1007/s00607-011-0158-8
- By:
- Publication type:
- Article
A class of problems that can be solved using interval algorithms.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 271, doi. 10.1007/s00607-011-0173-9
- By:
- Publication type:
- Article
Global optimization of mixed-integer nonlinear (polynomial) programming problems: the Bernstein polynomial approach.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 325, doi. 10.1007/s00607-011-0175-7
- By:
- Publication type:
- Article
On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 151, doi. 10.1007/s00607-011-0180-x
- By:
- Publication type:
- Article
Multiple/arbitrary precision interval computations in C-XSC.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 229, doi. 10.1007/s00607-011-0174-8
- By:
- Publication type:
- Article
Interval arithmetic using expression templates, template meta programming and the upcoming C++ standard.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 215, doi. 10.1007/s00607-011-0176-6
- By:
- Publication type:
- Article
VERICOMP: a system to compare and assess verified IVP solvers.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 163, doi. 10.1007/s00607-011-0178-4
- By:
- Publication type:
- Article
A verified realization of a Dempster-Shafer based fault tree analysis.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 313, doi. 10.1007/s00607-011-0179-3
- By:
- Publication type:
- Article
Sensitivity-based feedforward and feedback control for uncertain systems.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 357, doi. 10.1007/s00607-011-0171-y
- By:
- Publication type:
- Article
A generalization of p-boxes to affine arithmetic.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 189, doi. 10.1007/s00607-011-0182-8
- By:
- Publication type:
- Article
Specification of hardware for interval arithmetic.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 243, doi. 10.1007/s00607-012-0185-0
- By:
- Publication type:
- Article
Editorial.
- Published in:
- 2012
- By:
- Publication type:
- Editorial
Numeration and discrete dynamical systems.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 369, doi. 10.1007/s00607-011-0181-9
- By:
- Publication type:
- Article
Towards interval techniques for model validation.
- Published in:
- Computing, 2012, v. 94, n. 2-4, p. 257, doi. 10.1007/s00607-011-0166-8
- By:
- Publication type:
- Article