778 search results - page 54 / 156 » Bounding Smooth Integers |
TCS
2008
13 years 7 months ago
2008
We present algorithmic, complexity and implementation results concerning real root isolation of integer univariate polynomials using the continued fraction expansion of real algeb...
SIAMCOMP
2000
13 years 7 months ago
2000
The interpolation method has been one of the main tools for proving lower bounds for propositional proof systems. Loosely speaking, if one can prove that a particular proof system ...
JAM
2010
13 years 2 months ago
2010
This paper is devoted to the identification of the unknown smooth coefficient c entering the hyperbolic equation c(x)2 t u-u = 0 in a bounded smooth domain in Rd from partial (on ...
IPPS
2003
IEEE
14 years 29 days ago
2003
IEEE
Given a set of service requests, each char acterize d by a temporal interval and a category, an integer k, and an integer hc for each categoryc, the Server A llocation with Bounde...
4OR
2010
13 years 6 months ago
2010
This a summary of the author's PhD thesis supervised by Leo Liberti, Philippe Baptiste and Daniel Krob and defended on 18 June 2009 at Ecole Polytechnique, Palaiseau, France. ...