| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 9 of 9
reviews
|
|
|
 |
|
|
|
|
 The Haskell school of music: from signals to symphonies
Hudak P., Quick D., Cambridge University Press, New York, NY, 2018. 398 pp. Type: Book
Music and mathematics have been linked since the ancient Greeks, and computing can be seen as a constructive variant of mathematics. So it is no surprise that music applications were among the first to be developed when computers were ...
|
Feb 19 2020 |
|
|
|
|
|
|
Wi-Fi based city users behaviour analysis for smart city
Bellini P., Cenni D., Nesi P., Paoli I. Journal of Visual Languages and Computing 42 31-45, 2017. Type: Article
The vision of a smart city capable of real-time adaptation to its citizens’ behaviors relies on the gathering of a huge amount of dynamic data. One possible venue for feeding the underlying information technology (IT) infrast...
|
Mar 20 2018 |
|
|
|
|
|
|
Bayesian methods in the search for MH370
Davey S., Gordon N., Holland I., Rutten M., Williams J., Springer International Publishing, New York, NY, 2016. 114 pp. Type: Book
One can seldom consider mathematics-heavy books as exciting page-turners. Yet, Bayesian methods in the search for MH370 is so far the best one I have encountered that could stand up to such a description. Published by Springer i...
|
Apr 21 2017 |
|
|
|
|
|
|
Finite element methods for computational fluid dynamics: a practical guide
Kuzmin D., Hämäläinen J., SIAM, Philadelphia, PA, 2014. 321 pp. Type: Book (978-1-611973-60-0)
Kuzmin and Hämäläinen’s book provides a general overview of finite element methods (FEMs) when applied to computational fluid dynamics (CFD), giving a gentle introduction to these fields, a survey o...
|
Aug 28 2015 |
|
|
|
|
|
|
Solving systems of rational equations through strategy iteration
Gawlitza T., Seidl H. ACM Transactions on Programming Languages and Systems 33(3): 1-48, 2011. Type: Article
Advanced compilation techniques that target parallel computing architectures make heavy use of various abstractions of programming constructs to decide, at compile time, whether or not a piece of code can be executed in parallel with a...
|
Jun 23 2011 |
|
|
|
|
|
|
Hybrid type checking
Knowles K., Flanagan C. ACM Transactions on Programming Languages and Systems 32(2): 1-34, 2010. Type: Article
Many programming languages rely on static typing systems to help software engineers catch errors as soon as possible. However, having to decide type satisfiability at compile time severely constrains the design space of such systems; m...
|
Aug 18 2010 |
|
|
|
|
|
|
Information, physics, and computation
Mézard M., Montanari A., Oxford University Press, Inc., New York, NY, 2009. 560 pp. Type: Book (9780198570837)
If the potential of interdisciplinary research, which lies at the boundary of two scientific domains, indeed happens to materialize, then research that builds upon three sciences should indeed bring quite fascinating results. M...
|
Oct 28 2009 |
|
|
|
|
|
|
Information and its role in nature
Roederer J., Springer-Verlag New York, Inc., Secaucus, NJ, 2005. Type: Book (9783540230755)
It is somewhat ironic that our so-called information society is defined by a concept whose precise definition still largely eludes us. From communication theory to thermodynamics, and from quantum mechanics to neurobiology, getting to ...
|
Jul 23 2007 |
|
|
|
|
|
|
Software architecture design patterns in Java
Kuchana P., Auerbach Publications, Boston, MA, 2004. Type: Book (9780849321429)
Design patterns are intended to encode best computer system design practices. Based on the experience gained, via the analysis of the outcome of numerous actual enterprise software development projects, these general schemas can be rea...
|
Aug 19 2004 |
|
|
|
|
|
| |
|
|
| |
|
|
