The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
"Multi-Itinerary Optimization as Cloud Service," by Alexandru Cristian et al., makes accessible an end-to-end cloud service that produces traffic-aware, real-time dispatching of agents under complex constraints.
"MIP* = RE," by Zhengfeng Ji et al., studies quantum interactive proofs.
In this work, we study a fourth modification to the notion of efficient verification that originates in the study of quantum entanglement.
We describe multi-itinerary optimization, a novel Bing Maps service that automates the process of building itineraries for multiple agents while optimizing their routes to minimize travel time or distance.