Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- opinionFebruary 2024
Pondering the Ugly Underbelly, and Whether Images Are Real
The Communications website, https://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts.
twitter
Follow us on Twitter at http://twitter.com/blogCACM
https:...
- research-articleMarch 2023
Mechanical Mathematicians
A new generation of automatic theorem provers eliminate bugs in software and mathematics.
- research-articleJune 2022
Toward verified artificial intelligence
Making AI more trustworthy with a formal methods-based approach to AI system verification and validation.
- review-articleJune 2022
When satisfiability solving meets symbolic computation
The science of less-than-brute force.
-
- articleMay 2022
Always improving performance
Jack J. Dongarra is the recipient of the 2021 ACM A.M. Turing Award for his pioneering contributions to numerical algorithms and libraries that enabled high-performance computational software to keep pace with exponential hardware improvements for over ...
- research-articleApril 2019
Compressed linear algebra for declarative large-scale machine learning
Large-scale Machine Learning (ML) algorithms are often iterative, using repeated read-only data access and I/O-bound matrix-vector multiplications. Hence, it is crucial for performance to fit the data into single-node or distributed main memory to ...
- research-articleJune 2016
Probabilistic theorem proving
Many representation schemes combining first-order logic and probability have been proposed in recent years. Progress in unifying logical and probabilistic inference has been slower. Existing methods are mainly variants of lifted variable elimination and ...
- review-articleMay 2016
RandNLA: randomized numerical linear algebra
Randomization offers new benefits for large-scale linear algebra computations.
- review-articleDecember 2015
Algebraic fingerprints for faster algorithms
Algorithmic solutions to tough computational problems are making an impressive comeback.
- review-articleOctober 2015
Inductive programming meets the real world
- Sumit Gulwani,
- José Hernández-Orallo,
- Emanuel Kitzelmann,
- Stephen H. Muggleton,
- Ute Schmid,
- Benjamin Zorn
Inductive programming can liberate users from performing tedious and repetitive tasks.
- research-articleOctober 2013
A blueprint for building a quantum computer
Quantum computer architecture holds the key to building commercially viable systems.
- departmentJune 2013
Q&A: Cracking the code
Communications of the ACM (CACM), Volume 56, Issue 6Pages 120–ffhttps://doi.org/10.1145/2461256.2461281Turing Award recipients Shafi Goldwasser and Silvio Micali talk about proofs, probability, and poker.
- departmentJune 2013
Proofs probable
Communications of the ACM (CACM), Volume 56, Issue 6Pages 22–24https://doi.org/10.1145/2461256.2461265Shafi Goldwasser and Silvio Micali laid the foundations for modern cryptography, with contributions including interactive and zero-knowledge proofs.
- research-articleDecember 2012
Natural algorithms and influence systems
Communications of the ACM (CACM), Volume 55, Issue 12Pages 101–110https://doi.org/10.1145/2380656.2380679Algorithms offer a rich, expressive language for modelers of biological and social systems. They lay the grounds for numerical simulations and, crucially, provide a powerful framework for their analysis. The new area of natural algorithms may reprise in ...
- research-articleAugust 2012
Machine learning and algorithms; agile development
Communications of the ACM (CACM), Volume 55, Issue 8Pages 10–11https://doi.org/10.1145/2240236.2240239The Communications Web site, http://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts.
twitter
Follow us on Twitter at http://twitter.com/blogCACM
http://...
- departmentJune 2012
Q&A: A sure thing
Communications of the ACM (CACM), Volume 55, Issue 6Pages 136–ffhttps://doi.org/10.1145/2184319.2184347Artificial intelligence pioneer Judea Pearl discusses probability, causation, the calculus of intervention, and counterfactuals.
