Submissions from 1992
Fighting Exclusion from Televised Presidential Debates: Minor-Party Candidates' Standing to Challenge Sponsoring Organizations' Tax-Exempt Status Note
Gregory P. Magarian
A Model for Detecting Motifs in Biological Sequences
Andrew F. Neuwald and Phillip P. Green
Experimental Evaluation of SUNOS IPC and TCP/IP Protocol Implementations
Christos Papadopoulos and Gurudatta M. Parulkar
An Improved Activation Function for Energy Minimization
Gadi Pinkas and Rina Dechter
Pavane User's Manual
Jerome Y. Plun
Swarm Language Reference Manual
Jerome Y. Plun, C. Donald Wilcox, and Kenneth C. Cox
Program Visualization: The Art of Mapping Programs to Pictures
Gruia-Catalin Roman and Kenneth C. Cox
Seeking Concurrency in Rule-based Programming
Gruia-Catalin Roman, Rose F. Gamble, and William E. Ball
Architecture-Directed Refinement
Gruia-Catalin Roman and C. Donald Wilcox
On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints
Gruia-Catalin Roman, C. Donald Wilcox, and Jerome Y. Plum
The Disinterested Person: An Alternative Approach to Shareholder Derivative Litigation.
Joel Seligman
Hardware Based Error and Flow Control in the Axon Gigabit Host-Network Interface
James P. G. Sterbenz, Anshul Kantawala, Milind Buddhikot, and Gurudatta M. Parulkar
Hierarchical Correctness Proofs for Recursive Distributed Algorithms using Dynamic Process Creation
Bala Swaminathan and Kenneth J. Goldman
Gesture System for a Graph Editor
Burak Muammer Taysi
A histone variant, H2AvD, is essential in Drosophila melanogaster
Angela van Daal and Sarah C.R. Elgin
Biology
Research Proposal: Design and Analysis of Practical Switching Networks
Ellen E. White
The Clos Network as a Multirate Distributer with a Greedy Routing Algorithm
Ellen E. White
Multicomputer Checkpointing
Ken Wong and Mark Franklin
Submissions from 1991
A unique zinc finger protein is associated preferentially with active ecdysone-responsive loci in Drosophila
S Amero, Sarah C.R. Elgin, and A Beyer
Biology
Persistent Connections in High Speed Internets
James M. Anderson, Gurudatta M. Parulkar, and Zubin Dittia
Completely Reliable Auto Shopping Heuristic (CRASH)
Todd Bashuk, David Donat, and Kieth Marrs
Performance Evaluation of a Traffic Control Mechanism for ATM Networks
Andreas D. Bovopoulos
Exit Statements are Executable Miracles
Wei Chen
CABeN: A Collection of Algorithms for Belief Networks
Steve B. Cousins, William Chen, and Mark E. Frisse
The Visual Display of Temporal Information
Steve B. Cousins and Michael G. Kahn
Rapid Display of Radiographic Images
Jerome R. Cox Jr., Stephen M. Moore, Robert A. Whitman, G. James Blaine, R. Gilbert Jost, L. Magnus Karlsson, Thomas L. Monsees, Gregory L. Hansen, and Timothy C. David
Project Zeus: Design of a Broadband Network and its Application on a University Campus
Jerome R. Cox Jr. and Jonathan S. Turner
SwarmView: A Graphical Engine for the Interpretation and Display of Visualizations
Kenneth C. Cox
DNA Mapping Algorithms: Fragment Splitting and Combining
James Daues and Will Gillet
Of Love and Liberation: A Book Review of Breaking Bread
Adrienne D. Davis
The Discrete Orthonormal Wavelet Transform: An Introduction
Michael Frazier and Arun Kumar
A Drosophila melanogaster H3.3 cDNA encodes a histone variant identical with the vertebrate H3.3
Scott Fretzin, Barbara D. Allan, Angela van Daal, and Sarah C.R. Elgin
Biology
The Kumon Approach to Learning Mathematics: An Educator's Perspective
Thomas H. Fuller Jr.
Transforming a Rule-based Program
Rose F. Gamble
Applying Formal Verification Methods to Pure Rule-Based Programs
Rose F. Gamble, Gruia-Catalin Roman, William E. Ball, and H. Conrad Cunningham
DNA Mapping Algorithms: Abstract Data Types - Concepts and Implementation
Will Gillett and Liz Hanks
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