Skip to Main content Skip to Navigation
  1. Search


hal-01350203v1  Journal articles
Jean-Paul Delahaye. Du rêve à la réalité des preuves
Interstices, INRIA, 2012
hal-01350217v1  Journal articles
Bruno Salvy, Joanna Jongwane. À propos du calcul formel
Interstices, INRIA, 2010
hal-01350364v1  Journal articles
Jean-Paul Delahaye. Calculer dans un monde hyperbolique ?
Interstices, INRIA, 2007
hal-01350411v1  Journal articles
Thierry Viéville. Algorithmes, mode d’emploi
Interstices, INRIA, 2009
...
hal-01351970v2  Journal articles
Mohamadou Lamine Diouf, Sophie Pinchinat. Complexité de l'algorithme de l'opacité dans les systèmes Workflows centrés sur les documents
Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées, INRIA, 2016, Volume 25 - 2016 - Special issue CNRIA 2015
...
dumas-00725210v1  Master thesis
Matthieu Perrin. Algorithmes efficaces de recherche pour une machine chimique pair-à-pair
Calcul parallèle, distribué et partagé [cs.DC]. 2012
...
hal-02021070v1  Reports
Guillaume Aupy, Emmanuel Jeannot, Nicolas Vidal. Scheduling periodic I/O access with bi-colored chains: models and algorithms
[Research Report] RR-9255, Inria. 2019, pp.25
...
tel-00012046v1  Theses
Liliana Cucu. Ordonnancement non préemptif et condition d'ordonnançabilité pour systèmes embarqués à contraintes temps réel
Autre [cs.OH]. Université Paris Sud - Paris XI, 2004. Français
...
tel-00643513v1  Theses
Dorian Mazauric. Optimisation discrète dans les réseaux de télécommunication : reconfiguration du routage, routage efficace en énergie, ordonnancement de liens et placement de données
Algorithme et structure de données [cs.DS]. Université Nice Sophia Antipolis, 2011. Français
...
tel-00732919v1  Theses
Julio Araujo. Graph Coloring and Graph Convexity
Computational Complexity [cs.CC]. Université Nice Sophia Antipolis, 2012. English
halshs-00821521v1  Journal articles
Laurent Jégou, Jean-Philippe Deblonde. Vers une visualisation de la complexité de l'image cartographique
Cybergeo : Revue européenne de géographie / European journal of geography, UMR 8504 Géographie-cités, 2012, 34 p
...
tel-00832312v1  Theses
Monique Teillaud. Vers des algorithmes dynamiques randomisés en géométrie algorithmique
Géométrie algorithmique [cs.CG]. Université Paris Sud - Paris XI, 1991. Français
...
hal-02025469v2  Reports
Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant. Overlaying a hypergraph with a graph with bounded maximum degree
[Research Report] RR-9258, Inria Sophia Antipolis. 2019
...
tel-00003736v1  Theses
Philippe Aubry. Le traitement des variables régionalisées en écologie : apports de la géomatique et de la géostatistique
Ecologie, Environnement. Université Claude Bernard - Lyon I, 2000. Français
...
tel-00788467v1  Theses
Cédric Saule. Modèles combinatoires des structures d'ARN avec ou sans pseudonoeuds, application à la comparaison de structures.
Bio-informatique [q-bio.QM]. Université Paris Sud - Paris XI, 2011. Français
...
tel-00012133v1  Theses
Hélène Renard. Equilibrage de charge et redistribution de données sur plates-formes hétérogènes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2005. Français
hal-01350433v1  Journal articles
Rémi Coulom. Le jeu de go et la révolution de Monte Carlo
Interstices, INRIA, 2009
...
tel-03028074v1  Theses
Momar Sakho. Certain Query Answering on Hyperstreams
Computational Complexity [cs.CC]. Université de Lille; Inria, 2020. English
...
tel-01751160v2  Theses
Hugo Férée. Complexité d'ordre supérieur et analyse récursive
Complexité [cs.CC]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0173⟩
...
tel-01089130v1  Theses
Pierre Lairez. Périodes d'intégrales rationnelles : algorithmes et applications
Calcul formel [cs.SC]. École polytechnique, 2014. Français
...
tel-00656766v1  Habilitation à diriger des recherches
Guillaume Bonfante. Complexité implicite des calculs : interprétation de programmes
Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
...
tel-00607288v1  Habilitation à diriger des recherches
Ammar Oulamara. Contribution à l'étude des problèmes d'ordonnancement flowshop avec contraintes supplémentaires : Complexité et méthodes de résolution
Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2009
...
tel-00905137v1  Theses
Laurent Lyaudet. Graphes et hypergraphes : complexités algorithmique et algébrique
Complexité [cs.CC]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
...
hal-02796730v1  Conference papers
Frédéric Havet, Dorian Mazauric, Viet-Ha Nguyen, Rémi Watrigant. Overlaying a hypergraph with a graph with bounded maximum degree
ALGOTEL 2020 – 22èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Sep 2020, Lyon, France
...
ensl-00431714v1  Reports
Bruno Grenet. Difficulté du résultant et des grands déterminants
[Rapport de recherche] RRLIP2009-32, Laboratoire de l'Informatique du Parallélisme. 2009
...
tel-01355847v1  Theses
Paulin Fournier. Parameterized verification of networks of many identical processesVérification paramétrée de réseaux composés d'une multitude de processus identiques
Networking and Internet Architecture [cs.NI]. Université Rennes 1, 2015. English. ⟨NNT : 2015REN1S170⟩
...
tel-00403504v2  Theses
Florent Bouchez. Étude des problèmes de spilling et coalescing liés à l'allocation de registres en tant que deux phases distinctes
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. Français