The following pages link to Reliable Computing (Q163536):
Displaying 50 items.
- Composite interval control systems: Some strong Kharitonov-like properties. (Q1582459) (← links)
- Nonconvex polygon interval arithmetic as a tool for the analysis and design of robust control systems (Q1582460) (← links)
- Analysis of the robustness of predictive controllers via modal intervals (Q1582463) (← links)
- Application of Bernstein expansion to the solution of control problems (Q1582464) (← links)
- Interval methods for sinusoidal parameter estimation: A comparative analysis (Q1582468) (← links)
- Robust autonomous robot localization using interval analysis (Q1582469) (← links)
- Linear interval tolerance problem and linear programming techniques (Q1597633) (← links)
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE (Q1597634) (← links)
- On the combination of interval constraint solvers (Q1597635) (← links)
- The preliminary enclosing of the ODE solutions on the base of the Cauchy-Duhamel identity (Q1597636) (← links)
- A surprising approach in interval global optimization (Q1597637) (← links)
- Interval-valued finite Markov chains (Q1597639) (← links)
- Sharp bounds on interval polynomial roots (Q1597640) (← links)
- A parallelized version of the covering algorithm for solving parameter-dependent systems of nonlinear equations (Q1597642) (← links)
- Interval computation of Viswanath's constant (Q1597644) (← links)
- Efficient interval linear equality solving in constraint logic programming (Q1597646) (← links)
- Two ways to extend the Cholesky decomposition to block matrices with interval entries (Q1604709) (← links)
- Approximate quantified constraint solving by cylindrical box decomposition (Q1604710) (← links)
- Exact Minkowski products of \(N\) complex disks (Q1604711) (← links)
- Verification of invertibility of complicated functions over large domains (Q1604712) (← links)
- A new subdivision strategy for range computations (Q1604714) (← links)
- Bounding perturbations in zeros of nonlinear systems (Q1611213) (← links)
- Formal solution to systems of interval linear or non-linear equations (Q1611214) (← links)
- In case of interval (or more general) uncertainty, no algorithm can choose the simplest representative (Q1611215) (← links)
- An approach to overcome division by zero in the interval Gauss algorithm (Q1611216) (← links)
- Intervals of inverse \(M\)-matrices (Q1611217) (← links)
- Rump's example revisited (Q1611218) (← links)
- Sparse systems in fixed point form (Q1611219) (← links)
- On existence and uniqueness verification for non-smooth functions (Q1611220) (← links)
- Interval estimations of solution sets to real-valued systems of linear or non-linear equations (Q1611221) (← links)
- Interval arithmetic on multimedia architectures (Q1611222) (← links)
- Grand challenges and scientific standards in interval analysis (Q1611223) (← links)
- An improved method for global solution of nonlinear systems (Q1809077) (← links)
- Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation (Q1809078) (← links)
- A simple derivation of the Hansen-Bliek-Rohn-Ning-Kearfott enclosure for linear interval equations (Q1809079) (← links)
- Computing exact bounds on elements of an inverse interval matrix is NP-hard (Q1809080) (← links)
- Wrapping function of the intial value problem for ODE: Applications (Q1809081) (← links)
- Estimation of discrete-event systems using interval computation (Q1809082) (← links)
- Interval estimates for signal processing: Special purpose hardware (Q1809084) (← links)
- Karl Nickel is turned 75 (Q1809085) (← links)
- Statool: A tool for distribution envelope determination (DEnv), an interval-based algorithm for arithmetic on random variables (Q1810784) (← links)
- Numerical experiences with a new generalized subinterval selection criterion for interval global optimization (Q1810785) (← links)
- Estimating and validating the cumulative distribution of a function of random variables: Toward the development of distribution arithmetic (Q1810786) (← links)
- Interval methods for accelerated global search in the microsoft excel solver (Q1810788) (← links)
- Robust approximation of offsets, bisectors, and medial axes of plane curves (Q1810789) (← links)
- Evaluation of functions, gradients, and Jacobians (Q1810790) (← links)
- Slope intervals, generalized gradients, semigradients, slant derivatives, and csets (Q1826439) (← links)
- Integral approximation of rays and verification of feasibility (Q1826440) (← links)
- On a refined analysis of some problems in interval arithmetic using real number complexity theory (Q1826441) (← links)
- A method for outer interval solution of linear parametric systems (Q1826442) (← links)
