IEEE Transactions on Computers
Annual review of computer science: vol. 3, 1988
Tutorial: abstraction in numerical methods
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Expressing mathematical subroutines constructively
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
Realization of a geometry-theorem proving machine
Computers & thought
The Dynamicist''s Workbench: I ---Automatic Preparation of Numerical Experiments
The Dynamicist''s Workbench: I ---Automatic Preparation of Numerical Experiments
Automatic Qualitative Analysis of Ordinary Differential Equations Using Piecewise Linear Approximations
An {\it bf O(N)} Algorithm for Three-Dimensional N-body Simulations
An {\'it bf O(N)} Algorithm for Three-Dimensional N-body Simulations
Combining programming languages and direct manipulation in environments for computational science
Proceedings of the 1st conference on Designing interactive systems: processes, practices, methods, & techniques
Influence-based model decomposition for reasoning about spatially distributed physical systems
Artificial Intelligence
IEEE Expert: Intelligent Systems and Their Applications
Deriving and Using Descriptions of Purpose
IEEE Expert: Intelligent Systems and Their Applications
Building Three-Dimensional Ribonucleic Acid Structures
Computing in Science and Engineering
Towards interactive steering, visualization and animation of unsteady finite element simulations
VIS '93 Proceedings of the 4th conference on Visualization '93
Qualitative simulation and related approaches for the analysis of dynamic systems
The Knowledge Engineering Review
Communicable Knowledge in Automated System Identification
Computational Discovery of Scientific Knowledge
Structure Discovery from Massive Spatial Data Sets Using Intelligent Simulation Tools
Computational Discovery of Scientific Knowledge
Spatial aggregation for qualitative assessment of scientific computations
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Extracting and representing qualitative behaviors of complex systems in phase spaces
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2
Self-explanatory simulations: an integration of qualitative and quantitative knowledge
AAAI'90 Proceedings of the eighth National conference on Artificial intelligence - Volume 1
Automated phase portrait analysis by integrating qualitative and quantitative analysis
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
The use of intelligently controlled simulation to predict a machine's long-term behavior
AAAI'91 Proceedings of the ninth National conference on Artificial intelligence - Volume 2
Generating quasi-symbolic representation of three-dimensional flow
AAAI'93 Proceedings of the eleventh national conference on Artificial intelligence
Hi-index | 48.22 |
The authors discuss the development of intelligent techniques appropriate for the automatic preparation, execution, and control of numerical experiments.