Selection of most representative training examples and incremental generation of VL��� hypotheses : the underlying methodology and the description of programs, ESEL and AQ11 /

"UILU-ENG 78-1720"

SOUPAC program descriptions : statistically oriented users programming and consulting.

Mode of access: Internet.

Network transduction programs based on connectable and disconnectable conditions with fan-in and fan-out restrictions : (a description of NETTRA-G1-FIFO and NETTRA-G2-FIFO) /

Includes bibliographical references.

CSMINI - applications of a mini programming system on PLATO IV /

"The work reported here was performed 1975/1976 while the author held a visiting appointment in the Department of Computer Science at the University of Illinois at Urbana Champaign. A part was added during another visit in summer 1978."

A generator/grader of problems about syntax of programming languages to be used in an automated exam system /

Thesis (M.S.)--University of Illinois at Urbana-Champaign.

An implementation of a system for the formal definition of programming languages /

Originally presented as the author's thesis, University of Illinois at Urbana-Champaign.

Program manual : NOR network transduction based on error-compensation : (Reference manual of NOR network transduction programs NETTRA-EL, NETTRA-E2, and NETTRA-E3) /

"Work supported in part by the National Science Foundation under Grant no. GJ-40221."

Synthesis of optimal double-rail logic networks using NOR-OR gates by integer programming.

"Supported in part by ... Grant no. NSF GJ-503."

YAQ : a 360 assembler version of the algorithm Aq and comparison with other PL/I programs /

"UILU-ENG 77 1724."

NOR network transduction by generalized gate merging and substitution procedures : (principles of NOR network transduction programs NETTRA-G3 and NETTRA-G4) /

Includes bibliographical references.

NOR network transduction procedures based on connectable and disconnectable conditions : principles of NOR network transduction programs NETTRA-G1 and NETTRA-G2 /

Bibliography: p. 63.

Program manual of programs for minimal covering problems : ILLOD-MINIC-B, ILLOD-MINIC-BP, ILLOD-MINIC-BS, ILLOD-MINIC-BA, ILLOD-MINIC-BG /

Includes bibliography references.

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

An error analysis of solutions to sparse linear programming problems,

"Supported in part by the Advanced Research Projects Agency ... contract no. US AF 30(602) 4144."

Implicit enumeration algorithm of integer programming on Illiac IV,

Bibliography: p. 29.