In 1969, Tony Hoare wrote in "An Axiomatic Basis for Computer Programming" about mathematical certainty, great reliance, and confidence. In retrospect, the hope for "mathematical certainty" was idealized, and not fully realistic …
DEPARTMENT: Career paths in computing: Computing enabled me to …
Innovative new approaches to learning are enabling people to gain skills that are vital in today's workplace.
DEPARTMENT: Editor's letter
Two columns from the January 2021 Communications: Michael A. Cusumano's "Technology Strategy and Management" and Thomas Haigh's "Historical Reflections," offer a stark contrast with respect to the engineering profession.
John Arquilla considers the outlook for undersea cyberwar, while Judi Fusco, Pati Ruiz, and Jeremy Roschelle discuss how building equitable applications in education requires an emphasis on augmenting intelligence.
Verified coding techniques use mathematical proofs to ensure code is error-free and hacker-resistant. Can the approach revolutionize software?
Charles M. Geschke helped create the modern world of computing, where beautiful typography and expressive, artistic graphics are as integral to most users' experience as numbers and text.
The Internet of Things can thrive without hardwired or consumable power sources.
Droids, drones, and driverless technologies are fueling a supply chain revolution.
COLUMN: Legally speaking
A multifactored rationale for denying Oracle's claim against Google.
Illustrating privacy concepts with potty talk.
COLUMN: Computing ethics
Navigating the ethical and societal impacts of technologies.
Acquiring developer-prized practical skills, knowledge, and experiences.
Differential privacy is not a silver bullet for all privacy problems.
Companies must address the difficulty of hiring and retaining high-skilled employees from an increasingly smaller labor supply.
A discussion with Theo Schlossnagle, Justin Sheehy, and Chris McCubbin.
While powerful, frameworks are not for everyone.
SECTION: Turing lecture
How can neural networks learn the rich internal representations required for difficult tasks such as recognizing objects or understanding language?
SECTION: Contributed articles
Including older adults as full stakeholders in digital society.
PDIs are emerging as alternative sociotechnical infrastructures to enhance flexible work arrangments.
SECTION: Review articles
Conversing about places with a computer poses a range of challenges to current AI.
SECTION: Research highlights
We review the impact of the first year of the COVID-19 pandemic on Internet traffic in order to analyze its performance.
"A Year in Lockdown," by Anja Feldmann, et al., offers a detailed look at how Internet traffic changed during the COVID-19 pandemic.
"Deriving Equations from Sensor Data Using Dimensional Function Synthesis," by Vasileios Tsoutsouras, et al., addresses the key problem of discovering relationships that hold between physical quantities from data using dimensional …
We present a new method, which we call dimensional function synthesis, for deriving functions that model the relationship between multiple signals in a physical system.
COLUMN: Last byte
Seeking the ever-elusive shortest path.