Applied Probability-Computer Science: The Interface Volume 1
These two volumes are the Proceedings of the first special interest meeting instigated and organized by the joint Techni... MoreApplied Probability-Computer Science: The Interface Volume 1
Lecture Notes on Bucket Algorithms
Hashing algorithms scramble data and create pseudo-uniform data distribu- tions. Bucket algorithms operate on raw untran... MoreLecture Notes on Bucket Algorithms
Real-Time Control of Walking
I wonder whether Karel Capek imagined in 1923 that by his use of the Czech word for forced labor, rohota, to name the an... MoreReal-Time Control of Walking
Feasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
A so-called "effective" algorithm may require arbitrarily large finite amounts of time and space resources, and hence ma... MoreFeasible Mathematics: A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989
Graph-Based Proof Procedures for Horn Clauses
The origins of this monograph lie in my Ph.D. dissertation of 1987 at the University of Pennsylvania, which was concerne... MoreGraph-Based Proof Procedures for Horn Clauses
Feasible Mathematics II
Perspicuity is part of proof. If the process by means of which I get a result were not surveyable, I might indeed make a... MoreFeasible Mathematics II
