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

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
Quote
The rotation of chaps is only one of many possible devices for recharging the research man’s mental batteries. The necessity of recharging the research... more
- Donald Michie (1982)
Articles
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 (www.letshpc.org) is a platform for high-performance computing (HPC) users, especially HPC students, to efficiently and effectively compare different algorithms with different parameters. Users first write a program to solve... 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 computational issues. Again... 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 detect bombers. In brief, the model assumes a layout... more

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

Multi swarm optimization algorithm with adaptive connectivity degree: Applied Intelligence

Do topological properties have any impact on the search behavior of population-based stochastic optimization methods like particle swarm optimization (PSO)? Can a PSO algorithm... more

Learning (I.2.6) | Aug 6 18

ETARM: an efficient top-k association rule mining algorithm: Applied Intelligence

Association rule mining is a central component of data mining that deals with finding associations between elements in a database based on their use. The ubiquitous presence of association rules is... more

Learning (I.2.6) | Aug 6 18

Ordered line integral methods for computing the quasi-potential: Journal of Scientific Computing

This paper provides a detailed study of ordered line integral methods (OLIMs), “a new family of methods for computing the quasi-potential on a regular mesh.” In the systems behavior... more

Probability & Statistics (G.3) | Aug 3 18

Security challenges and opportunities of software-defined networking: IEEE Security and Privacy

Software-defined networking (SDN) is becoming a new paradigm for computer networks, gaining popularity in industry and academia alike. While SDN introduces new capabilities to traditional networking, it also... more

Security & Protection (C.2.0...) | Aug 3 18

Software-defined network forensics: IEEE Network

Over the years, network traffic has increased exponentially, and will continue to increase in the future. New network technologies are required to deal with the expanding network traffic and infrastructure. A software-defined network (SDN) is one such... more

Internet (C.2.1...) | Aug 2 18

Books
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

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

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... more
General (C.0) | 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

Advances in multirate systems

Multirate systems are systems in which multiple sampling rates are used for filtering data/signals. This book describes some advances in multirate systems. The main focus is on digital signal processing (DSP)-related applications. The descriptions in the... more
Signal Analysis, Synthesis & Proc. (H.5.5...) | Aug 7 18

Predicting user performance and errors

This book focuses on the important and interesting topic of automatic usability evaluation, which has cost-saving potential for designing, deploying, and maintaining applications. This topic, especially automation, is even more relevant in the multi-target world... more
Graphical User Interfaces (GUI) (H.5.2...) | Aug 7 18

High performance computing: modern systems and practices

Either a layperson in programming or an experienced serial programming expert will like this textbook, which presents all the flavors of large-scale and parallel computing. All the relevant topics are covered to... more
Super Computers (C.5.1...) | Aug 6 18

Distributed ledger technology: the science of the blockchain (2nd ed.)

Even though the blockchain technology was created for the cryptocurrency Bitcoin, its current uses seem practically unlimited, and some speculate that it can transform the entire information technology (IT) world... more
Electronic Data Interchange (EDI) (K.4.4...) | Aug 3 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