




Neverending 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 neverbeforeseen 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 kIBDD 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 (www.letshpc.org) is a platform for highperformance 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 edgeisoperimetric 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 performancesensitive 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 computerbased 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 itis 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
Databased 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 problemsolving guide for those who seek to build realworld 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 objectoriented 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
ObjectOriented 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 floatingpoint (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


