IMACS '91

IMACS '91 PDF Author: Robert Vichnevetsky
Publisher:
ISBN:
Category : Computer simulation
Languages : en
Pages : 468

Get Book Here

Book Description

IMACS '91

IMACS '91 PDF Author: Robert Vichnevetsky
Publisher:
ISBN:
Category : Computer simulation
Languages : en
Pages : 468

Get Book Here

Book Description


IMACS '91, 13th World Congress on Computation and Applied Mathematics

IMACS '91, 13th World Congress on Computation and Applied Mathematics PDF Author: Robert Vichnevetsky
Publisher:
ISBN:
Category : Computer simulation
Languages : en
Pages : 1100

Get Book Here

Book Description


Computer Arithmetic and Validity

Computer Arithmetic and Validity PDF Author: Ulrich Kulisch
Publisher: Walter de Gruyter
ISBN: 3110301792
Category : Mathematics
Languages : en
Pages : 456

Get Book Here

Book Description
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.

Advanced Control of Chemical Processes (ADCHEM'91)

Advanced Control of Chemical Processes (ADCHEM'91) PDF Author: K. Najim
Publisher: Elsevier
ISBN: 1483298973
Category : Technology & Engineering
Languages : en
Pages : 313

Get Book Here

Book Description
This volume contains 40 papers which describe the recent developments in advanced control of chemical processes and related industries. The topics of adaptive control, model-based control and neural networks are covered by 3 survey papers. New adaptive, statistical, model-based control and artificial intelligence techniques and their applications are detailed in several papers. The problem of implementation of control algorithms on a digital computer is also considered.

Scientific Computing with Automatic Result Verification

Scientific Computing with Automatic Result Verification PDF Author: Adams
Publisher: Academic Press
ISBN: 0080958753
Category : Computers
Languages : en
Pages : 626

Get Book Here

Book Description
Scientific Computing with Automatic Result Verification

ICIAM 91

ICIAM 91 PDF Author: Robert E. O'Malley
Publisher: SIAM
ISBN: 9780898713022
Category : Mathematics
Languages : en
Pages : 424

Get Book Here

Book Description
Proceedings -- Computer Arithmetic, Algebra, OOP.

Computerized Tomography

Computerized Tomography PDF Author: M. M. Lavrent'ev
Publisher: Walter de Gruyter GmbH & Co KG
ISBN: 3112314069
Category : Mathematics
Languages : en
Pages : 408

Get Book Here

Book Description
No detailed description available for "Computerized Tomography".

Current Topics in Artificial Intelligence

Current Topics in Artificial Intelligence PDF Author: Ricardo Conejo
Publisher: Springer
ISBN: 3540259457
Category : Computers
Languages : en
Pages : 703

Get Book Here

Book Description
This book constitutes the thoroughly refereed joint post-proceedings of the 10th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2003, and the 5th Conference on Technology Transfer, TTIA 2003, held in San Sebastin, Spain, in November 2003. The 66 revised full papers presented together with one invited paper were carefully selected during two rounds of reviewing and improvement from an initial total of 214 submissions. The papers span the entire spectrum of artificial intelligence and advanced applications in various fields.

Algorithms and Data Structures

Algorithms and Data Structures PDF Author: Frank Dehne
Publisher: Springer Science & Business Media
ISBN: 9783540543435
Category : Computers
Languages : en
Pages : 518

Get Book Here

Book Description
This volume presents the proceedings of the Second Workshop on Algorithms and Data Structures (WADS '91), held at Carleton University in Ottawa. The workshop was organized by the School of Computer Science at Carleton University. The workshop alternates with the Scandinavian Workshop on Algorithm Theory (SWAT), continuing the tradition of SWAT '88 (LNCS, Vol. 318), WADS '89 (LNCS, Vol. 382), and SWAT '90 (LNCS, Vol. 447). From 107 papers submitted, 37 were selected for presentation at the workshop. In addition, there were 5 invited presentations.

Numerical Linear Algebra

Numerical Linear Algebra PDF Author: Lothar Reichel
Publisher: Walter de Gruyter
ISBN: 3110857650
Category : Mathematics
Languages : en
Pages : 213

Get Book Here

Book Description
The series is aimed specifically at publishing peer reviewed reviews and contributions presented at workshops and conferences. Each volume is associated with a particular conference, symposium or workshop. These events cover various topics within pure and applied mathematics and provide up-to-date coverage of new developments, methods and applications.