Archive ouverte HAL

	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
	hal-00152860v1 Conference papers Cyril Banderier. Average queue length and area below lattice paths AofA'2006, Jul 2006, France
	hal-01503378v1 Reports Hervé Yviquel, Alexandre Sanchez, Raulet Mickaël, Emmanuel Casseau. Multicore Runtime for Dynamic Dataflow Video Decoders [Technical Report] IETR/INSA Rennes; IRISA, Inria Rennes. 2017
	tel-01006195v1 Habilitation à diriger des recherches Alexandre Termier. Pattern mining rock: more, faster, better Databases [cs.DB]. Université de Grenoble, 2013
	hal-00926573v3 Conference papers Stéphane Devismes, Anissa Lamani, Franck Petit, Sébastien Tixeuil. Optimal Torus Exploration by Oblivious Robots NETYS 2015 - Third International Conference on Networked Systems, May 2015, Agadir, Morocco. pp.183-199, ⟨10.1007/978-3-319-26850-7_13⟩
	inria-00143790v2 Reports Anh-Tuan Gai, Dmitry Lebedev, Fabien Mathieu, Fabien de Montgolfier, Julien Reynier et al. Acyclic Preference Systems in P2P Networks [Research Report] RR-6174, INRIA. 2007, pp.9
	hal-01500793v1 Conference papers Antoine Giret, Yannick Kergosien, Emmanuel Neron, Gaël Sauvanet. Multi-criteria tourist trip planning Verolog 2017, Jul 2017, Amsterdam, Netherlands
	hal-02001236v1 Conference papers Jingshu Liu, Emmanuel Morin, Sebastián Saldarriaga. Towards a unified framework for bilingual terminology extraction of single-word and multi-word terms 27th International Conference on Computational Linguistics (COLING), Aug 2018, Santa Fe, United States. pp.2855 - 2866
	hal-01500700v1 Preprints, Working Papers, ... Cristian Dumitrescu. An extension of Schoning's algorithm 2017
	hal-00008805v1 Conference papers Dominique Larchey-Wendling, Daniel Mery, Didier Galmiche. STRIP: Structural Sharing for Efficient Proof-search 2001, Siena, Italy, pp.696 - 700
	hal-00008806v1 Conference papers Dominique Larchey-Wendling. Counter-model search in Gödel-Dummett logics Second International Joint Conference on Automated Reasoning - IJCAR 2004, Jul 2004, Cork, Ireland. pp.274 -- 288, ⟨10.1007/978-3-540-25984-8_19⟩
	hal-00008808v1 Conference papers Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation Workshop on Disproving, IJCAR 2004, 2004, Ireland
	hal-00008810v1 Journal articles Dominique Larchey-Wendling. Gödel-Dummett counter-models through matrix computation Electronic Notes in Theoretical Computer Science, Elsevier, 2005, 125 (3), pp.12. ⟨10.1016/j.entcs.2004.07.022⟩
	hal-00008811v1 Conference papers Dominique Larchey-Wendling. Reference Counting for Linear Counter-Model Generation First APPSEM II Workshop, 2003, Nottingham, United Kingdom
	inria-00000232v1 Journal articles Frédéric Suter, Frédéric Desprez. Impact of mixed-parallelism on parallel implementations of the Strassen and Winograd matrix multiplication algorithms Concurrency and Computation: Practice and Experience, Wiley, 2004, 16 (8), pp.771-797. ⟨10.1002/cpe.791⟩
	hal-00008798v1 Conference papers Eddy Caron, Frédéric Desprez, Frédéric Suter. Out-of-Core and Pipeline Techniques for Wavefront Algorithms IEEE, 2005, Denver/ USA, pp.9b, ⟨10.1109/IPDPS.2005.318⟩
	hal-01500297v1 Conference papers Philippe Tigréat, Vincent Gripon, Pierre-Henri Horrein. Improved Willshaw Networks with Local Inhibition The Eighth International Conference on Advanced Cognitive Technologies and Applications, Mar 2016, Rome, Italy
	hal-01500116v1 Journal articles Cedric Chauve, Julien Courtiel, Yann Ponty. Counting, generating, analyzing and sampling tree alignments International Journal of Foundations of Computer Science, World Scientific Publishing, 2018, 29 (5), pp.741--767
	hal-02000156v1 Conference papers Nicolas Bloyet, Pierre-François Marteau, Emmanuel Frénod. Étude lexicographique de sous-graphes pour l’élaboration de modèles structures à activité – cas de la chimie organique Extraction et Gestion des Connaissances (EGC 2019), EGC, Jan 2019, Metz, France. pp.303-308
	hal-02000191v1 Conference papers Oussama Ahmia, Nicolas Béchet, Pierre-François Marteau, Alexandre Garel. Utilité d’un couplage entre Word2Vec et une analyse sémantique latente : expérimentation en catégorisation de données textuelles Extraction et Gestion des Connaissances (EGC 2019), Jan 2019, Metz, France. pp.129-140
	hal-01500581v1 Conference papers J. Guédon, Myriam Servières, S. Beaumont, Nicolas Normand. Medical software control quality using the 3D mojette projector 2004 2nd IEEE International Symposium on Biomedical Imaging: Macro to Nano, 2004, Arlington, United States. pp.836--839
	hal-01500584v1 Conference papers Jeanpierre Guédon, Stéphane Beaumont, Myriam Servières, Nicolas Normand. The 3d mojette projector applied to pet and radiotherapy imaging IEEE ISBI, 2004, Washington, Unknown Region. pp.836--839
	hal-00159125v1 Preprints, Working Papers, ... Patrick Cégielski, Irene Guessarian, Yuri Matiyasevich. Tree inclusion problems 2007
	hal-00160985v1 Journal articles Chloé Rispal, Olivier Carton. Complementation of Rational Sets on Countable Scattered Linear Orderings International Journal of Foundations of Computer Science, World Scientific Publishing, 2005, 16 (4), pp.767-786
	hal-01477981v2 Reports Guillaume Ducoffe. Finding cut-vertices in the square roots of a graph [Research Report] Université Côte d’Azur, Inria, CNRS, I3S, France. 2017
	hal-01511770v1 Conference papers Carine Grasset-Simon, Guillaume Damiand, Pascal Lienhardt. Pyramids of n-Dimensional Generalized Maps Graph-Based Representations in Pattern Recognition, Apr 2005, Poitiers, France. pp.142-152, ⟨10.1007/978-3-540-31988-7_13⟩
	hal-01619297v1 Conference papers Arthur Gatouillat, Youakim Badr, Bertrand Massot. QoS-Driven Self-Adaptation for Critical IoT-Based Systems Workshop on Adaptive Service-oriented and Cloud Applications (ASOCA), Nov 2017, Malaga, Spain. pp.93-105, ⟨10.1007/978-3-319-91764-1_8⟩
	hal-01511731v1 Conference papers Carine Grasset-Simon, Guillaume Damiand. Generalized Map Pyramid for Multi-level 3D Image Segmentation 13th International Conference on Discrete Geometry for Computer Imagery (DGCI 2006), Oct 2006, Szeged, Hungary. pp.530-541, ⟨10.1007/11907350_45⟩
	hal-01511756v1 Conference papers Carine Grasset-Simon, Guillaume Damiand, Pascal Lienhardt. Receptive Fields for Generalized Map Pyramids: The Notion of Generalized Orbit Discrete Geometry for Computer Imagery, Apr 2005, Poitiers, France. pp.56-67, ⟨10.1007/978-3-540-31965-8_6⟩
	hal-01619270v1 Conference papers Arthur Gatouillat, Youakim Badr. Verifiable and Resource-Aware Component Model for IoT Devices 9th International Conference on Management of Digital EcoSystems (MEDES), Nov 2017, Bangkok, Thailand. pp.235-242, ⟨10.1145/3167020.3167056⟩
	hal-01010364v1 Preprints, Working Papers, ... Alain Bretto, Yannick Silvestre, Thierry Vallée. Cartesian product of hypergraphs: properties and algorithms 2009
	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

Contact

Informations