These reviews are the most popular with readers.
All Media Types
For the last:
The physics of quantum information: quantum cryptography, quantum teleportation, quantum computation
Bouwmeester D., Ekert A., Zeilinger A. Springer-Verlag, London, UK, 2000. Type: Divisible Book
A century ago, the discovery of quantum mechanics initiated a revolution in physics that challenged many deeply-held intuitions. Within the last 20 years, the application of quantum mechanics to computation has opened the door to a similar revolu...
Formal methods: an appetizer
Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp. Type: Book (978-3-030051-55-6)
I’ve occasionally been intimidated into ordering an appetizer as the main course, but have rarely regretted it thanks to the presence of “gourmet” friends. This is an excellent, ultra-elegant, and rigorous book. Its 160 printed p...
Introduction to distributed self-stabilizing algorithms
Altisen K., Devismes S., Dubois S., Petit F., Morgan&Claypool Publishers, San Rafael, CA, 2019. 166 pp. Type: Book (978-1-681735-36-8)
Distribution is one of the most pervasive features of modern computing architectures. From the multiple specialized processors that make up a personal computer, to the network of computers in a modern automobile, to the Internet itself, modern sys...
Formal languages and compilation (3rd ed.)
Reghizzi S., Breveglieri L., Morzenti A., Springer International Publishing, New York, NY, 2019. 499 pp. Type: Book (978-3-030048-78-5)
Compiler construction literature has always been an interesting mixture of clever tricks and deep theory. Most textbooks try to deal with both aspects, usually emphasizing theory at the beginning and then moving on to the tricks necessary to suppo...
Mind over machine: the power of human intuition and expertise in the era of the computer
Dreyfus H. (ed), Dreyfus S., Athanasiou T., The Free Press, New York, NY, 1986.Type: Book (9789780029080603)
The book under review represents an interesting and highly challenging account of the limitations of computer capabilities in the areas of cognition and artificial reasoning, written by two well-known critics of the artificial intelligence field. ...
Trustworthy cyber-physical systems: a systematic framework towards design and evaluation of trust and trustworthiness
Nazila G., Springer International Publishing, New York, NY, 2019. 344 pp. Type: Book (978-3-658274-87-0)
Users expect a trustworthy system to behave according to its requirements. Trustworthiness is a fundamental design objective for any system that provides critical functions, for example, transportation systems, medical systems, and water purificat...
Making databases work: the pragmatic wisdom of Michael Stonebraker
Brodie M. Association for Computing Machinery and Morgan & Claypool, New York, NY, 2019. Type: Divisible Book
Michael Stonebraker, in 2014, won the ACM A. M. Turing Award “for fundamental contributions to the concepts and practices underlying modern database systems.” From the back cover: “The book describes, for the broad computing comm...
Internet voting in the U.S.
Simons B., Jones D. Communications of the ACM 55(10): 68-77, 2012. Type: Article
The pros and cons of using the capabilities of the Internet to vote in elections are broadly addressed in this lengthy article. Topics include the many varieties of Internet voting means, situations, and environments. As the title suggests, the fo...
The perfect weapon: war, sabotage, and fear in the cyber age
Sanger D., Crown Publishing Group, New York, NY, 2018. 384 pp. Type: Book (978-0-451497-89-5)
A thriller-type story, albeit one that happens in the real world, this book is about those parts of the Internet filled with people trying to exploit it--all you need is a computer and Internet access. Just the fact that any residential modem...
A survey on deep neural network-based image captioning
Liu X., Xu Q., Wang N. The Visual Computer 35(3): 445-470, 2019. Type: Article, Reviews: (2 of 2)
Image captioning is an intriguing problem in the field of computer vision: given an input image, come up with suitable concise text that verbalizes that image well. This is currently a hot topic in the context of image understanding, and leverages...
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2020 ThinkLoud, Inc.