output
20022013
most citedObservation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC

10.9k citations

1,173 papers

cs.CG201311 cited

Fast Clustering with Lower Bounds: No Customer too Far, No Shop too Small

Alina Ene, Sariel Har-Peled, Benjamin Raichel

We study the \LowerBoundedCenter (\lbc) problem, which is a clustering problem that can be viewed as a variant of the \kCenter problem. In the \lbc problem, we are given a set of p…

math.OC20133 cited

A Faithful Distributed Implementation of Dual Decomposition and Average Consensus Algorithms

Takashi Tanaka, Farhad Farokhi, Cédric Langbort

We consider large scale cost allocation problems and consensus seeking problems for multiple agents, in which agents are suggested to collaborate in a distributed algorithm to find…

cond-mat.mes-hall2013338 cited

Ballistic to diffusive crossover of heat flow in graphene ribbons

Myung-Ho Bae, Zuanyi Li, Zlatan Aksamija +5

Heat flow in nanomaterials is an important area of study, with both fundamental and technological implications. However, little is known about heat flow in two-dimensional (2D) dev…

cs.PL2013

Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists

Pranav Garg, P. Madhusudan, Gennaro Parlato

We propose a new approach to heap analysis through an abstract domain of automata, called automatic shapes. The abstract domain uses a particular kind of automata, called quantifie…

cs.CG20131 cited

Approximating Minimization Diagrams and Generalized Proximity Search

Sariel Har-Peled, Nirman Kumar

We investigate the classes of functions whose minimization diagrams can be approximated efficiently in \Re^d. We present a general framework and a data-structure that can be used t…

cs.AI2013

Towards a General-Purpose Belief Maintenance System

Brian Falkenhainer

There currently exists a gap between the theories proposed by the probability and uncertainty and the needs of Artificial Intelligence research. These theories primarily address th…