Search
for Topics
All Reviews
Browse All Reviews
> General Term: Theory
Options:
All Media Types
Journals
Proceedings
Div Books
Whole Books
Other
Date Reviewed
Title
Author
Publisher
Published Date
Descending
Ascending
110 of 10854 Reviews with General Term: Theory
Date Reviewed
The musicalmathematical mind: patterns and transformations
Pareyon G., PinaRomero S., AgustÃnAquino O., LluisPuebla E., Springer International Publishing, New York, NY, 2017. 345 pp. Type: Book (9783319473369)
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 4859, 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 (9780128133880)
Errorcorrecting 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 (9783319640204)
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 selfadjusting heaps
Elmasry A. ACM Transactions on Algorithms 13(4): 114, 2017. Type: Article
A selfadjusting 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 selfadjusting heap, ...
Mar 19 2018
Graph theory
Diestel R., Springer International Publishing, New York, NY, 2017. 429 pp. Type: Book (9783662536216)
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 firstorder logic programs
Zhou Y., Zhang Y. Artificial Intelligence 250 5879, 2017. Type: Article
This paper looks at the relationship between classical logic and practical systems, which employ logicbased 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 1524, 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 (9783319436678)
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 112, 2017. Type: Article
Arrow update logic is one instance of socalled 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
5
10
15
25
50
100
per page
Reproduction in whole or in part without permission is prohibited. Copyright © 20002018 ThinkLoud, Inc.
Terms of Use

Privacy Policy