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


...
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-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-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