IMACS '91
Title | IMACS '91 PDF eBook |
Author | Robert Vichnevetsky |
Publisher | |
Total Pages | 596 |
Release | 1991 |
Genre | Computer simulation |
ISBN |
IMACS '91, 13th World Congress on Computation and Applied Mathematics
Title | IMACS '91, 13th World Congress on Computation and Applied Mathematics PDF eBook |
Author | Robert Vichnevetsky |
Publisher | |
Total Pages | 998 |
Release | 1991 |
Genre | Computer simulation |
ISBN |
Proceedings -- Computer Arithmetic, Algebra, OOP.
Computational Physics: Proceedings Of The 2nd Imacs Conference
Title | Computational Physics: Proceedings Of The 2nd Imacs Conference PDF eBook |
Author | Jean Potvin |
Publisher | World Scientific |
Total Pages | 274 |
Release | 1994-06-09 |
Genre | |
ISBN | 981455099X |
The proceedings contain the invited papers delivered at the 2nd IMACS International Conference on Computational Physics, held in St. Louis MO, USA, on October 6 - 9, 1993. The meeting was aimed at bringing together computational scientists and engineers of different disciplines for a fruitful exchange of information on methods, software and hardware. The topics covered include fluid mechanics, aerodynamics, material physics, condensed matter physics, neural networks, nonlinear dynamics, particle physics and others.
Fault Detection, Supervision and Safety for Technical Processes 1991
Title | Fault Detection, Supervision and Safety for Technical Processes 1991 PDF eBook |
Author | B. Freyermuth |
Publisher | Elsevier |
Total Pages | 647 |
Release | 2014-05-23 |
Genre | Technology & Engineering |
ISBN | 1483299031 |
These Proceedings provide a general overview as well as detailed information on the developing field of reliability and safety of technical processes in automatically controlled processes. The plenary papers present the state-of-the-art and an overview in the areas of aircraft and nuclear power stations, because these safety-critical system domains possess the most highly developed fault management and supervision schemes. Additional plenary papers covered the recent developments in analytical redundancy. In total there are 95 papers presented in these Proceedings.
Computer Arithmetic and Validity
Title | Computer Arithmetic and Validity PDF eBook |
Author | Ulrich Kulisch |
Publisher | Walter de Gruyter |
Total Pages | 456 |
Release | 2013-04-30 |
Genre | Mathematics |
ISBN | 3110301792 |
This is the revised and extended second edition of the successful basic book on computer arithmetic. It is consistent with the newest recent standard developments in the field. The book shows how the arithmetic and mathematical capability of the digital computer can be enhanced in a quite natural way. The work is motivated by the desire and the need to improve the accuracy of numerical computing and to control the quality of the computed results (validity). The accuracy requirements for the elementary floating-point operations are extended to the customary product spaces of computations including interval spaces. The mathematical properties of these models are extracted into an axiomatic approach which leads to a general theory of computer arithmetic. Detailed methods and circuits for the implementation of this advanced computer arithmetic on digital computers are developed in part two of the book. Part three then illustrates by a number of sample applications how this extended computer arithmetic can be used to compute highly accurate and mathematically verified results. The book can be used as a high-level undergraduate textbook but also as reference work for research in computer arithmetic and applied mathematics.
Validation Numerics
Title | Validation Numerics PDF eBook |
Author | R. Albrecht |
Publisher | Springer Science & Business Media |
Total Pages | 288 |
Release | 2012-12-06 |
Genre | Mathematics |
ISBN | 3709169186 |
The articles in this book give a comprehensive overview on the whole field of validated numerics. The problems covered include simultaneous systems of linear and nonlinear equations, differential and integral equations and certain applications from technical sciences. Furthermore some papers which improve the tools are included. The book is a must for scientists working in numerical analysis, computer science and in technical fields.
Scientific Computing with Automatic Result Verification
Title | Scientific Computing with Automatic Result Verification PDF eBook |
Author | Adams |
Publisher | Academic Press |
Total Pages | 626 |
Release | 1992-12-03 |
Genre | Computers |
ISBN | 0080958753 |
Scientific Computing with Automatic Result Verification