A team led by researchers from Newcastle University created new dynamic DNA data structures that can store and retrieve information in an ordered manner from DNA...Newcastle University From ACM TechNews | August 13, 2021
Harvard Professor Juan-Pérez Mercader sees chemical reactions as a kind of computation, and says molecules have enormous potential as tools of computation.
Santa Fe Institute From ACM News | August 9, 2021
Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
Samuel Greengard From Communications of the ACM | July 1, 2021
2020 ACM A.M. Turing Award recipients Alfred Aho and Jeffrey Ullman helped develop formal language theory, invented efficient algorithms to drive the tasks of a...Neil Savage From Communications of the ACM | June 1, 2021
Cryptographic algorithms called zero-knowledge proof protocols are a mathematical method that enables the owner of an ML model to generate a succinct proof to demonstrate...Texas A&M University From ACM TechNews | May 6, 2021
A thesis defended at Spain's Universitat Oberta de Catalunya (UOC) analyses the structural patterns of complex systems such as social networks.
Universitat Oberta de Catalunya From ACM TechNews | May 6, 2021