.:. Consultation > Liste par année > 2007 .:.

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

1 - 2 - 3 - 4

Towards a model-free output tracking of switched nonlinear systems Bourdais R., Fliess M., Join C., Perruquetti W. NOLCOS 2007 - 7th IFAC Symposium on Nonlinear Control Systems, (2007) [inria-00147702 - version 1]

Near Optimal Broadcast with Network Coding in Large Homogeneous Wireless Networks Adjih C., Cho S. Y., Jacquet P. (2007) [inria-00144354 - version 1]

Probabilités et fluctuations quantiques (Probabilities and quantum fluctuations) Fliess M. Comptes rendus de l'académie des sciences, Mathématiques 344 (2007) 663-668 [inria-00141719 - version 1]

A MANET Architectural Model Clausen T. H. Research report (2007) [inria-00136862 - version 3]

Linear recurrences with polynomial coefficients and application to integer factorization and Cartier-Manin operator Bostan A., Gaudry P., Schost E. SIAM Journal on Computing 36, 6 (2007) 1777-1806 [inria-00103401 - version 3]

An $L (1/3 + \varepsilon)$ Algorithm for the Discrete Logarithm Problem for Low Degree Curves Enge A., Gaudry P. Eurocrypt 2007, Espagne (2007) [inria-00135324 - version 1]

Encoding Strategies in the Lambda Calculus with Interaction Nets Mackie I. Implementation and Application of Functional Languages, 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, (2005) [inria-00133323 - version 1]

N/A : {Á}

Computing the eigenvalue in the Schoof-Elkies-Atkin algorithm using Abelian lifts Mihailescu P., Morain F., Schost E. (2007) [inria-00130142 - version 1]

Une méthode d'identification pour un système linéaire à retards Ollivier F., Moutaouakil S., Sadik B. (2007) [inria-00128173 - version 1]

Runway scheduling with holding loop Artiouchine K., Baptiste P., Dürr C. European Journal of Operational Research (2007) [inria-00123706 - version 1]

The Complexity of Mean Flow Time Scheduling Problems with Release Times Baptiste P., Brucker P., Chrobak M., Dürr C., A. Kravchenko S., Sourd F. Journal of Scheduling (2007) [inria-00123665 - version 1]

A Graphical User Interface for Formal Proofs in Geometry. Narboux J. Journal of Automated Reasoning 39, 2 (2007) 161-180 [inria-00118903 - version 1]

Mechanical Theorem Proving in Tarski's geometry. Narboux J. Automated Deduction in Geometry 2006, Espagne (2006) [inria-00118812 - version 1]

From functional programs to interaction nets via the Rewriting Calculus Cirstea H., Faure G., Fernandez M., Mackie I., Sinot F.-R. Sixth International Workshop on Reduction Strategies in Rewriting and Programming, États-Unis (2006) [inria-00000821 - version 1]

Fast computation of power series solutions of systems of differential equations Bostan A., Chyzak F., Ollivier F., Salvy B., Schost E., Sedoglavic A. Dans ACM-SIAM Symposium on Discrete Algorithm 2007 - 2007 ACM-SIAM Symposium on Discrete Algorithms, États-Unis (2007) [inria-00001264 - version 1]

A double large prime variation for small genus hyperelliptic index calculus Gaudry P., Thomé E., Thériault N., Diem C. Mathematics of Computation 76 (2007) 475-492 [inria-00000897 - version 1]