Dwight F. Hare

Learn More
The proteinase activity of Giardia lamblia trophozoites, Portland 1 strain, was characterized with respect to substrate specificities and inhibitor sensitivities. Proteinase activity with urea-denatured hemoglobin (UDH), alpha-N-benzoyl-DL-arginine-2-naphthylamide (BANA), and alpha-N-benzoyl-argininamide (BAA) as substrates exhibited pH optima of 5.8, 3.8,(More)
PegsSys is an experimental system in which a user formally describes how a program is put together by means of a hierarchically structured collection of pictures, called <italic>formal dependency diagrams</italic> (FDDs). Icons in an FDD denote a wide range of data and control dependencies among the relatively coarse-grained entities contained in large(More)
Giardia lamblia, an aerotolerant anaerobe, respires in the presence of oxygen by a flavin, iron-sulfur protein-mediated electron transport system. Glucose appears to be the only sugar catabolized by the Embden-Meyerhof-Parnas and hexose monophosphate pathways, and energy is produced by substrate level phosphorylation. Substrates are incompletely oxidized to(More)
This article is an introduction to many of the interesting features of PegaSys, an experimental system that encourages and facilitates extensive use of graphical images as formal, machine- processable documentation. Unlike most other systems that use graphics to describe programs, the main purpose of PegaSys is to facilitate the explanation of program(More)
This paper is an initial report on a system, called PegaSys, that supports a new visual paradigm for describing and manipulating programs and their designs. A program design is described by a hierarchically structured collection of graphical pictures. These pictures are intended to be easy to understand, yet still serve as formal program documentation.(More)
  • 1