Dwight F. Hare

Learn 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)
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)
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)
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