• Filtres
• Structure : Identifiant HAL de la structure  ×
• Tous  ×

4044 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

 

	2 3 4 5 6 7 8 9 10 11	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 2000 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-00123104v1  HDR Olivier Bournez. Modèles Continus. Calculs. Algorithmique Distribuée. Autre [cs.OH]. Institut National Polytechnique de Lorraine - INPL, 2006
	tel-00527846v1  Thèse Benoit Lacroix. Normer pour mieux varier ? La différenciation comportementale par les normes, et son application au trafic dans les simulateurs de conduite Informatique [cs]. Université des Sciences et Technologie de Lille - Lille I, 2009. Français
	tel-00673326v1  Thèse Rodolphe Jenatton. Structured Sparsity-Inducing Norms : Statistical and Algorithmic Properties with Applications to Neuroimaging Machine Learning [cs.LG]. École normale supérieure de Cachan - ENS Cachan, 2011. English
	tel-01176641v1  Thèse Caterina Urban. Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs Computer Science [cs]. École Normale Supérieure, 2015. English
	tel-01427555v1  Thèse Camille Schreck. Déformation interactive de papier virtuel Synthèse d'image et réalité virtuelle [cs.GR]. Universite Grenoble Alpes, 2016. Français
	tel-00576950v1  Thèse Patrick Reuter. Reconstruction and Rendering of Implicit Surfaces from Large Unorganized Point Sets Human-Computer Interaction [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2003. English
	tel-00925154v1  HDR Laurent Lefèvre. Contributions à la flexibilité et à l'efficacité énergétique des systèmes distribués à grande échelle Calcul parallèle, distribué et partagé [cs.DC]. Ecole normale supérieure de lyon - ENS LYON, 2013
	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-00124083v1  Thèse Walid Gaaloul. La Découverte de Workflow Transactionnel pour la Fiabilisation des Exécutions Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2007. Français
	tel-00527367v1  Thèse Christelle Braun. Quantitative Approaches to Information Hiding Other [cs.OH]. Ecole Polytechnique X, 2010. English
	tel-01176440v1  Thèse Damien Dosimont. Agrégation spatiotemporelle pour la visualisation de traces d'exécution Performance et fiabilité [cs.PF]. Grenoble Université, 2015. Français
	tel-00773007v1  Thèse Jérôme Clet-Ortega. Exploitation efficace des architectures parallèles de type grappes de NUMA à l'aide de modèles hybrides de programmation Calcul parallèle, distribué et partagé [cs.DC]. Université Sciences et Technologies - Bordeaux I, 2012. Français
	tel-00925067v2  Thèse Natalia Lyubova. Developmental approach of perception for a humanoid robot Robotics [cs.RO]. Ecole Nationale Supérieure de Techniques Avancées - ENSTA, 2013. English
	tel-00178453v1  Thèse Leonor Palmeira. Analyse et modélisation des dépendances entre sites voisins dans l'évolution des séquences d'ADN Autre [q-bio.OT]. Université Claude Bernard - Lyon I, 2007. Français
	tel-00124471v1  Thèse Matthieu Defrance. Algorithmes pour l'analyse de régions régulatrices dans le génome d'eucaryotes supérieurs Autre [cs.OH]. Université des Sciences et Technologie de Lille - Lille I, 2006. Français
	tel-00724233v2  HDR Frédéric Blanqui. Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Logique [math.LO]. Université Paris-Diderot - Paris VII, 2012
	tel-00330524v1  Thèse Emmanuel Filiot. Logics for n-ary queries in trees. Modeling and Simulation. Université des Sciences et Technologie de Lille - Lille I, 2008. English
	tel-00124848v1  HDR Sébastien Tixeuil. Vers l'auto-stabilisation des systèmes à grande échelle Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2006
	tel-00124843v1  Thèse Sébastien Tixeuil. Auto-stabilisation Efficace Réseaux et télécommunications [cs.NI]. Université Paris Sud - Paris XI, 2000. Français
	tel-00178274v1  Thèse Marie Samozino. Voronoi Centered Radial Basis Functions Mathematics [math]. Université Nice Sophia Antipolis, 2007. English
	tel-00426852v1  Thèse Alexandre Gramfort. Mapping, timing and tracking cortical activations with MEG and EEG: Methods and application to human vision Modeling and Simulation. Ecole nationale supérieure des telecommunications - ENST, 2009. English
	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-00672699v1  Thèse Mathieu Boespflug. Conception d'un noyau de vérification de preuves pour le λΠ-calcul modulo Logique en informatique [cs.LO]. Ecole Polytechnique X, 2011. Français
	tel-00773295v1  Thèse R. Bardenet. Towards adaptive learning and inference - Applications to hyperparameter tuning and astroparticle physics Methodology [stat.ME]. Université Paris Sud - Paris XI, 2012. English
	tel-00376831v1  Thèse Mohamed Nassar. VoIP Networks Monitoring and Intrusion Detection Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy I, 2009. English
	tel-00926141v1  Thèse Paul Istoan. Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français
	tel-00578431v1  Thèse Álvaro Fialho. Adaptive Operator Selection for Optimization Computer Science [cs]. Université Paris Sud - Paris XI, 2010. English
	tel-00524584v1  Thèse Xavier Naturel. Structuration automatique de flux vidéos de télévision Interface homme-machine [cs.HC]. Université Rennes 1, 2007. Français
	tel-00436270v1  Thèse Humberto Abdelnur. Voice over IP Vulnerability Assessment Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy 1, 2009. English
	tel-00529664v1  Thèse Romaric Guillier. Methodologies and Tools for the Evaluation of Transport Protocols in the Context of High-Speed Networks Networking and Internet Architecture [cs.NI]. Ecole normale supérieure de lyon - ENS LYON, 2009. English. <NNT : ENSL537>
	2 3 4 5 6 7 8 9 10 11	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 2000 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM