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

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 packages... more
A computer can indeed be a metaphor for man, then it becomes relevant to discover whether man is all bits on the inside. But an alternative to metaphor... more
- A. Newell/H. A. Simon (1972)
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

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

The work life of developers: activities, switches and perceived productivity: 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

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 in classical mathematics... 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

Software systems engineering programmes a capability approach: Journal of Systems and Software

This excellent paper “focuses on things that a software developer must be able to do when developing and maintaining a product” and proposes a body of fundamental capabilities that were needed when... more

General (D.2.0) | Oct 9 18

Data-driven concurrency for high performance computing: ACM Transactions on Architecture and Code Optimization

While in procedural parallel programming with multithreading lemmas, the synchronization of the sequences of parallel execution of tasks is... more

Distributed Architectures (C.1.4...) | Oct 8 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, and... 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

Software architecture for big data and the cloud

Systems and software architecture has been a significant engineering endeavor for many years, requiring formal languages and models to document and analyze the structure and functionality of... more
Software Architectures (D.2.11) | Sep 24 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