Skip to Main content Skip to Navigation
Help


...
tel-01252289v1  Habilitation à diriger des recherches
Jean-Baptiste Mouret. Evolutionary Adaptation in Natural and Artificial Systems
Artificial Intelligence [cs.AI]. Université Pierre et Marie Curie, 2015
...
tel-01255818v1  Habilitation à diriger des recherches
Gerson Sunyé. A Model-Based Approach for Testing Large Scale Systems
Software Engineering [cs.SE]. Université de Nantes, 2015
...
tel-01253426v1  Habilitation à diriger des recherches
Sylvain Salvati. Lambda-calculus and formal language theory
Computer Science [cs]. Université de Bordeaux, 2015
...
tel-01254965v1  Habilitation à diriger des recherches
Slawomir Staworko. Symbolic Inference Methods for Databases
Databases [cs.DB]. Université de Lille, 2015
...
tel-01258527v2  Habilitation à diriger des recherches
Gang Zheng. Observability Analysis and Observer Design for Complex Dynamical Systems
Automatic Control Engineering. Universite Lille 1, 2015
...
tel-01342243v1  Habilitation à diriger des recherches
Valérie Viet Triem Tong. Apport du suivi de flux d'information pour la sécurité des systèmes
Cryptographie et sécurité [cs.CR]. Université Rennes 1, 2015
...
tel-01158462v2  Habilitation à diriger des recherches
Gilles Fedak. Contributions to Desktop Grid Computing
Calcul parallèle, distribué et partagé [cs.DC]. Ecole Normale Supérieure de Lyon, 2015
...
tel-01264021v1  Habilitation à diriger des recherches
Dumitru Potop-Butucaru. Real-Time Systems Compilation
Embedded Systems. EDITE, 2015
...
tel-01254956v1  Habilitation à diriger des recherches
Mathieu Desroches. Complex oscillations with multiple timescales - Application to neuronal dynamics
Dynamical Systems [math.DS]. Universite Pierre et Marie Curie, 2015
...
tel-01217488v1  Habilitation à diriger des recherches
Patrick Maillé. Insights from economic studies of telecommunication networks
Multimedia [cs.MM]. Télécom Bretagne; Université de Rennes 1, 2015
...
tel-02151157v1  Habilitation à diriger des recherches
Benoît Libert. Applications of Structure-Preserving Cryptography and Pairing-Based NIZK Proofs
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Lyon, 2015
...
tel-01136261v1  Habilitation à diriger des recherches
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-02465188v1  Habilitation à diriger des recherches
Gwendal Simon. Massive Interactive Multimedia Services over the Internet
Multimedia [cs.MM]. IMT Atlantique, 2015
...
tel-01235080v1  Habilitation à diriger des recherches
Bertrand Michel. A Statistical Approach to Topological Data Analysis
Statistics [math.ST]. UPMC Université Paris VI, 2015
...
tel-01241522v1  Habilitation à diriger des recherches
Sébastien Monnet. Contributions à la réplication de données dans les systèmes distribués à grande échelle
Algorithme et structure de données [cs.DS]. UPMC Université Paris VI, 2015
...
tel-01242861v1  Habilitation à diriger des recherches
Benedikt Bollig. Automata and Logics for Concurrent Systems: Realizability and Verification
Formal Languages and Automata Theory [cs.FL]. ENS Cachan, 2015
...
tel-01247250v1  Habilitation à diriger des recherches
Adrien Bousseau. Depicting shape, materials and lighting: observation, formulation and implementation of artistic principles
Computer Science [cs]. Universite Nice Sophia Antipolis, 2015
...
tel-01238702v1  Habilitation à diriger des recherches
Antoine Rousseau. Modélisation mathématique et numérique de quelques problèmes issus des sciences de l’environnement
Modélisation et simulation. Université de Montpellier, 2015
...
tel-01245112v1  Habilitation à diriger des recherches
Isabelle Herlin. Images et Dynamique
Modélisation et simulation. Université Paris 6, 2015
...
hal-01182797v1  Habilitation à diriger des recherches
Alexis Joly. Large-scale Content-based Visual Information Retrieval
Computer Science [cs]. Université de Montpellier, 2015
...
tel-01374729v1  Habilitation à diriger des recherches
Jérémie Mary. Data-Driven Recommender Systems
Artificial Intelligence [cs.AI]. Université de Lille 3, 2015
...
tel-01677855v1  Habilitation à diriger des recherches
Dominique Heitz. De fils en images l’apport des modèles pour mesurer et reconstruire le mouvement des écoulements turbulents
Mécanique des fluides [physics.class-ph]. Université de Rennes 1, France, 2015
...
tel-01357054v1  Habilitation à diriger des recherches
Rémi Douence. Composition non modulaire modulaire
Génie logiciel [cs.SE]. Université de Nantes, Faculté des sciences et des techniques., 2015
...
tel-01196699v1  Habilitation à diriger des recherches
Anne Spalanzani. Contribution à la navigation autonome en environnement dynamique et humain
Robotique [cs.RO]. MSTII, 2015
...
tel-01247932v1  Habilitation à diriger des recherches
Arnaud Legrand. Scheduling for Large Scale Distributed Computing Systems: Approaches and Performance Evaluation Issues
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Grenoble Alpes, 2015