Search - Archive ouverte HAL Access content directly

Filter your results

124 Results
Deposit type : Fulltext
Image document

Karatsuba multiplication with temporary space of size ≤ n

Emmanuel Thomé
2002
Preprints, Working Papers, ... hal-02396734v1
Image document

Réflexions sur la question fréquentielle en traitement du signal

Michel Fliess
[Rapport de recherche] 2005, pp.7
Reports inria-00000461v1
Image document

Speeding up learning with dynamic environment shaping in evolutionary robotics

Nicolas Bredeche , Louis Hugues
5th International Workshop on Epigenetic Robotics, Jul 2005, Nara, Japan. p.128
Conference papers inria-00175508v1
Image document

A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets Exchange

Konstantinos Chatzikokolakis , Catuscia Palamidessi
First Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. pp.146-162, ⟨10.1007/11580850_9⟩
Conference papers inria-00201111v1
Image document

Evolving Symbolic Controllers

Nicolas Godzik , Marc Schoenauer , Michèle Sebag
4th European Workshop on Evolutionary Robotics, Apr 2003, Essex, United Kingdom. pp.638-650
Conference papers inria-00145206v1
Image document

Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curves

Alin Bostan , Pierrick Gaudry , Éric Schost
Finite Fields and Applications - Fq7, 2004, Toulouse, France. pp.40-58, ⟨10.1007/978-3-540-24633-6_4⟩
Conference papers inria-00514132v1
Image document

A comparison and a combination of SST and AGM algorithms for counting points of elliptic curves in characteristic 2

Pierrick Gaudry
Asiacrypt, 2002, Queenstown, New Zealand. pp.621-628, ⟨10.1007/3-540-36178-2_20⟩
Conference papers inria-00514137v1
Image document

From Deep Inference to Proof Nets

Lutz Strassburger
Structures and Deduction 2005 (ICALP Workshop), Jul 2005, Lisbon, Portugal
Conference papers inria-00130501v1
Image document

Distribution of Avalanches on the (n,k)-wheel

Dominique Rossin , Arnaud Dartois
FPSAC/SFCA'03, 2003, Linkoping, Sweden
Conference papers hal-00016372v1
Image document

Dominance Based Crossover Operator for Evolutionary Multi-objective Algorithms

Olga Roudenko , Marc Schoenauer
Parallel Problem Solving from Nature 2004, 2004, Birmingham, pp.812-821
Conference papers inria-00000095v1
Image document

Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiques

Juliette Mattioli , Konstantin Artiouchine
JFPLC'2003 Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, Jun 2003, Amiens
Conference papers inria-00000106v1
Image document

Average profiles, from tries to suffix-trees

Pierre Nicodème
2005 International Conference on Analysis of Algorithms, 2005, Barcelona, Spain. pp.257-266, ⟨10.46298/dmtcs.3390⟩
Conference papers hal-01184225v1
Image document

An extension of Kedlaya's algorithm to superelliptic curves

Pierrick Gaudry , Nicolas Gürel
Asiacrypt, 2001, Gold Coast, Australia. pp.480-494, ⟨10.1007/3-540-45682-1_28⟩
Conference papers inria-00514826v1
Image document

On the invariants of the quotients of the Jacobian of a curve of genus 2

Pierrick Gaudry , Éric Schost
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, AAECC 14, Nov 2001, Melbourne, Australia. pp.373-386, ⟨10.1007/3-540-45624-4_39⟩
Conference papers inria-00514434v1
Image document

Vérification des programmes logiques.

Sorin Craciunescu
Informatique [cs]. Ecole Polytechnique X, 2004. Français. ⟨NNT : ⟩
Theses pastel-00000864v1
Image document

Analyse statique modulaire des langages à objet.

Francesco Logozzo
Informatique [cs]. Ecole Polytechnique X, 2004. Français. ⟨NNT : ⟩
Theses pastel-00000896v1
Image document

