Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Browse by topic Browse by titles Authors Reviewers Browse by issue Browse Help

Select Issue:

A semantic framework for proof evidence: Journal of Automated Reasoning
The use of theorem provers as fundamental aids in computer science and software engineering is slowly expanding their reach. The multitude of tools and methods does have a downside: lack of...
Proof Theory (F.4.1...) | Feb 6 18

Optimizing search results for human learning goals: Information Retrieval
For many students, web search is an important part of the learning process. However, existing search engines are optimized so as to achieve the largest average customer satisfaction among different categories of...
Learning (I.2.6) | Feb 7 18

Chatbots and the new world of HCI: interactions
Most research literature falls into two camps: original research findings or surveys. This article fits neither profile, and is instead a puff piece more suitable to People magazine than ACM interactions. The...
User Interfaces (H.5.2) | Feb 7 18

A framework for real-time semantic social media analysis: Journal of Web Semantics
A detailed step-by-step description of the design of a software system, this paper gives the reader an idea about the functioning of a knowledge-driven application. The purpose...
Natural Language Processing (I.2.7) | Feb 8 18

Tableau-based revision for expressive description logics with individuals: Journal of Web Semantics
Ontologies are sets of semantic constraints describing application domains; when constraints change, they may become inconsistent. To restore consistency...
World Wide Web (WWW) (H.3.4...) | Feb 8 18

Data-driven synchronization for Internet-of-Things systems: ACM Transactions on Embedded Computing Systems
Time synchronization has been an active issue for decades. Stricter timing, energy considerations, external influences, and so on have spurred new studies. Two variants can be found: synchronize the clocks...
Real-Time & Embedded Systems (C.3...) | Feb 13 18

A technique to automatically determine ad-hoc communication patterns at runtime: Parallel Computing
Moreton-Fernandez et al. present an approach to automatically determine communication patterns at runtime for programs that run on distributed...
Parallel Programming (D.1.3...) | Feb 14 18

Recovery from simultaneous failures in a large scale wireless sensor network: Ad Hoc Networks
Wireless sensor networks (WSNs) are an appealing choice for applications such as environmental monitoring due to the capability to deploy massive amounts of cheaper sensor nodes and...
Sensor Networks (C.2.1...) | Feb 14 18

A survey of attacks and detection mechanisms on intelligent transportation systems: Ad Hoc Networks
A vehicle ad hoc network (VANET) is a mobile ad-hoc network (MANET) consisting of vehicles and roadside units (RSUs). VANETs are a key technology for future smart car services such as accident alerting...
Wireless Communication (C.2.1...) | Feb 14 18

Asymptotic medians of random permutations sampled from reversal random walks: Theoretical Computer Science
The area of application of this interesting, and quite advanced, five-page paper is in the study of genomics and chromosomal...
Permutations & Combinations (G.2.1...) | Feb 15 18

Finite elements

The finite-element method is a well-established mathematical tool that allows the use of computing techniques for the solution of problems arising in the sciences and engineering. As such, it is a topic that can be addressed from many different perspectives. In contrast...
Finite Element Methods (G.1.8...) | Feb 1 18

Network analysis literacy

Networks are not just an important part of computer science--they are an important part of our daily lives. Many structures in nature and in our daily lives exhibit network behavior. For instance, our friendships...
General (C.2.0) | Feb 1 18

macOS programming for absolute beginners

Every year, thousands of developer positions are not filled because of a lack of skilled tech talent. In this context, a Swift (a programming language presented in 2014 by Apple) developer has become one of...
General (D.1.0) | Feb 1 18

Programming language concepts (2nd ed.)

This 341-page book provides relatively comprehensive coverage of programming language concepts, a core topic in the ACM model computer science curriculum and a required topic for ABET accreditation of a computer science program. As such the book is...
General (D.3.0) | Feb 1 18

Cloud computing for science and engineering

Clouds have been around for some time and are often touted as expensive and complex systems meant to solve problems specific to Web companies with global reach. Foster and Gannon dispel this myth through an elegantly...
Distributed Systems (C.2.4) | Feb 1 18

Smart sensors networks

There is a lot that can be said about smart sensor networks. In fact, many volumes of books would be needed to cover the topic material of such a booming domain. Composed of four sections and 15...
Signal Processing Systems (C.3...) | Feb 1 18

Software engineering

Many introductions to software engineering focus on the high-level aspects of large-scale software development, for example, requirements analysis, architecture design, configuration management, quality control...
Software/Program Verification (D.2.4) | Feb 1 18

Beginning Python: from novice to professional (3rd ed.)

And now for something completely different. Python, named after Monty Python’s Flying Circus, is an open-source, interpreted, object-oriented programming language available on all major operating...
Python (D.3.2...) | Feb 1 18

Global knowledge dynamics and social technology

Albert-László Barabási, distinguished network scientist, has written a commendation in the back cover of this book. This is a 152-page hardcover book printed on high-quality paper with a few four-color figures. It is a delightful...
Multimedia Information Systems (H.5.1) | Feb 2 18

Pro Linux system administration

Small business owners today are like many other entrepreneurial or seasoned business owners, including medium-sized business owners. They want to find ways to cut costs wherever possible while still remaining competitive in the marketplace. Venture...
Linux (D.4.0...) | Feb 2 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