1. Recherche
92 résultats  enregistrer la recherche
...
inria-00300799v1  Communication dans un congrès
Cédric Join, Salvatore Tabbone. Robust curvature extrema detection based on new numerical derivation
Advanced Concepts for Intelligent Vision Systems, ACIVS 2008, Oct 2008, Juan-les-Pins, France. Springer, 2008
...
inria-00077334v1  Rapport
Pierrick Gaudry, Emmanuel Thomé, Nicolas Thériault, Claus Diem. A double large prime variation for small genus hyperelliptic index calculus
[Research Report] RR-5764, INRIA. 2005
...
hal-00105953v1  Chapitre d'ouvrage
Yann Guermeur, Olivier Teytaud. Estimation et contrôle des performances en généralisation des réseaux de neurones
Younes Bennani. Apprentissage Connexioniste, Hermès, pp.283, 2006, collection I2C
inria-00408908v1  Communication dans un congrès
Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz. A Reduction Theorem for the Verification of Round-Based Distributed Algorithms
Olivier Bournez and Igor Potapov. Reachability Problems 2009, Sep 2009, Palaiseau, France. Springer Berlin / Heidelberg, 5797, pp.93-106, 2009, Lecture Notes in Computer Science; Reachability Problems 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings. <10.1007/978-3-642-04420-5_10>
...
inria-00160586v2  Communication dans un congrès
Frédéric Blanqui, Jean-Pierre Jouannaud, Pierre-Yves Strub. Building Decision Procedures in the Calculus of Inductive Constructions
Jacques Duparc and Thomas Henziger. 16th EACSL Annual Conference on Computer Science and Logic - CSL 2007, Sep 2007, Lausanne, Switzerland. Springer Verlag, 4646, 2007, Lecture Notes in Computer Science. <10.1007/978-3-540-74915-8_26>
...
hal-00654576v1  Communication dans un congrès
Victor Codocedo, Carla Taramasco, Hernan Astudillo. Cheating to achieve Formal Concept Analysis over a large formal context
The Eighth International Conference on Concept Lattices and their Applications - CLA 2011, Oct 2011, Nancy, France. pp.349-362, 2011
...
inria-00107837v1  Cours
Gérôme Canals, Jean Ferrié. La cohérence dans les traitements coopératifs
1998
...
inria-00280410v2  Rapport
Lisa Allali, Paul Brauner. A Semantic Normalization Proof for Inductive Types
[Research Report] 2008, pp.21
...
inria-00091308v2  Communication dans un congrès
Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio. Higher-Order Termination: from Kruskal to Computability
Miki Hermann and Andrei Voronkov. 13th International Conference on Logic for Programming, Artificial Intelligence and Reasoning - LPAR 2006, Nov 2006, Phnom Penh, Cambodia. Springer-Verlag, 4246, pp.1-14, 2006, Lecture Notes in Computer Science. <10.1007/11916277_1>
...
inria-00098749v1  Rapport
Alain Goupil, Dominique Poulalhon, Gilles Schaeffer. Characters and conjugacy classes of the symmetric group
[Intern report] 99-R-349 || goupil99a, 1999, 12 p
inria-00099194v1  Communication dans un congrès
Alain Goupil, Dominique Poulalhon, Gilles Schaeffer. Central Characters and Conjugacy Classes in the Symmetric Group
Krob, D. and Mikhalev, A.A. & Mikhalev, A.V. 12th International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'00, 2000, Moscou/Russia, Springer, pp.238-249, 2000
inria-00099181v1  Rapport
Jörn Migge, P. Minet, S. Kamoun. Evaluation d'outils d'analyse de performances
[Contrat] A00-R-299 || migge00a, Loria. 2000, 8 p
...
inria-00433745v1  Chapitre d'ouvrage
Claude Kirchner, Florent Kirchner, Hélène Kirchner. Strategic Computation and Deduction
Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
...
inria-00141720v3  Pré-publication, Document de travail
Paul Brauner, Gilles Dowek, Benjamin Wack. Normalization in Supernatural deduction and in Deduction modulo
2007
inria-00101066v1  Rapport
Dominique Poulalhon, Gilles Schaeffer. A note on Bipartite Eulerian Planar Maps
[Intern report] A02-R-213 || poulalhon02a, 2002, 5 p
...
hal-00553441v1  Communication dans un congrès
Bruno Cessac, Juan Carlos Vasquez, Hassan Nasser, Horacio Rostro-Gonzalez, Thierry Viéville et al.  Parametric estimation of spike train statistics by Gibbs distributions : an application to bio-inspired and experimental data
Cinquième conférence plénière française de Neurosciences Computationnelles, "Neurocomp'10", Aug 2010, Lyon, France
inria-00100542v1  Communication dans un congrès
Guillaume Hanrot, François Morain. Solvability by radicals from an algorithmic point of view
Bernard Mourrain. International Symposium on Symbolic and Algebraic Computation - ISSAC'2001, 2001, London, Ontario, Canada, ACM, 18 p, 2001
inria-00100860v1  Communication dans un congrès
Dominique Poulalhon, Gilles Schaeffer. A bijection for loopless triangulations of a polygon with interior points
Foda, O. and Guttmann, T. International Conference on Formal Power Series and Algebraic Combinatorics - FPSAC'02, Jul 2002, Melbourne, Australie, Actes locaux de l'universite de Melbourne, 12 p, 2002
...
inria-00441214v1  Article dans une revue
Lutz Straßburger, Alessio Guglielmi. A System of Interaction and Structure IV: The Exponentials and Decomposition
ACM Trans. Comput. Log., ACM, 2011, 12 (4), pp.23. <10.1145/1970398.1970399>
...
inria-00539899v1  Communication dans un congrès
Henri Debrat, Bernadette Charron-Bost, Stephan Merz. Formal Verification of Consensus Algorithms in a Proof Assistant
Michael Backes and Ralf Küsters. 2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany. 2010
...
hal-01322335v1  Communication dans un congrès
Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz. Proving Determinacy of the PharOS Real-Time Operating System
Michael J. Butler; Klaus-Dieter Schewe; Atif Mashkoor; Miklós Biró. Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. Springer, 9675, pp.70-85, 2016, LNCS - Lecture Notes in Computer Science. <10.1007/978-3-319-33600-8_4>
...
hal-01114190v1  Article dans une revue
F Caro, F Coquel, Damien Jamet, S Kokh. A Simple Finite-Volume Method for Compressible Isothermal Two-Phase Flows Simulation
International Journal on Finite Volumes, Institut de Mathématiques de Marseille, AMU, 2006, www.latp.univ-mrs.fr/IJFV
...
hal-01112879v2  Communication dans un congrès
Razvan Barbulescu, Pierrick Gaudry, Aurore Guillevic, François Morain. Improving NFS for the discrete logarithm problem in non-prime finite fields
Marc Fischlin and Elisabeth Oswald. Eurocrypt 2015 - 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Apr 2015, Sofia, Bulgaria. Lecture Notes in Computer Sciences, 9056, pp.129-155, 2015, Advances in Cryptology -- EUROCRYPT 2015. <https://www.cosic.esat.kuleuven.be/eurocrypt_2015>. <10.1007/978-3-662-46800-5_6>
...
inria-00522029v1  Communication dans un congrès
Olivier Bournez, Daniel Graça, Emmanuel Hainry. Robust computations with dynamical systems
Petr Hlineny and Antonin Kucera. 35th international symposium on Mathematical Foundations of Computer Science - MFCS 2010, Aug 2010, Brno, Czech Republic. Springer-Verlag, 6281, pp.198-208, 2010, Lecture Notes in Computer Science. <10.1007/978-3-642-15155-2_19>
inria-00330344v1  Communication dans un congrès
Olivier Bournez, Jérémie Chalopin, Johanne Cohen. Playing With Population Protocols
International Workshop on The Complexity of Simple Programs, Dec 2008, Cork, Ireland. 2008
...
inria-00435160v1  Communication dans un congrès
Dominique Barth, Olivier Bournez, Octave Boussaton, Johanne Cohen. A dynamic approach for load balancing
The Third International Workshop on Game Theory in Communication Networks - GAMECOMM 2009, Oct 2009, Pise, Italy. 2009

Contact


archive-ouverte@inria.fr