







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 extrapolationwe 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 chanceconstrained temporal logic: Journal of Automated Reasoning
The topic of selfdriving 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 growthmultimedia datahas 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 onpremise 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
Sentencenormalized 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
Ultrastrong 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 ultrastrong 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 onesemester undergraduate course on kinematics and dynamics. Dr. To provides an introduction to the topics by listing some relevant formulas along with easytofollow 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 floatingpoint 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 fogofwar, 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 easytoremember 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 computergenerated graphics and text onto a realworld... 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





