The following pages link to Reliable Computing (Q163536):
Displaying 50 items.
- Interval + image = wavelet: For image processing under interval uncertainty wavelets are optimal (Q1276157) (← links)
- Exclusive OR operation that leads to the narrowest intervals (Q1276158) (← links)
- Special issue: Interval '98, international conference, Nanjing, China, April 20--23, 1998 (Q1300079) (← links)
- Efficient control of the dependency problem based on Taylor model methods (Q1300080) (← links)
- New methods for high-dimensional verified quadrature (Q1300081) (← links)
- Solving underdetermined systems with interval methods (Q1300083) (← links)
- Representing knowledge within the situation calculus using interval-valued epistemic fluents (Q1300085) (← links)
- How to guarantee finite termination of verifying global optimization codes (Q1300086) (← links)
- Expression templates for dot product expressions (Q1300088) (← links)
- Error estimation for indirect measurements: Interval computation problem is (slightly) harder than a similar probabilistic computational problem (Q1300089) (← links)
- Inclusion of zeros of nowhere differentiable \(n\)-dimensional functions (Q1362820) (← links)
- Sharpness in interval computations (Q1362822) (← links)
- An interval algorithm for bounding the ranges of real-valued functions of one real variable (Q1362823) (← links)
- NP-hard classes of linear algebraic systems with uncertainties (Q1362824) (← links)
- Use of interval slopes for the irrational part of factorable functions (Q1362825) (← links)
- From numerical intervals to set intervals (interval-related results presented at the first international workshop on applications and theory of random sets) (Q1362826) (← links)
- Algebraic approach in the ``outer problem'' for interval linear equations (Q1362913) (← links)
- Numerical verifications of solutions for nonlinear parabolic equations in one-space dimensional case (Q1362914) (← links)
- Is Solar system stable? A remark (Q1362916) (← links)
- Computing the value of a Boolean expression with interval inputs is NP-hard (Q1362918) (← links)
- Sign-stable solutions of column-vague linear equation systems (Q1362919) (← links)
- Interval methods and computer aided proofs in science and engineering, Interval '96. Proceedings of the international conference, September 30 - October 2, 1996, Würzburg, Germany (Q1371149) (← links)
- Isomorphic embeddings of abstract interval systems (Q1371151) (← links)
- Computing on sequences of embedded intervals (Q1371154) (← links)
- \(H_ \infty\)-control using polynomial matrices and interval arithmetic (Q1371157) (← links)
- A computer oriented approach to get sharp reliable error bounds (Q1371159) (← links)
- Approximation error and error accumulation for the Landen transform (Q1371161) (← links)
- Fast evaluation of partial derivatives and interval slopes (Q1371163) (← links)
- Existence test for asynchronous interval iteration (Q1371166) (← links)
- Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof (Q1371168) (← links)
- Attacking a conjecture in mathematical physics by combining methods of computational analysis and scientific computing (Q1371169) (← links)
- Two-sided multigrid method for elliptic boundary value problems (Q1371171) (← links)
- A quasi-metric topology compatible with inclusion monotonicity on interval space (Q1371174) (← links)
- Complexity of some linear problems with interval data (Q1371175) (← links)
- Concurrent cooperating solvers over reals (Q1371176) (← links)
- Automatic generation of numerical redundancies for nonlinear constraint solving (Q1371177) (← links)
- Diagramming representation of interval space in proving theorems about interval relations (Q1371178) (← links)
- Slope methods of higher order for the inclusion of complex roots of polynomials (Q1375594) (← links)
- On overestimation produced by the interval Gaussian algorithm (Q1375595) (← links)
- Interval and twin arithmetics (Q1375597) (← links)
- Finding global minima of maximum functions by using exclusion functions without derivatives (Q1375599) (← links)
- A new approach to the modal regulator synthesis for interval plant with scalar input (Q1375600) (← links)
- Error reduction of the Taylor centered form by half and an inner estimation of the range (Q1375602) (← links)
- How to compute interval inclusions of geodetic coordinates from interval inclusions of Cartesian coordinates (Q1375603) (← links)
- On a theoretical justification of the choice of epsilon-inflation in PASCAL-XSC (Q1375604) (← links)
- Bounds for the range of a bivariate polynomial over a triangle (Q1383742) (← links)
- An interval entropy penalty method for nonlinear global optimization (Q1383743) (← links)
- An interval polynomial interpolation problem and its Lagrange solution (Q1383747) (← links)
- Algorithms that still produce a solution (maybe not optimal) even when interrupted: Shary's idea justified (Q1383750) (← links)
- Interval methods in robot navigation (Q1383753) (← links)
