Communications of the ACM

The Communications Web site, http://cacm.acm.org, features more than a dozen bloggers in the BLOG@CACM community. In each issue of Communications, we'll publish selected posts or excerpts.

twitter

Follow us on Twitter at http://twitter.com/blogCACM

http://...

A theoretical breakthrough in graph isomorphism excites complexity experts, but will it lead to any practical improvements?

The latest in machine learning helps high-energy physicists handle the enormous amounts of data produced by the Large Hadron Collider.

The Computing Research Association works to quantify the extent, and causes, of a jump in undergraduate computer science enrollments.

New apps help individuals contest traffic, parking tickets.

Assessing an important recent design patent infringement court decision.

His 1963 Integrated Data Store set the template for all subsequent database management systems.

Reconsidering traditional research ethics given the emergence of big data analytics.

A proposal for a law to prevent artificial intelligence systems from being mistaken for humans.

Seeking a market-based solution to the problem of a person's unjustified inaccessibility to their private information.

The accepted wisdom does not always hold true.

Reducing waste, encouraging experimentation, and making everyone happy.

Applying statistical techniques to operations data.

Satisfiability modulo theory solvers can help automate the search for the root cause of observable software errors.

Google's monolithic repository provides a common source of truth for tens of thousands of developers around the world.

The universal constant λ, the growth constant of polyominoes (think Tetris pieces), is rigorously proved to be greater than 4.

Today's social bots are sophisticated and sometimes menacing. Indeed, their presence can endanger online ecosystems as well as our society.

Many representation schemes combining first-order logic and probability have been proposed in recent years. Progress in unifying logical and probabilistic inference has been slower. Existing methods are mainly variants of lifted variable elimination and ...

Mesa is a highly scalable analytic data warehousing system that stores critical measurement data related to Google's Internet advertising business. Mesa is designed to satisfy a complex and challenging set of user and systems requirements, including ...