BACKGROUND Improvements in computing power can claim a large share of the credit for
many of the things that we take for granted in our modern lives: cellphones that are more …

We survey the current techniques to cope with the problem of string matching that allows
errors. This is becoming a more and more relevant issue for many fast growing areas such …

Abstract Model checking is an automatic technique for verifying finite-state reactive systems,
such as sequential circuit designs and communication protocols. Specifications are …

There is a deep and useful connection between statistical mechanics (the behavior of
systems with many degrees of freedom in thermal equilibrium at a finite temperature) and …

A comprehensive update of the leading algorithms text, with new material on matchings in
bipartite graphs, online algorithms, machine learning, and other topics. Some books on …

In this paper we show how to divide data D into n pieces in such a way that D is easily
reconstructable from any k pieces, but even complete knowledge of k-1 pieces reveals …

Mental Models offers nothing less than a unified theory of the major properties of mind:
comprehension, inference, and consciousness. In spirited and graceful prose, Johnson …

Democratizing Cryptography: The Work of Whitfield Diffie and Martin Hellman: New Directions
in Cryptography Page 1 12 Two kinds of contemporary developments in cryptography are …

In this paper we present a new data structure for representing Boolean functions and an
associated set of manipulation algorithms. Functions are represented by directed, acyclic …

We are delighted that SIAM is republishing our original 1983 book after what many in the
optimization field have regarded as “premature termination” by the previous publisher. At 12 …