Filter your results
- 124
- 62
- 78
- 20
- 10
- 9
- 3
- 2
- 1
- 1
- 8
- 109
- 32
- 3
- 3
- 2
- 1
- 1
- 55
- 25
- 15
- 8
- 11
- 5
- 2
- 1
- 2
- 106
- 17
- 1
- 124
- 64
- 8
- 8
- 8
- 6
- 6
- 6
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 15
- 13
- 9
- 8
- 7
- 7
- 6
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Karatsuba multiplication with temporary space of size ≤ n2002
Preprints, Working Papers, ...
hal-02396734v1
|
||
|
Réflexions sur la question fréquentielle en traitement du signal[Rapport de recherche] 2005, pp.7
Reports
inria-00000461v1
|
||
|
Speeding up learning with dynamic environment shaping in evolutionary robotics5th International Workshop on Epigenetic Robotics, Jul 2005, Nara, Japan. p.128
Conference papers
inria-00175508v1
|
||
|
A Framework for Analyzing Probabilistic Protocols and its Application to the Partial Secrets ExchangeFirst Symposium on Trustworthy Global Computing, Apr 2005, Edinburgh, United Kingdom. pp.146-162, ⟨10.1007/11580850_9⟩
Conference papers
inria-00201111v1
|
||
|
Evolving Symbolic Controllers4th European Workshop on Evolutionary Robotics, Apr 2003, Essex, United Kingdom. pp.638-650
Conference papers
inria-00145206v1
|
||
|
Linear recurrences with polynomial coefficients and computation of the Cartier-Manin operator on hyperelliptic curvesFinite Fields and Applications - Fq7, 2004, Toulouse, France. pp.40-58, ⟨10.1007/978-3-540-24633-6_4⟩
Conference papers
inria-00514132v1
|
||
|
A comparison and a combination of SST and AGM algorithms for counting points of elliptic curves in characteristic 2Asiacrypt, 2002, Queenstown, New Zealand. pp.621-628, ⟨10.1007/3-540-36178-2_20⟩
Conference papers
inria-00514137v1
|
||
|
From Deep Inference to Proof NetsStructures and Deduction 2005 (ICALP Workshop), Jul 2005, Lisbon, Portugal
Conference papers
inria-00130501v1
|
||
|
Distribution of Avalanches on the (n,k)-wheelFPSAC/SFCA'03, 2003, Linkoping, Sweden
Conference papers
hal-00016372v1
|
||
|
Dominance Based Crossover Operator for Evolutionary Multi-objective AlgorithmsParallel Problem Solving from Nature 2004, 2004, Birmingham, pp.812-821
Conference papers
inria-00000095v1
|
||
|
Noyau de viabilité : une contrainte globale pour la modélisation de systèmes dynamiquesJFPLC'2003 Douzièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, Jun 2003, Amiens
Conference papers
inria-00000106v1
|
||
|
Average profiles, from tries to suffix-trees2005 International Conference on Analysis of Algorithms, 2005, Barcelona, Spain. pp.257-266, ⟨10.46298/dmtcs.3390⟩
Conference papers
hal-01184225v1
|
||
|
An extension of Kedlaya's algorithm to superelliptic curvesAsiacrypt, 2001, Gold Coast, Australia. pp.480-494, ⟨10.1007/3-540-45682-1_28⟩
Conference papers
inria-00514826v1
|
||
|
On the invariants of the quotients of the Jacobian of a curve of genus 2Applied 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
|
||
|
Vérification des programmes logiques.Informatique [cs]. Ecole Polytechnique X, 2004. Français. ⟨NNT : ⟩
Theses
pastel-00000864v1
|
||
|
Analyse statique modulaire des langages à objet.Informatique [cs]. Ecole Polytechnique X, 2004. Français. ⟨NNT : ⟩
Theses
pastel-00000896v1
|
||
|
A low-memory parallel version of Matsuo, Chao and Tsujii's algorithmANTS-VI, 2004, Burlington, United States. pp.208-222, ⟨10.1007/978-3-540-24847-7_15⟩
Conference papers
inria-00514089v1
|
||
|
Counting points on hyperelliptic curves over finite fieldsANTS-IV, 2000, Leiden, Netherlands. pp.313-332, ⟨10.1007/10722028_18⟩
Conference papers
inria-00512403v1
|
||
|
The arithmetic of Jacobian groups of superelliptic cubicsMathematics of Computation, 2005, 74 (249), pp.389-410
Journal articles
inria-00071967v2
|
||
|
Robustness in the long run: Auto-teaching vs Anticipation in Evolutionary RoboticsParallel Problem Solving from Nature, Sep 2004, Birmingham, pp.932-941
Conference papers
inria-00145172v1
|
||
|
Fondamenti algebrici degli automi cellulari invertibiliFormal Languages and Automata Theory [cs.FL]. Università degli Studi di Torino / Université de Turin, 1997. Italian. ⟨NNT : ⟩
Theses
hal-00163561v1
|
||
|
Weak Probabilistic Anonymity3rd 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
|
||
|
Questioning some paradigms of signal processing via concrete examplesAlgebraic Methods in Flatness, Signal Processing and State Estimation, Nov 2003, Mexico, pp. 1-21
Conference papers
inria-00001059v1
|
||
|
Modeling Commercial Processes and Customer Behaviors to Estimate the Diffusion Rate of New ProductsJournal of Systems Science and Systems Engineering, 2005, 14 (4), pp.436-453
Journal articles
hal-00018553v1
|
||
|
Short Undeniable Signatures Without Random Oracles: the Missing LinkIndocrypt 2005, Dec 2005, Bangalore, India
Conference papers
inria-00001122v1
|
||
|
Counting points in medium characteristic using Kedlaya's algorithm[Research Report] RR-4838, INRIA. 2003
Reports
inria-00071747v1
|
||
|
A Simple Address Autoconfiguration Mechanism for OLSRIEEE International Symposium on Circuits and Systems (ISCAS), May 2005, Kobe, Japan
Conference papers
hal-00781778v1
|
||
|
Inductive types in the Calculus of Algebraic ConstructionsTyped Lambda Calculi and Applications, 6th International Conference, TLCA 2003, Jun 2003, Valencia, Spain
Conference papers
inria-00105617v1
|
||
|
Probable Innocence RevisitedThird 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
|
||
|
Results and conjectures on the Sandpile Identity on a latticeDiscrete Models for Complex Systems, DMCS'03, 2003, Lyon, France. pp.89-102, ⟨10.46298/dmtcs.2308⟩
Conference papers
hal-01183316v1
|