Search - INRIA - Institut National de Recherche en Informatique et en Automatique

	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page Merci d'indiquer la raison de votre demande o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM
	inria-00070476v2 Reports Cédric Bach, Dominique L. Scapin. Critères Ergonomiques pour les Interactions Homme-Environnements Virtuels : définitions, justifications et exemples [Rapport de recherche] RR-5531, INRIA. 2005, pp.47
	tel-00008130v2 Theses Cédric Bach. Elaboration et validation de Critères Ergonomiques pour les Interactions Homme-Environnements Virtuels Sciences de l'Homme et Société. Université de Metz, 2004. Français
	inria-00000360v1 Reports Frédéric Cao, Julie Delon, Agnès Desolneux, Pablo Musé, Frédéric Sur. A unified framework for detecting groups and application to shape recognition [Research Report] PI 1746, 2005, pp.36
	inria-00101008v1 Journal articles Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses et al. CASL: The Common Algebraic Specification Language Theoretical Computer Science, Elsevier, 2002, 286 (2), pp.153-196
	inria-00099508v1 Journal articles Hubert Comon-Lundh, Paliath Narendran, Robert Nieuwenhuis, Michaël Rusinowitch. Deciding the Confluence of Ordered Term Rewrite Systems ACM Transactions on Computational Logic, Association for Computing Machinery, 2003, 4 (1), pp.33-55
	hal-00602077v1 Journal articles Pierre-Emmanuel Jabin, Gaël Raoul. On selection dynamics for competitive interactions Journal of Mathematical Biology, Springer Verlag (Germany), 2010, ⟨10.1007/s00285-010-0370-8⟩
	inria-00100984v1 Conference papers Gabriel dos Reis, Bernard Mourrain, Philippe Trebuchet, Fabrice Rouillier. An environment for Symbolic and Numeric Computation International Congress of Mathematical Software - ICMS'2002, 2002, Beijing, China. pp.239-249
	inria-00319719v1 Books Frédéric Cao, Jose Luis Lisani, Jean-Michel Morel, Pablo Musé, Frédéric Sur. A Theory of Shape Identification Springer, 1948, XII, 264 p., 2008, Lecture Notes in Mathematics, 978-3-540-68480-0
	inria-00104260v1 Journal articles Pablo Musé, Frédéric Sur, Frédéric Cao, Yann Gousseau, Jean-Michel Morel. An a contrario decision method for shape element recognition International Journal of Computer Vision, Springer Verlag, 2006, 69 (3), pp.295-315. ⟨10.1007/s11263-006-7546-0⟩
	inria-00104021v1 Conference papers Andrea Cerri, Daniela Giorgi, Pablo Musé, Frédéric Sur, Federico Tomassini. Shape recognition via an a contrario model for size functions 3rd International Conference on Image Analysis and Recognition - ICIAR 2006, Sep 2006, Povoa de Varzim, Portugal. pp.410-421, ⟨10.1007/11867661_37⟩
	hal-00863139v1 Conference papers Yoann Maurel, André Bottaro, Radu Kopetz, Koutheir Attouchi. Adaptive Monitoring of End-user OSGi-based Home Boxes Component Based Software Engineering, Jun 2012, Bertinoro, Italy. pp.Pages 157-166, ⟨10.1145/2304736.2304763⟩
	inria-00104255v1 Journal articles Frédéric Cao, Julie Delon, Agnès Desolneux, Pablo Musé, Frédéric Sur. A unified framework for detecting groups and application to shape recognition Journal of Mathematical Imaging and Vision, Springer Verlag, 2007, 27 (2), pp.91-119. ⟨10.1007/s10851-006-9176-0⟩
	inria-00099470v1 Conference papers Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang-Huy Nguyen. Proof Search and Proof Check for Equational and Inductive Theorems Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p
	inria-00107875v1 Conference papers Quang-Huy Nguyen. Certifying Term Rewriting Proof in ELAN 2nd International Workshop on Rule-based Programming - RULE'01, Sep 2001, Firenze, Italy, 18 p
	inria-00107874v1 Conference papers Quang-Huy Nguyen. Compact Normalisation Trace via Lazy Rewriting 1st International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2001, S. Lucas and B. Gramlich, 2001, Utrecht, Pays-Bas, pp.79-96
	inria-00100768v1 Conference papers Quang-Huy Nguyen. A constructive decision procedure for equalities modulo AC 16th International Workshop on Unification - UNIF 16, Jul 2002, Copenhagen, Denmark, 5 p
	inria-00107864v1 Conference papers Quang-Huy Nguyen, Cuihtlauac Alvarado. ELAN for equational reasoning in Coq 2nd Workshop on Logical Frameworks & Metalanguage - LFM'00, J. Despeyroux, Jun 2000, Santa Barbara, USA, 14 p
	inria-00101055v1 Reports Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants (extended version) [Intern report] A02-R-099 \|\| nguyen02a, 2002, 45 p
	inria-00101009v1 Journal articles Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336
	hal-00468772v1 Conference papers Florence Le Ber, Claire Lavigne, Katarzyna Adamczyk, Frédérique Angevin, Nathalie Colbach et al. Neutral modelling of agricultural landscapes by tessellation methods: the GenExP-LandSiTes software - Application to the simulation of gene flow International Conference on Integrative Landscape Modelling, Feb 2010, Montpellier, France. pp.1-9
	hal-00199114v1 Journal articles Katarzyna Adamczyk, Frédérique Angevin, Nathalie Colbach, Claire Lavigne, Florence Le Ber et al. GenExP, un logiciel simulateur de paysages agricoles pour l'étude de la diffusion de transgènes Revue Internationale de Géomatique, Lavoisier, 2007, 17 (3-4), pp.469-487
	hal-02571134v1 Journal articles Ludovic Pruneau, Loic Emboulé, Pryscellia Gely, Isabel Marcelino, Bernard Mari et al. Global gene expression profiling of Ehrlichia ruminantium at different stages of development FEMS Immunology and Medical Microbiology, Wiley-Blackwell: No OnlineOpen, 2012, 64 (1), pp.66-73. ⟨10.1111/j.1574-695X.2011.00901.x⟩
	hal-02571127v1 Journal articles Isabel Marcelino, André Martinho de Almeida, Miguel Ventosa, Ludovic Pruneau, Damien Meyer et al. Tick-borne diseases in cattle: Applications of proteomics to develop new generation vaccines Journal of Proteomics, Elsevier, 2012, 75 (14), pp.4232-4250. ⟨10.1016/j.jprot.2012.03.026⟩
	inria-00098718v1 Conference papers Marie-Odile Berger, Nicolas Maurice, Goetz Winterfeldt, Jean-Paul Lethor. Automatic 3D Reconstruction of the Beating Left Ventricle Using Transthorasic Echographic Images Computers in Cardiology, 1998, Cleveland, 5 p
	inria-00000191v1 Conference papers Fabrice Touzain, Sophie Schbath, Isabelle Debled-Rennesson, Bertrand Aigle, Pierre Leblond et al. SIGffRid : Programme de recherche des sites de fixation des facteurs de transcription par approche comparative Journées Ouvertes Biologie Informatique Mathématiques - JOBIM'05, Guy Perrière, Alain Guénoche et Christophe Geourjon, Jul 2005, Lyon, France. pp.417-425
	hal-00967890v1 Journal articles Ying Xiao, Catherine Mignolet, Jean-François Mari, Marc Benoît. Modeling the spatial distribution of crop sequences at a large regional scale using land-cover survey data: A case from France Computers and Electronics in Agriculture, Elsevier, 2014, 012, pp.51-63
	hal-01378309v1 Journal articles Roxana Amélie, René Anxionnat, Jean-Paul Armspach, Bertrand Audoin, Christian Barillot et al. OFSEP, a nationwide cohort of people with multiple sclerosis: Consensus minimal MRI protocol Journal de Neuroradiologie / Journal of Neuroradiology, Elsevier Masson, 2015, 42 (3), pp.133 - 140. ⟨10.1016/j.neurad.2014.12.001⟩
	inria-00338330v1 Book sections Stephan Merz. The Specification Language TLA+ Dines Bjoerner and Martin Henson. Logics of specification languages, Springer, pp.401-452, 2008, Monographs in Theoretical Computer Science, 978-3-540-74106-0
	hal-00771272v1 Reports Emmanuel Bresson, Anne Canteaut, Benoit Chevallier-Mames, Christophe Clavier, Thomas Fuhr et al. Indifferentiability with Distinguishers: Why Shabal Does Not Require Ideal Ciphers [Research Report] 2009/299, IACR Cryptology ePrint Archive. 2009
	inria-00099577v1 Conference papers Mike Badia, Adrian Hapca, Thierry Constant, Frédéric Mothe, Jean-Michel Leban et al. Tree Shape Measurement at the Stand Level for Biomass, Volume and Wood Properties Assessment International Symposium on Plant growth Modeling, simulation, visualization and their Applications 2003 -PMA'03, 2003, Beijing, China, China. pp.360-371
	1 2 3 4 5 6 7 8 9 10 Suivant Dernière	Relevance Author A→Z Author Z→A Title A→Z Title Z→A Date de publication croissante Date de publication décroissante Date de dépôt croissante Date de dépôt décroissante 30 results per page 50 results per page 100 results per page o Export XML-TEI BibTeX EndNote CSV PDF RTF Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Keyword Minimize

Type of deposit Minimize

Year Minimize