Developments in Reliable Computing
Editat de Tibor Csendesen Limba Engleză Paperback – dec 2010
Preț: 619.42 lei
Preț vechi: 728.74 lei
-15%
Puncte Express: 929
Carte tipărită la comandă
Livrare economică 25 iulie-08 august
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit pentru acest produs Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
Specificații
ISBN-13: 9789048153503
ISBN-10: 9048153506
Pagini: 416
Ilustrații: XII, 404 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.63 kg
Ediția:1999
Editura: Springer
Locul publicării:Dordrecht, Netherlands
ISBN-10: 9048153506
Pagini: 416
Ilustrații: XII, 404 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.63 kg
Ediția:1999
Editura: Springer
Locul publicării:Dordrecht, Netherlands
Public țintă
ResearchCuprins
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.