These reviews have been chosen by the editors to be highlighted.
All Media Types
Codes, cryptology and curves with computer algebra
Pellikaan R., Wu X., Bulygin S., Jurrius R., Cambridge University Press, New York, NY, 2018. 606 pp. Type: Book (978-0-521520-36-2)
This volume offers a terse, highly formal exposition of the relation between the four subjects named in the title: codes (transformations of a stream of information), cryptology (transformations that seek to hide the original content), curves (spe...
Oct 15 2018
3D metal printing technology: the need to re-invent design practice
Duda T., Raghavan L. AI & Society 33(2): 241-252, 2018. Type: Article
Additive manufacturing (AM) (also know as 3D printing) is the process of manufacturing objects directly from 3D model data, typically using a layer-by-layer material build-up strategy. Metal AM is a tool-less process that can manufacture fully den...
Oct 8 2018
Digital behaviour change interventions to break and form habits
Pinder C., Vermeulen J., Cowan B., Beale R. ACM Transactions on Computer-Human Interaction 25(3): 1-66, 2018. Type: Article
Whenever research on behavior is in progress, a special category is also under review in terms of habit. In the context of behavior change, it is of interest to find how habit could influence behavior, especially in digital environments. Thus, it ...
Oct 1 2018
Poibeau T., The MIT Press, Cambridge, MA, 2017. 296 pp. Type: Book (978-0-262534-21-5), Reviews: (2 of 3)
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
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2018 ThinkLoud, Inc.