.:. Consultation > Liste par domaine > Informatique .:.

35 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4

The Speedup-Test: A Statistical Methodology for Program Speedup Analysis and Computation Touati S.-A.-A., Worms J., Briais S. Journal of Concurrency and Computation: Practice and Experience (2012) [hal-00764454 - version 1]

Relaxed p-adic Hensel lifting for algebraic systems Berthomieu J., Lebreton R. [hal-00660566 - version 2] (2012-02-20)

Global optimization of polynomials restricted to a smooth variety using sums of squares Greuet A., Feng G., Safey El Din M., Zhi L. Journal of Symbolic Computation 47, 7 (2012) 503-518 [hal-00778239 - version 1]

Probabilities of Boolean Functions Given by Random Implicational Formulas. Genitrini A., Gittenberger B., Kraus V., Mailler C. The Electronic Journal of Combinatorics (2012) to appear [hal-00699960 - version 1]

Uncommon Suffix Tries Cénac P., Chauvin B., Paccaut F., Pouyanne N. [hal-00652952 - version 2] (20/12/2011)

Polynomial root finding over local rings and application to error correcting codes Berthomieu J., Lecerf G., Quintin G. [hal-00642075 - version 1] (2011-11-17)

Relaxed algorithms for p-adic numbers Berthomieu J., Van Der Hoeven J., Lecerf G. [hal-00486680 - version 1] (26/05/2010)

On the bit-complexity of sparse polynomial and series multiplication Van Der Hoeven J., Lecerf G. [hal-00476223 - version 1] (24/04/2010)

Analyse des signaux par quantication semi-classique. Application à l'analyse des signaux de pression artérielle Laleg-Kirati T.-M., Crépeau E., Sorine M. Séminaire de l'Institut de Mathématiques de Bordeaux, France (2010) [inria-00527763 - version 1]

Nouvelle technique d'analyse de la forme des signaux de pression artérielle basée sur une approche semi-classique Laleg-Kirati T.-M., Médigue C., Helffer B., Crépeau E., Sorine M. Une demi-journée sur le coeur-Séminaire université de Versailles, France (2010) [inria-00527760 - version 1]