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

Mechanising and verifying the WebAssembly specification
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-proving techniques for formal... more
While awaiting completion of the computer implementation of LT (Logic Theorist], Al [Newell] and I wrote out the rules for the components of the program... more
- Herbert A. Simon (1991)
Never-ending learning: Communications of the ACM

Human beings are continuously learning via exposure to a variety of experiences and situations. Can current computers with limited knowledge bases (KBs) and learning models ever mimic real human intelligence? Mitchell et al. compellingly critique current... more

Machine Translation (I.2.7...) | Aug 17 18

Scheduling distributed clusters of parallel machines: Algorithmica

As large amounts of data continue to accumulate at never-before-seen rates, it becomes uneconomical to store it at a single location, not to mention storing copies at different locations. One solution is to partition the data... more

Scheduling (D.4.1...) | Aug 17 18

Regular language representations in the constructive type theory of Coq: Journal of Automated Reasoning

Theoretical computer science is traditionally presented using paper and pencil, with little emphasis on formal correctness and completeness in detail. This provides a backdoor for ambiguities, gaps, and errors... more

Automata (F.1.1...) | Aug 16 18

A moderately exponential time algorithm for k-IBDD satisfiability: Algorithmica

Branching programs can be modeled using binary decision diagrams (BDDs), which are rooted directed acyclic graphs with vertices labeled using variables of the program, and two sink nodes representing... more

Algorithm Design & Analysis (G.4...) | Aug 15 18

Computational science and HPC education for graduate students: Journal of Parallel and Distributed Computing

This paper describes the “Supercomputing Simulation and Technologies” master’s degree course, taken during one’s final year in the Faculty of Computational Mathematics and... more

Computers & Education (K.3) | Aug 15 18

Finding a healthier approach to managing medical data: Communications of the ACM

Healthcare providers are confronted with formidable obstacles when it comes to providing effective medical care, even without taking into account the existing privacy laws that protect patients. Is the use... more

Medical Information Systems (J.3...) | Aug 14 18

Let’s HPC: Journal of Parallel and Distributed Computing

Let’s HPC ( is a platform for high-performance computing (HPC) users, especially HPC students, to efficiently and effectively compare different algorithms with different parameters. Users first... more

Computers & Education (K.3) | Aug 14 18

New infinite family of regular edge-isoperimetric graphs: Theoretical Computer Science

An application, engineering or otherwise, often triggers the introduction of a new concept of a combinatorial nature. This leads researchers to study related theoretical and... more

Graph Theory (G.2.2) | Aug 10 18

A Hoare logic for GPU kernels: ACM Transactions on Computational Logic

Graphics processing units (GPUs) are hardware accelerators, originally designed to facilitate the fast rendering of images. Later, they became popular for computing in performance-sensitive areas... more

Logics of Programs (F.3.1...) | Aug 8 18

Metaheuristic approaches to the placement of suicide bomber detectors: Journal of Heuristics

This paper considers the problem of placing suicide bomber detectors. The model takes into account the probability that a given detector may fail to... more

Heuristic Methods (I.2.8...) | Aug 6 18

Microservices with Azure

This introductory book on microservices and Microsoft Azure Service Fabric will help readers understand good development practices, that is, using proven architectural patterns to address common architectural challenges associated with the microservices architecture... more
Cloud Computing (C.2.4...) | Aug 17 18

Matrix algebra (2nd ed.)

Matrix algebra is one of those areas of mathematics that is of paramount importance to statisticians and data analysts in general. This second edition of Gentle’s popular textbook supplies the reader with relevant, updated, and essential topics in matrix algebra... more
Mathematics & Statistics (J.2...) | Aug 16 18

Hamlet on the holodeck

Readers of this book are treated to an exploration of how story enlivens new computer-based representational technologies. Taking an incident from the Star Trek holodeck as an initial example, Murray demonstrates that the old method of... more
Arts & Humanities (J.5) | Aug 15 18

The blueprint: hacking/Python: 2 books in 1

This “beginner’s guide to everything you need to know”--as the authors call it--is anything but that. It seems to be randomly copy and pasted from Wikipedia and other sources, and is outdated and poorly... more
Python (D.3.2...) | Aug 15 18

Computer architecture: a quantitative approach (6th ed.)

Computer architecture has evolved over time. Today’s cheap yet powerful computer systems are a result of hardware miniaturization and optimization techniques, among many other factors. Progress will continue as user needs change over time. In order to... more
General (C.0) | Aug 13 18

Data analytics and decision support for cybersecurity

Data analytics and decision support have recently influenced many fields; cybersecurity is one of them. This book, published in Springer’s “Data Analytics” series, is on data analytics and decision... more
Content Analysis & Indexing (H.3.1) | Aug 13 18

Elements of causal inference

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 distinction is articulated most... more
Probability & Statistics (G.3) | Aug 13 18

Practical machine learning with Python

The book’s title explicitly states its main purpose: to provide a practical problem-solving guide for those who seek to build real-world applications. The book consists of 12 chapters divided into three parts, the first two dealing with fundamentals and the third with... more
Python (D.3.2...) | Aug 10 18

Advanced object-oriented programming in R

Computer science (CS) research has changed dramatically in recent years. It now often involves analyzing large datasets and testing hypotheses through a set of statistical tests. Along this line, R is one of the most widely used programming languages for... more
Object-Oriented Programming (D.1.5) | Aug 9 18

Computer arithmetic and formal proofs

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 feel like formally... more
Formal Methods (D.2.4...) | Aug 8 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