1. Recherche
10919 résultats  enregistrer la recherche
...
inria-00199917v3  Rapport
François Grimbert, Frédéric Chavane. Neural Field Model of VSD Optical Imaging Signals
[Research Report] RR-6398, INRIA. 2007, pp.46
...
hal-01020012v2  Pré-publication, Document de travail
Mathias Rousset. A $N$-uniform quantitative Tanaka's theorem for the conservative Kac's $N$-particle system with Maxwell molecules.
2014
hal-01350217v1  Article dans une revue
Bruno Salvy, Joanna Jongwane. À propos du calcul formel
Interstices, INRIA, 2010
...
tel-00550331v1  Thèse
Benoît Montagu. Programming with first-class modules in a core language with subtyping, singleton kinds and open existential types
Programming Languages [cs.PL]. Ecole Polytechnique X, 2010. English
...
pastel-00001654v1  Thèse
Vivien Mallet. Estimation de l'incertitude et prévision d'ensemble avec un modèle de chimie transport - Application à la simulation numérique de la qualité de l'air
domain_other. Ecole des Ponts ParisTech, 2005. Français
...
inria-00400314v1  Communication dans un congrès
Oleg Davidyuk, Ivan Sanchez, Jon Imanol Duran, Jukka Riekki. A Framework for Composing Pervasive Applications
Jussi Kangasharju, Yuri Bogoyavlenskiy. Advances in Methods of Information and Communication Technology (AMICT), May 2008, Petrozavodsk, Russia. 10, pp.80-94, 2008, ISBN 978-5-8021-1020-1
...
hal-01100512v1  Communication dans un congrès
Pierre Halmagrand. Using Deduction Modulo in Set Theory
SETS14, 1st International Workshop about Sets and Tools, Jun 2014, Toulouse, France. SETS14, 1st International Workshop about Sets and Tools, 2014, Toulouse, France, EasyChair., pp.12, 2014, <http://sets2014.cnam.fr/>
halshs-00200848v1  Communication dans un congrès
Pierre Maurel, Thierry Ramadier, Sandrine Glatron, Colette Cauvin, Anne-Christine Bronner et al.  Cognition spatiale et gestion concertée de l'environnement. Techniques d'enquêtes et exemples d'application
Conférence québéco-française pour le développement de la géomatique, Jun 2005, Québec, Canada
...
inria-00550729v1  Rapport
Vivien Mallet, Sergiy Zhuk. Reduced minimax state estimation
[Research Report] RR-7500, INRIA. 2010, pp.23
...
hal-00950686v1  Communication dans un congrès
Philippe Jacquet, Salman Malik, Bernard Mans, Alonso Silva. On the Throughput-Delay Trade-off in Georouting Networks
INFOCOM 2012 - 31st IEEE INFOCOM, Mar 2012, Orlando, Florida, United States. IEEE, pp.765 - 773, 2012, <10.1109/INFCOM.2012.6195823>
...
hal-01052913v1  Rapport
Paul-Louis George, Houman Borouchaki, Nicolas Barral. Construction et validation des éléments Serendip associés á un carreau de degré arbitraire
[Rapport de recherche] RR-8572, INRIA. 2014, pp.107
...
hal-01052929v1  Rapport
Paul-Louis George, Houman Borouchaki, Nicolas Barral. Construction et validation des éléments réduits associés á un carreau simplicial de degré arbitraire
[Rapport de recherche] RR-8571, INRIA. 2014, pp.55
hal-00950768v1  Communication dans un congrès
Florent Masseglia, Doru Tanasa, Brigitte Trousse. Web Usage Mining: Sequential Pattern Extraction with a Very Low Support
Jeffrey Xu Yu and Xuemin Lin and Hongjun Lu and Yanchun Zhang. Advanced Web Technologies and Applications: 6th Asia-Pacific Web Conference, APWeb 2004, Apr 2004, Hangzhou, China. Springer Verlag, 3007, pp.513--522, 2004, Lecture Notes in Computer Science; Advanced Web Technologies and Applications. <10.1007/978-3-540-24655-8_56>
...
inria-00096644v3  Rapport
Remy Haemmerle, François Fages, Sylvain Soliman. On Internalizing Modules as Agents in Concurrent Constraint Programming
[Research Report] RR-5981, INRIA. 2006
...
hal-01100519v1  Poster
Ronan Saillard. Dedukti : un vérificateur de preuves universel
Journées de seconde année de l'Ecole Doctorale à Mines ParisTech, Jun 2014, Paris, France
...
inria-00350459v1  Rapport
Guy Chavent. A Fully Equivalent Global Pressure Formulation for Three-Phase Compressible Flow
[Research Report] RR-6788, INRIA. 2008, pp.16
...
inria-00295152v2  Communication dans un congrès
Rodrigo Benenson, Michel Parent. Design of an urban driverless ground vehicle
IEEE International Conference on Intelligent Robots Systems, Sep 2008, Nice, France. 2008
...
hal-00646387v2  Rapport
James Rankin, Émilien Tlapale, Romain Veltz, Olivier Faugeras, Pierre Kornprobst. Bifurcation analysis applied to a model of motion integration with a multistable stimulus
[Research Report] RR-7822, INRIA. 2011, pp.39
...
inria-00276924v4  Rapport
Jonathan Touboul, Romain Brette. Spiking dynamics of bidimensional integrate-and-fire neurons
[Research Report] RR-6531, INRIA. 2008
hal-01200820v1  Communication dans un congrès
Pierre-Vincent Koseleff, Fabrice Rouillier, Cuong Tran. On the sign of a trigonometric expression
ISSAC ' 15, Jul 2015, Bath, United Kingdom. 2015, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation. <10.1145/2755996.2756664>
hal-00950481v1  Communication dans un congrès
Tancrède Lepoint, Jean-Sébastien Coron, Mehdi Tibouchi. Scale-Invariant Fully-Homomorphic Encryption over the Integers
Hugo Krawczyk. PKC 2014 - 17th International Conference on Practice and Theory in Public-Key Cryptography, Mar 2014, Buenos Aires, Argentina. Springer, 8383, pp.311-328, 2014, Public-Key Cryptography - PKC 2014; LNCS - Lecture Notes in Computer Science. <10.1007/978-3-642-54631-0_18>
inria-00100200v1  Communication dans un congrès
Daan Broeder, Thierry Declerck, Laurent Romary, Eric De La Clergerie, Markus Uneson et al.  A large Metadata Domain for Language Resources
4th International Conference on Language Resources and Evaluation - LREC'04, 2004, Lisbonne, Portugal, France. pp.369-372, 2004

Contact


archive-ouverte@inria.fr