Skip to Main content Skip to Navigation


...
tel-00712153v1  Theses
Nabil Mabrouk. Analyzing individual-based models of microbial systems
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Blaise Pascal - Clermont-Ferrand II, 2010. Français. ⟨NNT : 2010CLF22008⟩
...
tel-00849402v2  Theses
Amel Bennaceur. Dynamic Synthesis of Mediators in Ubiquitous Environments
Ubiquitous Computing. Université Pierre et Marie Curie - Paris VI, 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-00631382v1  Theses
Stanley Durrleman. Statistical models of currents for measuring the variability of anatomical curves, surfaces and their evolution
Human-Computer Interaction [cs.HC]. Université Nice Sophia Antipolis, 2010. English
...
tel-00861370v1  Theses
Antoine Boutet. Decentralizing news personalization systems
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S023⟩
...
tel-00836717v1  Theses
Imen Jemaa. Suivi de Formants par analyse en Multirésolution
Interface homme-machine [cs.HC]. Université de Lorraine; Faculté des Sciences de Tunis, 2013. Français
...
tel-00536926v1  Theses
Nada Abdallah. Raisonnements standard et non-standard pour les systèmes décentralisés de gestion de données et de connaissances
Interface homme-machine [cs.HC]. Université Paris Sud - Paris XI, 2010. Français
...
tel-00933645v1  Theses
Mathieu Leconte. Load-balancing and resource-provisioning in large distributed systems
Data Structures and Algorithms [cs.DS]. Telecom ParisTech, 2013. English
...
tel-00937524v1  Theses
Xiaomu Shi. Certification of an Instruction Set Simulator
Systèmes embarqués. Université de Grenoble, 2013. Français
...
tel-01746366v2  Theses
yanjun Li. Quality of service support for event detection in wireless sensor network
Networking and Internet Architecture [cs.NI]. Université Henri Poincaré - Nancy I, 2010. English. ⟨NNT : 2010NAN10064⟩
...
tel-00540179v1  Theses
Benjamin Depardon. Contribution au Déploiement d'un Intergiciel Distribué et Hiérarchique, Appliqué aux Simulations Cosmologiques
Modélisation et simulation. Ecole normale supérieure de lyon - ENS LYON, 2010. Français
...
tel-00940413v1  Theses
Sophia Knight. The Epistemic View of Concurrency Theory
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
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-00939420v1  Theses
Rosa Stern. Identification automatique d'entités pour l'enrichissement de contenus textuels
Informatique et langage [cs.CL]. Université Paris-Diderot - Paris VII, 2013. Français
...
tel-01977804v1  Theses
yacine Abboud. Fouille de motifs : entre accessibilité et robustesse
Intelligence artificielle [cs.AI]. Université de Lorraine, 2018. Français. ⟨NNT : 2018LORR0176⟩
...
tel-01885412v2  Theses
Jean-Baptiste Alayrac. Structured learning from video and natural language
Computer Vision and Pattern Recognition [cs.CV]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE072⟩
...
pastel-00961344v1  Theses
Mahfuza Farooque. Automated Reasoning Techniques as Proof-search in Sequent Calculus
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-01748567v2  Theses
Nicolas Padoy. Workflow and Activity Modeling for Monitoring Surgical Procedures
Human-Computer Interaction [cs.HC]. Université Henri Poincaré - Nancy 1; Technische Universität München, 2010. English. ⟨NNT : 2010NAN10025⟩
...
tel-00564899v1  Theses
Pierre Boulet. Outils pour la parallélisation automatique
Génie logiciel [cs.SE]. Ecole normale supérieure de lyon - ENS LYON, 1996. Français
...
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-01947341v2  Theses
Farhood Negin. Toward unsupervised human activity and gesture recognition in videos
Computer Vision and Pattern Recognition [cs.CV]. Université Côte d'Azur, 2018. English. ⟨NNT : 2018AZUR4246⟩
...
tel-02102799v1  Theses
Aurélien Massein. Conception d’environnement instrumenté pour la veille à la personne
Vision par ordinateur et reconnaissance de formes [cs.CV]. COMUE Université Côte d'Azur (2015 - 2019), 2018. Français. ⟨NNT : 2018AZUR4096⟩
...
tel-01803967v2  Theses
Maxime Oquab. Convolutional neural networks : towards less supervision for visual recognition
Artificial Intelligence [cs.AI]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE061⟩
...
tel-00950898v2  Theses
Thibault Gayral. Étalonnage d'un instrument d'observation spatial actif
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4088⟩
...
tel-00553219v1  Theses
Clément Houtmann. Représentation et interaction des preuves en superdéduction modulo
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2010. Français. ⟨NNT : 2010NAN10026⟩
...
tel-00553266v1  Theses
Jean-Rémi Bourguet. Contribution aux méthodes d'argumentation pour la prise de décision. Application à l'arbitrage au sein de la filière céréalière.
Informatique [cs]. Université Montpellier II - Sciences et Techniques du Languedoc, 2010. Français
...
tel-00846688v1  Theses
Karim Drifi. Estimation du mouvement par assimilation de données dans des modèles dynamiques d'ordre réduit
Modélisation et simulation. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00536984v2  Theses
Nader Salman. From 3D point clouds to feature preserving meshes
Modeling and Simulation. Université Nice Sophia Antipolis, 2010. English
...
tel-00605791v1  Theses
Octave Boussaton. Application de la théorie des jeux à l'optimisation du routage réseau - solutions algorithmiques
Informatique [cs]. Université Henri Poincaré - Nancy I, 2010. Français
...
tel-01748662v3  Theses
Alexander Kruppa. Speeding up Integer Multiplication and Factorization
Other [cs.OH]. Université Henri Poincaré - Nancy 1, 2010. English
...
tel-00553343v1  Theses
Joerg Liebelt. Synthetic 3D Model-Based Object Class Detection and Pose Estimation
Human-Computer Interaction [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 2010. English
...
tel-00850420v1  Theses
Pierre Masci. Control and optimization of ecosystems in bioreactors for bioenergy production
Automatic. Université Nice Sophia Antipolis, 2010. English
...
tel-00004974v1  Theses
Remis Balaniuk. Identification structurelle
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1996. Français