Stability and convergence of general multistep and multivalue methods with variable step size.

Thesis--University of Illinois.

SYM-1, a program that detects symmetry of variable-valued logic functions /

Mode of access: Internet.

Inductive inference in the variable valued predicate logic system VL 21 : methodology and computer implementation /

Vita.

The effect of variable mesh size on the stability of multistep methods /

Bibliography: leaf 33.

Stability and convergence of variable order multistep methods,

Includes bibliographical references.

A comparative discussion of variable-valued logic and grammatical inference /

Bibliography: p. 45-46.

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

Selected problems of minimization of variable-valued logic formulas /

"UIUCDCS-R-75-726"

Variable successive over-relaxation,

Vita.

Computational experience in all-integer, binary variable, integer programming problems using Gomory's all-integer algorithm,

Bibliographical footnotes.

Results of the synthesis of optimal networks of AND and OR gates for four-variable switching functions by a branch-and-bound computer program /

Bibliography: p. 39 (2d group)

Stability of variable-step methods for ordinary differential equations /

Bibliography: leaf 11.

Learning without negative examples via variable-valued logic characterizations : the uniclass inductive program AQ7UNI /

"July 1979."

Statistical fluctuations in the energy loss of 5.8 MeV alpha particles passing through an absorber of variable thickness /

"Contract No. AT(30-1)-2740."

On the uniqueness of solutions for passage of shock waves through ducts of variable cross section.

"Sponsored by Project SQUID which is supported by the Office of Naval Research under Contract Nonr-1858(25), NR-098-038."