High order stiffly stable methods for ordinary differential equations

Supported in part by contract U.S. AEC AT(11-1) 1469 and in part by National Science Foundation grant NSF-GJ-217.

Methods for automatic error analysis of numerical algorithms /

Vita.

A class of algorithms for automatic evaluation of certain elementary functions in a binary computer.

"Supported in part...under Grant No. US NSF GJ812 and Grant No. US NSF GJ813."

Sensitivity analysis for heuristic algorithms /

"UILU-ENG 78 1731."

The University of Illinois attached machine operating system: design criteria and program logic,

"Supported in part by National Science Foundation under Grant No. NSF-GP-7634."

An analysis of the distinction between deep and shallow expert systems /

This paper analyzes the relationship between the techniques used to build expert systems and the behaviors they exhibit to show that there is not sufficient evidence to link the behavioral shortcomings of first-generation expert systems to the shallow methods of representation and inference they employ. There is only evidence that the shortcomings are a consequence of a general lack of knowledge. Moreover, the paper shows that the first-generation of expert systems employ both shallow methods and most of the so-called deep methods. Lastly, we show that deeper methods augment but do not replace shallow reasoning methods; most expert systems should possess both."

An implicit method for the solution of elliptic partial differential equations.

Supported in part by National Science Foundation under Grant No. U.S. NSF-GJ-328.

On the synthesis by integer programming of optimal NOR gate networks for four variable switching functions /

"Supported in part by the National Science Foundation under grant no. NSF GJ-503."

Analysis of algorithms for finding all spanning trees of a graph.

"Supported in part by the following grants: US NSF GJ 217, US NSF GJ 812, and project BUILD."

On a problem of Katona on minimal separating systems /

"This work was supported in part by the National Science Foundation under Grant No. US NSF GJ41538."

A tree transformation system based on NUCLEOL.

"Supported in part by... NSF Grant GJ-217 and by BUILD."

Derivation of the 1963 & 1967 total employment vector for 362 I/O sectors /

"Supported by the National Science Foundation, NSF grant GI-35179X."

Some new results on resolution in automated theorem proving,

Issued also as thesis (M.S.) University of Illinois.

Computer program for designing optimal networks with MOS gates,

Thesis-University of Illinois at Urbana-Champaign.

The methodology of knowledge layers for inducing descriptions of sequentially ordered events /

"UILU-ENG 80 1719"--Cover.