July 2022 Issue
Practice
Contributed Articles
Review Articles
Research Highlights
Table of Contents
advertisement
Toward Verified Artificial Intelligence
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
Expressive Querying for Accelerating Visual Analytics
In this work, we introduce the problem of visualization search and highlight two underlying challenges of search enumeration...
CACM Community
I became Editor-in-Chief of Communications of the ACM to make the magazine again the forum where the computer science community...
Visual Querying
Tarique Siddiqui discusses "Expressive Querying for Accelerating Visual Analytics," a Research Highlights article in the July 2022 CACM (https://cacm.acm.org/magazines/2022/7/262082)
'Supercookies' Have Privacy Experts Sounding the Alarm
Wired
Vodafone is among the German phone companies participating in the …
Using AI to Fight Food Fraud
Sandrine Ceurstemont
Commissioned by CACM Staff
The use of artificial intelligence to test food and beverages …
Toe-Tapping Test for Parkinson's Patients
IEEE Spectrum
A new smart insole can evaluate a Parkinson's disease patient's …
The Base-Rate Neglect Cognitive Bias in Data Science
Orit Hazzan and Koby Mike
Using Bayes' Theorem, the correct answer to both the medical diagnosis problem and to the lion classification question, can be...
Why Are There So Many Programming Languages?
Doug Meil
Most languages differ less in what they make possible, and more in terms of what they make easy.
Where is the Cradle of the Computer?
Herbert Bruderer
The digital computer of today arose in the first half of the 1940s independently in three different countries: Germany, the U...