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 HTML Advanced export... Syndicated feeds RSS ATOM
	hal-00990508v1 Conference papers Manel Tagorti, Bruno Scherrer. Vitesse de convergence et borne d'erreur pour l'algorithme LSTD($\lambda$) JFPDA - 9èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, May 2014, Liège, Belgique
	tel-00552247v1 Habilitation à diriger des recherches Jean-Charles Lamirel. Vers une approche systémique et multivues pour l'analyse de données et la recherche d'information : un nouveau paradigme Mathématiques [math]. Université Nancy II, 2010
	hal-03142063v1 Conference papers Thomas Sturm, Ashish Tiwari. Verification and synthesis using real quantifier elimination Proc. ISSAC 2011, Jun 2011, San Jose, United States. pp.329, ⟨10.1145/1993886.1993935⟩
	hal-02388349v1 Conference papers Luca de Feo, Simon Masson, Christophe Petit, Antonio Sanso. Verifiable Delay Functions from Supersingular Isogenies and Pairings Advances in Cryptology - ASIACRYPT 2019 - 25th International Conference on the Theory and Application of Cryptology and Information Security, Dec 2019, Kobe, Japan. pp.248-277, ⟨10.1007/978-3-030-34578-5_10⟩
	hal-02374286v1 Conference papers Deng Tang, Bimal Mandal, Subhamoy Maitra. Vectorial Boolean Functions with Very Low Differential-Linear Uniformity Using Maiorana-McFarland Type Construction INDOCRYPT 2019 - The 20th International Conference on Cryptology in India, Dec 2019, Hyderabad, India. ⟨10.1007/978-3-030-35423-7_17⟩
	hal-01422432v1 Journal articles Abderrahman Iggidr, Jair Koiller, Maria Lucia F. Penna, Gauthier Sallet, Moacyr Alvim Silva Silva et al. Vector borne diseases on an urban environment: the effects of heterogeneity and human circulation Ecological Complexity, Elsevier, 2017, 30, pp.76--90. ⟨10.1016/j.ecocom.2016.12.006⟩
	hal-02133840v2 Journal articles François Pirot, Jean-Sébastien Sereni, Riste Škrekovski. Variations on the Petersen colouring conjecture The Electronic Journal of Combinatorics, Open Journal Systems, 2020, 27 (1), ⟨10.37236/8515⟩
	hal-02289699v1 Book sections Damien Chablat, Guillaume Moroz, Fabrice Rouillier, Philippe Wenger. Using Maple to analyse parallel robots Jürgen Gerhard; Ilias Kotsireas. Maple in Mathematics Education and Research, Springer, Cham, pp.50-64, 2020, Maple in Mathematics Education and Research, 978-3-030-41257-9. ⟨10.1007/978-3-030-41258-6_4⟩
	hal-01653572v1 Journal articles Frédérique Bassino, Mathilde Bouvel, Valentin Féray, Lucas Gerin, Mickaël Maazoun et al. Universal limits of substitution-closed permutation classes Journal of the European Mathematical Society, European Mathematical Society, 2020, 22 (11), pp.3565-3639. ⟨10.4171/JEMS/993⟩
	hal-00989991v1 Reports Bruno Scherrer. Une étude comparative de quelques schémas d'approximation de type iterations sur les politiques [Rapport de recherche] 2014
	inria-00449022v1 Journal articles Laurent Bienvenu, Mathieu Hoyrup. Une brève introduction à la théorie effective de l'aléatoire Gazette des Mathématiciens, Société Mathématique de France, 2010, 123, pp.35-47
	hal-01862896v2 Conference papers Pierre Guillon, Emmanuel Jeandel, Jarkko Kari, Pascal Vanier. Undecidable word problem in subshift automorphism groups Computer Science in Russia 2019, Jul 2019, Novosibirsk, Russia
	hal-00996709v2 Journal articles Stéphane Bessy, Daniel Gonçalves, Jean-Sébastien Sereni. Two floor building needing eight colors Journal of Graph Algorithms and Applications, Brown University, 2015, 19 (1), pp.1--9
	hal-02998767v1 Journal articles Mathilde Bouvel, Valentin Feray, Michael Albert. Two first-order logics of permutations Journal of Combinatorial Theory, Series A, Elsevier, 2020, 171, pp.105-158. ⟨10.1016/j.jcta.2019.105158⟩
	hal-01236087v1 Reports Aurélie Muller-Gueudin, Marc Buee, Aurélie Deveau, Anne Gégout-Petit, Samuel Martin et al. Truffinet": Inférence de réseaux d'interactions microbiennes dans la truffe. Rapport scientique du PEPS Mirabelles 2014 [Rapport de recherche] IECL ; INRIA BIGS. 2015
	hal-00793271v1 Reports Dieter Rautenbach, Jean-Sébastien Sereni. Transversals of Longest Paths and Cycles [Research Report] Loria & Inria Grand Est. 2013
	hal-01187069v1 Preprints, Working Papers, ... Emmanuel Jeandel. Translation-like Actions and Aperiodic Subshifts on Groups 2015
	hal-03537989v1 Book sections Alain Gély, Miguel Couceiro, Amedeo Napoli. Towards Distributivity in FCA for Phylogenetic Data Rokia Missaoui, Leonard Kwuida, Talel Abdessalem. Complex Data Analysis with Formal Concept Analysis, Springer, In press, Complex Data Analysis with Formal Concept Analysis
	inria-00597067v1 Conference papers Karim Dahman, François Charoy, Claude Godart. Towards Consistency Management for a Business-Driven Development of SOA The 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC'11), Aug 2011, Helsinki, Finland
	hal-03047231v2 Preprints, Working Papers, ... Benedikt Kolbe. Towards a combinatorial algorithm for the enumeration of isotopy classes of symmetric cellular embeddings of graphs on hyperbolic surfaces 2020
	tel-03101708v1 Theses Seny Diatta. Topologie de courbes algébriques planes et projection de surfaces analytiques réelles. Mathématiques [math]. Université Assane Seck de Ziguinchor (UASZ), 2020. Français. ⟨NNT : 2020UASZ19M2⟩
	hal-01094786v1 Preprints, Working Papers, ... Can Baskent. *Topological Semantics for da Costa Paraconsistent Logics Cω and Cω** 2014
	hal-00134914v1 Preprints, Working Papers, ... Dmitry Sustretov. Topological Semantics and Decidability 2007
	hal-01919395v1 Conference papers Mathieu Hoyrup. Topological analysis of representations CiE 2018 - Fourteenth conference on Computability in Europe, Jul 2018, Kiel, Germany
	hal-01415997v1 Preprints, Working Papers, ... Mariia Fedotenkova, Peter Beim Graben, Jamie Sleigh, Axel Hutt. Time-Frequency Representations as Phase Space Reconstruction in Symbolic Recurrence Structure Analysis 2016
	hal-01343629v1 Conference papers Mariia Fedotenkova, Peter Beim Graben, Jamie Sleigh, Axel Hutt. Time-Frequency Representations as Phase Space Reconstruction in Recurrence Symbolic Analysis International work-conference on Time Series (ITISE), Jun 2016, Granada, Spain
	hal-03046798v1 Preprints, Working Papers, ... Benedikt Kolbe, Vanessa Robins. Tile-transitive tilings of the Euclidean and hyperbolic planes by ribbons 2020
	tel-00765982v2 Habilitation à diriger des recherches Emmanuel Thomé. Théorie algorithmique des nombres et applications à la cryptanalyse de primitives cryptographiques Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2012
	hal-00763646v1 Journal articles Jean-yves Marion, Thomas Schwentick. Theoretical Aspects of Computer Science Theory of Computing Systems, Springer Verlag, 2012, 51 (2), pp.123-124. ⟨10.1007/s00224-012-9401-8⟩
	hal-03702551v1 Preprints, Working Papers, ... Otfried Cheong, Xavier Goaoc, Andreas Holmsen. The Topology of the set of line Transversals 2022
	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 HTML Advanced export... Syndicated feeds RSS ATOM

Document types Minimize

Author Minimize

Subject field Minimize

Laboratory Minimize

Language Minimize

Type of deposit Minimize

Year Minimize

Designed by Inria-IES Team : Hosted by HAL :