Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
January 18, 2019

The Oxford handbook of causal reasoning
A few years ago, Weisberg’s Willful ignorance [1] distinguished two facets of uncertainty: doubt, which is the focus of modern statistics, and ambiguity about the causal structure of the world, which researchers in many domains have not addressed systematically. Statistics formalizes the manipulation of the data obtained from experiments... more
I would not close, however, on a gloomy note, for ours is a century of scientific conquest and scientific triumph. If scientific discovery has not been an unalloyed... more
- John Fitzgerald Kennedy (1963)
STADS: software testing as species discovery: ACM Transactions on Software Engineering and Methodology

Software testing is an exercise in extrapolation--we attempt to infer the correctness of software by exercising it using test cases. However, as Dijkstra famously observed, testing demonstrates... more

Testing & Debugging (D.2.5) | Jan 17 19

Safe autonomy under perception uncertainty using chance-constrained temporal logic: Journal of Automated Reasoning

The topic of self-driving cars is receiving a lot of press lately. This paper on safe autonomy is an interesting read for people researching... more

Temporal Logic (F.4.1...) | Jan 17 19

Multimedia big data analytics: a survey: ACM Computing Surveys

Big data continues to grow exponentially. One source of that growth--multimedia data--has not received comprehensive study. The authors correct this deficit by presenting the results of a broad multidimensional survey of the literature related to multimedia... more

Introductory & Survey (A.1) | Jan 16 19

A comparison of code similarity analysers: Empirical Software Engineering

Analyzing code similarity in source code is essential to detecting clones, duplicate code, plagiarism, and software copyright violations. Over the years, researchers have proposed various approaches for detecting code similarity, for... more

General (D.2.0) | Jan 11 19

PERSIST: Journal of Grid Computing

NoSQL application data stores often combine on-premise and public cloud resources. As a consequence, they may deal with heterogeneous technologies, flexible but less structured storage architectures, and dynamic... more

Cloud Computing (C.2.4...) | Jan 9 19

Modified cuckoo optimization algorithm (MCOA) to solve precedence constrained sequencing problem (PCSP): Applied Intelligence

The precedence constrained sequencing problem is a general problem: Consider a set of jobs where an arbitrary precedence relationship exists among the jobs and a cost is associated with every permutation... more

General (I.2.0) | Jan 7 19

FPT approximation schemes for maximizing submodular functions: Information and Computation

A survey of techniques, this paper presents and analyzes algorithms and constructs fixed parameter tractable approximation schemes. These schemes are “collections of algorithms that run in [fixed... more

Approximation (G.1.2) | Jan 4 19

Sentence-normalized conditional narrowing modulo in rewriting logic and Maude: Journal of Automated Reasoning

Rewriting logic can naturally express both concurrent computation and logical deduction and is thus applied in system specification and verification. Here, a... more

General (I.1.0) | Jan 3 19

Hammer for Coq: automation for dependent type theory: Journal of Automated Reasoning

Interactive theorem proving is today seeing an explosion of use similar to what computer algebra systems (CASs) saw in the late 1980s. But there is another aspect to mathematics that CASs do not do: reasoning... more

Mathematical Software (G.4) | Jan 3 19

Ultra-strong machine learning: Machine Learning

Recognizing the fact that “most of modern machine learning can be viewed as consistent with Michie’s weak criterion,” the authors of this paper are motivated to work on Michie’s ultra-strong criterion, which “requir[es] the learner to teach... more

Learning (I.2.6) | Dec 31 18

Engineering dynamics

This volume condenses the material usually covered in a one-semester undergraduate course on kinematics and dynamics. Dr. To provides an introduction to the topics by listing some relevant formulas along with easy-to-follow examples of how to apply them. The book does... more
Kinematics & Dynamics (I.2.9...) | Jan 17 19

Fundamentals of numerical computation

An interesting read, this book is composed of 13 chapters spread over two parts. Chapter 1 covers MATLAB basics, including floating-point numbers, problems and conditioning, and algorithm stability. Chapter 2 explores matrices (including various... more
Model Development (I.6.5) | Jan 15 19

Carl von Clausewitz, the fog-of-war, and the AI revolution

As artificial intelligence (AI) is increasingly used in many areas, including fully automated vehicle control and military applications, there are concerns about how effectively such systems deal with extreme conditions. Carl von Clausewitz, the 19th century military... more
Applications & Expert Systems (I.2.1) | Jan 14 19

Smart sustainable cities of the future

It is well acknowledged that urban populations will increase exponentially. Global bodies like the International Telecommunication Union (ITU) are quite engaged with this issue, articulating the role of information and communication technologies... more
Applications & Expert Systems (I.2.1) | Jan 14 19

Fuzzy logic augmentation of neural and optimization algorithms

There have been many recent developments related to fuzzy logic applications. This book, volume 749 in Springer’s “Studies in Computational Intelligence” series, contains research papers related to fuzzy... more
Optimization (G.1.6) | Jan 11 19

Exploring ODEs

Right from the introduction it is clear that Exploring ODEs has a strong pedagogical and practical aim. The authors have created an easy-to-remember word, FLASHI. Depending on which letters are capitalized (for example, FlaSHi, flAShI, and so on), the reader can quickly... more
Ordinary Differential Equations (G.1.7) | Jan 10 19

Augmented reality and virtual reality

Recent technologies are changing the way we interact with computers and our surroundings, as well as how we perceive information; examples of these technologies include augmented reality (superimposing computer-generated graphics and text onto a real-world... more
Artificial, Aug. & Virtual Realities (H.5.1...) | Jan 8 19

Hypergraph theory in wireless communication networks

This short publication really fits in the “SpringerBriefs” series. Despite the fact that the book could be considered a long paper, it may interest researchers in the applications of mathematics field. The book... more
Wireless Communication (C.2.1...) | Jan 4 19

Introduction to data mining (2nd ed.)

The first edition of this book, published in 2006 [1], was probably the best introductory textbook on data mining available. A dozen years later, the field has evolved to become mainstream under the commercial denomination of “big data,” or its more academic appellative... more
Data Mining (H.2.8...) | Jan 2 19

Digital business leadership

Industry 4.0 denotes the fourth industrial evolution: “the interconnection of value creation processes beyond the boundaries of individual companies.” For this to happen, “powerful Internet access must be available.” The corollary then is: “there are no more... more
Business (J.1...) | Dec 28 18

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