Synopses & Reviews
The papers in this book discuss a wide variety of serious applications of all parts of mathematical modelling. New efficient, publicly available or even commercial tools are proposed or presented, and also foundations of the theory of intervals and reliable computations were considerably strengthened. They are concerned not only with applications of well known enclosure methods or the development of new-self validating algorithms, but also transfer the mechanisms and design process known from these areas to other fields. The 31 contributions to this proceedings volume were carefully selected from a much larger number of submissions.
Table of Contents
SCAN 2000 Keynote Address the Future of Intervals; G.W. Walster. Part I: Software- and Hardware-Tools. Variable-Precision Exponential Evaluation; J. Hormigo, et al. Fast computation of some special integrals of mathematical physics; E.A. Karatsuba. Interval Input and Output; E. Hyvönen. A Case for Interval Hardware on Superscalar Processors; J.E. Stine, M.J. Schulte. Evaluating the Impact of Accurate Branch Prediction on Interval Software; A. Akkas, et al. Automatic Test Case Generation Using Interval Arithmetic; G. Schumacher, A. Bantle. Part II: Linear Algebra. On the Hull of the Solution Sets of Interval Linear Equations; J. Konickova. Computation of Algebraic Solutions to Interval Systems via Systems of Coordinates; S. Markov. Towards Diagrammatic Analysis of Systems of Interval `Linear Equations'; Z. Kulpa. On the Solution of Parametrised Linear Systems; E.D. Popova. Part III: Polynomials. Verified Solutions of Systems of Nonlinear Polynomial Equations; D. Fausten, W. Luther. Euler-like Method for the Simultaneous Inclusion of Polynomial Zeros with Weierstrass' Connection; M.S. Petkovic, D.V. Vranic. Part IV: Set Enclosures. Guaranteed Set Computation with Subpavings; M. Kieffer, et al. A New Intersection Algorithm for Parametric Surfaces Based on Linear Interval Estimations; K. Buehler, W. Barth. Nonlinear State Estimation Using Forward-Backward Propagation of Intervals in an Algorithm; L. Jaulin, et al. Part V: Global Optimization. Interval Methods for Global Optimization Using the Box Method; A.E. Csallner, et al. A Branch-and-Prune Method for Global Optimization; D.G. Sotiropoulos, Th.N. Grapsa. Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties; J. Heeks, et al. Part VI: Control. Traditional Parameter Estimation Versus Estimation of Guaranteed Parameter Sets; E.P. Hofer, et al. Stabilizing Control Design of Nonlinear Process Involving Uncertainties; M. Krastanov, N. Dimitrova. Set Estimation, Computation of Volumes and Data Safety; I. Braems, et al. Part VII: ODE and DAE and Applications. Verified High-Order Integration of DAEs and Higher-order ODEs; J. Hoefkens, et al. About a Finite Dimensional Reduction Method for Conservative Dynamical Systems and its Applications; A. Prykarpatsky, et al. Verified Determination of Singularities in Chemical Processes; C.H. Bischof, et al. Modeling of Multibody Systems with Interval Arithmetic; C. Hörsken, H. Traczinski. Part VIII: Stochastics and Probability. On the Algebraic Properties of Stochastic Arithmetic. Comparison to Interval Arithmetic; R. Alt, S. Markov. Global Random Walk Simulations of Diffusion; C. Vamos, et al. Interval Computations as a Particular Case of a General Scheme Involving Classes of Probability Distributions; S. Ferson, et al. For Reliable and Powerful Scientific Computations; F. Jézéquel, J.-M. Chesneaux. Reliable Representations of Strange Attractors; D. Michelucci. Appendix: The Referees. Index.