Sign In

Communications of the ACM

News


Latest News News Archive Refine your search:
datePast Year
subjectPerformance And Reliability
authorNature

An edited collection of advanced computing news from Communications of the ACM, ACM TechNews, other ACM resources, and news sites around the Web.


Mathematicians Welcome Computer-assisted Proof in 'Grand Unification' Theory
From ACM News

Mathematicians Welcome Computer-assisted Proof in 'Grand Unification' Theory

Proof-assistant software handles an abstract concept at the cutting edge of research, revealing a bigger role for software in mathematics.

Argument Technology for Debating with Humans
From ACM TechNews

Argument Technology for Debating with Humans

Project Debater is an IBM-developed artificial intelligence system that can engage with humans in debates.

Sharper Signals: How Machine Learning Is Cleaning Up Microscopy Images
From ACM TechNews

Sharper Signals: How Machine Learning Is Cleaning Up Microscopy Images

Researchers increasingly are using machine learning to eliminate noise from microscopy images.
Sign In for Full Access
» Forgot Password? » Create an ACM Web Account