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

Follow


Research from 1991

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

PDF

Hutchins, Adler, and the University of Chicago: A Critical Juncture
Mary Ann Dzuback
Women, Gender and Sexuality Studies

PDF

NCUBE User Activity Academic Year 1988/89
Mark A. Franklin

PDF

The Discrete Orthonormal Wavelet Transform: An Introduction
Michael Frazier and Arun Kumar

PDF

BTC Modifications
Gaurav Garg

PDF

BTC Test Methodology
Gaurav Garg

PDF

DNA Mapping Algorithms: The DNA Simulator
Will Gillet and John Heidemann

PDF

Highly Concurrent Logically Synchronous Multicast
Kenneth J. Goldman

PDF

Segment Streaming for Efficient Pipelined Televisualization
Fengmin Gong

PDF

Determine Interior Vertices of Graph Intervals
Victor Jon Griswold

PDF

Determining Interior Vertices of Graph Intervals
Victor Jon Griswold

PDF

An Algebra for Delay-Insensitive Circuits
Mark B. Josephs and Jan Tijmen Udding Washington University in St. Louis

PDF

Super Linear Learning in Back Propagation Neural Nets
Barry L. Kalman

PDF

A New Transform For Time-Frequency Analysis
Arun Kumar, Daniel R. Fuhrmann, Michael Frazier, and Bjorn Jawerth

PDF

Studies in the Hybrid Deterministic Parsing
Stan C. Kwasny, Anne M. Johnstone, and Barry L. Kalman

PDF

Introduction to Communicating Sequential Processes
Luming Lai

PDF

A Mathematical Model and Refinement Relation for a CSP-Like Language
Luming Lai and Jeff Sanders

PDF

A Simulation Testbed for Image Compression Algorithms
Andrew Francis Laine

PDF

A Multi-Scale Approach for Recognizing Complex Annotations in Engineering Documents.
Andrew Francis Laine, William Ball, and Arun Kumar

PDF

A Parallel Algorithm for Incremental Stereo Matching on SIMD Machines
Andrew F. Laine and Gruia-Catalin Roman

PDF

Workshop on Defeasible Reasoning with Specificity and Multiple Inheritance
R. P. Loui, M. Kahn, and G. Simari

PDF

The WIC Advisor: A Case Study in Medical Expert System Development
Elizabeth J. Mattson, Matthew M. Thomas, Sharon A. Trenz, and Steve B. Cousins

PDF

VLSI Area Comparison of Benes and Crossbar Communications Networks
Tony Y. Mazraani

PDF

The equivalence of connectionist energy minimization and propositional calculus satisfiability
Gadi Pinkas

PDF

Dining with Synchronized Forks
Jerome Plun and Gruia-Catalin Roman

PDF

Testing the Taxi
William D. Richard

PDF

Technical Reviews: A Product Adoption Process
Gruia-Catalin Roman