<E-Book>
Developments in Reliable Computing / edited by Tibor Csendes
Edition | 1st ed. 1999. |
---|---|
Publisher | (Dordrecht : Springer Netherlands : Imprint: Springer) |
Year | 1999 |
Language | English |
Size | XII, 404 p : online resource |
Authors | Csendes, Tibor editor SpringerLink (Online service) |
Subjects | LCSH:Number theory LCSH:Computer science LCSH:Numerical analysis LCSH:Microprocessors LCSH:Computer architecture LCSH:Mathematics -- Data processing All Subject Search LCSH:Compilers (Computer programs) FREE:Number Theory FREE:Theory of Computation FREE:Numerical Analysis FREE:Processor Architectures FREE:Computational Mathematics and Numerical Analysis FREE:Compilers and Interpreters |
Notes | Rigorous Global Search: Industrial Applications -- Influences of Rounding Errors in Solving Large Sparse Linear Systems -- A Hardware Approach to Interval Arithmetic for Sine and Cosine Functions -- Towards an Optimal Control of the Wrapping Effect -- On Existence and Uniqueness of Solutions of Linear Algebraic Equations in Kaucher’s Interval Arithmetic -- A Comparison of Subdivision Strategies for Verified Multi-Dimensional Gaussian Quadrature -- INTLAB — INTerval LABoratory -- Verified Calculation of the Solution of Algebraic Riccati Equation -- Expression Concepts in Scientific Computing -- Performance Evaluation Technique STU and libavi Library -- Single-Number Interval I/O -- Interval Analysis for Embedded Systems -- Prediction by Extrapolation for Interval Tightening Methods -- The Contribution of T. Sunaga to Interval Analysis and Reliable Computing -- Surface-to-Surface Intersection with Complete and Guaranteed Results -- An Algorithm that Computes a Lower Bound on the Distance Between a Segment and ?2 -- Comparing Partial Consistencies -- Verified Computation of Fast Decreasing Polynomials -- An Accurate Distance-Calculation Algorithm for Convex Polyhedra -- Verified Error Bounds for Linear Systems through the Lanczos Process -- A Representation of the Interval Hull of a Tolerance Polyhedron Describing Inclusions of Function Values and Slopes -- A Few Results on Table-Based Methods -- An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation -- The Interval-Enhanced GNU Fortran Compiler -- Outer Estimation of Generalized Solution Sets to Interval Linear Systems -- A Real Polynomial Decision Algorithm Using Arbitrary-Precision Floating Point Arithmetic -- A Numerical Verification Method ofSolutions for the Navier-Stokes Equations -- Convex Sets of Full Rank Matrices -- Multiaspect Interval Types -- MATLAB-Based Analysis of Roundoff Noise -- SCAN-98 Collected Bibliography The SCAN conference, the International Symposium on Scientific Com puting, Computer Arithmetic and Validated Numerics, takes place bian nually under the joint auspices of GAMM (Gesellschaft fiir Angewandte Mathematik und Mechanik) and IMACS (International Association for Mathematics and Computers in Simulation). SCAN-98 attracted more than 100 participants from 21 countries all over the world. During the four days from September 22 to 25, nine highlighted, plenary lectures and over 70 contributed talks were given. These figures indicate a large participation, which was partly caused by the attraction of the organizing country, Hungary, but also the effec tive support system have contributed to the success. The conference was substantially supported by the Hungarian Research Fund OTKA, GAMM, the National Technology Development Board OMFB and by the J6zsef Attila University. Due to this funding, it was possible to subsidize the participation of over 20 scientists, mainly from Eastern European countries. It is important that the possibly first participation of 6 young researchers was made possible due to the obtained support. The number of East-European participants was relatively high. These results are especially valuable, since in contrast to the usual 2 years period, the present meeting was organized just one year after the last SCAN-xx conference HTTP:URL=https://doi.org/10.1007/978-94-017-1247-7 |
TOC
Hide book details.
E-Book | Location | Media type | Volume | Call No. | Status | Reserve | Comments | ISBN | Printed | Restriction | Designated Book | Barcode No. |
---|---|---|---|---|---|---|---|---|---|---|---|---|
E-Book | オンライン | 電子ブック |
|
Springer eBooks | 9789401712477 |
|
電子リソース |
|
EB00233152 |
Hide details.
Material Type | E-Book |
---|---|
Classification | LCC:QA241-247.5 DC23:512.7 |
ID | 4000111589 |
ISBN | 9789401712477 |
Similar Items
Usage statistics of this contents
Number of accesses to this page:7times
※After Sep 4, 2017