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


These reviews have been chosen by the editors to be highlighted.
Options:
Year:
1-3 of 3 results Date
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 22 2018
From neuron to cognition via computational neuroscience
Arbib M., Bonaiuto J.,  The MIT Press, 2016. 808 pp. Type: Book (978-0-262034-96-8)

An old aphorism says that, if our brains were simple enough to be understood, we wouldn’t be smart enough to understand them. Fortunately, many scientists are not so pessimistic, and they are unrelentingly trying to decipher it. As 3D bodies...

Jan 8 2018
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 ...

Jan 2 2018
   
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