Research from 1991
Composition, Superposition, and Encapsulation in the Formal Specification of Distributed Systems
Kenneth J. Goldman
The Spectrum Simulation System: A Formal Approach to Distributed Algorithm Development Tools
Kenneth J. Goldman
Computational Learning Theory Lecture Notes for CS 582 Spring Semester, 1991
Sally A. Goldman
Exact Identification of Read-once Formulas Using Fixed Points of Amplification Functions
Sally A. Goldman, Michael J. Kearns, and Robert E. Schapire
The Difficulty of Random Attribute Noise
Sally A. Goldman and Robert H. Sloan
The Power of Self-Directed Learning
Sally A. Goldman and Robert H. Sloan
A Recurrence Model for Asynchronous Pipeline Analysis
Fengmin Gong, Zubin Dittia, and Gurudatta M. Parulkar
Efficient Queries For Quasi-Ordered Databases
Victor Jon Griswold
A Parser Generator Based on Earley's Algorithm
Jawaid Hakim
Ranking Radiotherapy Treatment Plans using Decision-Analytic and Heuristic Techniques
Nilesh L. Jain and Michael G. Kahn
Quicksort in Constant Space
Anne Kaldewaij and Jan Tijmen Udding
Rank Order Filters and Priority Queues
Anne Kaldewaij and Jan Tijmen Udding
Design of an ATM-FDDI Gateway
Sanjay Kapoor and Gurudatta M. Parulkar
An Access Protection Solution for Heavy Load Unfairness in DQDB
Lakshmana N. Kumar and Andreas D. Bovopoulos
DNA Mapping Algorithms: Clone Sequencing
Judith H. Lewis and Will Gillett
SAAM: The Strategic Asset Allocation Model
Judy Lewis, Todd Gamble, and John Tai
Performance Analysis of the Ethernet under Conditions of Bursty Traffic
Tony Y. Mazraani and Gurudatta M. Parulkar
DNA Mapping Algorithms: Topological Mapping
Kenneth Moorman, Paul Poulosky, and Will Gillett
Remote Visualization: Challenges and Opportunities Panel Statement
Gurudatta M. Parulkar
Converting Binary Thresholds Networks into Equivalent Symmetric Networks
Gadi Pinkas
First-Order Logic Proofs using Connectionist Constraints Relaxation
Gadi Pinkas
Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks
Gadi Pinkas
Representation and Learning of Propositional Knowledge in Symmetric Connectionist Networks
Gadi Pinkas
Symmetric Neural Nets and Propositional Logic Satisfiability
Gadi Pinkas
Reasoning for Inconsistency-- A Taxonomy and a Connectionist Approach
Gadi Pinkas and Ron P. Loui
Pavane: A System for Declarative Visualization of Concurrent Computations
Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, and Jerome Y. Plum
Reasoning about Synchronic Groups
Gruia-Catalin Roman and H. Conrad Cunningham
Formal Derivation of Rule-Based Program
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball
Formal Verification of Pure Production Systems Programs
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball
Parallel Synchronous Control
Gruia-Catalin Roman and Jerome Y. Plum
Dynamic Synchrony among Atomic Actions
Gruia-Catalin Roman, Jerome Y. Plun, and C. Donald Wilcox
Axon Host-Network Interface Architecture for Gigabit Communication
James P.G. Sterbenz and Gurudatta M. Parulkar
Resequencing Cells in an ATM Switch
Jonathan Turner
A Practical Version of Lee's Multicast Switch Architecture
Jonathan S. Turner
Genetic Algorithms: Usefulness and Effectiveness for Pattern Recognition
Mohit Verma
A Quantitative Comparison of Architectures for ATM Switching Systems
Ellen E. White
Research from 1990
Probabilistic Analysis of Random Clone Restriction Mapping
Laurie J. Barnett
Information Theoretic Estimation of Clone Overlap Probabilities
Jeffrey C. Beran-Koehn and Will D. Gillett
Performance Evaluation of a User Network Interface for ATM Networks
Andreas D. Bovopoulos and Einir Valdimarsson
MOBAD Model-Based Diagnosis
Amy Brodbeck, Paul Calabrese, Joanna Liu, and Mark Maxwell
SwarmView Animation Vocabulary and Interpretation
Kenneth C. Cox
Visualization in Concurrent Contexts: A Model
Kenneth C. Cox
Visualizing Concurrent Computations
Kenneth C. Cox and Gruia-Catalin Cox
SwarmExec: A Prolog-Based Execution Engine for a Shared-Database Language with Visualization Capabilities
Kenneth C. Cox, C. Donald Wilcox, and Jerome Y. Plum
Unity-Style Proofs for Shared Dataspace Programs Using Dynamic Statements
H. Conrad Cunningham and Gruia-Catalin Roman
Edited Transcription of the Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
Jennie Dorosh and Ronald P. Loui
NCUBE User Activity Academic Year 1988/89
Mark A. Franklin
The Discrete Orthonormal Wavelet Transform: An Introduction
Michael Frazier and Arun Kumar
BTC Modifications
Gaurav Garg
BTC Test Methodology
Gaurav Garg
DNA Mapping Algorithms: The DNA Simulator
Will Gillet and John Heidemann
Highly Concurrent Logically Synchronous Multicast
Kenneth J. Goldman
Segment Streaming for Efficient Pipelined Televisualization
Fengmin Gong
Determine Interior Vertices of Graph Intervals
Victor Jon Griswold
Determining Interior Vertices of Graph Intervals
Victor Jon Griswold
An Algebra for Delay-Insensitive Circuits
Mark B. Josephs and Jan Tijmen Udding Washington University in St. Louis
Super Linear Learning in Back Propagation Neural Nets
Barry L. Kalman
A New Transform For Time-Frequency Analysis
Arun Kumar, Daniel R. Fuhrmann, Michael Frazier, and Bjorn Jawerth
Studies in the Hybrid Deterministic Parsing
Stan C. Kwasny, Anne M. Johnstone, and Barry L. Kalman
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
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
Parallel Iterative-Deepening Search
David J. Harker
U.S. Tax Law as an Expert System
Karin M. Hartzell and Susan T. Miles