Muutke küpsiste eelistusi

E-raamat: Developments in Reliable Computing

Edited by
  • Formaat: PDF+DRM
  • Ilmumisaeg: 17-Apr-2013
  • Kirjastus: Springer
  • Keel: eng
  • ISBN-13: 9789401712477
Teised raamatud teemal:
  • Formaat - PDF+DRM
  • Hind: 110,53 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
Developments in Reliable ComputingSuurem pilt
  • Formaat: PDF+DRM
  • Ilmumisaeg: 17-Apr-2013
  • Kirjastus: Springer
  • Keel: eng
  • ISBN-13: 9789401712477
Teised raamatud teemal:

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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.
Lisainfo e-raamatute kohta Lisainfo e-raamatute kohta
Püsilink: https://www.kriso.ee/db/97894017124772e.html
Märksõnad: