Developments in Reliable Computing - Rilegato

 
9780792360575: Developments in Reliable Computing
Rilegato
ISBN 10: 0792360575 ISBN 13: 9780792360575
Casa editrice: Springer-Verlag GmbH, 2000

Sinossi

The present volume contains 30 articles presented at SCAN-98, Budapest, Hungary. These papers cover all aspects of validation techniques in scientific computing, ranging from hardware requirements, elementary operations, high accuracy function evaluations and interval arithmetic to advanced validating techniques and applications in various fields of practical interest. Audience: This book is of interest to researchers and graduate students whose work involves validation techniques in scientific computing.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Preface. Rigorous Global Search: Industrial Applications; G.F. Corliss, R.B. Kearfott. Influences of Rounding Errors in Solving Large Sparse Linear Systems; A. Facius. A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions; J. Hormigo, et al. Towards an Optimal Control of the Wrapping Effect; W. Kühn. On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher's Interval Arithmetic; A.V. Lakeyev. A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature; B. Lang. INTLAB - INTerval LABoratory; S.M. Rump. Verified Calculation of the Solution of Algebraic Riccati Equation; W. Luther, W. Otten. Expression Concepts in Scientific Computing; M. Lerch. Performance Evaluation Technique STU and libavi Library; R. Sagula, et al. Single-Number Interval I/O; M. Schulte, et al. Interval Analysis for Embedded Systems; K. Musch, G. Schumacher. Prediction by Extrapolation for Interval Tightening Methods; Y. Lebbah, O. Lhomme. The Contribution of T. Sunaga to Interval Analysis and Reliable Computing; S. Markov, K. Okumura. Surface-to-Surface Intersection with Complete and Guaranteed Results; E. Hubert, W. Barth. An Algorithm that Computes a Lower Bound on the Distance Between a Segment and Z2; V. Lefèvre. Verified Computation of Fast Decreasing Polynomials; N.S. Dimitrova, S.M. Markov. An Accurate Distance-Calculation Algorithm for Convex Polyhedra; E. Dyllong, et al. Verified Error Bounds for Linear Systems through the Lanczos Process; A. Frommer, A. Weinberg. A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes; G. Heindl. A Few Results on Table-Based Methods; J.-M.Muller. An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation; N.S. Nedialkov, K.R. Jackson. The Interval-Enhanced GNU Fortran Compiler; M. Schulte, et al. Outer Estimation of Generalized Solution Sets to Interval Linear Systems; S.P. Shary. A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic; A. Strzebonski. A Numerical Verification Method of Solutions for the Navier-Stokes Equations; Y. Watanabe, et al. Convex Sets of Full Rank Matrices; B. Kolodziejczak, T. Szulc. Multiaspect Interval Types; M. Lerch, J.W. von Gudenberg. MATLAB-Based Analysis of Roundoff Noise; R. Dunay, I. Kollár. SCAN-98 Collected Bibliography; G.F. Corliss.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer-Verlag GmbH
Data di pubblicazione
2000
Lingua
Inglese
ISBN 10 
0792360575
ISBN 13 
9780792360575
Rilegatura
Copertina rigida
Numero di pagine
416
Redattore
Csendes Tibor
Contatto del produttore
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Germania

Altre edizioni note dello stesso titolo

9789048153503: Developments in Reliable Computing

Edizione in evidenza

ISBN 10:  9048153506 ISBN 13:  9789048153503
Casa editrice: Springer, 2010
Brossura