Expert systems for scientific computing : proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April 1990

書誌事項

Expert systems for scientific computing : proceedings of the Second IMACS International Conference on Expert Systems for Numerical Computing, Purdue University, U.S.A., 24-26 April 1990

edited by E.N. Houstis, J.R. Rice, R. Vichnevetsky

North-Holland , Distributors for the U.S. and Canada, Elsevier Science Pub. Co., 1992

大学図書館所蔵 件 / 13

この図書・雑誌をさがす

注記

Includes bibliographical references and index

内容説明・目次

内容説明

This proceedings volume provides an overview of very high level and expert systems for scientific applications. The state-of-the-art of expert systems and problem-solving systems for numerical computing is reviewed and think-pieces by leading scientists on the nature and future of scientific computing are presented. Computer scientists, engineers in computer applications, graduate students and researchers should find this volume of practical interest.

目次

Mathematical Expert Systems. EVE: An Object-Centered Knowledge-Based PDE Solver (P. Baras, J. Blum, J.C. Paumier, O. Witomski, F. Rechenmann). Scientific Computing and the Algorithm Selection Problem (R.W. Dyksen, C.R. Gritter). ODEXPERT: An Expert System to Select Numerical Solvers for Initial Value ODE Systems (M.S. Kamel, K.S. Ma, W.H. Enright). A Prototyping Environment for Differential Equations (T.I. Boubez, A.M. Froncioni, R.L. Peskin). Invited Talks. A User's View of High-Performance Scientific and Engineering Software Systems in the Mid-21st Century (D.J. Kuck). Learning, Teaching, Optimization and Approximation (J.R. Rice). Parallel Programming as an Optimization Problem (G.C. Fox, V. Balasundaram). Expert User Interfaces. A Development Shell for Knowledge-Based Systems in Scientific Computing (F. Rechenmann, B. Rousseau). RELAX: A Software Platform for PDE Interface Relaxation Methods (S. McFaddin, J.R. Rice). An Expert system for the Economical Application of Self-Validating Methods for Linear Equations (S. Konig, C. Ulrich). Numerical and Statistical Knowledge-Based Front-Ends: Research and Development at NAG (J. Chelsom, D. Cornali, I. Reid). Automatic Program Instrumentation with Applications in Performance and Error Analysis (B. Bliss, M.-C. Brunet, E. Galloupoulos). Engineering Expert Systems. IDEA: An Expert System as a Support to the Design of Airfoils (L. Ghielmi, D. Qugliarella). Two Prototypes Testing the Use of an Expert System in the Control of Structural Analysis Idealizations (R. Wentorf, A. Budhiraja, R.R. Collar, M.S. Shepard, P.L. Baechmann). An Object-Oriented Particle Simulation Programming Framework (X.A. Lin, W.J. Karplus). Continuation Expert System - CONEX (P. Rosendorf, J. Orsag, I. Schreiber, M. Marek). Symbolic and Formal Specification of Modelling Programs. Knowledge-Based Program Generation for Mathematical Modelling (E. Kant, F. Daube, W. MacGregor, J. Wald). Formal Specification of Engineering Analysis Programs (J.W. Baugh, Jr.). ALPAL: A Tool to Generate Simulation Codes From Natural Descriptions (G.O. Cook, Jr., J.F. Painter). A Functional Representation for Software Selection Expertise (M. Lucks, I. Gladwell).

「Nielsen BookData」 より

詳細情報

ページトップへ