Muutke küpsiste eelistusi

Developments in Reliable Computing 1st ed. Softcover of orig. ed. 2000 [Pehme köide]

Edited by
  • Formaat: Paperback / softback, 404 pages, kõrgus x laius: 235x155 mm, kaal: 635 g, XII, 404 p., 1 Paperback / softback
  • Ilmumisaeg: 01-Dec-2010
  • Kirjastus: Springer
  • ISBN-10: 9048153506
  • ISBN-13: 9789048153503
  • Pehme köide
  • Hind: 95,02 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 111,79 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
  • Formaat: Paperback / softback, 404 pages, kõrgus x laius: 235x155 mm, kaal: 635 g, XII, 404 p., 1 Paperback / softback
  • Ilmumisaeg: 01-Dec-2010
  • Kirjastus: Springer
  • ISBN-10: 9048153506
  • ISBN-13: 9789048153503
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.

Muu info

Springer Book Archives
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 Kauchers 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.