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
Works matching IS 0010485X AND DT 2012 AND VI 94 AND IP 2-4
Results: 21
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
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
20
Editorial.
- Published in:
- 2012
- By:
- Publication type:
- Editorial
21
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