Intelligent Scientific Computation
Papers from the 1992 Fall Symposium
Elaine Kant, Program Chair
Technical Report FS-92-01. Published by The AAAI Press, Menlo Park, California
This technical report is available in book format.
Please Note: Abstracts are linked to individual titles, and will appear in a separate browser window. Full-text versions of the papers are linked to the abstract text. Access to full text may be restricted to AAAI members. PDF file sizes may be large!
Contents
On Knowledge Based Approach to Integrating Geophysical and Geological Data Sets / 1
P. An and W. M. Moon
Distributed Al Models for Percolation / 7
S. Bandini, G. Cattaneo, G. Tarantello
Metaprogramming for the Creation of Scientific Software / 9
Gal Berkooz, Paul Chew, Jim Cremer, Rick Plamer, and Richard Zippel
Robust Symbolic-Numeric-Graphic Software / 15
Kevin A. Broughan
A Scientific Programming Environment for a Class of Inverse Problems / l9
Bart Childs and Tim McGuire
AI and Large Scale Scientific Experiments / 24
Scott Clearwater
Automatic Block-Structured Grid Generation--Progress and Challenges / 28
John F. Dannenhoffer, III
Intelligent Model Selection for Hillclimbing Search in Computer-Aided Design / 33
Thomas Ellman and John Keane
Applications of Inductive Inference Results to Compiler (and Other Software) Optimization / 40
Leona F. Fass
Frontiers for Computer Algebra in AI / 42
Richard Fateman
Modeling and Simulation for Automated Yacht Design / 45
Andrew Gelsey
PYTHIA: An Expert System to Support the Numerical Simulation of PDE Based Applications on Parallel Machines / 52
E. N. Houstis, C. E. Houstis, J. R. Rice, and P. Varodoglou
Code Synthesis for Mathematical Modeling / 54
Elaine Kant
Artificial Intelligence Approaches to Problems in the Human Genome Project / 60
Simon Kasif and Steven Salzberg
Artificial Intelligence Support for Scientific Model-Building / 63
Richard M. Keller
Automated Modeling in Computational Heat Transfer / 68
Ringo Ling and Louis Steinberg
Computer Algebra in Simulation Code Development / 74
Richard Liska
Use of Functional Knowledge Representation in AI Applications for Scientific Computing / 80
Michael Lucks and Ian Gladwell
An Enriched Visualization Framework for Multidisciplinary Data Analysis / 86
C. Kristina, D. Mickus-Miceli, and Gitta O. Domik
Automating Analysis of Qualitative Behaviors of Ordinary Differential Equations / 92
Toyoaki Nishida
SIMLAB: Automatically Creating Physical Systems Simulators / 98
Richard Palmer and James F. Cremer
Intelligent Techniques in the Solution of Nonlinear Differential Equations / 104
Richard L. Peskin
Nutritional Diet Programme--An Expert System / 108
Surya Ramachandran, Hari Singh, and K.K. Bajaj
Automating Scientific and Engineering Computing / l10
Elisha Sacks and Leo Joskowicz
A Knowledge Based Approach to Mesh Optimization in CFD Domain: ID Euler Code Example / 115
Tharini Santhanam J. C. Browne, J. Kallinderis, and D. Miranker
Intelligent Data Analysis / 121
Paul E. Silvey, Cynthia L. Loiselle, and Paul R. Cohen
Toward a Comprehensive Knowledge Base for Engineering/ 126
Duvvuru Sriram
Intelligent Scientific Computing / 129
J. Stanly Steinberg
Mathematical Metaphors: Initial Problem Statement Formulation and Transformation to a Solvable Representation / 133
David E. Thompson
Draco - A Data Reduction Expert Assistant / 139
Felix Yen
Scientific Discovery Without Search / 143
Kenneth Man-Kam Yip
Computation and Reasoning in Automating Control Design / 149
Feng Zhao