default search action
Reliable Computing, Volume 5
Volume 5, Number 1, February 1999
- Shen Zuhe, Vladik Kreinovich:
Preface. 1 - Kyoko Makino, Martin Berz:
Efficient Control of the Dependency Problem Based on Taylor Model Methods. 3-12 - Martin Berz, Kyoko Makino:
New Methods for High-Dimensional Verified Quadrature. 13-22 - Danqing Zhang, Weiguo Li, Shen Zuhe:
Solving Underdetermined Systems with Interval Methods. 23-33 - John Funge:
Representing Knowledge within the Situation Calculus Using Interval-Valued Epistemic Fluents. 35-61 - Gerhard Heindl:
How to Guarantee Finite Termination of Verifying Global Optimization Codes. 63-68 - Michael Lerch, Jürgen Wolff von Gudenberg:
Expression Templates for Dot Product Expressions. 69-80 - Olga Kosheleva, Vladik Kreinovich:
Error Estimation for Indirect Measurements: Interval Computation Problem Is (Slightly) Harder Than a Similar Probabilistic Computational Problem. 81-95 - Neli S. Dimitrova, Svetoslav Markov, Christian P. Ullrich:
Solving Linear Systems with Error Control: Minisymposium within the 4th International Conference NMA'98. 97-100 - Tibor Csendes:
SCAN-98: an IMACS/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. 101-102
Volume 5, Number 2, May 1999
- Lubomir V. Kolev:
An Improved Method for Global Solution of Non-Linear Systems. 103-111 - Marcin Zelawski:
Rigorous Numerical Approach to Isolation in Dynamical Systems on the Example of the Kuramoto-Sivashinsky Equation. 113-129 - Arnold Neumaier:
A Simple Derivation of the Hansen-Bliek-Rohn-Ning-Kearfott Enclosure for Linear Interval Equations. 131-136 - Gregory Emmett Coxson:
Computing Exact Bounds on Elements of an Inverse Interval Matrix is NP-Hard. 137-142 - Roumen Anguelov:
Wrapping Function of the Initial Value Problem for ODE: Applications. 143-164 - Luc Jaulin, Jean-Louis Boimond, Laurent Hardouin:
Estimation of Discrete-Event Systems Using Interval Computation. 165-173 - Olga Kosheleva, Sergio D. Cabrera, Glenn A. Gibson, Sreedhar Cherukuri:
Interval Estimates for Signal Processing: Special Purpose Hardware. 175-196 - Interval Computations Help in Proving the Kepler Conjecture. 197-199
- Luc Longpré, Vladik Kreinovich:
Gasarch, W.I. and Martin, G.A.: Bounded Queries in Recursion Theory. 201-203 - Jürgen Garloff:
Karl Nickel is turned 75. 205-206 - Josep Vehí:
Interval Workshop MISC'99. 207-208 - George F. Corliss:
Reminiscences "Back in the Good Old Days...". 209-209
Volume 5, Number 3, August 1999
- Hélène Collavizza, François Delobel, Michel Rueher:
Comparing Partial Consistencies. 213-228 - Neli S. Dimitrova, Svetoslav M. Markov:
Verified Computation of Fast Decreasing Polynomials. 229-240 - Eva Dyllong, Wolfram Luther, Werner Otten:
An Accurate Distance-Calculation Algorithm for Convex Polyhedra. 241-253 - Andreas Frommer, Andre Weinberg:
Verified Error Bounds for Linear Systems Through the Lanczos Process. 255-267 - Gerhard Heindl:
A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes. 269-278 - Jean-Michel Muller:
A Few Results on Table-Based Methods. 279-288 - Nedialko S. Nedialkov, Kenneth R. Jackson:
An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation. 289-310 - Michael J. Schulte, Vitaly Zelov, Ahmet Akkas, James Craig Burley:
The Interval-Enhanced GNU Fortran Compiler. 311-322 - Sergey P. Shary:
Outer Estimation of Generalized Solution Sets to Interval Linear Systems. 323-335 - Adam W. Strzebonski:
A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic. 337-346 - Yoshitaka Watanabe, Nobito Yamamoto, Mitsuhiro T. Nakao:
A Numerical Verification Method of Solutions for the Navier-Stokes Equations. 347-357
Volume 5, Number 4, November 1999
- Kong Min, Liu Qi, Shen Zuhe:
On the Componentwise Krawczyk-Moore Iteration. 359-370 - Michael A. Wolfe:
On Discrete Minimax Problems in R Using Interval Arithmetic. 371-383 - Olga Kosheleva, Vladik Kreinovich:
Only Intervals Preserve the Invertibility of Arithmetic Operations. 385-394 - Ferenc Kálovics:
Solving Nonlinear Constrained Minimization Problems with a New Interval Valued Function. 395-406 - Paluri S. V. Nataraj, Suresh Srivastava:
Synthesis of Robustly Stabilizing General Order Compensators for Interval Plants Using Interval Analysis. 407-422 - The Dawning. 423-424
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.