A new generation of automatic theorem provers eliminate bugs in software and mathematics.
Systems and Networking
Advertisement
Technical Perspective: On Abstractions and Embedded Networks
"Symbol-Synchronous Buses," by Jonathan Oostvogels et al., conceives a notion of a symbol-synchronous bus, which effectively makes a multi-hop wireless network behave like a single wire.
Symbol-Synchronous Buses: Deterministic, Low-Latency Wireless Mesh Networking with LEDs
We describe a novel networking paradigm that aims to enable a new class of latency-sensitive applications by systematically breaking networking abstractions.
The Imperativity of Algorithms
The important named algorithms that we call upon deserve a robust ontology.
Will AI Replace Computer Programmers?
Advances in artificial intelligence tools that can code could improve productivity, but portend disruption.
Automatic Language Translation Still Unsatisfactory
Google Translate and DeepL Translate still have trouble recognizing the second person singular and plural and the polite form, even in very simple sentences.
Artificial Intelligence Without Real Intelligence?
Do the programs understand what they write?
Artificial intelligence is boosting the capabilities of automatic speech recognition.
Boosting Photodiode Efficiency to 220%
Researchers at the Netherlands' Eindhoven University of Technology are chasing quantum efficiency.
Twiddler: Configurability for Me, but Not for Thee
Online platform businesses have a distinctly more abusive and sinister character than brick-and-mortar retail chains.
Enabling AI Projects In An Enterprise
Identifying the development behaviors that have the highest chance of success for artificial intelligence efforts.
Considering the Impact of Technology on Society
Moshe Vardi on having the difficult conversation about technology and social responsibility.
Neural Networks for Drug Discovery and Design
Architectures suited for molecules streamline the identification of pharmaceutical candidates.
Adding Smarts to Vending Machines Drives Convenience, Efficiency
Advanced feature sets and functionality are projected to drive the market for connected vending to nearly nine million units by 2024.
Virtual Influencers in the Real World
We are increasingly engaging with these digital personalities, online and offline.
A Legal Challenge to Algorithmic Recommendations
Reconsidering liability shield considerations.
Metrics for Success: Why and How to Evaluate Privacy Choice Usability
Assessing the usability of choice and consent mechanisms.
A Turning Point for Cyber Insurance
Technologists who understand and measure cyber risk can motivate policyholders to improve security.
Mapping the Privacy Landscape for Central Bank Digital Currencies
Now is the time to shape what future payment flows will reveal about you.
AI and Neurotechnology: Learning from AI Ethics to Address an Expanded Ethics Landscape
The merging of machine, body, and psyche is on the horizon due to the technological advancements enabled by neuroscience and AI.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get InvolvedCommunications of the ACM (CACM) is now a fully Open Access publication.
By opening CACM to the world, we hope to increase engagement among the broader computer science community and encourage non-members to discover the rich resources ACM has to offer.
Learn More