These reviews have been chosen by the editors to be highlighted.
All Media Types
Poibeau T., The MIT Press, Cambridge, MA, 2017. 296 pp. Type: Book (978-0-262534-21-5), Reviews: (2 of 2)
This small book (approximately size A5), part of the Massachusetts Institute of Technology (MIT) Press “Essential Knowledge” series, captures the essence of the machine translation (MT) field, from its origins to the present. As opposed...
Sep 24 2018
Attribute-based access control
Hu V., Ferraiolo D., Chandramouli R., Kuhn D., Artech House, Inc., Norwood, MA, 2017. 280 pp. Type: Book (978-1-630811-34-1), Reviews: (2 of 2)
In many applications, it becomes a necessity to define who (which user) is allowed to access what (which resource). This is achieved via access control. Several models for access control exist. Attribute-based access control (ABAC) is one of them,...
Sep 17 2018
Intellectual property and access to im/material goods
Dominicé A., Lai J., Edward Elgar Publishing, Incorporated, Northampton, MA, 2016. 360 pp. Type: Book (978-1-784716-61-5)
Reciting once-famous cases, strange doctrines expose ongoing adventures of intellectual property (IP) rights. For example, Charles Dickens bequeathed one of his manuscripts to a female relative, and concurrently (1870) left all of the rest of his ...
Sep 10 2018
Representation and reality in humans, other living organisms and intelligent machines
Dodig-Crnkovic G., Giovagnoli R., Springer International Publishing, New York, NY, 2017. 378 pp. Type: Book (978-3-319437-82-8)
This book comes out of a joint project on which the editors have collaborated since 2012. The book covers various aspects of the subject of representation and its relationship to humans, other living organisms, and machines. This question of the w...
Sep 4 2018
Elements of causal inference: foundations and learning algorithms
Peters J., Janzing D., Schölkopf B., The MIT Press, Cambridge, MA, 2017. 288 pp. Type: Book (978-0-262037-31-0)
Data-based resolution of uncertainty in science must deal with two largely orthogonal issues: doubt (the degree of belief that one has in a scientific proposition) and ambiguity (one’s understanding of the proposition). (This critical distin...
Aug 27 2018
Computer arithmetic and formal proofs: verifying floating-point algorithms with the Coq system
Boldo S., Melquiond G., ISTE Press - Elsevier, London, UK, 2017. 326 pp. Type: Book (978-1-785481-12-3)
The audience for this superlatively researched and crafted book includes postgraduate students and practitioners of floating-point (FP) computation or formal verification. The authors “sincerely hope that, after reading this book, you will f...
Aug 20 2018
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
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2018 ThinkLoud, Inc.