Search
	These reviews have been chosen by the editors to be highlighted. Options: All Media Types Journals Proceedings Div Books Whole Books Other Date Highlighted Date Reviewed Title Author Publisher Published Date Descending Ascending Year: 20182017201620152014201320122011201020092008200720062005200420032002 1-10 of 38 results Date Machine translation 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   Display 510152550100 per page
	Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc. Terms of Use | Privacy Policy