• Filtres
• Structure/laboratoire : Nom  ×
• Tous  ×

107 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 4	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 107 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM
	tel-01555591v1  HDR Maks Ovsjanikov. Functional View of Geometry Processing: Operator-based Techniques for Shape Analysis Computer Vision and Pattern Recognition [cs.CV]. Université Paris-Sud Orsay, 2017
	tel-01515698v1  Thèse Jiaxiang Liu. Confluence properties of rewrite rules by decreasing diagrams Computation and Language [cs.CL]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLX044 >
	tel-01511408v1  Thèse Gustavo Dias da Silva. Symmetries and Distances : two intriguing challenges in Mathematical Programming Modeling and Simulation. Université Paris-Saclay, 2017. English. < NNT : 2017SACLX008 >
	tel-01495634v1  Thèse Pierre Karpman. Analyse de primitives symétriques Cryptographie et sécurité [cs.CR]. Université Paris-Saclay, 2016. Français. < NNT : 2016SACLX095 >
	tel-01413970v2  Thèse Yamil Salim Perchy. Opinions, Lies and Knowledge. An Algebraic Approach to Mobility of Information and Processes Logic in Computer Science [cs.LO]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLX059 >
	tel-01481912v1  Thèse Khac Ky Vu. Random projection for high-dimensional optimization Optimization and Control [math.OC]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLX031 >
	tel-01474538v1  Thèse Youcef Sahraoui. Short-term hydropower production scheduling : feasibility and modeling Operations Research [cs.RO]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLX025 >
	tel-01449287v1  Thèse Damián Bursztyn. Efficient Big Data query answering in the presence of constraints Databases [cs.DB]. Université Paris-Saclay, 2016. English. < NNT : 2016SACLS567 >
	tel-01397773v1  Thèse Sameh Mohamed. Une méthode topologique pour la recherche d'ensembles invariants de systèmes continus et à communtation Autre [cs.OH]. Université Paris-Saclay, 2016. Français. < NNT : 2016SACLN043 >
	tel-01384363v1  Thèse Lili Xu. Formal Verification of Differential Privacy in Concurrent Systems Cryptography and Security [cs.CR]. Ecole Polytechnique (Palaiseau, France), 2015. English
	tel-01223284v2  Thèse Amaury Pouly. Continuous models of computation: from computability to complexity Computational Complexity [cs.CC]. Ecole Doctorale Polytechnique; Universidad do Algarve, 2015. English
	tel-01294142v1  Thèse D Iakovishina. Detection of structural variants in cancer genomes using a Bayesian approach. You will find below the abstract of my PhD thesis Computer Science [cs]. Ecole Polytechnique, 2015. English
	tel-01274140v1  Thèse Xavier Koegler. Population protocols, games, and large populations Networking and Internet Architecture [cs.NI]. Paris Diderot Unviersity, 2012. English
	tel-01245134v1  Thèse Fragkiskos Malliaros. Mining Social and Information Networks: Dynamics and Applications Computer Science [cs]. Ecole Doctorale de l'Ecole Polytechnique, 2015. English
	tel-01243295v1  Thèse Marco Stronati. Designing Location Privacy Mechanisms for flexibility over time and space Cryptography and Security [cs.CR]. Ecole Polytechnique, 2015. English
	tel-01206016v1  Thèse Abraham Cherfi. Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses Computer Science [cs]. Ecole Doctorale Polytechnique, 2015. English
	tel-01197380v1  Thèse Bruno Bernardo. Un Calcul des Constructions implicite avec sommes dépendantes et à inférence de type décidable. Langage de programmation [cs.PL]. École polytechnique, 2015. Français
	tel-01136261v1  HDR Julie Bernauer. Geometric and statistical methods for the analysis and prediction of structural interactions between biomolecules Bioinformatics [q-bio.QM]. Université Paris-Sud XI, 2015
	tel-01119730v2  Thèse Tatiana Prosvirnova. AltaRica 3.0: a Model-Based approach for Safety Analyses Computational Engineering, Finance, and Science [cs.CE]. Ecole Polytechnique, 2014. English
	tel-01111979v1  Thèse Luis Fernando Pino Duque. Efficient Verification and New Reasoning Techniques for Concurrent Constraint Programming Data Structures and Algorithms [cs.DS]. Ecole Polytechnique, 2014. English
	tel-01110825v1  Thèse Thomas Friedlhuber. Model Engineering in a Modular PSA Computer Science [cs]. LIX, Ecole polytechnique; EDF R&D, 2014. English
	tel-01099657v1  Thèse Alexis Bernadet. Types intersections non-idempotents pour raffiner la normalisation forte avec des informations quantitatives Langage de programmation [cs.PL]. Ecole Doctorale Polytechnique, 2014. Français
	tel-01098088v1  Thèse Nicolás E. Bordenabe. Mesurer la confidentialité avec des métriques de discernabilité: définitions, mécanismes et confidentialité des informations liées à la localisation Cryptographie et sécurité [cs.CR]. École Polytechnique, 2014. Français
	tel-01094980v1  HDR Stéphane Graham-Lengrand. Polarities & Focussing: a journey from Realisability to Automated Reasoning Logic in Computer Science [cs.LO]. Paris-Sud XI, 2014
	tel-01084964v1  Thèse Collet Gwendal. Enumeration and analysis of models of planar maps via the bijective method Combinatorics [math.CO]. École Polytechnique, 2014. English
	pastel-01061470v1  Thèse Thomas Nowak. Transient Behavior of Distributed Algorithms and Digital Circuit Models Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole Polytechnique X, 2014. English
	pastel-00827107v2  Thèse Boris Golden. A unified formalism for complex systems architecture Modeling and Simulation. Ecole Polytechnique X, 2013. English
	pastel-00929908v1  Thèse Nicolas Guenot. Nested Deduction in Logical Foundations for Computation Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
	pastel-00961344v1  Thèse Mahfuza Farooque. Automated Reasoning Techniques as Proof-search in Sequent Calculus Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
	pastel-00959615v1  Thèse Christos Giatsidis. GRAPH MINING AND COMMUNITY EVALUATION WITH DEGENERACY Web. Ecole Polytechnique X, 2013. English
	1 2 3 4	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 107 documents  Exporter XML-TEI BibTeX EndNote CSV PDF  Export avancé...  Syndication RSS ATOM