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

	1 2 3 4 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
	hal-00184425v1 Journal articles Slim Ouni, Michael Cohen, Hope Ishak, Dominic Massaro. Visual Contribution to Speech Perception: Measuring the Intelligibility of Animated Talking Heads EURASIP Journal on Audio, Speech, and Music Processing, SpringerOpen, 2007, 2007, pp.ID 47891. ⟨10.1155/2007/47891⟩
	inria-00181761v1 Journal articles Yohan Boichut, Pierre-Cyrille Heam, Olga Kouchnarenko. Vérifier automatiquement les protocoles de sécurité Techniques de l'Ingenieur, Techniques de l'ingénieur, 2007, pp.1-9
	inria-00097383v1 Journal articles Damian Barsotti, Leonor Prensa Nieto, Alwen Tiu. Verification of Clock Synchronization Algorithms: Experiments on a combination of deductive tools Formal Aspects of Computing, Springer Verlag, 2007, 19 (3), pp.321-341. ⟨10.1007/s00165-007-0027-6⟩
	hal-00203093v1 Journal articles Yann Guermeur. VC theory of large margin multi-category classifiers Journal of Machine Learning Research, Microtome Publishing, 2007, 8, pp.2551-2594
	inria-00188597v1 Journal articles Irina G. Tikhonova, Esther Marco, Elodie Lahlou-Archer, Ingrid Langer, Magali Foucaud et al. Validated ligand binding sites in CCK receptors. Next step: computer-aided design of novel CCK ligands Current Topics in Medicinal Chemistry, Bentham Science Publishers, 2007, 7 (12), pp.1243-1247
	inria-00110628v1 Journal articles Michael Aron, Gilles Simon, Marie-Odile Berger. Use of Inertial Sensors to Support Video Tracking Computer Animation and Virtual Worlds, Wiley, 2007, 18, pp.57-68. ⟨10.1002/cav.161⟩
	inria-00178271v1 Journal articles Jacques Lonchamp. Towards a Web Platform for Collaborative Learning Practice, Evaluation and Dissemination Journal of Computers (JCP), Academy Publisher, 2007, 2 (5), pp.1-8
	hal-00185477v1 Journal articles Gerd Finke, Ammar Oulamara. Total completion time in a two-machine flowshop with deteriorating tasks Journal of Mathematical Modelling and Algorithms, Springer Verlag, 2007, 6 (4), pp.563-576. ⟨10.1007/s10852-007-9057-6⟩
	hal-00579823v2 Journal articles Olivier Bodini, Damien Jamet. Tiling a Pyramidal Polycube with Dominoes Discrete Mathematics and Theoretical Computer Science, DMTCS, 2007, 9 (2), pp.241-254
	inria-00170992v1 Journal articles David Hewson, Jacques Duchene, François Charpillet, Jamal Saboune, Valérie Michel-Pellegrino et al. The PARAChute Project: Remote Monitoring of Posture and Gait for Fall Prevention EURASIP Journal on Advances in Signal Processing, SpringerOpen, 2007, Special Issue : Signal Processing Technologies for Ambient Intelligence in Home-Care Applications, 2007 (ID : 27421), 15 p. ⟨10.1155/2007/27421⟩
	hal-00162171v1 Journal articles Amedeo Napoli, Florence Le Ber. The Galois lattice as a hierarchical structure for topological relations Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, pp.1-20. ⟨10.1007/s10472-007-9054-5⟩
	inria-00111240v1 Journal articles Denis Roegel. Sphères, grands cercles et parallèles Cahiers Gutenberg, Association GUTenberg, 2007, Avril 2007 (48), pp.7-22
	inria-00147824v1 Journal articles Dominique Méry, Stephan Merz. Specification and Refinement of Access Control Journal of Universal Computer Science, Springer, 2007, 13 (8), pp.1073-1093
	inria-00186512v1 Journal articles Zouhour Neji Ben Salem, Laurent Bougrain, Frédéric Alexandre. Spatio-temporal biologically inspired models for clean and noisy speech recognition Neurocomputing, Elsevier, 2007, 71 (1-3), pp.131--136. ⟨10.1016/j.neucom.2007.08.009⟩
	inria-00172340v1 Journal articles David Meignan, Olivier Simonin, Abderrafiaa Koukam. Simulation and Evaluation of Urban Bus Networks using a Multiagent Approach Simulation Modelling Practice and Theory, Elsevier, 2007, 15 (6), pp.659-671. ⟨10.1016/j.simpat.2007.02.005⟩
	inria-00187827v1 Journal articles Dominique Barth, Johanne Cohen, Alain Denise, Romain Rivière. Shuffling biological sequences with motif constraints. Journal of Discrete Algorithms, Elsevier, 2007, ⟨10.1016/j.jda.2007.06.001⟩
	inria-00188601v1 Journal articles Vincent Leroux, Bernard Maigret. Should structure-based virtual screening techniques be used more extensively in modern drug discovery ? Computers and Applied Chemistry, Peking Publishing House of Electronics Industry, 2007, 27, pp.1-10
	inria-00118983v1 Journal articles Olivier Buffet, Alain Dutech, François Charpillet. Shaping Multi-Agent Systems with Gradient Reinforcement Learning Autonomous Agents and Multi-Agent Systems, Springer Verlag, 2007, 15 (2), pp.197--220. ⟨10.1007/s10458-006-9010-5⟩
	inria-00097395v1 Journal articles Gilles Barthe, Leonor Prensa Nieto. Secure Information Flow for a Concurrent Language with Scheduling Journal of Computer Security, IOS Press, 2007, Formal Methods in Security Engineering Workshop (FMSE 04), 16 (6), pp.647 - 689
	inria-00188596v1 Journal articles Vincent Leroux, Nohad Gresh, Wang-Qing Liu, Christiane Garbay, Bernard Maigret. Role of water molecules for binding inhibitors in the SH2 domain of Grb2: a molecular dynamics study Journal of Molecular Structure: THEOCHEM, Elsevier, 2007, 806 (1-3), pp.51-66
	inria-00111243v1 Journal articles Denis Roegel. Review of ``Mathematical Illustrations: A Manual of Geometry and PostScript Notices of the American Mathematical Society, American Mathematical Society, 2007, 54 (1), pp.38-42
	inria-00119482v1 Journal articles Daniel Szer, François Charpillet, Shlomo Zilberstein. Résolution optimale de DEC-POMDPs par recherche heuristique Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, Lavoisier, 2007, Prise de décision séquentielle, 21 (1), pp. 107-128
	lirmm-00183376v1 Journal articles Marianne Huchard, Amine Mohamed Rouane Hacene, Cyril Roume, Petko Valtchev. Relational Concept Discovery in Structured Datasets Annals of Mathematics and Artificial Intelligence, Springer Verlag, 2007, 49 (1/4), pp.39-76. ⟨10.1007/s10472-007-9056-3⟩
	inria-00178352v1 Journal articles Véronique Cortier, Michaël Rusinowitch, Eugen Zalinescu. Relating two standard notions of secrecy Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2007, 3 (3, paper 2), pp.1-29. ⟨10.2168/LMCS-3(3:2)2007⟩
	inria-00509337v1 Journal articles Olivier Buffet. Reachability Analysis for Uncertain SSPs International Journal on Artificial Intelligence Tools, World Scientific Publishing, 2007, 16 (4), pp.725-749. ⟨10.1142/S0218213007003527⟩
	halshs-00373421v1 Journal articles Michael Baker, Jerry Andriessen, Kristine Lund, Marije van Amelsvoort, Matthieu Quignard. Rainbow: a framework for analyzing computer-mediated pedagogical debates. International Journal of Computer-Supported Collaborative Learning, Springer Verlag, 2007, 2 (2-3), pp.315-357. ⟨10.1007/s11412-007-9022-4⟩
	inria-00176620v1 Journal articles Stéphane Goria, Babajide Afolabi. Proposition d'une démarche de questionnements pour modéliser un Système d'Intelligence Economique International Journal of Information Sciences for Decision Making, University of South Toulon - Var, 2007, 31 (535), pp.1-12
	inria-00112065v1 Journal articles Eunyoung Kang, Stephan Merz. Predicate Diagrams for the Verification of Real-Time Systems Formal Aspects of Computing, Springer Verlag, 2007, 19 (3), pp.401-413. ⟨10.1007/s00165-007-0030-y⟩
	hal-01350341v1 Journal articles Thierry Viéville. Pourquoi ne pas confier au hasard ce qui est trop compliqué à estimer ? Interstices, INRIA, 2007
	inria-00102947v2 Journal articles Olivier Bournez, Manuel L. Campagnolo, Daniel S. Graça, Emmanuel Hainry. Polynomial differential equations compute all real computable functions on computable compact intervals Journal of Complexity, Elsevier, 2007, 23 (3), pp.317--335
	1 2 3 4 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

Type of deposit Minimize

Year Minimize