Named-Data Networking (NDN) is a candidate next-generation Internet architecture
designed to address some limitations of the current IP-based Internet. NDN uses the pull …

Decoding for many NLP tasks requires an effective heuristic algorithm for approximating
exact search because the problem of searching the full output space is often intractable, or …

Although there are many advanced and specialized texts and handbooks on algorithms,
until now there was no book that focused exclusively on the wide variety of data structures …

Molecular dynamics algorithms for systems of particles interacting through discrete or “hard”
potentials are fundamentally different to the methods for continuous or “soft” potential …

The availability of both global and regional elevation datasets acquired by modern remote
sensing technologies provides an opportunity to significantly improve the accuracy of stream …

There is more than a decade-long history of using static analysis to find bugs in systems
such as Linux. Most of the existing static analyses developed for these systems are simple …

Lipschitz optimization solves global optimization problems in which the objective function
and constraint left-hand sides may be given by oracles (or explicitly) and have a bounded …

We describe a system for automatic post OCR text correction of digital collections of
historical texts. Documents, such as old newspapers, are often degraded, so even the best …

We consider the following global optimization problems for a univariate Lipschitz function f
defined on an interval [a, b]: Problem P: find a globally optimal value of f and a …

Cloud platforms involve multiple independently developed components, often executing on
diverse hardware configurations and across multiple data centers. This complexity makes …