Journal: SIGACT News

Volume 43, Issue 2

6 -- 8William I. Gasarch. The book review column
9 -- 10Ville Hautamäki. Review of a concise introduction to data compression by David Salomon
11 -- 14Mihai Pop. Review of parallel algorithms by Henri Casanova, Arnaud Legrand, and Yves Robert
15 -- 20Akash Kumar. Review of polynomia and related realms by Dan Kalman
21 -- 24Jeffrey Shallit. Review of biscuits of number theory by Arthur T. Benjamin and Ezra Brown
25 -- 28Gabriel Istrate. Review of handbook of large-scale random networks by Bela Bollobás, Robert Kozma and Deszö Miklós
29 -- 32Nick Papanikolaou. Review of algorithms and theory of computation handbook by Mikhail J. Atallah and Marina Blanton
33 -- 35S. C. Coutinho. Review of primality testing and integer factorization in public key cryptography by Song Y. Yan
36 -- 38Wesley Calvert. Review of process algebra: equational theories of communicating processes by J. C. M. Baeten, T. Basten, and M. A. Reniers
38 -- 40Kim-Kwang Raymond Choo. Review of insider threats in cyber security by Probst, Hunker, Gollman, Bishop
41 -- 44Dean Kelley. Technical report column
45 -- 50Oded Goldreich. On intellectual and instrumental values in science
51 -- 52Lane A. Hemaspaandra. SIGACT news complexity theory column 74
53 -- 77William I. Gasarch. Guest Column: the second P =?NP poll
78 -- 83Adrian Dumitrescu. Computational geometry column 53
84 -- 0Idit Keidar. Distributed computing column 46: synthesizing distributed and concurrent programs
85 -- 107Borzoo Bonakdarpour, Sandeep S. Kulkarni. Automated model repair for distributed programs
108 -- 123Michael Kuperstein, Martin T. Vechev, Eran Yahav. Automatic inference of memory fences
124 -- 126Chong-Zhang Li. Hilbert's formalistic method and its development in computer science
127 -- 136Rob van Stee. SIGACT news online algorithms column 20: the power of harmony