Sciweavers

1168 search results - page 79 / 234
» cases 2000
Sort
View
RSA
2000
104views more  RSA 2000»
13 years 9 months ago
Construction of expanders and superconcentrators using Kolmogorov complexity
We show the existence of various versions of expander graphs using Kolmogorov complexity. This method seems superior to the usual probabilistic construction. It turns out that the...
Uwe Schöning
SIAMCO
2000
111views more  SIAMCO 2000»
13 years 9 months ago
Superreplication Under Gamma Constraints
In a financial market consisting of a nonrisky asset and a risky one, we study the minimal initial capital needed in order to superreplicate a given contingent claim under a gamma ...
H. Mete Soner, Nizar Touzi
SIAMCOMP
2000
86views more  SIAMCOMP 2000»
13 years 9 months ago
On the Relative Complexity of Resolution Refinements and Cutting Planes Proof Systems
An exponential lower bound for the size of tree-like cutting planes refutations of a certain family of conjunctive normal form (CNF) formulas with polynomial size resolution refuta...
Maria Luisa Bonet, Juan Luis Esteban, Nicola Gales...
JAR
2010
100views more  JAR 2010»
13 years 8 months ago
Geometry Constructions Language
We give a short survey of the main principles of our software for the visualisation and animation in mathematics and study the visibility and contour problems in the representation...
Predrag Janicic
MICS
2010
102views more  MICS 2010»
13 years 8 months ago
Computing Zeta Functions of Superelliptic Curves in Larger Characteristic
Abstract. Following Gaudry and G¨urel who extended Kedlaya’s point-counting algorithm to superelliptic curves, we introduce Harvey’s running time improvements for large enough...
Moritz Minzlaff