| |
|
|
| |
| |
|
Date Reviewed |
|
| |
1 - 7 of 7
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 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Preserving the original MPI semantics in a virtualized processor environment
Rodrigues E., Navaux P., Panetta J., Mendes C. Science of Computer Programming 78(4): 412-421, 2013. Type: Article
Virtualized resources add flexibility to computer architectures, and are especially useful with parallel applications using the message passing interface (MPI). One can use the virtualization strategy to test distributed memory paralle...
|
Jun 11 2013 |
|
|
|
|
|
|
Reducing the loss of information through annealing text distortion
Granados A., Cebrian M., Camacho D., Rodriguez F. IEEE Transactions on Knowledge and Data Engineering 23(7): 1090-1102, 2011. Type: Article
Classification techniques rely on a distance function to assess the proximity of items; the ones that are close are put into the same cluster. Among existing metrics, the normalized compression distance (NCD) between two objects
|
Sep 14 2011 |
|
|
|
|
|
|
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 |
|
|
|
|
|
|
Area and power reduction of embedded DSP systems using instruction compression and re-configurable encoding
Chandar S., Mehendale M., Govindarajan R. Journal of VLSI Signal Processing Systems 44(3): 245-267, 2006. Type: Article
When designing consumer electronics products, energy use and chip memory size are key issues. Since more than 15 percent of the energy consumed when using such devices comes from program memory accesses--that is, when central ...
|
Jan 24 2007 |
|
|
|
|
|
| |
|
|
| |
|
|
