| |
| |
| SCAN 2000 Keynote Address The Future of Intervals | |
| |
| |
| |
| |
| Software-- and Hardware--Tools | |
| |
| |
| Variable-Precision Exponential Evaluation | |
| |
| |
| |
| Fast computation of some special integrals of mathematical physics | |
| |
| |
| |
| Interval Input and Output | |
| |
| |
| |
| A Case for Interval Hardware on Superscalar Processors | |
| |
| |
| |
| Evaluating the Impact of Accurate Branch Prediction on Interval Software | |
| |
| |
| |
| Automatic Test Case Generation using Interval Arithmetic | |
| |
| |
| |
| |
| Linear Algebra | |
| |
| |
| On the Hull of the Solution Sets of Interval Linear Equations | |
| |
| |
| |
| Computation of Algebraic Solutions to Interval Systems via Systems of Coordinates | |
| |
| |
| |
| Towards Diagrammatic Analysis of Systems of Interval "Linear Equations" | |
| |
| |
| |
| On the Solution of Parametrised Linear Systems | |
| |
| |
| |
| |
| Polynomials | |
| |
| |
| Verified solutions of systems of nonlinear polynomial equations | |
| |
| |
| |
| Euler-like method with Weierstrass' correction | |
| |
| |
| |
| |
| Set Enclosures | |
| |
| |
| Guaranteed Set Computation with Subpavings | |
| |
| |
| |
| A New Intersection Algorithm for Parametric Surfaces Based on LIEs | |
| |
| |
| |
| State estimation using interval constraint propagation | |
| |
| |
| |
| |
| Global Optimization | |
| |
| |
| Interval Methods for Global Optimization Using the Boxing Method | |
| |
| |
| |
| A Branch-and-Prune Method for Global Optimization | |
| |
| |
| |
| Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties | |
| |
| |
| |
| |
| Control | |
| |
| |
| Traditional parameter estimation versus estimation of guaranteed parameter sets | |
| |
| |
| |
| Stabilizing Control Design of Nonlinear Process Involving Uncertainties | |
| |
| |
| |
| Set Estimation, Computation of Volumes and Data Safety | |
| |
| |
| |
| |
| ODE and DAE and Applications | |
| |
| |
| Verified High-Order Integration of DAEs and Higher-order ODEs | |
| |
| |
| |
| About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and its Applications | |
| |
| |
| |
| Verified Determination of Singularities in Chemical Processes | |
| |
| |
| |
| Modeling of Multibody Systems with Interval Arithmetic | |
| |
| |
| |
| |
| Stochastics and Probability | |
| |
| |
| On the Algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic | |
| |
| |
| |
| Global Random Walk Simulations of Diffusion | |
| |
| |
| |
| Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions | |
| |
| |
| |
| For reliable and powerful scientific computations | |
| |
| |
| |
| Reliable representations of strange attractors | |
| |
| |
| |
| |
| The Referees | |
| |
| |
| Index | |