Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Home Topics Titles Quotes Blog Featured Help
October 24, 2020

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 low-level language: Queue

Early computers were programmed with low-level languages that were very close to their physical architecture. Although those languages guaranteed efficient use of machine resources, they were not particularly user-friendly, meaning it was... more

C (D.3.2...) | Oct 21 20

Massively parallel polar decomposition on distributed-memory 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 place-dependent 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 real-time home automation IoT systems: ACM Transactions on Cyber-Physical Systems

The quick expansion of computing technology in many areas leads to different new paradigms; among them is the paradigm of cyber-physical systems... more

Real-Time & Embedded Systems (D.4.7...) | Oct 13 20

Scratchpad-memory management for multi-threaded applications on many-core architectures: ACM Transactions on Embedded Computing Systems

This paper focuses on improving many-core architectures via software programmable or scratchpad memory (SPM): An SPM contains an... more

Real-Time 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 first-order 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 monoculture-based 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. Step-by-step 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 depth--readers 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

Finite-state 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 finite-state 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

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