HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
  1. Search


...
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-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-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-00982804v1  Theses
Chen Wang. A chemistry-inspired middleware for flexible execution of service based applications
Other [cs.OH]. INSA de Rennes, 2013. English. ⟨NNT : 2013ISAR0015⟩
...
tel-00979471v1  Theses
Bacem Wali. Intéropérabilité sémantique entre les outils de traitement d'images en neuro-imagerie
Ingénierie biomédicale. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1B003⟩
...
tel-00881242v4  Theses
Yannick Verdie. Urban scene modeling from airborne data
Signal and Image Processing. Université Nice Sophia Antipolis, 2013. English
...
tel-00942289v1  Theses
Ricardo Andrés Velásquez Vélez. Behavioral Application-dependent superscolor core modeling
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S100⟩
...
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-00862845v1  Theses
Alexandre van Kempen. Optimizing the bandwidth utilization in distributed storage systems
Other [cs.OH]. Université Rennes 1, 2013. English. ⟨NNT : 2013REN1S024⟩
...
tel-00878837v1  Theses
Przemyslaw Uznanski. Large scale platform : Instantiable models and algorithmic design of communication schemes
Other [cs.OH]. Université Sciences et Technologies - Bordeaux I, 2013. English. ⟨NNT : 2013BOR14872⟩
...
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-00912521v1  Theses
Sandesh Uppoor. Understanding and Exploiting Mobility in Wireless Networks
Networking and Internet Architecture [cs.NI]. INSA de Lyon, 2013. English
...
tel-00818764v1  Theses
Ramakrishna Upadrasta. Sub-Polyhedral Compilation using (Unit-)Two-Variables-Per-Inequality Polyhedra
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112039⟩
...
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-00946583v1  Theses
Ghislain Landry Tsafack Chetsa. System Profiling and Green Capabilities for Large Scale and Distributed Infrastructures
Other [cs.OH]. Ecole normale supérieure de lyon - ENS LYON, 2013. English. ⟨NNT : 2013ENSL0861⟩
...
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-01750134v1  Theses
Juan Pablo Timpanaro. Hybrid and anonymous file-sharing environments : architecture and characterisation
Other [cs.OH]. Université de Lorraine, 2013. English. ⟨NNT : 2013LORR0142⟩
...
tel-00915629v1  Theses
Juan Pablo Timpanaro. Hybrid and Anonymous File-Sharing Environments: Architecture and Characterisation
Other [cs.OH]. Université de Lorraine, 2013. English
...
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-00833242v1  Theses
Mickael Teixeira Alves. Des interactions indirectes entre les proies : modélisation et influence du comportement du prédateur commun
Autre [cs.OH]. Université Nice Sophia Antipolis, 2013. Français. ⟨NNT : 2013NICE4024⟩
...
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
Designed by Inria-IES Team : http://hal.inria.fr/    Hosted by HAL : http://hal.archives-ouvertes.fr/