Sign In

Communications of the ACM

News


Latest News News Archive Refine your search:
datePast Year
subjectComputers And Society
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.

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