1274 search results - page 122 / 255 » New Proofs for |
151
click to vote
COCO
2003
Springer
15 years 11 months ago
2003
Springer
We consider a fundamental problem in data structures, static predecessor searching: Given a subset S of size n from the universe [m], store S so that queries of the form “What i...
157
click to vote
ESOP
2009
Springer
15 years 9 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
113
click to vote
SIAMJO
2008
15 years 5 months ago
2008
We provide a rule to calculate the subdifferential of the pointwise supremum of an arbitrary family of convex functions defined on a real locally convex topological vector space. ...
171
click to vote
CORR
2004
Springer
15 years 5 months ago
2004
Springer
I study the class of problems efficiently solvable by a quantum computer, given the ability to "postselect" on the outcomes of measurements. I prove that this class coin...
126
click to vote
SIAMMA
2010
15 years 16 days ago
2010
In this paper, we establish the convergence of the Ohta-Kawasaki equation to motion by nonlocal Mullins-Sekerka law on any smooth domain in space dimensions N 3. These equations a...