• Filtres
• Structure : Identifiant HAL de la structure  ×
• Mots-clés  ×
• Tous  ×

61 résultats  enregistrer la recherche

 Rechercher

 Recherche avancée…  Recherche simple…

 

Champ de recherche par défaut (multicritères) 

• Champ de recherche par défaut (multicritères)
• Champ de recherche par défaut (multicritères) + texte intégral des PDF
• Titres
• Sous-titre
• Titre de l'ouvrage
• Résumé
• Texte intégral indexé des documents PDF
• Mots-clés
• Tous les identifiants du document
• Identifiant HAL du dépôt
• Langue du document (texte)
• Pays (Texte)
• Ville
• Auteur (multicritères)
• Auteur : Nom complet
• Auteur : Nom de famille
• Auteur : Prénom
• Auteur : Complément de nom, deuxième prénom
• Auteur : Organisme payeur
• Auteur : IdHal (chaîne de caractères)
• Auteur : Fonction
• Auteur : idHal numérique
• Auteur : Identifiant
• Auteur : Identifiant de l'organisme payeur
• Auteur : Identifiant de la structure
• Directeur de thèse
• Éditeur
• Éditeur scientifique
• Éditeur de la série
• Revues (multicritères)
• Revue : Éditeur
• Revue : Titre abrégé
• Revue : Titre
• Revue : Identifiant interne
• Revue : Date de début de publication
• Revue : ISSN électronique
• Revue : ISSN
• Revue : Éditeur
• Revue : Couleur dans SHERPA/RoMEO
• Revue : État dans le référentiel
• Colloque (multicritères)
• Colloque : Titre
• Colloque : Organisateur
• Colloque : date de début (Année)
• Colloque : date de fin (Année)
• Projets ANR (multicritères)
• Projet ANR : Acronyme
• Projet ANR : Acronyme de l'appel à projet
• Projet ANR : Nom de l'appel à projet
• Projet ANR : Référence
• Projet ANR : Nom
• Projet ANR : Identifiant interne
• Projet ANR : État dans le référentiel
• Projets européens (multicritères)
• Projet européen : Acronyme
• Projet européen : Identifiant de l'appel à projet
• Projet européen : Référence
• Projet européen : Nom
• Projet européen : Date de fin
• Projet européen : Financement
• Projet européen : Date de début
• Projet européen : État dans le référentiel
• Projet européen : Identifiant interne
• Structure (multicritères)
• Structure : Acronyme
• Structure : Nom
• Structure : Code
• Structure : Pays
• Structure : Type
• Structure : État dans le référentiel
• Structure : Identifiant HAL de la structure
• Date de publication : année
• Date de mise en ligne : année
• Date d'écriture : année
• Date de modification du dépôt : année
• Date de dépôt : année
• Date de publication électronique : année
• Collection HAL (multicritères)
• Collection HAL : catégorie
• Collection HAL : Code
• Collection HAL : Nom
• Collection HAL : Identifiant interne
• Identifiant interne du contributeur/déposant
• Nom complet du contributeur/déposant
• Domaines
• Domaine primaire
• Domaine racine
• Sous-domaine niveau 1
• Sous-domaine niveau 2
• Sous-domaine niveau 3
• Statut du document
• Version du document
• Type de dépôt
• Type de document
• ISBN
• Numéro - référence
• Identifiant DOI
• Classification
• Audience
• Vulgarisation
• Comité de lecture - texte (oui ou non)
• Actes de colloque
• Référence interne
• Financement
• Collaborations

 

	1 2 3	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 61 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00412139v1  Thèse David Ilcinkas. Complexité en espace de l'exploration de graphes Informatique [cs]. Université Paris Sud - Paris XI, 2006. Français
	tel-00424118v1  Thèse Veronika Rehn-Sonigo. Multi-criteria Mapping and Scheduling of Workflow Applications onto Heterogeneous Platforms Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2009. English
	tel-00123104v1  HDR Olivier Bournez. Modèles Continus. Calculs. Algorithmique Distribuée. Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006
	tel-00772590v1  HDR Lutz Straßburger. Towards a Theory of Proofs of Classical Logic Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2011
	tel-00577229v1  Thèse Benoît Gérard. Cryptanalyses statistiques des algorithmes de chiffrement à clef secrète. Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 2010. Français
	tel-00156762v1  Thèse Vincent Nesme. Complexité en requêtes et symétries Mathématiques [math]. Ecole normale supérieure de lyon - ENS LYON, 2007. Français
	tel-00909410v1  Thèse Paolo Parisen Toldin. ICC and Probabilistic Classes Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English
	tel-01089130v1  Thèse Pierre Lairez. Périodes d'intégrales rationnelles : algorithmes et applications Calcul formel [cs.SC]. École polytechnique, 2014. Français
	pastel-00000711v1  Thèse Cédric Tavernier. Testeurs, problemes de reconstruction univaries et multivaries, et application a la cryptanalyse du DES. Informatique [cs]. Ecole Polytechnique X, 2004. Français
	tel-00905137v1  Thèse 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
	tel-01152275v1  Thèse Dimitrios Milioris. Trend Detection and Information Propagation in Dynamic Social Networks Document and Text Processing. École Polytechnique, 2015. English
	tel-00788467v1  Thèse 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-00541664v1  Thèse Guillaume Hoffmann. Tâches de raisonnement en logiques hybrides Mathématiques [math]. Université Henri Poincaré - Nancy I, 2010. Français
	tel-00198150v1  Thèse Pierre Senellart. Understanding the Hidden Web Human-Computer Interaction [cs.HC]. Université Paris Sud - Paris XI, 2007. English
	tel-00839850v1  Thèse Emilien Ghomi. Designing expressive interaction techniques for novices inspired by expert activities : the case of musical practice Other [cs.OH]. Université Paris Sud - Paris XI, 2012. English. <NNT : 2012PA112400>
	tel-01099824v1  Thèse Pramod Udupa. Low Complexity, Parallel Algorithms, and Scalable Architectures for Real Time Coherent Optical OFDM Systems Signal and Image processing. Université de Rennes 1, 2014. English
	tel-00931796v1  Thèse Ruijing Hu. Epidemic dissemination algorithms in large-scale networks: comparison and adaption to topologies Modeling and Simulation. Université Pierre et Marie Curie - Paris VI, 2013. English
	tel-01098839v1  Thèse Hugo Férée. Complexité d'ordre supérieur et analyse récursive Complexité [cs.CC]. Université de Lorraine, 2014. Français
	tel-00321917v1  Thèse Romain Pechoux. Analyse de la complexité des programmes par interprétation sémantique Informatique [cs]. Institut National Polytechnique de Lorraine - INPL, 2007. Français
	tel-00656766v1  HDR Guillaume Bonfante. Complexité implicite des calculs : interprétation de programmes Complexité [cs.CC]. Institut National Polytechnique de Lorraine - INPL, 2011
	tel-00404147v2  HDR Anne Benoit. Scheduling Pipelined Applications: Models, Algorithms and Complexity Computer Science [cs]. Ecole normale supérieure de lyon - ENS LYON, 2009
	tel-00012133v1  Thèse 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
	tel-00403504v2  Thèse 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
	tel-00547829v1  Thèse Luis Peñaranda. Non-linear computational geometry for planar algebraic curves Other [cs.OH]. Université Nancy II, 2010. English
	pastel-00584350v1  Thèse Santiago Zanella-Béguelin. Formal certification of game-based cryptographic proofs Computer Science and Game Theory [cs.GT]. École Nationale Supérieure des Mines de Paris, 2010. English. <NNT : 2010ENMP0050>
	tel-01090624v1  Thèse Giulio Pellitta. Extending Implicit Computational Complexity and Abstract Machines to Languages with Control Programming Languages [cs.PL]. Università di Bologna, 2014. English
	tel-00657110v1  Thèse Vincent Herbert. Des codes correcteurs pour sécuriser l'information numérique Théorie de l'information [cs.IT]. Université Pierre et Marie Curie - Paris VI, 2011. Français
	tel-00357708v1  Thèse Boris Yakobowski. Graphical types and constraints - second-order polymorphism and inference Software Engineering [cs.SE]. Université Paris-Diderot - Paris VII, 2008. English
	tel-00744247v1  Thèse Paul Renaud-Goud. Energy-aware scheduling : complexity and algorithms Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2012. English. <NNT : 2012ENSL0727>
	tel-00547034v3  Thèse Luca De Feo. Fast Algorithms for Towers of Finite Fields and Isogenies Mathematics [math]. Ecole Polytechnique X, 2010. English
	1 2 3	Tri  Pertinence  Auteur A→Z  Auteur Z→A  Titre A→Z  Titre Z→A  Date de publication croissante  Date de publication décroissante  Date de dépôt croissante  Date de dépôt décroissante Nombre 30 résultats par page 50 résultats par page 100 résultats par page  Outils  Pour les 61 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM