A certifying algorithm is an algorithm that produces, with each output, a certificate or witness
(easy-to-verify proof) that the particular output has not been compromised by a bug. A user …

This textbook explores the different aspects of data mining from the fundamentals to the
complex data types and their applications, capturing the wide diversity of problem domains …

Abstract Throughout its history, Operational Research has evolved to include methods,
models and algorithms that have been applied to a wide range of contexts. This …

From social networks such as Facebook, the World Wide Web and the Internet, to the
complex interactions between proteins in the cells of our bodies, we constantly face the …

Increasing online purchases and higher customer requirements in terms of speed, flexibility,
and costs of home deliveries are challenges to every company involved in last mile delivery …

We explore random sampling as a tool for solving undirected graph problems. We show that
the sparse graph, or skeleton, which arises when we randomly sample a graph's edges will …

We significantly improve known time bounds for solving the minimum cut problem on
undirected graphs. We use a" semiduality" between minimum cuts and maximum spanning …

Hyperspectral remote sensing organically combines traditional space imaging with
advanced spectral measurement technologies, delivering advantages stemming from …

Recent trends towards database outsourcing, as well as concerns and laws governing data
privacy, have led to great interest in enabling secure database services. Previous …

Harvesting relational facts from Web sources has received great attention for automatically
constructing large knowledge bases. Stateof-the-art approaches combine pattern-based …