Publications, research, and other scholarship by faculty across all schools, departments, and centers at Washington University in St. Louis

Follow


Research from 1991

PDF

Transforming a Rule-based Program
Rose F. Gamble

PDF

Applying Formal Verification Methods to Pure Rule-Based Programs
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball, and H. Conrad Cunningham

PDF

DNA Mapping Algorithms: Abstract Data Types - Concepts and Implementation
Will Gillett and Liz Hanks

PDF

Composition, Superposition, and Encapsulation in the Formal Specification of Distributed Systems
Kenneth J. Goldman

PDF

The Spectrum Simulation System: A Formal Approach to Distributed Algorithm Development Tools
Kenneth J. Goldman

PDF

Computational Learning Theory Lecture Notes for CS 582 Spring Semester, 1991
Sally A. Goldman

PDF

Exact Identification of Read-once Formulas Using Fixed Points of Amplification Functions
Sally A. Goldman, Michael J. Kearns, and Robert E. Schapire

PDF

The Difficulty of Random Attribute Noise
Sally A. Goldman and Robert H. Sloan

PDF

The Power of Self-Directed Learning
Sally A. Goldman and Robert H. Sloan

PDF

A Recurrence Model for Asynchronous Pipeline Analysis
Fengmin Gong, Zubin Dittia, and Gurudatta M. Parulkar

PDF

Efficient Queries For Quasi-Ordered Databases
Victor Jon Griswold

PDF

A Parser Generator Based on Earley's Algorithm
Jawaid Hakim

PDF

Ranking Radiotherapy Treatment Plans using Decision-Analytic and Heuristic Techniques
Nilesh L. Jain and Michael G. Kahn

PDF

Quicksort in Constant Space
Anne Kaldewaij and Jan Tijmen Udding

PDF

Rank Order Filters and Priority Queues
Anne Kaldewaij and Jan Tijmen Udding

PDF

Design of an ATM-FDDI Gateway
Sanjay Kapoor and Gurudatta M. Parulkar

PDF

An Access Protection Solution for Heavy Load Unfairness in DQDB
Lakshmana N. Kumar and Andreas D. Bovopoulos

PDF

DNA Mapping Algorithms: Clone Sequencing
Judith H. Lewis and Will Gillett

PDF

SAAM: The Strategic Asset Allocation Model
Judy Lewis, Todd Gamble, and John Tai

PDF

Performance Analysis of the Ethernet under Conditions of Bursty Traffic
Tony Y. Mazraani and Gurudatta M. Parulkar

PDF

DNA Mapping Algorithms: Topological Mapping
Kenneth Moorman, Paul Poulosky, and Will Gillett

PDF

Remote Visualization: Challenges and Opportunities Panel Statement
Gurudatta M. Parulkar

PDF

Converting Binary Thresholds Networks into Equivalent Symmetric Networks
Gadi Pinkas

PDF

First-Order Logic Proofs using Connectionist Constraints Relaxation
Gadi Pinkas

PDF

Propositional Non-Monotonic Reasoning and Inconsistency in Symmetric Neural Networks
Gadi Pinkas

PDF

Representation and Learning of Propositional Knowledge in Symmetric Connectionist Networks
Gadi Pinkas

PDF

Symmetric Neural Nets and Propositional Logic Satisfiability
Gadi Pinkas

PDF

Reasoning for Inconsistency-- A Taxonomy and a Connectionist Approach
Gadi Pinkas and Ron P. Loui

PDF

Pavane: A System for Declarative Visualization of Concurrent Computations
Gruia-Catalin Roman, Kenneth C. Cox, C. Donald Wilcox, and Jerome Y. Plum

PDF

Reasoning about Synchronic Groups
Gruia-Catalin Roman and H. Conrad Cunningham

PDF

Formal Derivation of Rule-Based Program
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball

PDF

Formal Verification of Pure Production Systems Programs
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball

PDF

Parallel Synchronous Control
Gruia-Catalin Roman and Jerome Y. Plum

PDF

Dynamic Synchrony among Atomic Actions
Gruia-Catalin Roman, Jerome Y. Plun, and C. Donald Wilcox

PDF

Axon Host-Network Interface Architecture for Gigabit Communication
James P.G. Sterbenz and Gurudatta M. Parulkar

PDF

Resequencing Cells in an ATM Switch
Jonathan Turner

PDF

A Practical Version of Lee's Multicast Switch Architecture
Jonathan S. Turner

PDF

Genetic Algorithms: Usefulness and Effectiveness for Pattern Recognition
Mohit Verma

PDF

A Quantitative Comparison of Architectures for ATM Switching Systems
Ellen E. White

Link

The Legacy of Doubt: Treatment of Sex and Race in the Hill-Thomas Hearings
Stephanie M. Wildman and Adrienne D. Davis
Women, Gender and Sexuality Studies

Research from 1990

PDF

Probabilistic Analysis of Random Clone Restriction Mapping
Laurie J. Barnett

PDF

Information Theoretic Estimation of Clone Overlap Probabilities
Jeffrey C. Beran-Koehn and Will D. Gillett

PDF

Performance Evaluation of a User Network Interface for ATM Networks
Andreas D. Bovopoulos and Einir Valdimarsson

PDF

MOBAD Model-Based Diagnosis
Amy Brodbeck, Paul Calabrese, Joanna Liu, and Mark Maxwell

PDF

SwarmView Animation Vocabulary and Interpretation
Kenneth C. Cox

PDF

Visualization in Concurrent Contexts: A Model
Kenneth C. Cox

PDF

Visualizing Concurrent Computations
Kenneth C. Cox and Gruia-Catalin Cox

PDF

SwarmExec: A Prolog-Based Execution Engine for a Shared-Database Language with Visualization Capabilities
Kenneth C. Cox, C. Donald Wilcox, and Jerome Y. Plum

PDF

Unity-Style Proofs for Shared Dataspace Programs Using Dynamic Statements
H. Conrad Cunningham and Gruia-Catalin Roman

PDF

Edited Transcription of the Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
Jennie Dorosh and Ronald P. Loui