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 10835 Reviews with General Term: Theory Date Reviewed
  Information theory and coding: solved problems
Ivaniš P., Drajić D.,  Springer International Publishing, New York, NY, 2016. 517 pp. Type: Book (978-3-319493-69-5)

This book differs from the many other textbooks on information and coding theory in that it provides a plentitude of examples, presented in the form of solved problems. Whereas other books may offer a more rigorous mathematical treatment, this boo...

Jan 18 2018
  Boolean differential calculus
Steinbach B., Posthoff C.,  Morgan & Claypool Publishers, San Rafael, CA, 2017. 216 pp. Type: Book (978-1-627059-22-0)

Boolean algebra is the study and use of system representations where each quantity has only two possible values. Because they represent many real-world variables, especially in computing machinery, Boolean systems are widely used but are not alway...

Jan 18 2018
  Internet of Things: novel advances and envisioned applications
Acharjya D., Geetha M.,  Springer International Publishing, New York, NY, 2017. 311 pp. Type: Book (978-3-319534-70-1)

This volume is a collection of 15 standalone papers, assembled into four sections covering selected aspects of an emerging and fast-moving field generically described as the Internet of Things (IoT) [1]. The individual papers are international in ...

Jan 17 2018
  Nature-inspired computing: physics and chemistry-based algorithms
Siddique N., Adeli H.,  Chapman & Hall/CRC, New York, NY, 2017. 622 pp. Type: Book (978-1-482244-82-3)

In recent years, a great deal of research interest has grown in nature-inspired computing, that is, computing involving the fundamental concepts of physics, chemistry, and biology. The discipline is now quite mature and established. Siddique and A...

Jan 15 2018
  A complexity trichotomy for approximately counting list H-colorings
Galanis A., Goldberg L., Jerrum M.  ACM Transactions on Computation Theory 9(2): 1-22, 2017. Type: Article

H-colorings are essential in the exploration of language syntax expositions. An H-coloring is the allocation of adjacent colors to neighboring vertices of a graph G. An H-...

Jan 11 2018
   Markov chains and Markov decision processes in Isabelle/HOL
Hölzl J.  Journal of Automated Reasoning 59(3): 345-387, 2017. Type: Article

The intermingling of rather different domains can, at times, produce rather interesting results. Here the author explores the intersection of probability theory (in the guise of Markov chains and Markov decision processes) and formal proof (throug...

Jan 11 2018
  Basic graph theory
Rahman M.,  Springer International Publishing, New York, NY, 2017. 169 pp. Type: Book (978-3-319494-74-6), Reviews: (2 of 2)

Graph theory is a branch of discrete mathematics that has numerous theoretical and practical applications in a wide variety of areas. In this book, the author presents the fundamental concepts and terminology of graph theory in a simple, straightf...

Jan 9 2018
  In-place algorithms for exact and approximate shortest unique substring problems
Hon W., Thankachan S., Xu B.  Theoretical Computer Science 690 12-25, 2017. Type: Article

The problem of exact shortest unique substring (SUS) is formulated as follows:...

Dec 27 2017
   Introducing Ethereum and Solidity: foundations of cryptocurrency and blockchain programming for beginners
Dannen C.,  Apress, New York, NY, 2017. 185 pp. Type: Book (978-1-484225-34-9)

Bitcoin and other blockchain variants like Ethereum are currently garnering a tremendous amount of professional and public interest. While this undoubtedly is, in part, due to their financial (highly speculative) rise, I was curious to learn more ...

Dec 26 2017
  An indoor test methodology for solar-powered wireless sensor networks
Tan W., Sullivan P., Watson H., Slota-Newson J., Jarvis S.  ACM Transactions on Embedded Computing Systems 16(3): 1-25, 2017. Type: Article

Reliable hardware and algorithms for solar-powered wireless sensor networks (WSNs) require precise and reproducible indoor tests. But how should repeatable indoor tests of solar-powered WSNs be performed without the use of costly solar simulators ...

Dec 21 2017
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