| Description |
ix, 398 pages : illustrations ; 26 cm + 1 CD-ROM |
| Contents |
Machine derived contents note: Part I Software- and Hardware-Tools -- Variable-Precision Exponential Evaluation -- Javier Hormigo, Julio Villalba, Michael J. Schulte -- Fast computation of some special integrals of mathematical physics -- Ekatherina A. Karatsuba -- Interval Input and Output -- Eero Hyv6nen -- A Case for Interval Hardware on Superscalar Processors -- James E. Stine, Michael J. Schulte -- Evaluating the Impact of Accurate Branch Prediction on Interval Software -- Ahmet Akkas, Michael J. Schulte, James E. Stine -- Automatic Test Case Generation using Interval Arithmetic -- Giinter Schumacher, Armin Bantle -- Part II Linear Algebra -- On the Hull of the Solution Sets of Interval Linear Equations -- Jana Konickova -- Computation of Algebraic Solutions to Interval Systems via Systems of Coordinates -- Svetoslav Markov -- Towards Diagrammatic Analysis of Systems of Interval "Linear Equations" -- Zenon Kulpa -- -- -- -- Part III Polynomials -- Verified solutions of systems of nonlinear polynomial equations -- Daniela Fausten, Wolfram Luther -- Euler-like method with Weierstrass' correction -- Miodrag S. Petkovic, Dejan V. Vranic -- Part IV Set Enclosures -- Guaranteed Set Computation with Subpavings -- Michel Kieffer Isabelle Braems, Eric Walter, Luc Jaulin -- A New Intersection Algorithm for Parametric Surfaces Based on LIEs -- Katja Biihler, Wilhelm Barth -- State estimation using interval constraint propagation -- Luc Jaulin, Isabelle Braems, Michel Kieffer, Eric Walter -- Part V Global Optimization -- Interval Methods for Global Optimization Using the Boxing Method -- Andras Erik Csallner, Rudi Klatte, Dietmar Ratz, Andreas Wiethoff -- A Branch-and-Prune Method for Global Optimization -- Dimitris G. Sotiropoulos and Theodoula N. Grapsa -- Simulation of a Controlled Aircraft Elevator under Sensor Uncertainties -- Jiirgen Heeks, Eberhard P Hofer, Bernd Tibken, Karin Lunde, Klaus Thorwart -- Part VI Control -- Traditional parameter estimation versus estimation of guaranteed parameter sets -- Eberhard P. Hofer, Bernd Tibken, Milan Vlach -- Stabilizing Control Design of Nonlinear Process Involving Uncertainties -- Mikhail Krastanov, Neli Dimitrova -- Set Estimation, Computation of Volumes and Data Safety -- Isabelle Braems, Michel Kieffer, ric Walter, Luc Jaulin -- -- -- -- Part VII ODE and DAE and Applications -- Verified High-Order Integration of DAEs and Higher-order ODEs -- Jens Hoefkens, Martin Berz, Kyoko Makino -- About a Finite Dimensional Reduction Method for Conservative Dynamical Sys- -- tems and its Applications -- Anatoliy Prykarpatsky, Stanislaw Brzychczy, V Samoylenko -- Verified Determination of Singularities in Chemical Processes -- Christian H. Bischof, Bruno Lang, Wolfgang Marquardt, Martin Mdnnigmann -- Modeling of Multibody Systems with Interval Arithmetic -- Christian Horsken, Holger Traczinski -- Part VIII Stochastics and Probability -- On the Algebraic Properties of Stochastic Arithmetic. Comparison to Interval -- Arithmetic -- Rene Alt, Svetoslav Markov -- Global Random Walk Simulations of Diffusion -- Calin Vamos, Nicolae Suciu, Harry Vereecken, Olaf Nitzsche, Horst Hardelauf -- Interval Computations as a Particular Case of a General Scheme Involving Classes -- of Probability Distributions -- Scott Ferson, Lev Ginzburg, Vladik Kreinovich, Harry Schulte -- For reliable and powerful scientific computations -- Fabienne Jdezquel, Jean-Marie Chesneaux -- Reliable representations of strange attractors -- Dominique Michelucci -- Appendix: The Referees |
| Notes |
"Scan 2000, the GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics and Interval 2000, the International Conference on Interval Methods in Science and Engineering were jointly held in Karlsruhe, September 19-22, 2000"--Pref |
| Bibliography |
Includes bibliographical references and index |
| Subject |
Mathematical models -- Congresses.
|
| Genre/Form |
Conference papers and proceedings.
|
| Author |
Krämer, Walter.
|
|
Gudenberg, J. Wolff von (Jürgen Wolff), 1952-
|
|
International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics (2000 : Karslruhe, Germany)
|
|
International Conference on Interval Methods in Science and Engineering (2000 : Karlsruhe, Germany)
|
| LC no. |
2002277032 |
| ISBN |
0306467062 |
|
