Stability of a system of equations describing the flow behind a shock /

"This work has been supported by the National Science Foundation under Grant G-1221"

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."

A deterministic procedure for the design of carry-save adders and borrow-save subtracters /

"To be presented at the First Annual IEEE Computer Conference, Chicago, Illinois, September 6-8, 1967."

A one-word model of a word-arrangement memory /

"May 28, 1957"

Evaluation of alternative waste treatment facilities /

"June, 1967."

Organization of a very high-speed computer /

"This work was supported in part by the Atomic Energy Commission and the Office of Naval Research under AEC Contract AT(11-1)-415."

Partially ordered classes of finite automata /

Vita.

Program description of PAX an IBM 7090 program to simulate the pattern articulation unit of ILLIAC III /

Supported in part by Contract AT(11-1)-1018 with the U.S. Atomic Energy Commission .

Program manual: NOR network pruning procedures using permissible functions : (reference manual of NOR network transduction programs NETTRA-PG1, NETTRA-P1, and NETTRA-P2) /

Includes bibliographical references (page 78).

User's manual for PAX an IBM 7090 program to simulate the pattern articulation unit of ILLIAC III /

"This work was supported in part by Contract No. AT(11-1)-1018 of the Atomic Energy Commission. This report supercedes File No. 513."

Construction of a fault-tolerant, real-time software system /

"UILU-ENG 80 1742"--Cover.

The taxicrinic unit of ILLIAC III : a tentative design /

"August 16, 1963"

The automorphism group of a strongly connected automaton and its quotient automata /

"February 14, 1966."

A comparison of read-around-ratio tests in Williams IV and Williams II /

"October 3, 1951"

On the structure and automorphisms of finite automata /

Issued also as thesis, University of Illinois.