Sciweavers

51 search results - page 5 / 11
» isaac 2010
Sort
View
ISAAC
2010
Springer
272views Algorithms» more  ISAAC 2010»
13 years 5 months ago
Neighbor Systems, Jump Systems, and Bisubmodular Polyhedra
The concept of neighbor system, introduced by Hartvigsen (2009), is a set of integral vectors satisfying a certain combinatorial property. In this paper, we reveal the relationship...
Akiyoshi Shioura
ISAAC
2010
Springer
233views Algorithms» more  ISAAC 2010»
13 years 5 months ago
Computing Sparse Multiples of Polynomials
We consider the problem of finding a sparse multiple of a polynomial. Given f F[x] of degree d, and a desired sparsity t, our goal is to determine if there exists a multiple h F[...
Mark Giesbrecht, Daniel S. Roche, Hrushikesh Tilak
ISAAC
2010
Springer
313views Algorithms» more  ISAAC 2010»
13 years 5 months ago
A Cache-Oblivious Implicit Dictionary with the Working Set Property
Abstract. In this paper we present an implicit dictionary with the working set property i.e. a dictionary supporting insert(e), delete(x) and predecessor(x) in O(log n) time and se...
Gerth Stølting Brodal, Casper Kejlberg-Rasm...
ISAAC
2010
Springer
240views Algorithms» more  ISAAC 2010»
13 years 5 months ago
Interpretation of Stream Programs: Characterizing Type 2 Polynomial Time Complexity
We study polynomial time complexity of type 2 functionals. For that purpose, we introduce a first order functional stream language. We give criteria, named well-founded, on such pr...
Hugo Férée, Emmanuel Hainry, Mathieu...
SIAMMA
2010
117views more  SIAMMA 2010»
13 years 2 months ago
Periodic Homogenization for Nonlinear Integro-Differential Equations
In this note, we prove the periodic homogenization for a family of nonlinear nonlocal "elliptic" equations with oscillatory coefficients. Such equations include, but are ...
Russell W. Schwab