727 citations
- University of California, Santa BarbaraUS15 papers
- University of California, BerkeleyUS10 papers
- California Institute of TechnologyUS6 papers
- ETH ZurichCH5 papers
- University of Maryland, College ParkUS5 papers
- Board of the Swiss Federal Institutes of TechnologyCH4 papers
- Microsoft Research (United Kingdom)GB4 papers
- Princeton UniversityUS4 papers
- University of British ColumbiaCA4 papers
- University of California, Los AngelesUS4 papers
- Courant Institute of Mathematical SciencesUS3 papers
- Eindhoven University of TechnologyNL3 papers
10 papers · 1 filter
Finding Sparse Cuts Locally Using Evolving Sets
Reid Andersen, Yuval Peres
A {\em local graph partitioning algorithm} finds a set of vertices with small conductance (i.e. a sparse cut) by adaptively exploring part of a large graph , starting from a spe…
A TLA+ Proof System
Kaustuv C. Chaudhuri, Damien Doligez, Leslie Lamport +1
We describe an extension to the TLA+ specification language with constructs for writing proofs and a proof environment, called the Proof Manager (PM), to checks those proofs. The l…
Multi-Armed Bandits in Metric Spaces
Robert Kleinberg, Aleksandrs Slivkins, Eli Upfal
In a multi-armed bandit problem, an online algorithm chooses from a set of strategies in a sequence of trials so as to maximize the total payoff of the chosen strategies. While the…
Algorithmic Pricing via Virtual Valuations
Shuchi Chawla, Jason Hartline, Robert Kleinberg
Algorithmic pricing is the computational problem that sellers (e.g., in supermarkets) face when trying to set prices for their items to maximize their profit in the presence of a k…
Bloomier Filters: A second look
Denis Charles, Kumar Chellapilla
A Bloom filter is a space efficient structure for storing static sets, where the space efficiency is gained at the expense of a small probability of false-positives. A Bloomier fil…
Strong-Coupling Phases of Frustrated Bosons on a 2-leg Ladder with Ring Exchange
D. N. Sheng, Olexei I. Motrunich, Simon Trebst +2
Developing a theoretical framework to access quantum phases of itinerant bosons or fermions in two dimensions (2D) that exhibit singular structure along surfaces in momentum space…