Computing within Limits
Transient Electronics Take Shape
Q&A with Dina Katabi
Formally Verified Software
in the Real World
Human-Level Intelligence
or Animal-Like Abilities?
COMMUN ICAT I ONS
OF THEACM CACM.ACM.ORG 10/2018 VOL. 61 NO. 10
Association for
Computing Machinery