Skip to Main content Skip to Navigation
  1. Search


...
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-00869819v1  Theses
Nanxing Chen. Passive interoperability testing for communication protocols
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S046⟩
...
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-00937481v1  Theses
Meiling Luo. Indoor radio propagation modeling for system performance prediction
Electromagnetism. INSA de Lyon, 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-00675438v1  Theses
yue Ma. Compositional modeling of globally asynchronous locally synchronous (GALS) architectures in a polychronous model of compotation
Embedded Systems. Université Rennes 1, 2010. English
...
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-00938469v1  Theses
Jonathan Perrinet. Évaluation de l'impact des facteurs émotionnels lors d'interactions physiques entre humains réels et virtuels
Modélisation et simulation. Université Rennes 1, 2013. Français
...
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-00939346v1  Theses
Hervé yviquel. From dataflow-based video coding tools to dedicated embedded multi-core platforms
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S095⟩
...
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-00875653v1  Theses
Vincenzo Ciancaglini. From key-based to content-based routing : system interconnection and video streaming applications
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4055⟩
...
tel-00876366v1  Theses
Khalil Riad Bouzidi. Aide à la création et à l'exploitation de réglementations basée sur les modèles et techniques du Web sémantique
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4063⟩
...
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⟩
...
tel-00903372v2  Theses
Joseph Chazalon. Interprétation contextuelle et assistée de fonds d'archives numérisées : application à des registres de ventes du XVIIIe siècle
Autre [cs.OH]. INSA de Rennes, 2013. Français. ⟨NNT : 2013ISAR0001⟩
...
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-00963824v1  Theses
Stefania Costache. Market-based autonomous and elastic application execution on clouds
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S113⟩
...
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-02075680v1  Theses
Giulia de Santis. Modeling and Recognizing Network Scanning Activities with Finite Mixture Models and Hidden Markov Models
Modeling and Simulation. Université de Lorraine, 2018. English. ⟨NNT : 2018LORR0201⟩
...
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-00556823v1  Theses
Morgane Bergot. Éléments finis d'ordre élevé pour maillages hybrides - Application à la résolution de systèmes hyperboliques linéaires en régimes harmonique et temporel
Modélisation et simulation. Université Paris Dauphine - Paris IX, 2010. Français. ⟨NNT : 2010PA090032⟩
...
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-00945265v1  Theses
Pablo Enrique Sartor del Giudice. Diameter-constrained network reliability : properties and computation
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S102⟩
...
tel-00478169v1  Theses
Amira Ben Hamida. AxSeL : un intergiciel pour le déploiement contextuel et autonome de services dans les environnements pervasifs
Informatique [cs]. INSA de Lyon, 2010. Français
...
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-00610419v1  Theses
yves-Pol Denielou. Alignement Multiple de Données Génomiques et Post-Génomiques : Approches Algorithmiques
Autre [cs.OH]. Université de Grenoble, 2010. Français
...
tel-00004974v1  Theses
Remis Balaniuk. Identification structurelle
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 1996. Français
...
tel-01989822v2  Theses
Gabriel Gallin. Unités arithmétiques et cryptoprocesseurs matériels pour la cryptographie sur courbe hyperelliptique
Cryptographie et sécurité [cs.CR]. Université Rennes 1, 2018. Français. ⟨NNT : 2018REN1S071⟩
...
tel-01972349v2  Theses
Bryan Penin. Contributions to optimal and reactive vision-based trajectory generation for a quadrotor UAV
Robotics [cs.RO]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S101⟩
...
tel-02887880v2  Theses
Loïc Frazza. 3D anisotropic mesh adaptation for Reynolds Averaged Navier-Stokes simulations
Modeling and Simulation. Sorbonne Université, 2018. English. ⟨NNT : 2018SORUS423⟩
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/