The following pages link to Reliable Computing (Q163536):
Displaying 50 items.
- Reliable optimal production control with Cobb-Douglas model (Q1383755) (← links)
- A software tool for automatically verified operations on intervals and probability distributions (Q1383757) (← links)
- Computation and application of Taylor polynomials with interval remainder bounds (Q1383759) (← links)
- A new application of local minima of interval functions: Interval-valued fuzzy control (Q1383761) (← links)
- Intervals help to design an imaging system (Q1383763) (← links)
- A brief description of Gell-Mann's lecture and how intervals may help to describe complexity in the real world (Q1383764) (← links)
- Intervals in space-time: A. D. Alexandrov is 85 (Q1383766) (← links)
- Constructive \(L^2\) error estimates for finite element solutions of the Stokes equations (Q1387758) (← links)
- A new method for global solution of systems of nonlinear equations (Q1387759) (← links)
- Bounding the results of arithmetic operations on random variables of unknown dependency using intervals (Q1387760) (← links)
- A relation between morphological and interval operations (Q1387761) (← links)
- When is the product of intervals also an interval? (Q1387763) (← links)
- Intervals and the origins of calculus (Q1387764) (← links)
- One criterion of existence of a Hamiltonian cycle (Q1387766) (← links)
- Worst-case simulation of discrete linear time-invariant interval dynamic systems (Q1397888) (← links)
- Optimal bicentered form (Q1397890) (← links)
- Asymptotic stability of interval time-delay systems (Q1397891) (← links)
- Higher order convergence for multidimensional functions with a new Taylor-Bernstein form as inclusion function (Q1398045) (← links)
- Diagrammatic analysis of interval linear equations. II: The two-dimensional case and generalization to \(n\) dimensions (Q1398046) (← links)
- Computation of sharp rigorous componentwise error bounds for the approximate solutions of systems of linear equations (Q1398048) (← links)
- Finding all solution sets of piecewise-trapezoidal equations described by set-valued functions (Q1398049) (← links)
- Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. Selected papers (Q1404765) (← links)
- Interval global optimization in solvent design (Q1406003) (← links)
- Extended interval power function (Q1406004) (← links)
- Are there easy-to-check necessary and sufficient conditions for straightforward interval computations to be exact? (Q1406005) (← links)
- Some computer assisted proofs for solutions of the heat convection problems (Q1406006) (← links)
- Reliable computation of frequency response plots for nonrational transfer functions to prescribed accuracy (Q1406008) (← links)
- Accelerated enclosure methods for ordinary free boundary problems (Q1406009) (← links)
- Dependable handling of uncertainty (Q1412322) (← links)
- Computation of bounds on population parameters when the data are incomplete (Q1412324) (← links)
- Exact upper bound on the mean of the product of many random variables with known expecta\-tions (Q1412325) (← links)
- Convex imprecise previsions (Q1412326) (← links)
- Tree-based credal networks for classification (Q1412327) (← links)
- Dirty pages of logarithm tables, lifetime of the universe, and (subjective) probabilities on finite and infinite intervals (Q1424796) (← links)
- On the use of random set theory to bracket the results of Monte Carlo simulations (Q1424797) (← links)
- Using Pearson correlation to improve envelopes around the distributions of functions (Q1424799) (← links)
- Set computation for nonlinear control (Q1424800) (← links)
- Global optimization with higher order inclusion function forms. I: A combined Taylor-Bernstein form (Q1424801) (← links)
- On the significance of digits in interval notation (Q1424803) (← links)
- Special issue: Proceedings of the validated computing 2002 conference, Toronto, Canada, May 23--25, 2002. (Q1434833) (← links)
- The hull of preconditioned interval linear equations (Q1577432) (← links)
- Finding all solutions of nonlinear equations using linear combinations of functions (Q1577433) (← links)
- Computation of the Bernstein coefficients on subdivided triangles (Q1577434) (← links)
- Jacobi and Gauss-Seidel iterations for polytopic systems: Convergence via convex \(M\)-matrices (Q1577435) (← links)
- A coherence space of rational intervals for a construction of \(\mathbb{I}\mathbb{R}\) (Q1577437) (← links)
- Interval branch and bound algorithm for finding the first-zero-crossing-point in one-dimensional functions (Q1577439) (← links)
- Accelerated shift-and-add algorithms (Q1577440) (← links)
- Mathematical function software on the web -- are such codes useful for verification algorithms? (Q1577441) (← links)
- Every superinterval of the function range can be an interval-computations enclosure (Q1577442) (← links)
- Erratum to: ``A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations'' (Q1577443) (← links)
