Skip to Main content Skip to Navigation
Help


...
inria-00521237v1  Conference papers
Helena Blancafort San JoséGaëlle RecourcéJavier CoutoBenoît SagotRosa Stern et al.  Traitement des inconnus : une approche systématique de l'incomplétude lexicale
Traitement Automatique des Langues Naturelles : TALN 2010, Jul 2010, Montréal, Canada
...
inria-00521231v1  Conference papers
Pascal DenisBenoît Sagot. Exploitation d'une ressource lexicale pour la construction d'un étiqueteur morphosyntaxique état-de-l'art du français
Traitement Automatique des Langues Naturelles : TALN 2010, Jul 2010, Montréal, Canada
...
inria-00472219v1  Conference papers
Fabienne CarrierStéphane DevismesFranck PetitYvan Rivierre. Rendez-vous d'agents amnésiques
12èmes Rencontres Francophones sur les Aspects Algorithmiques de Télécommunications (AlgoTel), May 2010, Belle Dune, France. pp.8
...
inria-00521240v1  Conference papers
Rosa SternBenoît Sagot. Resources for Named Entity Recognition and Resolution in News Wires
Entity 2010 Workshop at LREC 2010, May 2010, Valletta, Malta
...
inria-00521242v1  Conference papers
Benoît Sagot. The Lefff, a freely available and large-coverage morphological and syntactic lexicon for French
7th international conference on Language Resources and Evaluation (LREC 2010), May 2010, Valletta, Malta
...
hal-00675354v1  Conference papers
Anne CanteautMarion Videau. Higher order differential attacks on iterated block ciphers using almost bent round functions
ISIT 2002 : IEEE International Symposium on Information Theory, Jun 2002, Lausanne, Switzerland. pp.209, ⟨10.1109/ISIT.2002.1023481⟩
hal-00777489v1  Conference papers
Huaibin TangQinghua Zhang. Inverse Scattering for Lossy Electric Transmission Line Soft Fault Diagnosis
APSURSI 2010 - IEEE International Symposium on Antennas and Propagation, Jul 2010, Toronto, Canada. pp.1-4, ⟨10.1109/APS.2010.5561688⟩
inria-00527169v1  Conference papers
Dana N. XuGregor GoesslerAlain Girault. Probabilistic Contracts for Component-Based Design
the 8th International Symposium on Automated Technology for Verification and Analysis (ATVA), Sep 2010, Singapore, Singapore. pp.325-340, ⟨10.1007/978-3-642-15643-4_24⟩
inria-00527536v1  Conference papers
Ferdinanda CamporesiJérôme FeretHeinz KoepplTatjana Petrov. Combining Model Reductions
the 26th Conference on the Mathematical Foundations of Programming Semantics - MFPS 2010, May 2010, Ottawa, Canada. pp.73--96, ⟨10.1016/j.entcs.2010.08.006⟩
inria-00527548v1  Conference papers
Ferdinanda CamporesiJérôme FeretHeinz KoepplTatjana Petrov. Automatic reduction of stochastic rules-based models in a nutshell
International Conference of Numerical Analysis and Applied Mathematics - ICNAAM 2010, Sep 2010, Rhodos, Greece. pp.1330-1334, ⟨10.1063/1.3497965⟩
...
hal-01083405v2  Conference papers
Philippe FlajoletMathieu RouxBrigitte Vallée. Digital Trees and Memoryless Sources: from Arithmetics to Analysis
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.233-260
...
hal-01185562v1  Conference papers
Philippe JacquetPaul Muhlethaler. Geometric Bucket Trees: Analysis of Linear Bucket Tree
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.401-414
...
hal-01185566v1  Conference papers
Philippe JacquetCharles KnesslWojciech Szpankowski. Counting Markov Types
21st International Meeting on Probabilistic, Combinatorial, and Asymptotic Methods in the Analysis of Algorithms (AofA'10), 2010, Vienna, Austria. pp.387-400, ⟨10.1109/TIT.2012.2191476⟩
hal-01148127v1  Journal articles
Luk BettaleJean-Charles FaugèreLudovic Perret. Hybrid approach for solving multivariate systems over finite fields
Journal of Mathematical Cryptology, De Gruyter, 2010, 3 (3), pp.177--197. ⟨10.1515/jmc.2009.009⟩
hal-01148133v1  Journal articles
Gérald BourgeoisJean-Charles Faugère. Algebraic Attack on NTRU using Witt Vectors and Gröbner bases
Journal of Mathematical Cryptology, De Gruyter, 2010, 3 (3), pp.205--214. ⟨10.1515/jmc.2009.011⟩
hal-01350217v1  Journal articles
Bruno SalvyJoanna Jongwane. À propos du calcul formel
Interstices, INRIA, 2010
hal-01350287v1  Journal articles
Xavier Leroy. Comment faire confiance à un compilateur ?
Interstices, INRIA, 2010
...
hal-00694136v1  Conference papers
Jean-Gabriel KammererReynald LercierGuénaël Renault. Encoding points on hyperelliptic curves over finite fields in deterministic polynomial time
PAIRING 2010 - 4th International Conference on Pairing-Based Cryptography, Dec 2010, Ishikawa, Japan. pp.278-297, ⟨10.1007/978-3-642-17455-1_18⟩
...
hal-01288914v1  Conference papers
Jean-Charles FaugèreRaphaël MarinierGuénaël Renault. Implicit Factoring with Shared Most Significant and Middle Bits
In 13th International Conference on Practice and Theory in Public Key Cryptography -- PKC 2010, May 2010, Paris, France. pp.70-87, ⟨10.1007/978-3-642-13013-7_5⟩
inria-00100938v1  Conference papers
Philippe DuchonPhilippe FlajoletGuy LouchardGilles Schaeffer. Random Sampling from Boltzmann principles
29th International Colloquium on Automata, Languages and Programming - ICALP'2002, Nov 2002, Malaga, Spain, pp.501-513
hal-01100859v1  Conference papers
Jade AlglaveLuc MarangetSusmit SarkarPeter Sewell. Fences in Weak Memory Models
CAV'10, Computer Aided Verification - 22nd International Conference, Jul 2010, Edinburgh, United Kingdom. ⟨10.1007/978-3-642-14295-6_25⟩
...
hal-00651584v1  Journal articles
Emmanuel BaccelliJuan Antonio Cordero FuertesPhilippe Jacquet. OSPF OVER MULTI-HOP AD HOC WIRELESS COMMUNICATIONS
International Journal of Computer Networks & Communications , AIRCC Publishing Corporation, 2010, 2 (5), pp.37 - 56
...
hal-00651587v1  Conference papers
Emmanuel BaccelliJuan Antonio Cordero FuertesPhilippe Jacquet. Optimization of Critical Data Synchronization via Link Overlay RNG in Mobile Ad Hoc Networks
MASS 2010 - IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, Nov 2010, San Francisco, United States. pp.402 - 411, ⟨10.1109/MASS.2010.5663945⟩
...
hal-00651582v1  Conference papers
Weigao XieMukul GoyalHossein HosseiniJerald MartocciYusuf Bashir et al.  Routing Loops in DAG-based Low Power and Lossy Networks
24th IEEE International Conference on Advanced Information Networking and Applications, Apr 2010, Perth, Australia. pp.888 - 895, ⟨10.1109/AINA.2010.126⟩