Introduces students to ideas and techniques from discrete mathematics that are widely used in science and engineering. Mathematical definitions and proofs are emphasized. Topics include formal logic ...

In this paper we prove the following theorem: let G be a discrete amenable group with nontrivial almost-periodic compactification, and let F be a complex-valued function defined in [-1, 1]; then F ...

Mathematics of Operations Research, Vol. 40, No. 2 (May 2015), pp. 460-473 (14 pages) The stable allocation model is a many-to-many matching model in which each pair's partnership is represented by a ...