Sciweavers

3928 search results - page 91 / 786
» order 2006
Sort
View
JSYML
1998
68views more  JSYML 1998»
15 years 3 months ago
Pseudo-Superstructures as Nonstandard Universes
A definition of nonstandard universe which gets over the limitation to the finite levels of the cumulative hierarchy is proposed. Though necessarily nonwellfounded, nonstandard ...
Mauro Di Nasso
MLQ
2007
65views more  MLQ 2007»
15 years 3 months ago
Non-standard analysis in ACA0 and Riemann mapping theorem
Abstract. This research is motivated by the program of Reverse Mathematics and non-standard arguments in second-order arithmetic. Within a weak subsystem of second order arithmetic...
Keita Yokoyama
MP
2007
89views more  MP 2007»
15 years 3 months ago
Sums of random symmetric matrices and quadratic optimization under orthogonality constraints
Let Bi be deterministic real symmetric m × m matrices, and ξi be independent random scalars with zero mean and “of order of one” (e.g., ξi ∼ N(0, 1)). We are interested to...
Arkadi Nemirovski
IPL
2010
79views more  IPL 2010»
15 years 2 months ago
Unrestricted and complete Breadth-First Search of trapezoid graphs in O(n) time
We present an O(n) Breadth-First Search algorithm for trapezoid graphs, which takes as input a trapezoid model and any priority order on the vertices. Our algorithm is the first ...
Christophe Crespelle, Philippe Gambette
JCT
2010
91views more  JCT 2010»
15 years 2 months ago
Lattice path matroids: The excluded minors
A lattice path matroid is a transversal matroid for which some antichain of intervals in some linear order on the ground set is a presentation. We characterize the minor-closed cla...
Joseph E. Bonin