Search

Your search keyword '"Halfant, Matthew"' showing total 8 results
Start Over Author "Halfant, Matthew"
8 results on '"Halfant, Matthew"'

2. INTELLIGENCE IN SCIENTIFIC COMPUTING.

Author

Cohen, Jacques, Abelson, Harold, Eisenbert, Michael, Halfant, Matthew, Katzenelson, Jacob, Sacks, Elisha, Sussman, Gerald J., and Wisdom, Jack

Subjects
ARTIFICIAL intelligence, COMPUTATIONAL intelligence
Abstract

Discusses the development of intelligent techniques appropriate for the automatic preparation, execution and control of numerical experiments. Advantages of the use of intelligent computational tools; Excerpt of a dialogue showing how an intelligent computer assistant will aid an ocean engineer in the design of an offshore mooring tower for large ships.

Published
1989

3. Abstraction in Numerical Methods

Author

Halfant, Matthew, Sussman, Gerald Jay, Halfant, Matthew, and Sussman, Gerald Jay

Abstract

We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software toolbox encapsulating the technique of Richardson extrapolation, and we apply these tools to the problems of numerical integration and differentiation. By separating the idea of Richardson extrapolation from its use in particular circumstances, we indicate how numerical programs can be written that exhibit the structure of the ideas from which they are formed.

Published
2004

5. Intelligence in scientific computing

Author

Abelson, Harold, Eisenberg, Michael, Halfant, Matthew, Katzenelson, Jacob, Sacks, Elisha, Sussman, Gerald J., Wisdom, Jack, and Yip, Kenneth

Subjects
New technique, Algorithm, Knowledge-based system, Problem solving, New products, Knowledge-based systems, Algorithms
Abstract

INTELLIGENCE IN SCIENTIFIC COMPUTING Combining numerical techniques with ideas from symbolic computation and with methods incorporating knowledge of science and mathematics leads to a new category of intelligent computational tools […]

Published
1989

7. Abstraction in Numerical Methods.

Author

MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB, Halfant, Matthew, Sussman, Gerald J, MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE LAB, Halfant, Matthew, and Sussman, Gerald J

Abstract

We illustrate how the liberal use of high-order procedural abstractions and infinite streams helps us to express some of the vocabulary and methods of numerical analysis. We develop a software toolbox encapsulating the technique of Richardson extrapolation, and we apply these tools to the problems of numerical integration and differentiation. By separating the idea of Richardson extrapolation from its use in particular circumstances we indicate how numerical programs can be written that exhibit the structure of the ideas from which they are formed. Keywords: Artificial intelligence; LISP Programming language, Programming methodology. (KR).

Published
1987

Catalog

Books, media, physical & digital resources
See catalog results