A new generation of automatic theorem provers eliminate bugs in software and mathematics.
Computing Applications
Advertisement
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.
Disputed Google research is receiving further scrutiny, despite the company's inaction in open-sourcing its data or source code as promised.
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.
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.
Toward Practices for Human-Centered Machine Learning
Designing for the social, cultural, and ethical implications of ML are just as important as its technical advances.
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.
Management and technology challenges of AI-enabled application projects.
We show how to employ functional programming techniques to solve with elegance the challenge of using a high-level language to describe functionality and a separate schedule to specify how the program should be optimized.
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