| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 10 of 107
reviews
|
|
|
 |
|
|
|
|
 Toward automatic verification of quantum programs
Ying M. Formal Aspects of Computing 31(1): 3-25, 2019. Type: Article
Even if a world of quantum computing for everyone is years (if not decades) away, research on designing proper ways to program such systems has been ongoing for quite some time. History shows that programming is hard; making correct pr...
|
Jul 28 2020 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Essential engineering thermodynamics: a student’s guide
Zhang Y., Morgan&Claypool Publishers, San Rafael, CA, 2018. 79 pp. Type: Book (978-1-681734-23-1)
The relationship between computer science and physics is many-faceted, from the quantum mechanics principles that make semiconductors hum, to the concept of entropy that is the foundation of information theory. Entropy is a key concept...
|
Jun 21 2019 |
|
|
|
|
|
|
Data analysis techniques for physical scientists
Pruneau C., Cambridge University Press, New York, NY, 2017. 716 pp. Type: Book (978-1-108416-78-8)
To quote Shakespeare, “What’s in a name?” For Pruneau’s book Data analysis techniques for physical scientists, quite a bit it turns out. This great magnum opus (more than 700 pages) should...
|
Feb 22 2019 |
|
|
|
|
|
|
Environmental sound recognition using short-time feature aggregation
Roma G., Herrera P., Nogueira W. Journal of Intelligent Information Systems 51(3): 457-475, 2018. Type: Article
Enabling the automatic human-level (or better) detection and classification of audio events and sound environments would be a clear plus for artificial intelligence (AI)-based applications such as robotics and social signal processing....
|
Jan 31 2019 |
|
|
|
|
|
|
Social signal processing
Burgoon J., Magnenat-Thalmann N., Pantic M., Vinciarelli A., Cambridge University Press, New York, NY, 2017. 440 pp. Type: Book (978-1-107161-26-9)
Social signal processing (SSP) is a less-than-ten-year-old interdisciplinary research field that intends to explore human-computer interaction (HCI) mechanisms by going beyond basic textual, verbal, or visual information exchanges betw...
|
Apr 30 2018 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Analyzing sentiments in one go: a supervised joint topic modeling approach
Hai Z., Cong G., Chang K., Cheng P., Miao C. IEEE Transactions on Knowledge and Data Engineering 29(6): 1172-1185, 2017. Type: Article
The so-called “crowd wisdom” phenomenon took on a whole new dimension with the advent of the web and the emergence of myriads of online product reviews written by both happy and (more often than not) angry customers...
|
Jan 17 2018 |
|
|
|
|
|
|
A scalable data chunk similarity based compression approach for efficient big sensing data processing on cloud
Yang C., Chen J. IEEE Transactions on Knowledge and Data Engineering 29(6): 1144-1157, 2017. Type: Article
Marrying sensors and innovative industries (for example, think aircraft engines instrumented for real-time preventive maintenance) leads to the creation of a huge time series of data samples. One appealing approach to efficiently manag...
|
Jul 25 2017 |
|
|
|
|
|
|
Cool math for hot music: a first introduction to mathematics for music theorists
Mazzola G., Mannone M., Pang Y., Springer International Publishing, New York, NY, 2016. 323 pp. Type: Book (978-3-319429-35-9)
The relationship between mathematics and music has been a long-lasting one, going back to the Greeks in antiquity; various authors, artists, and mathematicians (Euler comes to mind here) have provided significant contributions to a bet...
|
Jul 11 2017 |
|
|
|
|
|
| |
|
|
| |
|
|
