Skip to Main content Skip to Navigation


...
tel-00940100v1  Theses
Radhouane Fekih-Salem. Modèles Mathématiques pour la compétition et la coexistence des espèces microbiennes dans un chémostat
Systèmes dynamiques [math.DS]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français
...
tel-00937615v2  Theses
Thomas Cederborg. A Formal Approach to Social Learning: Exploring Language Acquisition Through Imitation
Interface homme-machine [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
pastel-00838322v1  Theses
Chantal Keller. A Matter of Trust: Skeptical Communication Between Coq and External Provers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00923305v1  Theses
Viet Hoa Nguyen. A model-based method to manage time properties in component based software systems
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
...
tel-00936845v1  Theses
Jean Peyhardi. A new generalized linear model (GLM) framework for analysing categorical data; application to plant structure and development.
Statistics [math.ST]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. English
...
pastel-00960808v1  Theses
Pierre Neron. A Quest for Exactness: Program Transformation for Reliable Real Numbers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-01750224v2  Theses
Faqing Yang. A Simulation Framework for the Validation of Event-B Specifications
Formal Languages and Automata Theory [cs.FL]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0158⟩
...
tel-00936989v1  Theses
Rached Abdelkhalek. Accélération matérielle pour l'imagerie sismique : modélisation, migration et interprétation
Algorithme et structure de données [cs.DS]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
tel-01749331v2  Theses
Utpala Musti. Acoustic-Visual Speech Synthesis by Bimodal Unit Selection
Machine Learning [cs.LG]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0003⟩
...
tel-00967943v1  Theses
Rim Romdhane. Activity Recognition and Uncertain Knowledge in Video Scenes Applied to Health Care Monitoring
Information Theory [cs.IT]. Université Nice Sophia Antipolis, 2013. English
...
tel-00940287v1  Theses
Wael Cherif. Adaptation de contexte basée sur la Qualité d'Expérience dans les réseaux Internet du Futur
Réseaux et télécommunications [cs.NI]. Université Rennes 1, 2013. Français
...
tel-00918017v1  Theses
Karen Miranda. Adaptive self-deployment algorithms for mobile wireless substitution networks
Networking and Internet Architecture [cs.NI]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
...
tel-00865840v1  Theses
Natalia Golenetskaya. Adresser les défis de passage à l'échelle en génomique comparée
Other [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2013. English. ⟨NNT : 2013BOR14840⟩
...
tel-00938396v2  Theses
Andrea Minelli. Aero-acoustic Shape Optimization of a Supersonic Business Jet
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2013. English
...
pastel-00866134v1  Theses
Alexander Zeh. Algebraic Soft- and Hard-Decision Decoding of Generalized Reed--Solomon and Cyclic Codes
Computational Complexity [cs.CC]. Ecole Polytechnique X, 2013. English
...
tel-00841704v1  Theses
Mathieu Djamai. Algorithmes Branch&Bound Pair-à-Pair pour Grilles de Calcul
Calcul parallèle, distribué et partagé [cs.DC]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00924743v1  Theses
Nicolas Estibals. Algorithmes et arithmétique pour l'implémentation de couplages cryptographiques
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français
...
tel-00925228v1  Theses
Razvan Barbulescu. Algorithms of discrete logarithm in finite fields
Cryptography and Security [cs.CR]. Université de Lorraine, 2013. English
...
tel-01308731v1  Theses
Jamila Ben Slimane. ALLOCATION CONJOINTE DES CANAUX DE FREQUENCE ET DES CRENEAUX DE TEMPS ET ROUTAGE AVEC QdS DANS LES RESEAUX DE CAPTEURS SANS FIL DENSES ET ETENDUS
Réseaux et télécommunications [cs.NI]. Université de lorraine; Ecole Supérieure des Communications de Tunis, 2013. Français
...
tel-00916049v1  Theses
Slah Chaabi. Analyse complexe et problèmes de Dirichlet dans le plan : équation de Weinstein et autres conductivités non-bornées
Equations aux dérivées partielles [math.AP]. Aix-Marseille Université, 2013. Français
...
tel-01750369v2  Theses
Joan Calvet. Analyse Dynamique de Logiciels Malveillants
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0083⟩
...
tel-00914214v2  Theses
Alexandre Carabias. Analyse et adaptation de maillage pour des schémas non-oscillatoires d'ordre élevé
Mathématiques générales [math.GM]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4128⟩
...
tel-00938744v1  Theses
Camille Baysse. Analyse et optimisation de la fiabilit'e d'un 'equipement opto-'electronique 'equip'e de HUMS
Probabilités [math.PR]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
tel-00986112v1  Theses
Camille Baysse. Analyse et optimisation de la fiabilité d'un équipement opto-électrique équipé de HUMS
Mathématiques générales [math.GM]. Université Sciences et Technologies - Bordeaux I, 2013. Français. ⟨NNT : 2013BOR14882⟩
...
tel-00904512v1  Theses
Mestapha Oumouni. Analyse numérique de méthodes performantes pour les EDP stochastiques modélisant l'écoulement et le transport en milieux poreux
Analyse numérique [math.NA]. Université Rennes 1; université Ibn Tofaïl de Kenitra, 2013. Français
...
tel-01011210v1  Theses
Aurore Junier. Analyses de performance et de stabilité des réseaux de télécommunication
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0066⟩
...
tel-00911498v1  Theses
Matthieu Solnon. Apprentissage statistique multi-tâches
Théorie [stat.TH]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00998248v1  Theses
Sana Cherif. Approche basée sur les modèles pour la conception des systèmes dynamiquement reconfigurables : de MARTE vers RecoMARTE
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00967109v1  Theses
Moustapha Diaby. Approche de Gestion du Revenu pour un Problème de Tarification pour le Transport Longue Distance de Marchandises
Recherche opérationnelle [cs.RO]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français