A low-memory parallel version of Matsuo, Chao and Tsujii's algorithm

Pierrick Gaudry , Eric Schost
ANTS-VI, 2004, Burlington, United States. pp.208-222, ⟨10.1007/978-3-540-24847-7_15⟩
Conference papers inria-00514089v1
Image document

Counting points on hyperelliptic curves over finite fields

Pierrick Gaudry , Robert Harley
ANTS-IV, 2000, Leiden, Netherlands. pp.313-332, ⟨10.1007/10722028_18⟩
Conference papers inria-00512403v1
Image document

The arithmetic of Jacobian groups of superelliptic cubics

Abdolali Basiri , Andreas Enge , Jean-Charles Faugère , Nicolas Gürel
Mathematics of Computation, 2005, 74 (249), pp.389-410
Journal articles inria-00071967v2
Image document

Robustness in the long run: Auto-teaching vs Anticipation in Evolutionary Robotics

Nicolas Godzik , Marc Schoenauer , Michèle Sebag
Parallel Problem Solving from Nature, Sep 2004, Birmingham, pp.932-941
Conference papers inria-00145172v1
Image document

Fondamenti algebrici degli automi cellulari invertibili

Leo Liberti
Formal Languages and Automata Theory [cs.FL]. Università degli Studi di Torino / Université de Turin, 1997. Italian. ⟨NNT : ⟩
Theses hal-00163561v1
Image document

Weak Probabilistic Anonymity

Yuxin Deng , Catuscia Palamidessi , Jun Pang
3rd International Workshop on Security Issues in Concurrency (SecCo), Aug 2005, San Francisco, United States. pp.55-76, ⟨10.1016/j.entcs.2005.05.043⟩
Conference papers inria-00200912v1
Image document

Questioning some paradigms of signal processing via concrete examples

Michel Fliess , Mamadou Mboup , Hugues Mounier , Hebertt Sira-Ramirez
Algebraic Methods in Flatness, Signal Processing and State Estimation, Nov 2003, Mexico, pp. 1-21
Conference papers inria-00001059v1
Image document

Modeling Commercial Processes and Customer Behaviors to Estimate the Diffusion Rate of New Products

Alain Bloch , Daniel Krob , Ada F.S. Ng
Journal of Systems Science and Systems Engineering, 2005, 14 (4), pp.436-453
Journal articles hal-00018553v1
Image document

Short Undeniable Signatures Without Random Oracles: the Missing Link

Fabien Laguillaumie , Damien Vergnaud
Indocrypt 2005, Dec 2005, Bangalore, India
Conference papers inria-00001122v1
Image document

Counting points in medium characteristic using Kedlaya's algorithm

Pierrick Gaudry , Nicolas Gürel
[Research Report] RR-4838, INRIA. 2003
Reports inria-00071747v1
Image document

A Simple Address Autoconfiguration Mechanism for OLSR

Thomas Heide Clausen , Emmanuel Baccelli
IEEE International Symposium on Circuits and Systems (ISCAS), May 2005, Kobe, Japan
Conference papers hal-00781778v1
Image document

Inductive types in the Calculus of Algebraic Constructions

Frédéric Blanqui
Typed Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Jun 2003, Valencia, Spain
Conference papers inria-00105617v1
Image document

Probable Innocence Revisited

Konstantinos Chatzikokolakis , Catuscia Palamidessi
Third International Workshop on Formal Aspects in Security and Trust (FAST 2005), Jul 2005, Newcastle Upon Tyne, United Kingdom. pp.142-157
Conference papers inria-00201109v1
Image document

Results and conjectures on the Sandpile Identity on a lattice

Arnaud Dartois , Clémence Magnien
Discrete Models for Complex Systems, DMCS'03, 2003, Lyon, France. pp.89-102, ⟨10.46298/dmtcs.2308⟩
Conference papers hal-01183316v1