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
  Browse All Reviews > General Term: Theory  
  1-10 of 10854 Reviews with General Term: Theory Date Reviewed
  The musical-mathematical mind: patterns and transformations
Pareyon G., Pina-Romero S., Agustín-Aquino O., Lluis-Puebla E.,  Springer International Publishing, New York, NY, 2017. 345 pp. Type: Book (978-3-319473-36-9)

The philosopher Teilhard De Chardin once made the statement “all is one,” referring to the fact that there is no field of study that is totally disjoint from another field. Pythagoras studied the properties of music, which interact wit...

Apr 10 2018
  α-concave hull, a generalization of convex hull
Asaeedi S., Didehvar F., Mohades A.  Theoretical Computer Science 702 48-59, 2017. Type: Article

The calculation of the minima and maxima from convex hulls is an important research area in optimization, machine learning, and related fields. Mathematics and machine learning researchers have come up with innovative algorithms to quickly calcula...

Apr 10 2018
   Codes and rings: theory and practice
Shi M., Alahmadi A., Solé P.,  Academic Press, London, UK, 2017. 318 pp. Type: Book (978-0-128133-88-0)

Error-correcting codes are everywhere and play an important role in our daily lives, from scanning barcodes or participating in a Skype chat, a credit card transaction, or a phone call, to storing data on computers. They provide data reliability i...

Mar 29 2018
  Concise guide to formal methods: theory, fundamentals and industry applications
O’Regan G.,  Springer International Publishing, New York, NY, 2017. 312 pp. Type: Book (978-3-319640-20-4)

The title of the book, Concise guide to formal methods: theory, fundamentals and industry applications, seems promising by evoking formality, depth, breadth, and, above all, conciseness and guidance. A closer look reveals a shallow sketch o...

Mar 26 2018
  Toward optimal self-adjusting heaps
Elmasry A.  ACM Transactions on Algorithms 13(4): 1-14, 2017. Type: Article

A self-adjusting heap is a heap data structure “that does not [need to] explicitly maintain structural information”; instead, during each access or update operation, the heap is adjusted in a uniform way. Why is a self-adjusting heap, ...

Mar 19 2018
  Graph theory
Diestel R.,  Springer International Publishing, New York, NY, 2017. 429 pp. Type: Book (978-3-662536-21-6)

Graph theory provides a very comprehensive description of different topics in graph theory. This book can definitely be counted as one of the classics in this subject. The highlight is its wide coverage of topics in graph theory, ranging fr...

Mar 16 2018
  A progression semantics for first-order logic programs
Zhou Y., Zhang Y.  Artificial Intelligence 250 58-79, 2017. Type: Article

This paper looks at the relationship between classical logic and practical systems, which employ logic-based techniques to process data. The emphasis is on answer set programming (ASP) and Datalog rather than Prolog. While Prolog can be considered...

Mar 9 2018
  Languages with membership determined by single letter factors
Higgins P., Alwan S.  Theoretical Computer Science 680 15-24, 2017. Type: Article

This paper continues a previous one [1] by the authors, Higgins and Alwan, expanding on the notion of scan languages that require a word to be read completely before determining whether the word belongs to the language. This applies to every word,...

Mar 8 2018
   The incomputable: journeys beyond the Turing barrier
Cooper S., Soskova M.,  Springer International Publishing, New York, NY, 2017. 292 pp. Type: Book (978-3-319436-67-8)

Computer science is composed of two major areas. One is strongly related to engineering: the architecture and design of computing systems and the development of tools to employ such systems. The other is more related to scientific inquiry, althoug...

Mar 7 2018
  The undecidability of arbitrary arrow update logic
van Ditmarsch H., van der Hoek W., Kuijer L.  Theoretical Computer Science 693 1-12, 2017. Type: Article

Arrow update logic is one instance of so-called dynamic epistemic logics. These are logical frameworks that allow for the modeling of change of knowledge or belief. In the special case of arrow update logics, one can in effect model that one agent...

Mar 7 2018
Display per page
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