|
|
|
|
| LEADER |
00000cam a2200000Mi 4500 |
| 001 |
SCIDIR_ocn898421984 |
| 003 |
OCoLC |
| 005 |
20231117033003.0 |
| 006 |
m o d |
| 007 |
cr cnu---unuuu |
| 008 |
141220s1988 mau ob 000 0 eng d |
| 010 |
|
|
|z 88003479
|
| 040 |
|
|
|a EBLCP
|b eng
|e pn
|c EBLCP
|d N$T
|d OCLCQ
|d OCLCF
|d YDXCP
|d DEBSZ
|d OCLCQ
|d MERUC
|d OCLCQ
|d VLY
|d INARC
|d OCLCO
|d OCLCQ
|d OCLCO
|
| 019 |
|
|
|a 570791264
|a 1162286917
|a 1280719585
|
| 020 |
|
|
|a 9781483277844
|q (electronic bk.)
|
| 020 |
|
|
|a 1483277844
|q (electronic bk.)
|
| 020 |
|
|
|z 9780125056304
|
| 020 |
|
|
|z 0125056303
|
| 035 |
|
|
|a (OCoLC)898421984
|z (OCoLC)570791264
|z (OCoLC)1162286917
|z (OCoLC)1280719585
|
| 042 |
|
|
|a dlr
|
| 050 |
|
4 |
|a QA76.9.E94
|
| 072 |
|
7 |
|a COM
|x 013000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 014000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 018000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 067000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 032000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 037000
|2 bisacsh
|
| 072 |
|
7 |
|a COM
|x 052000
|2 bisacsh
|
| 082 |
0 |
4 |
|a 004
|2 23
|
| 245 |
0 |
0 |
|a Reliability in computing :
|b the role of interval methods in scientific computing /
|c edited by Ramon E. Moore.
|
| 260 |
|
|
|a Boston :
|b Academic Press,
|c �1988.
|
| 300 |
|
|
|a 1 online resource (xv, 428 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Perspectives in computing ;
|v volume 19
|
| 506 |
|
|
|3 Use copy
|f Restrictions unspecified
|2 star
|5 MiAaHDL
|
| 533 |
|
|
|a Electronic reproduction.
|b [Place of publication not identified] :
|c HathiTrust Digital Library,
|d 2010.
|5 MiAaHDL
|
| 538 |
|
|
|a Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002.
|u http://purl.oclc.org/DLF/benchrepro0212
|5 MiAaHDL
|
| 583 |
1 |
|
|a digitized
|c 2010
|h HathiTrust Digital Library
|l committed to preserve
|2 pda
|5 MiAaHDL
|
| 588 |
0 |
|
|a Print version record.
|
| 504 |
|
|
|a Includes bibliographical references.
|
| 505 |
0 |
|
|a Front Cover; Reliability in Computing: The Role of Interval Methods in Scientific Computing; Copyright Page; Table of Contents; Contributors; Preface; Acknowledgments; Part 1: Computer Arithmetic and Mathematical Software; Chapter 1. ARITHMETIC FOR VECTOR PROCESSORS; ABSTRACT; 1. INTRODUCTION; 2. THE STATE OF THE ART; 3. FAST COMPUTATION OF SUMS AND SCALAR PRODUCTS; 4. SUMMATION WITH ONLY ONE ROW OF ADDERS; 5. SYSTEMS WITH LARGE EXPONENT RANGE AND FURTHER REMARKS; 6. APPLICATION TO MULTIPLE PRECISION ARITHMETIC; 7. CONTEMPORARY FLOATING-POINT ARITHMETIC; 8. LITERATURE.
|
| 505 |
8 |
|
|a Chapter 2. FORTRAN-SC, A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH: Language Description with ExamplesAbstract; 1. Introduction; 2. Development of FORTRAN-SC; 3. Main Language Concepts; 4. Language Description with Examples; 5. Implementation of FORTRAN-SC; References; Chapter 3. FORTRAN-SC A FORTRAN Extension for Engineering/Scientific Computation with Access to ACRITH: Demonstration of the Compiler and Sample Programs; Abstract; Introduction; Example 1 : Interval Newton Method; Example 2 : Automatic Differentiation; Example 3 : Runge-Kutta Method.
|
| 505 |
8 |
|
|a Example 4 : Gaussian Elimination MethodExample 5 : Verified Solution of a Linear System; References; Chapter 4. Reliable Expression Evaluation in PASCAL-SC; Abstract; 1. Floating-point arithmetic; 2. Interval arithmetic; 3. The optimal scalar product; 4. Complex floating-point and complex interval arithmetic; 5. Matrix and vector arithmetic; 6. Accurate Operations and Problem Solving Routines; 7. Transformation of arithmetic expressions; 8. Solution of nonlinear systems; 9. The data type dotprecision; 10. Dotproduct expressions; 11. Conclusion; References.
|
| 505 |
8 |
|
|a Chapter 5. Floating-Point Standards -- Theory and Practice1. Introduction; 2. The Standards; 3. Implementations; 4. Software Support; 5. Conclusions; References; Chapter 6. Algorithms for Verified Inclusions: Theory and Practice; Summary; 0. Introduction; 1. Basic theorems; 2. Practical verification on the computer; 3. Interactive Programming Environment; 4. References; Chapter 7. Applications of Differentiation Arithmetic; Abstract; 1. Differentiation Arithmetic -- Why, What, and How?; 2. Why? -- Motivation; 3 . What? -- Component tools; 4. Conditions on f; 5. How to use it? -- Applications.
|
| 505 |
8 |
|
|a 6. AcknowledgementsReferences; Part 2: Linear and Nonlinear Systems; Chapter 8. INTERVAL ACCELERATION OF CONVERGENCE; Abstract; 1. INTRODUCTION; 2. EXAMPLES; 3. DEFINITIONS AND NOTATION; 4. INTERVAL METHODS; 5. HOW CAN WE GET BOUNDS ON A GIVEN POINT-SEQUENCE?; 6. ACCELERATION OF CONVERGENCE; REFERENCES; Chapter 9. SOLVING SYSTEMS OF LINEAR INTERVAL EQUATIONS; 0. Introduction; 1. Bounding the solutions; 2. Computing the xy's; 3. Explicit formulae for x, x; 4. Inverse interval matrix; References; Chapter 10. Interval Least Squares -- a Diagnostic Tool; Introduction; Linearity; Interval Notation.
|
| 546 |
|
|
|a English.
|
| 650 |
|
0 |
|a Electronic data processing
|x Reliability.
|
| 650 |
|
0 |
|a Interval analysis (Mathematics)
|
| 650 |
|
6 |
|a Calcul sur des intervalles.
|0 (CaQQLa)201-0135020
|
| 650 |
|
7 |
|a COMPUTERS
|x Computer Literacy.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Computer Science.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Data Processing.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Hardware
|x General.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Information Technology.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Machine Theory.
|2 bisacsh
|
| 650 |
|
7 |
|a COMPUTERS
|x Reference.
|2 bisacsh
|
| 650 |
|
7 |
|a Electronic data processing
|x Reliability
|2 fast
|0 (OCoLC)fst00907046
|
| 650 |
|
7 |
|a Interval analysis (Mathematics)
|2 fast
|0 (OCoLC)fst00977572
|
| 700 |
1 |
|
|a Moore, Ramon E.
|
| 776 |
0 |
8 |
|i Print version:
|t Reliability in computing.
|d Boston : Academic Press, �1988
|z 0125056303
|w (DLC) 88003479
|w (OCoLC)17548445
|
| 830 |
|
0 |
|a Perspectives in computing (Boston, Mass.) ;
|v volume 19.
|
| 856 |
4 |
0 |
|u https://sciencedirect.uam.elogim.com/science/book/9780125056304
|z Texto completo
|
