







Essential logic for computer science The “for computer science” part of this excellent book’s title initially gave me pause, as it connoted for me a possible compromise of the “logic” part. As a matter of fact, the very opposite is the case here. The book’s predicate logic, equational reasoning, and natural deduction [1,2,3] are complete and rigorous, and are further enforced... more









You were gay with your bride
But your great gaiety did hide.
Your bride renewed your gaiety
And you reviewed the... more 

 (1967) 









C is not a lowlevel language: Queue
Early computers were programmed with lowlevel languages that were very close to their physical architecture. Although those languages guaranteed efficient use of machine resources, they were not particularly userfriendly, meaning it was... more
C (D.3.2...)  Oct 21 20
Massively parallel polar decomposition on distributedmemory systems: ACM Transactions on Parallel Computing
For solving problems with high computational demands, it is nowadays
essential to apply parallel algorithms that scale effectively to a large
number of computational cores: microprocessors may integrate dozens... more
Mathematical Software (G.4)  Oct 20 20
Nonhomogeneous placedependent Markov chains, unsynchronised AIMD, and optimisation: Journal of the ACM
The TCP that underpins most Internet traffic has a simple yet intuitively beautiful algorithm for congestion control. Every connection will gradually ramp up the bandwidth... more
Probability & Statistics (G.3)  Oct 19 20
A survey on deep learning: algorithms, techniques, and applications: ACM Computing Surveys
Deep learning (DL) algorithms, characterized by mapping from input to output (labels or classes) with multiple hidden layers in between, have revived the excitement of artificial intelligence (AI) to get... more
Learning (I.2.6)  Oct 16 20
Neural graph collaborative filtering: SIGIR 19
Typically, collaborative filtering (CF) is simply a nearest neighbor (NN) algorithm used either in its original form or in machine learning (ML), especially in supervised learning, to predict user preferences in recommender systems. Here, neural graph collaborative... more
Filtering (I.4.3...)  Oct 14 20
Systematically ensuring the confidence of realtime home automation IoT systems: ACM Transactions on CyberPhysical Systems
The quick expansion of computing technology in many areas leads to different new paradigms; among them is the paradigm of cyberphysical systems... more
RealTime & Embedded Systems (D.4.7...)  Oct 13 20
Scratchpadmemory management for multithreaded applications on manycore architectures: ACM Transactions on Embedded Computing Systems
This paper focuses on improving manycore architectures via software programmable or scratchpad memory (SPM):
An SPM contains an... more
RealTime And Embedded Systems (C.3...)  Oct 7 20
Hierarchies in inclusion logic with lax semantics: ACM Transactions on Computational Logic
A natural interest of computational logic is to investigate decidable subsets of firstorder logic. One such subset is the formalism of inclusion logic (FOI), introduced by Galliani as an evolution of dependence logic [1]... more
General (F.0)  Oct 1 20
Credulous acceptability, poison games and modal logic: AAMAS 19
Abstract argumentation theory is based on the notion that argument x attacks argument y. A set of arguments S is “admissible” if no arguments within the set attack each other, and for every argument y that attacks an argument... more
Modal Logic (F.4.1...)  Sep 30 20
Detection of crop pests and diseases based on deep convolutional neural network and improved algorithm: ICMLT 19
Especially in large monoculturebased agricultural settings, an outbreak of pests or diseases can have a major impact on yield or quality of a crop. Advances in image processing based on convolutional... more
Neural Nets (C.1.3...)  Sep 29 20









Beginning Azure functions: building scalable and serverless apps
This interesting book describes getting started with Azure. It includes a substantial tutorial that goes through all the basic steps to create an Azure account. Stepbystep details for creating a first Azure function follow. The book... more
General (D.2.0)  Oct 23 20
Beginning Perl programming
Beginning Perl programming covers the basics of Perl: its origin, scalar variables, array variables, associative array variables, flow control, conditional expressions, basic input/output (I/O), advanced I/O, pattern matching, its utilities, filesystem and process... more
Multiparadigm Languages (D.3.2...)  Oct 22 20
Python for probability, statistics, and machine learning (2nd ed.)
The aim of this book is to offer programmers a tutorial on how to use Python libraries, like NumPy, Matplotlib, Pandas, SciPy, and SymPy, to perform probability evaluations and statistical analyses as the... more
Python (D.3.2...)  Oct 15 20
Machine understanding: machine perception and machine perception MU
This is a difficult book to define/describe. Some parts are very interesting, presenting good research questions and discussions; other parts lack detail and depthreaders are sometimes just sent to the author's... more
KR Formalisms & Methods (I.2.4)  Oct 12 20
Guide to automotive connectivity and cybersecurity
Information technology (IT) specialists are very involved in vehicle design and maintenance. The technologies that support modern engine monitoring, navigation, driver information, and safety systems would be... more
General (C.0)  Oct 9 20
Numerical methods
According to my experience, teaching numerical methods can be an ordeal: students typically do not like the related courses. The reason stems from the fact that the topic is difficult, that is, not easy to follow; additionally, the attendees sometimes cannot... more
Numerical Analysis (G.1)  Oct 8 20
Essentials of cloud computing
Why do we need cloud computing? What are the core components of cloud computing architecture and its technological foundations? What is the impact of virtualization and multitenancy on cloud security? What is the best way to migrate to cloud computing?... more
Distributed Architectures (C.1.4...)  Oct 6 20
Finitestate techniques
The mathematical theory of automata is one of the great ideas of computer science, easy to state and understand, yet with great explanatory power and potential for problem solving.
When I first encountered finitestate machines many years ago [1], the... more
Automata (F.1.1...)  Oct 5 20
Essential logic for computer science
The “for computer science” part of this excellent book’s title initially gave me pause, as it connoted for me a possible compromise of the “logic” part. As a matter of fact, the very opposite is the case here. The book's predicate logic, equational reasoning, and... more
General (F.0)  Oct 2 20
The era of Internet of Things
A very short text of just over 100 pages, this book has a catchy title and the author claims it contains everything needed to start working with the Internet of Things (IoT). Unfortunately, such a claim is an enormous exaggeration. The book consists of five chapters... more
General (C.0)  Sep 25 20





