Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
October 16, 2018
Search
Highlight

Codes, cryptology and curves with computer algebra
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 (specifically, algebraic geometry, the study of zeros of multivariate polynomials), and computer algebra... more
Quote
The computer has often been accused of being the bureaucrat’s tool--the prime instrument that enables government officials to tie down our freedom of... more
- Lewis M. Branscomb (1995)
Articles
How to teach computer ethics through science fiction: Communications of the ACM

This is one of those very strange articles that makes one happy, just by its very existence. The article opens with a general statement that, most unfortunately, is not obvious to many (perhaps most) people... more

Ethics (K.4.1...) | Oct 15 18

Making machine learning robust against adversarial inputs: Communications of the ACM

Machine learning (ML) has become ubiquitous in recent times. It is used in numerous (important) applications and its use will seemingly only increase. The current ML state of... more

Machine Translation (I.2.7...) | Oct 15 18

A scalable preference model for autonomous decision-making: Machine Learning

In some consumer markets, prices are determined by the limited availability of goods and customers choose from a small set of options. The outcome is often determined by simple tradeoffs between the... more

Intelligent Agents (I.2.11...) | Oct 12 18

From hidden to visible: Theoretical Computer Science

Algebraic specification is a technique in which a system is modeled by equations or conditional equations. This approach was originally used for defining data types and operations on them. An added benefit is that the equational... more

General (F.0) | Oct 12 18

Automatic software repair: a bibliography: ACM Computing Surveys

The author successfully provides a big picture view of automatic software repair. The survey covers an impressive list of papers, giving an excellent overview of automatic software repair. Those papers are... more

Testing & Debugging (D.2.5) | Oct 11 18

The work life of developers: IEEE Transactions on Software Engineering

The work life of software developers has often been studied with a goal to understand ways to enhance productivity. The authors extend past efforts by gathering detailed work data from 20... more

General (K.7.0) | Oct 11 18

Comparing loops misconceptions in block-based and text-based programming languages at the K-12 level: Education and Information Technologies

What are the specifics of the computer programming learning process in primary and secondary schools (K-12)? Are there significant differences... more

General (K.3.0) | Oct 11 18

Generalizing Morley’s and other theorems with automated realization: Journal of Automated Reasoning

Progress in the area of automated theorem proving has been traditionally demonstrated by automatically and mechanically proving conjectures and theorems... more

Mathematical Logic (F.4.1) | Oct 10 18

IoT smart homes based on RFID technology: localization systems review: ICEMIS 18

Indoor localization techniques and applications are getting attention in the area of smart homes. This paper focuses on radio frequency identification (RFID)-based localization, because RFID technology has been... more

Network Architecture & Design (C.2.1) | Oct 10 18

What can (and can’t) we do with sparse polynomials?: ISSAC 18

This is the paper version of Roche’s ISSAC 2018 tutorial, which serves as an update to my work [1]. It is an excellent tutorial, written in a clear and accessible style. ISSAC is to be commended for these tutorials... more

Computations on Polynomials (F.2.1...) | Oct 10 18

Books
The diversity bonus

Diversity, perhaps appropriately, means different things to different people. To some it is a quasi-religious norm and a central motivation in political discussions and policy debates. To others, such as cognitive scientists and experts in machine learning, it refers to... more
Business (J.1...) | Oct 15 18

Microservices and containers

Microservices and containers is an interesting book, albeit a flawed one. It addresses two important topics, but only loosely justifies putting the two topics in the same work. It is divided into three sections: the first addresses microservices, the second containers... more
General (D.2.0) | Oct 12 18

Reinforcement learning

The success of reinforcement learning (RL) in everything from AlphaGo to intelligent decision making for services in everyday life has made RL a hot topic. The concept has been around since the birth of artificial intelligence (AI) via Turing’s ideas, especially in Marvin... more
Python (D.3.2...) | Oct 11 18

A journey through discrete mathematics: a tribute to Jiří Matoušek

Professor Jiří Matoušek was a distinguished scientist with significant achievements in the areas of discrete and “computational geometry, topology, and some aspects of metric space theory.” His work in discrete and computational geometry provides solutions for... more
General (G.2.0) | Oct 11 18

A formal theory of commonsense psychology

In introducing commonsense psychology, this book motivates readers to consider computational psychology. It describes the foundational building blocks of such computations. It provides not only purely... more
Psychology (J.4...) | Oct 5 18

Smart cities

Smart cities are gaining more attention from city planners and managers. It is becoming a top research topic due to its prominence. Many people are living today in large cities, thus large cities and even megacities grow day by day with individuals... more
Engineering (J.2...) | Oct 4 18

Autonomy and artificial intelligence

The volume collects works from two symposia, held at Stanford University, in 2015 and 2016. The central question is the relationship between autonomous systems and artificial intelligence (AI), as well as research opportunities for integrating... more
Applications & Expert Systems (I.2.1) | Oct 3 18

Machine translation

Linguistic competence is a specific skill that some exceptionally gifted people possess when learning a foreign language by listening to a native speaker or reading a text written by a native speaker. The comprehension of an utterance comes from a... more
Machine Translation (I.2.7...) | Sep 28 18

A systematic approach to learning robot programming with ROS

Robots are based on very complex systems that require expertise in many areas. In recent years, robot operating system (ROS) has become the standard for controlling robots. ROS offers a complete set of tools and a... more
Robotics (I.2.9) | Sep 28 18

Nature-inspired algorithms and applied optimization

Optimization problems occur in engineering and other fields. They are often difficult to solve efficiently, as they are mostly computationally hard (in complexity theory parlance). One way of solving these problems is... more
Optimization (G.1.6) | Sep 26 18


Display per column
Send Your Comments
Contact Us
Reproduction in whole or in part without permission is prohibited.   Copyright © 2000-2018 ThinkLoud, Inc.
Terms of Use
| Privacy Policy