These reviews have been chosen by the editors to be highlighted.
All Media Types
A domain theory for statistical probabilistic programming
Vákár M., Kammar O., Staton S. Proceedings of the ACM on Programming Languages 3(POPL): 1-29, 2019. Type: Article
On the one hand, a statistical programming language is similar to a traditional programming language, but with libraries providing statistical functions. Examples are Mathematica, MATLAB, and the omnipresent R. On the other hand, probabilistic pro...
Aug 10 2020
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 programs, that...
Aug 3 2020
Design of low power integrated radios for emerging standards
Rahman M., Harjani R., Springer International Publishing, New York, NY, 2020. 71 pp. Type: Book (978-3-030213-32-9)
Low power radios are in high demand for use in Internet of Things (IoT) devices, where there is a need for small, efficient, and low powered radios for wireless data communications. This book is part of Springer’s “Analog Circuits and ...
Jul 27 2020
Bayesian synthesis of probabilistic programs for automatic data modeling
Saad F., Cusumano-Towner M., Schaechtle U., Rinard M., Mansinghka V. Proceedings of the ACM on Programming Languages 3(POPL): 1-32, 2019. Type: Article
Somewhat overshadowed by neural networks (NN) is another thread in machine learning: the Bayesian-based approach. Less data hungry, it also has the promise of being closer to explainable artificial intelligence (XAI), although it hasn’t had ...
Jul 20 2020
Engineering resilient collective adaptive systems by self-stabilisation
Viroli M., Audrito G., Beal J., Damiani F., Pianini D. ACM Transactions on Modeling and Computer Simulation 28(2): 1-28, 2018. Type: Article
Smart cities, together with the Internet of Things (IoT), are becoming reality at an accelerated speed, supported by the fifth generation of mobile technology (5G) and other advances in technology. The supporting networked computational systems in...
Jul 13 2020
Trustworthy cyber-physical systems: a systematic framework towards design and evaluation of trust and trustworthiness
Nazila G., Springer International Publishing, New York, NY, 2019. 344 pp. Type: Book (978-3-658274-87-0)
Users expect a trustworthy system to behave according to its requirements. Trustworthiness is a fundamental design objective for any system that provides critical functions, for example, transportation systems, medical systems, and water purificat...
Jul 6 2020
Multiplatform MOOC analytics: comparing global and regional patterns in edX and Edraak
Ruipérez-Valiente J., Halawa S., Reich J. L@S 2019 (Proceedings of the Sixth (2019) ACM Conference on Learning @ Scale, Chicago, IL, Jun 24-25, 2019) 1-9, 2019. Type: Proceedings
Outcomes from a regional massive open online course (MOOC) are better than those from a global MOOC. The best-known MOOCs are global, such as edX, Coursera, and FutureLearn, but regional MOOCs exist. The paper compares the effectiveness of an Arab...
Jun 29 2020
Improving fairness in machine learning systems: what do industry practitioners need?
Holstein K., Wortman Vaughan J., Hal I., Dudik M., Wallach H. CHI 2019 (Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, Glasgow, UK, May 4-9, 2019) 1-16, 2019. Type: Proceedings
Research works involving qualitative methods are generally rare in technical domains. Holstein et al. break this trend, however, as they set out to explore fairness in machine learning systems, deploying empirical methods to arrive at conclusions....
Jun 22 2020
Formal methods: an appetizer
Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp. Type: Book (978-3-030051-55-6)
I’ve occasionally been intimidated into ordering an appetizer as the main course, but have rarely regretted it thanks to the presence of “gourmet” friends. This is an excellent, ultra-elegant, and rigorous book. Its 160 printed p...
Jun 15 2020
Discrete geodesic nets for modeling developable surfaces
Rabinovich M., Hoffmann T., Sorkine-Hornung O. ACM Transactions on Graphics 37(2): 1-17, 2018. Type: Article
Developable surfaces are those that can be flattened to the plane isometrically, that is, without stretching or tearing. They play an important role in manufacturing and architecture, for example, curved glass can be constructed by rolling and ben...
Jun 8 2020
Reproduction in whole or in part without permission is prohibited. Copyright © 2000-2020 ThinkLoud, Inc.