These reviews have been chosen by the editors to be highlighted.
All Media Types
Mechanising and verifying the WebAssembly specification
Watt C. CPP 2018 (Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, Jan 8-9, 2018) 53-65, 2018. Type: Proceedings
Formal verification has had many successful applications to industry standards over the last few years, but an important question is whether formal verification can be included in standard design efforts. This paper presents the use of theorem-pro...
Aug 13 2018
The friendly orange glow: the untold story of the PLATO system and the dawn of cyberculture
Dear B., Pantheon Books, New York, NY, 2017. 640 pp. Type: Book (978-1-101871-55-3)
The back cover notes: “a group of visionary engineers and designers ... in the late 1960s and 1970s created a computer system called PLATO, which was light years ahead in experimenting with how people would learn, engage, communicate, and pl...
Aug 6 2018
Introducing surprise and opposition by design in recommender systems
Bauer C., Schedl M. UMAP 2017 (Proceedings of the 25th Conference on User Modeling, Adaptation and Personalization, Bratislava, Slovakia, Jul 9-12, 2017) 350-353, 2017. Type: Proceedings
Christine Bauer and Markus Schedl, researchers at the Department of Computational Perception, Johannes Kepler University Linz, propose an approach to expanding the utility of recommender systems by developing capabilities to incorporate surprise a...
Jul 30 2018
Guide to data structures: a concise introduction using Java
Streib J., Soma T., Springer International Publishing, New York, NY, 2018. 376 pp. Type: Book (978-3-319700-83-0)
Data structures seem to be the bane of every computer science (CS) undergraduate’s education. Thus, a good data structures text aimed at undergraduates is a necessity. Even though relatively few programmers actually implement data structures...
Jul 23 2018
On the logos: a naïve view on ordinary reasoning and fuzzy logic
Trillas E., Springer International Publishing, New York, NY, 2017. 213 pp. Type: Book (978-3-319560-52-6)
There are many books that you read to get answers to questions and doubts, and there are few books that leave you with more questions and doubts than before reading them. Yet, you can still be satisfied with such books because they give you the id...
Jul 16 2018
Mathematical modelling for next-generation cryptography: CREST Crypto-Math Project
Takagi T., Wakayama M., Tanaka K., Kunihiro N., Kimoto K., Duong D., Springer International Publishing, New York, NY, 2017. 368 pp. Type: Book
Cryptography is the science of analyzing and deciphering codes and ciphers. Today, cryptography is widely used in many day-to-day applications. This book was produced as part of the CREST Crypto-Math Project funded by the Japan Science and Technol...
Jul 9 2018
Making beautiful deep-sky images: astrophotography with affordable equipment and software (2nd ed.)
Parker G., Springer International Publishing, New York, NY, 2016. 189 pp. Type: Book (978-3-319463-15-5)
Many of us look at the night sky with wonder and amazement at its sheer immensity, an immensity that only grows as we use telescopic instruments to gather more light than we can see with the naked eye. A step beyond simple observing by peering thr...
Jul 2 2018
Troublemakers: Silicon Valley’s coming of age
Berlin L., Simon & Schuster, New York, NY, 2017. 512 pp. Type: Book (978-1-451651-50-8), Reviews: (1 of 2)
I like books about the history of the computing field. Those of us who lived through all of it delight in stories of folks who pioneered all of what we have today. This is a very good example of one of those books....
Jun 25 2018
Dempster’s rule of combination
Shafer G. International Journal of Approximate Reasoning 7926-40, 2016. Type: Article
The rule of combination of belief functions on infinite sets of possibilities is developed in this paper. The author continues his developments on Dempster’s theory on lower probabilities in order to generalize already-obtained results in th...
Jun 18 2018
Human dignity: establishing worth and seeking solutions
Sieh E., McGregor J., Palgrave Macmillan, London, UK, 2017. 394 pp. Type: Book (978-1-137560-04-9)
The philosopher Immanuel Kant developed the principle of rights theory that essentially states that each individual human has a unique dignity and worth that must be respected. The current collection of essays discusses human rights and dignity fr...
Jun 11 2018
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2018 ThinkLoud, Inc.