Computing Reviews
Today's Issue Hot Topics Search Browse Recommended My Account Log In
Best of 2014 Recommended by Editor Recommended by Reviewer Recommended by Reader

These reviews have been chosen by the editors to be highlighted.
1-10 of 47 results Date
Improving top-N recommendation for cold-start users via cross-domain information
Mirbakhsh N., Ling C.  ACM Transactions on Knowledge Discovery from Data (TKDD) 9(4): 1-19, 2015. Type: Article

Collaborative recommender systems often provide disappointing suggestions to new users who volunteered very few or no ratings of their own for processing: this is known as the cold-start problem. Mitigating such shortcomings with cross-domain info...

Nov 30 2015
NoSQL for mere mortals
Sullivan D.,  Addison-Wesley Professional, Upper Saddle River, NJ, 2015. 552 pp. Type: Book (978-0-134023-21-2)

NoSQL is one of the emerging big data technologies. Since the term “NoSQL” is only slightly less ambiguous than the term “big data,” a few words of explanation are in order. Structured query language (SQL) is the standard q...

Nov 23 2015
The limited-preemptive feasibility of real-time tasks on uniprocessors
Thekkilakattil A., Dobrin R., Punnekkat S.  Real-Time Systems 51(3): 247-273, 2015. Type: Article

When it comes to real-time systems, the schedulability of a given task set will always be more likely if preemption of the running task is permitted. Preemption does, however, have some drawbacks, one of which is time spent switching tasks, while ...

Nov 16 2015
Decision making under uncertainty: theory and application
Kochenderfer M., Amato C., Chowdhary G., How J., Reynolds H., Thornton J., Torres-Carrasquillo P., Üre N., Vian J.,  The MIT Press, Cambridge, MA, 2015. 352 pp. Type: Book (978-0-262029-25-4)

The roots of decision theory and decision making under uncertainty can be traced to Blaise Pascal, if not earlier. Modern studies in the domain date to the 1920s and 1930s, generally in the context of economics or the nascent field of operations r...

Nov 9 2015
Tractome: a visual data mining tool for brain connectivity analysis
Porro-Muñoz D., Olivetti E., Sharmin N., Nguyen T., Garyfallidis E., Avesani P.  Data Mining and Knowledge Discovery 29(5): 1258-1279, 2015. Type: Article

Brain imaging has revolutionized neuroscience and related areas such as neurogenetics by providing detailed measures of brain structure and function that can be used to advance our understanding of neuroanatomy and neurophysiology. This paper disc...

Nov 2 2015
FOO: a minimal modern OO calculus
Gerakios P., Fourtounis G., Smaragdakis Y.  FTfJP 2015 (Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, Prague, Czech Republic,  Jul 7, 2015) 1-4, 2015. Type: Proceedings

Many object calculi (for example, [1]) or language-specific modeling techniques (for example, [2]) do not capture well the elements of recent object-oriented language design. The flyweight object-oriented (FOO) calculus is a simple, minimal class-...

Oct 26 2015
Sage for undergraduates
Bard G.,  American Mathematical Society, Boston, MA, 2015. 362 pp. Type: Book (978-1-470411-11-4)

The website defines its mission as the creation of “a viable free open-source alternative to Magma, Maple, Mathematica, and MATLAB.” Furthermore, Sage is built “on top of many existing open-source packages: NumPy...

Oct 19 2015
Runtime verification of embedded real-time systems
Reinbacher T., Függer M., Brauer J.  Formal Methods in System Design 44(3): 203-239, 2014. Type: Article

Runtime verification involves checking whether a given system (in software or hardware) satisfies a given property during the execution of the system. This paper presents a set of runtime verification algorithms, their correctness, and complexity,...

Oct 12 2015
The GNU make book
Graham-Cumming J.,  No Starch Press, San Francisco, CA, 2015. 256 pp. Type: Book (978-1-593276-49-2)

The Unix make utility was designed to automate the building of executable files from source code files. It is especially useful in projects where changes are made to different source code files and in projects that need to build or maintain...

Oct 5 2015
Strategy based semantics for mobility with time and access permissions
Ciobanu G., Koutny M., Steggles J.  Formal Aspects of Computing 27(3): 525-549, 2015. Type: Article

Process algebras represent mathematical formalisms for modeling distributed systems whose behavior may be subsequently analyzed by automatic tools that investigate all possible system executions....

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