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

	1 2 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-01636963v2 Reports Sylvain Lefebvre. Visualizing and Fabricating Complex Internal Structures [Technical Report] RT-0493, Inria Nancy - Grand Est. 2017, pp.15
	hal-01534567v1 Reports Ivan Gazeau, Tom Chothia, Dominic Duggan. Types for Location and Data Security in Cloud Environments [Research Report] Inria Nancy - Grand Est (Villers-lès-Nancy, France); University of Birmingham; Stevens Institute of Technology. 2017
	hal-01592177v1 Preprints, Working Papers, ... Matthias Horbach, Marco Voigt, Christoph Weidenbach. The Universal Fragment of Presburger Arithmetic with Unary Uninterpreted Predicates is Undecidable 2017
	hal-01383263v1 Book sections Jon Barker, Ricard Marxer, Emmanuel Vincent, Shinji Watanabe. The CHiME challenges: Robust speech recognition in everyday environments New era for robust speech recognition - Exploiting deep learning, Springer, pp.327-344, 2017
	hal-01533694v1 Reports David Baelde, Stéphanie Delaune, Ivan Gazeau, Steve Kremer. Symbolic verification of privacy-type properties for security protocols with XOR (extended version) [Research Report] Inria Nancy - Grand Est. 2017, pp.29
	hal-02062459v1 Book sections Simon Cruanes. Superposition with Structural Induction Clare Dixon; Marcelo Finger. Frontiers of Combining Systems, Springer, pp.172-188, 2017, 11th International Symposium on Frontiers of Combining Systems - FroCoS 2017, Brasília, Brazil, September 27-29, 2017, Proceedings, 978-3-319-66166-7. ⟨10.1007/978-3-319-66167-4_10⟩
	hal-01576379v1 Preprints, Working Papers, ... Pierrick Gaudry. Some ZK security proofs for Belenios 2017
	hal-01526841v1 Reports Haniel Barbosa, Jasmin Blanchette, Pascal Fontaine. Scalable Fine-Grained Proofs for Formula Processing [Research Report] Universite de Lorraine, CNRS, Inria, LORIA, Nancy, France; Universidade Federal do Rio Grande do Norte, Natal, Brazil; Vrije Universiteit Amsterdam, Amsterdam, The Netherlands; Max-Planck-Institut für Informatik, Saarbrücken, Germany. 2017, pp.25
	hal-01518920v1 Preprints, Working Papers, ... Margaux Duroeulx, Nicolae Brinzei, Marie Duflot, Stephan Merz. Satisfiability techniques for computing minimal tie sets in reliability assessment 2017
	hal-01529966v1 Reports Véronique Cortier, Antoine Dallon, Stéphanie Delaune. SAT-Equiv: an efficient tool for equivalence properties [Research Report] LSV, ENS Cachan, CNRS, INRIA, Université Paris-Saclay, Cachan (France); IRISA, Inria Rennes; LORIA - Université de Lorraine; CNRS. 2017
	hal-01632344v1 Reports Rémi Imbach, Guillaume Moroz, Marc Pouget. Reliable location with respect to the projection of a smooth space curve [Research Report] INRIA. 2017
	hal-01511285v1 Preprints, Working Papers, ... Pierre Neyron, Bruno Bzeznik, Lucas Nussbaum. Propositions pour l'architecture pour un cluster mutualisé entre CIMENT et Grid'5000 2017
	hal-01666110v1 Book sections Dorin Maxim, Liliana Cucu-Grosjean, Robert Davis. Probabilistic schedulability analysis Arvind Easwaran. Handbook on Real-Time Computing, Springer, In press, Handbook on Real-Time Computing
	hal-01660045v1 Reports Daniel Le Métayer, Sourya Joyee De. Privacy Risk Analysis to Enable Informed Privacy Settings [Research Report] RR-9125, Inria - Research Centre Grenoble – Rhône-Alpes. 2017, pp.1-24
	hal-01558202v1 Preprints, Working Papers, ... Guillaume Rosinosky, Samir Youcef, François Charoy. Optimisation of business process tenant distribution in the Cloud with a genetic algorithm 2017
	hal-01620341v1 Book sections Slim Essid, Sanjeel Parekh, Ngoc Duong, Romain Serizel, Alexey Ozerov et al. Multiview approaches to event detection and scene analysis Tuomas Virtanen; Mark D. Plumbley; Dan Ellis. Computational Analysis of Sound Scenes and Events, Springer, pp.243-276, 2017, 978-3319634494. ⟨10.1007/978-3-319-63450-0_9⟩
	hal-01670465v1 Book sections Jean Lieber. Le raisonnement par analogie en informatique : le cas du raisonnement à partir de cas Sophie A. de Beaune; Liliane Hilaire-Pérez; Koen Vermeir. L'analogie dans les techniques, CNRS éditions, pp.83-98, 2017, 978-2-271-08241-1
	hal-01673437v1 Book sections Amedeo Napoli, Alexandre Termier. La fouille de données Mokrane Bouzeghoub; Rémy Mosseri. Les Big Data à découvert, CNRS Editions, pp.1-3, 2017, 978-2-271-11464-8
	hal-01570330v3 Reports Samuel Hornus, Sylvain Lefebvre. Iterative carving for self-supporting 3D printed cavities [Research Report] RR-9083, Inria Nancy - Grand Est. 2017, pp.19
	hal-00992104v3 Preprints, Working Papers, ... Martin Loebl, Jean-Sébastien Sereni. Isomorphism of Weighted Trees and Stanley's Conjecture for Caterpillars 2017
	hal-01568179v1 Reports Sylvain Gaborit, Laurent Bougrain, Sébastien Rimbert. Interfaces cerveau-ordinateur pour la reeducation post-AVC : apport d'un environnement de stimulation affordant. [Travaux universitaires] INRIA Nancy, Neurosys; LORIA - Université de Lorraine; Mines de Nancy. 2017
	hal-01551603v1 Preprints, Working Papers, ... Nicolas Ray, Dmitry Sokolov, Maxence Reberol, Franck Ledoux, Bruno Lévy. Hexahedral Meshing: Mind the Gap! 2017
	hal-01507625v1 Reports Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous et al. Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines [Research Report] RR-9052, Inria. 2017
	hal-01528603v1 Reports Stéphanie Delaune, Steve Kremer, Ludovic Robin. Formal verification of protocols based on short authenticated strings (extended version) [Research Report] Inria Nancy - Grand Est. 2017
	hal-01558552v5 Preprints, Working Papers, ... Blot Elliott, Jannik Dreier, Pascal Lafourcade. Formal Analysis of Combinations of Secure Protocols 2017
	hal-01630907v1 Book sections Richard Brent, Alexander Kruppa, Paul Zimmermann. FFT extension for algebraic-group factorization algorithms Joppe W. Bos; Arjen K. Lenstra. Topics in Computational Number Theory Inspired by Peter L. Montgomery, Cambridge University Press, pp.189-205, 2017, 978-1-107-10935-3
	inria-00623762v3 Reports Luca Castelli Aleardi, Olivier Devillers. Explicit array-based compact data structures for triangulations: practical solutions with theoretical guarantees [Research Report] RR-7736, INRIA. 2017, pp.39
	hal-01668633v1 Preprints, Working Papers, ... Ross J. Kang, François Pirot. Distance colouring without one cycle length 2017
	hal-01568030v1 Reports Olivier Devillers, Marc Glisse. Delaunay triangulation of a random sample of a good sample has linear size [Research Report] RR-9082, Inria Saclay Ile de France; Inria Nancy - Grand Est. 2017, pp.6
	hal-01673170v1 Preprints, Working Papers, ... Jean-Daniel Boissonnat, Olivier Devillers, Kunal Dutta, Marc Glisse. Delaunay triangulation of a random sample of a good sample has linear size 2017
	1 2 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