Skip to Main content Skip to Navigation


...
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-00922201v1  Theses
Cédric Zanni. Modélisation implicite par squelette et Applications
Synthèse d'image et réalité virtuelle [cs.GR]. Université Joseph-Fourier - Grenoble I, 2013. Français
...
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-00881242v4  Theses
Yannick Verdie. Urban scene modeling from airborne data
Signal and Image Processing. Université Nice Sophia Antipolis, 2013. English
...
tel-00908544v1  Theses
Ricardo Andrés Velásquez Vélez. Behavioral Application-dependent Superscalar Core Modeling
Hardware Architecture [cs.AR]. Université Rennes 1, 2013. English
...
tel-00912521v1  Theses
Sandesh Uppoor. Understanding and Exploiting Mobility in Wireless Networks
Networking and Internet Architecture [cs.NI]. INSA de Lyon, 2013. English
...
tel-01127206v1  Theses
Sandesh Uppoor. Understanding and exploiting mobility in wireless networks
Networking and Internet Architecture [cs.NI]. INSA de Lyon, 2013. English. ⟨NNT : 2013ISAL0142⟩
...
tel-00850778v1  Theses
Jannis Uhlendorf. Real-time feedback control of gene expression
Bioinformatics [q-bio.QM]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-00910929v1  Theses
Elena Tushkanova. Schematic calculi for the analysis of decision procedures
Other [cs.OH]. Université de Franche-Comté, 2013. English
...
tel-00912491v1  Theses
Laurentiu Trifan. Resiliency in Distributed Workflow Systems for Numerical Applications
Performance [cs.PF]. Université de Grenoble, 2013. English
...
tel-00925941v1  Theses
Hung Tran-The. Problème du Consensus dans le Modèle Homonyme
Calcul parallèle, distribué et partagé [cs.DC]. Université Paris-Diderot - Paris VII, 2013. Français
...
tel-00920432v1  Theses
Viet-Trung Tran. Scalable data-management systems for Big Data
Other [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. English. ⟨NNT : 2013DENS0001⟩
...
tel-00852361v1  Theses
Chiraz Trabelsi. Contrôle matériel des systèmes partiellement reconfigurables sur FPGA : de la modélisation à l'implémentation
Systèmes embarqués. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00925722v1  Theses
Michaël Thomazo. Conjunctive Query Answering Under Existential Rules - Decidability, Complexity, and Algorithms
Artificial Intelligence [cs.AI]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. English
...
tel-00874679v1  Theses
Asma Tafat. Preuves par raffinement de programmes avec pointeurs
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112141⟩
...
tel-00910927v1  Theses
Michal Szczerbak. Sensibilité aux situations de façon collaborative
Networking and Internet Architecture [cs.NI]. Télécom Bretagne, Université de Rennes 1, 2013. English
...
tel-00959467v1  Theses
Luis Alberto Suarez Rivera. Optimisation of Radio Techniques and Deployments for Energy Efficient Networks
Networking and Internet Architecture [cs.NI]. Télécom Bretagne, Université de Rennes 1, 2013. English
...
tel-00870910v1  Theses
Mario Strefler. Broadcast Encryption with Traitor Tracing
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 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-00935324v1  Theses
Amen Souissi. Modélisation centrée sur les processus métier pour la génération complète de portails collaboratifs
Ingénierie assistée par ordinateur. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00931562v1  Theses
Guthemberg Silvestre. Designing Adaptive Replication Schemes for Efficient Content Delivery in Edge Networks
Networking and Internet Architecture [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
tel-00937524v1  Theses
Xiaomu Shi. Certification of an Instruction Set Simulator
Systèmes embarqués. Université de Grenoble, 2013. Français
...
tel-00863461v1  Theses
Jordi Sanchez-Riera. Developing Audio-Visual capabilities of humanoid robot NAO
Robotics [cs.RO]. Université de Grenoble, 2013. English
...
tel-00937020v2  Theses
Pablo Salas. Physical and numerical aspects of thermoacoustic instabilities in annular combustion chambers
Numerical Analysis [math.NA]. Université Sciences et Technologies - Bordeaux I, 2013. English
...
tel-00937807v1  Theses
Suman Saha. Improving the Quality of Error-Handling Code in Systems Software using Function-Local Information
Programming Languages [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
tel-00940140v1  Theses
Samira Saggadi. Simulation d'événements rares par Monte Carlo dans les réseaux hautement fiables
Modélisation et simulation. Université Rennes 1, 2013. Français
...
tel-01560981v1  Theses
Quentin Sabah. Siaam : Simple Isolation for an Actor-based Abstract Machine
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English. ⟨NNT : 2013GRENM082⟩
...
tel-00933072v1  Theses
Quentin Sabah. SIAAM: Simple Isolation for an Abstract Actor Machine
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Grenoble, 2013. English
...
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-01749865v3  Theses
Maxime Rio. Modèles bayésiens pour la détection de synchronisations au sein de signaux électro-corticaux
Traitement du signal et de l'image [eess.SP]. Université de Lorraine, 2013. Français
...
tel-00937380v2  Theses
Ashwin Rao. Improving transparency and end-user control in mobile
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4154⟩
...
tel-00931833v1  Theses
Thomas Preud'Homme. Communication inter-cœurs optimisée pour le parallélisme de flux.
Calcul parallèle, distribué et partagé [cs.DC]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00921040v1  Theses
Florent Pompigne. Modélisation logique de la langue et Grammaires Catégorielles Abstraites
Informatique et langage [cs.CL]. Université de Lorraine, 2013. Français
...
tel-00856838v1  Theses
Kévin Perrot. Les piles de sable Kadanoff
Autre [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2013. Français. ⟨NNT : 2013ENSL0818⟩
...
tel-01749799v2  Theses
Laura Haide Perez. Natural Language Generation for Language Learning
Artificial Intelligence [cs.AI]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0062⟩
...
tel-00927150v1  Theses
Pankesh Patel. Enabling High-Level Application Development for the Internet of Things
Ubiquitous Computing. Université Pierre et Marie Curie - Paris VI, 2013. English
...
tel-00934919v1  Theses
Cédric Pasteur. Raffinement temporel et exécution parallèle dans un langage synchrone fonctionnel
Langage de programmation [cs.PL]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00909410v1  Theses
Paolo Parisen Toldin. ICC and Probabilistic Classes
Computational Complexity [cs.CC]. Università degli studi di Bologna, 2013. English
...
tel-00908227v2  Theses
Ronan Pardo Soares. Pursuit-evasion, decompositions and convexity on graphs
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4083⟩
...
tel-00932796v1  Theses
Nikolaos Papoulias. Remote Debugging and Reflection in Resource Constrained Devices
Programming Languages [cs.PL]. Université des Sciences et Technologie de Lille - Lille I, 2013. English
...
tel-00925257v1  Theses
Marko Obrovac. Chemical Computing for Distributed Systems: Algorithms and Implementation
Calcul parallèle, distribué et partagé [cs.DC]. Université Rennes 1, 2013. Français
...
tel-00843874v1  Theses
Russel Nzekwa. Building manageable autonomic control loops for large scale systems
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 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-00958663v1  Theses
Tien Viet Nguyen. On the modelling of wireless communication networks using non-poisson point processes
Networking and Internet Architecture [cs.NI]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-00937695v1  Theses
Hoang Giang Ngo. From inter-connecting P2P overlays to co-operating P2P systems
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4144⟩
...
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-00931839v1  Theses
Ndeye Massata Ndiaye. Techniques de gestion des défaillances dans les grilles informatiques tolérantes aux fautes
Autre [cs.OH]. Université Pierre et Marie Curie - Paris VI, 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-00918642v1  Theses
Guillaume Munch-Maccagnoni. Syntax and Models of a non-Associative Composition of Programs and Proofs
Logic in Computer Science [cs.LO]. Université Paris-Diderot - Paris VII, 2013. English
...
tel-01110887v1  Theses
Chenqi Mou. Solving Polynomial Systems over Finite Fields: Algorithms, Implementation and Applications
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie, 2013. English
...
tel-00913692v1  Theses
Antoine Morvan. Utilisation du modèle polyédrique pour la synthèse d'architectures pipelinées
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0022⟩
...
tel-00843046v1  Theses
Basile Morcrette. Combinatoire analytique et modèles d'urnes
Combinatoire [math.CO]. Université Pierre et Marie Curie - Paris VI, 2013. Français
...
tel-00931811v1  Theses
Rafael Misoczki. Two Approaches for Achieving Efficient Code-Based Cryptosystems
Cryptography and Security [cs.CR]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
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-00936650v1  Theses
Antoine Méler. BetaSAC et OABSAC, deux nouveaux 'echantillonnages conditionnels pour RANSAC
Vision par ordinateur et reconnaissance de formes [cs.CV]. Université de Grenoble, 2013. Français
...
tel-01750613v3  Theses
Dorin Maxim. Probabilistic analysis of real-time systems
Embedded Systems. Université de Lorraine, 2013. English
...
tel-00907854v3  Theses
Petar Maksimović. Development and verification of probability logics and logical frameworks
Other [cs.OH]. Université Nice Sophia Antipolis; Univerzitet u Novom Sadu, 2013. English. ⟨NNT : 2013NICE4074⟩
...
tel-00909085v1  Theses
Suman Kumar Maji. Multiscale Methods in Signal Processing for Adaptive Optics
Image Processing [eess.IV]. Université Sciences et Technologies - Bordeaux I, 2013. English