Research from 1990
Introduction to Communicating Sequential Processes
Luming Lai
A Mathematical Model and Refinement Relation for a CSP-Like Language
Luming Lai and Jeff Sanders
A Simulation Testbed for Image Compression Algorithms
Andrew Francis Laine
A Multi-Scale Approach for Recognizing Complex Annotations in Engineering Documents.
Andrew Francis Laine, William Ball, and Arun Kumar
A Parallel Algorithm for Incremental Stereo Matching on SIMD Machines
Andrew F. Laine and Gruia-Catalin Roman
Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
R. P. Loui, M. Kahn, and G. Simari
The WIC Advisor: A Case Study in Medical Expert System Development
Elizabeth J. Mattson, Matthew M. Thomas, Sharon A. Trenz, and Steve B. Cousins
VLSI Area Comparison of Benes and Crossbar Communications Networks
Tony Y. Mazraani
The equivalence of connectionist energy minimization and propositional calculus satisfiability
Gadi Pinkas
Dining with Synchronized Forks
Jerome Plun and Gruia-Catalin Roman
Testing the Taxi
William D. Richard
Technical Reviews: A Product Adoption Process
Gruia-Catalin Roman
Mixed Programming Metaphors in a Shared Dataspace Model of Concurrency
Gruia-Catalin Roman and H. Conrad Cunningham
The Synchronic Group: A Concurrent Programming Concept and Its Proof Logic
Gruia-Catalin Roman and H. Conrad Cunningham
Axon: Host-Network Interface Design
James P.G. Sterbenz
Queueing Analysis of Buffered Switching Networks
Jonathan Turner
Conservation of intron position indicates separation of major and variant H2As is an early event in the evolution of eukaryotes
A van Daal, E White, Sarah C.R. Elgin, and M Gorovsky
Biology
Research from 1989
The Trajectory Method for Evaluating Periodic Bursty Traffic
Akira Arutaki
Design of PP3 a Packet Processor Chip
Hai-Feng Bi
On the Effect of Delayed Feedback Information of Network Performance
Andreas D. Bovopoulos
Resource Allocation as Nash Game in a Multiclass Packet Switched Environment
Andreas D. Bovopoulos
Resource Allocation for Markovian Queueing Networks: The Partial Information Case
Andreas D. Bovopoulos
Asynchronous Algorithms for Optimal Flow Control of BCMP Networks
Andreas D. Bovopoulos and Aurel A. Lazar
Decentralized Network Flow Control
Andreas D. Bovopoulos and Aurel A. Lazar
Load Balancing Algorithms for Jacksonian Networks with Acknowledgement Delays
Andreas D. Bovopoulos and Aurel A. Lazar
Optimal Resource Allocation for Markovian Queueing Networks: The Complete Information Case
Andreas D. Bovopoulos and Aurel A. Lazar
The Specification Statement Refined
Wei Chen and Jan Tijmen Udding
The Display and Manipulation of Temporal Information
Steve B. Cousins, Michael G. Kahn Washington University in St. Louis, and Mark E. Frisse Washington University in St. Louis
The Medical Informatics Group: Ongoing Research
Steven B. Cousins, Mark E. Frisse, Michael G. Kahn, and James C. Beard
The Physician's Workstation Health Care Revolution or the Nearest Mis Yet?
Jerome R. Cox Jr.
An Inexpensive Electronic Viewbox
J. R. Cox Jr., R. G. Jost, T. Monsees, S. Ramamurthy, and M. Karlsson
Visualization of Concurrent Computations: Doctor of Science Dissertation Proposal
Kenneth C. Cox
A UNITY-Style Programming Logic for a Shared Dataspace Language
H. Conrad Cunningham and Gruia-Catalin Roman
Toward Formal Verification of Rule-Based Systems: A Shared Dataspace Perspective
H. Conrad Cunningham and Gruia-Catalin Roman
CDP: A Connectionist Deterministic Parser A Dissertation Proposal
Kanaan A. Faisal
Information Retrieval from Hypertext: Update on the Dynamic Medical Handbook Project
Mark E. Frisse and Steve B. Cousins Washington University in St. Louis
Correct Parallel Status Assignments for the Reason Maintenance System
Rosanne M. Fulcomer and William E. Ball
Towards a Fully Parallel Reason Maintenance System
Rosanne M. Fulcomer and William E. Ball
A Methodology for Developing Correct Rule-Based Programs for Parallel Implementation
Rosanne Fulcomer Gamble
Design of a VLSI Broadcast Translation Circuit
Gaurav Garg
Drosophila nuclear proteins bind to regions of alternating C and T residues in gene promoters
D Gilmour, G Thomas, and Sarah C.R. Elgin
Biology
Parallel Iterative-Deepening Search
David J. Harker
U.S. Tax Law as an Expert System
Karin M. Hartzell and Susan T. Miles
Dynamic Steiner Tree Problem
Makoto Imase and Bernard M. Waxman
Distribution patterns of HP1, a heterochromatin-associated nonhistone chromosomal protein of Drosophila
T James, J Eissenberg, C Craig, V Dietrich, A Hobson, and Sarah C.R. Elgin
Biology
Model-Based Interpretation of Time-Varying Medical Data
Michael G. Kahn, Lawrence M. Fagan Washington University in St. Louis, and Lewis B. Sheiner Washington University in St. Louis
A Learning Algorithm for Acyclic Neural Networks
Takayuki Dan Kimura
Back Propagation with Integer Arithmetic
Takayuki Dan Kimura
A New Transform for Time-Frequency Analysis
Arun Kumar, Daniel R. Fuhrmann, Michael Frazier, and Bjorn Jawerth
Determinism and Connectionism in a Rule-Based Natural Language System
Stan C. Kwasny and Kanaan A. Faisal