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

Markov chains and Markov decision processes in Isabelle/HOL
The intermingling of rather different domains can, at times, produce rather interesting results. Here the author explores the intersection of probability theory (in the guise of Markov chains and Markov decision processes) and formal proof (through the interactive theorem prover... more
One way of setting about our task of building a “thinking machine” would be to take a man as a whole and to try to replace all the parts of him by machinery... more
- A. M. Turing (1947)
Power control and clustering in heterogeneous cellular networks: Wireless Networks

Alongside traditional macrocellular wireless communication systems, heterogeneous and new small-cell platforms are growing more than ever. Consequently, the constructive coexistence of... more

Nonlinear Programming (G.1.6...) | Jan 23 18

Polynomial functions over finite commutative rings: Theoretical Computer Science

The problem dealt with is as follows: given a finite ring ~R and a function f: RR, decide if f f can be represented by a polynomial ~p (that is, f(x) = p(x) for all x ϵ R), and if so, find such ~p... more

Interpolation (G.1.1) | Jan 22 18

Accurate and energy-efficient GPS-less outdoor localization: ACM Transactions on Spatial Algorithms and Systems

Location identification has become a central issue within the fields that are related to autonomous driving and autonomous vehicles. Smartphones (and maybe... more

Spatial Databases & GIS (H.2.8...) | Jan 19 18

A collaborative digital pen learning approach to improving students’ learning achievement and motivation in mathematics courses: Computers & Education

Can cooperative problem-solving strategies with a digital pen system enhance learning accomplishment, mindset, and inspiration in mathematics? Huang and... more

Computer Uses in Education (K.3.1) | Jan 19 18

A hybrid framework for mining high-utility itemsets in a sparse transaction database: Applied Intelligence

Brain tumor detection poses serious challenges not only because the brain is a complex structure, but also because tumors can be serious and often fatal. Of course methods already exist to scan the... more

Data Mining (H.2.8...) | Jan 19 18

Validation of formal specifications through transformation and animation: Requirements Engineering

A validation check between a design and its implementation is usually done in order to validate the correctness of the requirements for any system. It is crucial to check that the requirements are... more

Formal Methods (D.2.4...) | Jan 18 18

Analysis of the relation between computational thinking skills and various variables with the structural equation model: Computers & Education

The task of detecting the attributes of computational thinking skills in students remains a major challenge for educational researchers. What are the most... more

Computer Uses in Education (K.3.1) | Jan 18 18

Popularity-aware spatial keyword search on activity trajectories: World Wide Web

In the old days, futuristic beeping devices allowed James Bond to track the villain and come in just in time to save the world (and flee with the girl kept prisoner, of course!). Nowadays things... more

Spatial Databases And GIS (H.2.8...) | Jan 18 18

Analyzing sentiments in one go: a supervised joint topic modeling approach: IEEE Transactions on Knowledge and Data Engineering

The so-called “crowd wisdom” phenomenon took on a whole new dimension with the advent of the web and the emergence of myriads of online product... more

Data Models (H.2.1...) | Jan 17 18

Reducing write amplification of flash storage through cooperative data management with NVM: ACM Transactions on Storage

Flash memory continues to increase in popularity as the storage media of choice for business storage systems. Now “flash memory is an erase-before-write... more

Storage Management (D.4.2) | Jan 17 18

Artificial intelligence (2nd ed.)

Artificial intelligence (AI) can be defined as the study of the design of intelligent computational agents. Unfortunately, this is a recursive definition caused by the lack of a consensus on what intelligence really means. In the past, it could refer to being able to do simple... more
Multiagent Systems (I.2.11...) | Jan 23 18

Philosophy of science in practice: Nancy Cartwright and the nature of scientific reasoning

Nancy Cartwright is a thinker who has been a major force in turning the philosophy of science toward a realist notion of causation. Her work has stressed empirical appreciation for how scientists actually... more
Social & Behavioral Sciences (J.4) | Jan 23 18

All about music

Part of an author’s undergraduate teaching initiative, this book aims to give a broad introduction to the world of music. As opposed to most of Mazzola’s prior books (like [1]), the focus here is less formal and more related to music’s comprehensive ontology, its... more
Sound & Music Computing (H.5.5) | Jan 22 18

The handbook of formal methods in human-computer interaction

Human-computer interaction (HCI), as a discipline, is overwhelmingly experimental. One quick look at the proceedings of CHI [1,2], the leading conference in the domain, will make this clear: almost all papers report on carefully crafted, well-designed experiments... more
Theory & Methods (H.5.2...) | Jan 22 18

Computer programming with C++

I cannot recommend this book under any circumstances--not as a textbook for classroom instruction, not as a reference in a university library, and not for self-study. The book has many faults, which I will summarize under three overlapping groups... more
C++ (D.3.2...) | Jan 19 18

Foundations of quantum programming

The idea of programming in the modern sense first appeared in the textile industry for creating complex patterns on clothes using the Jacquard loom in the early 1800s. Since the development of silicon-based computers in the last century, a lot of progress has been made in... more
Physics (J.2...) | Jan 19 18

Classical Fortran: programming for engineering and scientific applications (2nd ed.)

My immediate question was: “What is Classical Fortran?” The author notes that most Fortran programmers use a rather small working Fortran vocabulary, and most of them use the same subset of statements. Based on my own background, I would probably have said... more
Fortran (D.3.2...) | Jan 19 18

Information theory and coding: solved problems

This book differs from the many other textbooks on information and coding theory in that it provides a plentitude of examples, presented in the form of solved problems. Whereas other books may offer a more rigorous mathematical treatment, this book... more
Coding & Information Theory (E.4) | Jan 18 18

Boolean differential calculus

Boolean algebra is the study and use of system representations where each quantity has only two possible values. Because they represent many real-world variables, especially in computing machinery, Boolean systems are widely used but are not... more
Ordinary Differential Equations (G.1.7) | Jan 18 18

Minitel: welcome to the Internet

What country is the most wired? It is perhaps surprising to discover that, at least in the 1980s, it was France. The French welcomed the Internet by wiring Minitel. Minitel anticipated transmission control protocol/Internet protocol (TCP/IP), online banking, e-commerce... more
History of Computing (K.2) | Jan 18 18

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