Sciweavers

923 search results - page 91 / 185
» On a generalization of Stickelberger's Theorem
Sort
View
SIAMCOMP
2002
139views more  SIAMCOMP 2002»
15 years 6 months ago
Limit Laws for Sums of Functions of Subtrees of Random Binary Search Trees
We consider sums of functions of subtrees of a random binary search tree, and obtain general laws of large numbers and central limit theorems. These sums correspond to random recur...
Luc Devroye
MLQ
2007
73views more  MLQ 2007»
15 years 5 months ago
On completely nonmeasurable unions
Assume that there is no quasi-measurable cardinal not greater than 2ω . We show that for a c.c.c. σ-ideal I with a Borel base of subsets of an uncountable Polish space, if A is a...
Szymon Zeberski
CORR
2010
Springer
136views Education» more  CORR 2010»
15 years 3 months ago
On Optimal Single-Item Auctions
We revisit the problem of designing the profit-maximizing single-item auction, solved by Myerson in his seminal paper for the case in which bidder valuations are independently dis...
Christos H. Papadimitriou, George Pierrakos
COCO
2004
Springer
121views Algorithms» more  COCO 2004»
15 years 11 months ago
Lower Bounds for Randomized and Quantum Query Complexity Using Kolmogorov Arguments
We prove a very general lower bound technique for quantum and randomized query complexity, that is easy to prove as well as to apply. To achieve this, we introduce the use of Kolm...
Sophie Laplante, Frédéric Magniez
ACL2
2006
ACM
15 years 10 months ago
Quantification in tail-recursive function definitions
We investigate the logical issues behind axiomatizing equations that contain both recursive calls and quantifiers in ACL2. We identify a class of such equations, named extended ta...
Sandip Ray