Recherche

	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 283 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM
	tel-00250225v1 Thèse Laya Madani. Utilisation de la programmation synchrone pour la spécification et la validation de services interactifs Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2007. Français
	hal-00954933v1 Chapitre d'ouvrage Ronan Ysebaert, Nicolas Lambert, Claude Grasland, Benoit Le Rubrus, Marlène Villanova-Oliver et al. HyperAtlas, un outil scientifique au service du débat politique - Application à la politique de cohésion de l'Union Européenne Pierre Beckouche, Claude Grasland, France Guérin-Pace & Jean-Yves Moisseron. Fonder les sciences du territoire, Éditions Karthala, pp.243-267, 2012, Collection du CIST
	inria-00073273v1 Rapport Charles Pecheur. Advanced Modelling and Verification Techniques Applied to a Cluster File System RR-3416, INRIA. 1998
	inria-00073337v1 Rapport Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing RR-3352, INRIA. 1998
	inria-00073106v1 Rapport Mihaela Sighireanu, Kenneth J. Turner. Requirement Capture, Formal Description and Verification of an Invoicing System RR-3575, INRIA. 1998
	inria-00073516v1 Rapport Mihaela Sighireanu, Radu Mateescu. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS [Research Report] RR-3172, INRIA. 1997
	inria-00073430v1 Rapport Charles Pecheur. Specification and Verification of the Co4 Distributed Knowledge System Using LOTOS RR-3259, INRIA. 1997
	hal-00773168v1 Rapport Nicolas Balacheff, Béatrice Buccio, Patrick Chapuis, Jacky Coutin, Joëlle Coutaz et al. The First Four Years (2007-2010) and Beyond - Volume 1: Research Program and Activity Report 2011
	hal-01326499v1 Communication dans un congrès Frédéric Aman, Véronique Aubergé, Michel Vacher. Robustesse de la RAP à la parole expressive âgée vs. typique : contexte de commandes dans un habitat intelligent JEP-TALN-RECITAL 2016, Atelier TALPA, Jul 2016, Paris, France. pp.10-12, 2016
	inria-00180739v1 Rapport Pierre Dangauthier. Distribution de maximum d'entropie de moyenne contrainte [Rapport de recherche] 2007
	hal-00980580v1 Rapport Venmugil Elango, Fabrice Rastello, Louis-Noël Pouchet, J. Ramanujam, P. Sadayappan. On Characterizing the Data Movement Complexity of Computational DAGs for Parallel Execution [Research Report] RR-8522, INRIA. 2014, pp.27
	inria-00077205v1 Rapport Gregor Gössler, Joseph Sifakis. Priority Systems [Research Report] RR-5226, INRIA. 2004
	inria-00181443v1 Communication dans un congrès Chiara Fulgenzi, Anne Spalanzani, Christian Laugier. Dynamic Obstacle Avoidance in uncertain environment combining PVOs and Occupancy Grid Proc. of the IEEE Int. Conf. on Robotics and Automation, Apr 2007, Rome, France. 2007
	inria-00181445v1 Article dans une revue Manuel Yguel, Olivier Aycard, Christian Laugier. Efficient GPU-based Construction of Occupancy Grids Using several Laser Range-finders International Journal Of Autonomous Vehicles, 2007, To Appear Spring
	inria-00077221v1 Rapport Pierre Bessière. Survey: Probabilistic Methodology and Techniques for Artefact Conception and Development [Research Report] RR-4730, INRIA. 2003
	inria-00181664v1 Communication dans un congrès Christopher Tay, Christian Laugier. Modelling Smooth Paths Using Gaussian Processes Proc. of the Int. Conf. on Field and Service Robotics, 2007, Chamonix, France. 2007
	inria-00181662v1 Communication dans un congrès David Partouche, Anne Spalanzani, Michel Pasquier. Intelligent Speed Adaptation Using a Self-Organizing Neuro-Fuzzy Controller Proc. of the IEEE Intelligent Vehicle Symp., 2007, Istanbul, Turkey. 2007
	hal-00829783v1 Chapitre d'ouvrage Ghada Ben Nejma, Philippe Roose, Marc Dalmau, Jérôme Gensel. Taldea : un outil d'aide à la création de communautés spontanées avec géolocalisation Hermès. SOLOMO, Social, localisation et mobilité coordonné par T. Delot et F. Sèdes, RSTI Série ISI, pp.39-58, 2013, ISI, 978-2-7462-4568-6
	tel-00356107v1 Thèse Jean-Jacques Dahan. La démarche de découverte expérimentalement médiée par Cabri-Géomètre en mathématiques: un essai de formalisation à partir de l'analyse de démarches de résolutions de problèmes de boîtes noires Autre [cs.OH]. Université Joseph-Fourier - Grenoble I, 2005. Français
	hal-00708947v1 Communication dans un congrès F. Brissaud, Joël Brunet, Corine Cauvet, Jean-Pierre Giraudin, M. Moreno et al. Modélisation orientée objet : bilan d'une expérience INFORSID, Jun 1991, France. pp.183-209, 1991
	hal-01254907v1 Communication dans un congrès Michelle Cheatham, Zlatan Dragisic, Jérôme Euzenat, Daniel Faria, Alfio Ferrara et al. Results of the Ontology Alignment Evaluation Initiative 2015 10th ISWC workshop on ontology matching (OM), Oct 2015, Bethlehem, United States. No commercial editor., pp.60-115, 2016
	tel-00809360v1 HDR Cyril Labbé. Le sens au coeur des systèmes d'information Informatique ubiquitaire. Université de Grenoble, 2010
	hal-01324224v1 Chapitre d'ouvrage Frédéric Aman, Véronique Aubergé, Michel Vacher. Influence of expressive speech on ASR performances: application to elderly assistance in smart home Sojka, Petr and Horak, Ales and Kopecek, Ivan and Pala, Karel. Text, Speech, and Dialogue: 19th International Conference, TSD 2016, Brno Czech Republic, September 12-16, 2016, Proceedings, Springer International Publishing, pp.522--530, 2016, 978-3-319-45510-5. <10.1007/978-3-319-45510-5_60>
	hal-00747347v1 Chapitre d'ouvrage Said Assar, Corine Cauvet, Agnès Front, Charlotte Hug, Jolita Ralyte. Les méthodes adaptables Lopisteguy Philippe, Rieu Dominique, Roose Philippe. L'adaptation dans tous ses états, Cépaduès, pp.203-225, 2012, 9782364930292
	hal-00696168v1 Communication dans un congrès Fadi Khalil, Carlos Jaime Barrios-Hernandez, Hervé Aubert, Yves Denneulin, Fabio Coccetti et al. Simulations Electromagnétiques Distribuées sur une Grille de Calcul Journées Nationales Microondes - JNM 2009, May 2009, Grenoble, France. 2009
	hal-00695265v1 Communication dans un congrès Jeremt Philippe, Sylvain Sicard, Christophe Taton. Component-based autonomic management system Ecoop 2006 : 5th Fractal Workshop, Jul 2006, Nantes, France. 2006
	hal-00697358v1 Communication dans un congrès Fabrice Dupros, Alexandre Carissimi, Jean-François Méhaut. Desempenho de operacoes de checkpoint/restart em aplicacoes MPI VII Workshop on Workshop em Sistemas Computacionais de Alto Desempenho (WSCAD), Oct 2006, Ouro Preto, Brazil. 2006
	hal-00697480v1 Communication dans un congrès Jean Arnaud, Sara Bouchenak. Gestion de ressources dans les services Internet RenPar'18, CFSE'6, Feb 2008, Fribourg, Suisse. 2008
	hal-00691559v1 Communication dans un congrès Fabrice Dupros, Faïza Boulahya, Jacques Vairon, Pierre Lombard, Nicolas Capit et al. IGGI, A computing Framework for large Scale Parametric Simulations, Application to uncertainty analysis with TOUGHREACT TOUGH Symposium 2006, Lawrence Berkeley National Laboratory, May 2006, Berkeley, United States. 2006
	hal-00691997v1 Communication dans un congrès Xavier Besseron, Thierry Gautier. Optimised recovery with a coordinated checkpoint/rollback protocol for domain decomposition applications Springer. MCO 2008 : Second International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences, Sep 2008, Metz, France. Springer, 14, pp.497-506, 2008, Communications in Computer and Information Science. <10.1007/978-3-540-87477-5_53>
	1 2 3 4 5 6 7 8 9 10	Pertinence Auteur A→Z Auteur Z→A Titre A→Z Titre 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 résultats par page 50 résultats par page 100 résultats par page Pour les 283 documents Exporter XML-TEI BibTeX EndNote CSV PDF Export avancé... Syndication RSS ATOM

Type de document

Auteur

Discipline

Structure

Collection

Langue

Type de dépôt

Année

Contact