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 10850 Reviews with General Term: Theory Date Reviewed
  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
  Antimagic labeling of regular graphs
Chang F., Liang Y., Pan Z., Zhu X.  Journal of Graph Theory 82(4): 339-349, 2016. Type: Article

This paper consists of five interesting lemmas and a theorem on certain antimagic regular graphs. The well-written paper makes for absolutely delightful reading. It contains many newly introduced, well-explained, well-illustrated notations and not...

Mar 1 2018
  Optimization and approximation
Pedregal P.,  Springer International Publishing, New York, NY, 2017. 254 pp. Type: Book (978-3-319648-42-2)

Optimization problems are ubiquitous, and the term alone indicates that it is important. Mathematically, optimization refers to finding the largest or the smallest value that a function can take. For our everyday lives, this can range from simple ...

Feb 28 2018
   Non-regular unary language and parallel communicating Watson-Crick automata systems
Chatterjee K., Ray K.  Theoretical Computer Science 705 113-117, 2018. Type: Article

Watson-Crick finite automata have been introduced as a possible model of DNA computation. They differ from their classical counterpart in that they are capable of working on double-stranded sequences. The strands are processed by two independent h...

Feb 22 2018
  Game theory: a classical introduction, mathematical games, and the tournament
McEachern A.,  Morgan & Claypool Publishers, San Rafael, CA, 2017. 118 pp. Type: Book (978-1-681731-58-2)

A good definition of the word “game” in the context of game theory is provided in this book:...

Feb 21 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