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


...
tel-00977866v1  Theses
Christelle Lusso. Modélisation numérique des écoulements gravitaires viscoplastiques avec transition fluide/solide
Mécanique des fluides [physics.class-ph]. Ecole Nationale des Ponts et Chaussées, 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-00998248v1  Theses
Sana Cherif. Approche basée sur les modèles pour la conception des systèmes dynamiquement reconfigurables : de MARTE vers RecoMARTE
Modélisation et simulation. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
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
...
tel-00789543v1  Theses
Paolo Herms. Certification of a Tool Chain for Deductive Program Verification
Other [cs.OH]. Université Paris Sud - Paris XI, 2013. English. ⟨NNT : 2013PA112006⟩
...
tel-00940100v1  Theses
Radhouane Fekih-Salem. Modèles Mathématiques pour la compétition et la coexistence des espèces microbiennes dans un chémostat
Systèmes dynamiques [math.DS]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français
...
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-00936989v1  Theses
Rached Abdelkhalek. Accélération matérielle pour l'imagerie sismique : modélisation, migration et interprétation
Algorithme et structure de données [cs.DS]. Université Sciences et Technologies - Bordeaux I, 2013. Français
...
tel-00839298v1  Theses
Quentin Enard. Développement d'applications logicielles sûres de fonctionnement : une approche dirigée par la conception
Génie logiciel [cs.SE]. Université Sciences et Technologies - Bordeaux I, 2013. Français. ⟨NNT : 2013BOR14781⟩
...
tel-00935602v1  Theses
Jérémy Laviole. Spatial Augmented Reality for Physical Drawing
Human-Computer Interaction [cs.HC]. Université Sciences et Technologies - Bordeaux I, 2013. English
...
tel-00834359v2  Theses
Rachid El Khoury. Partial 3D-shape indexing and retrieval
Other [cs.OH]. Institut National des Télécommunications, 2013. English. ⟨NNT : 2013TELE0009⟩
...
tel-00915851v1  Theses
Nicolas Gouvy. Routage g éographique dans les r éseaux de capteurs et actionneurs
Réseaux et télécommunications [cs.NI]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00908369v2  Theses
Sylvain Merlet. Compressive sensing in diffusion MRI
Other. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4061⟩
...
tel-00937131v1  Theses
José Arturo Infante Acevedo. Numerical methods and models in market risk and financial valuations Area
Analysis of PDEs [math.AP]. Université Paris-Est, 2013. English
...
pastel-00929908v1  Theses
Nicolas Guenot. Nested Deduction in Logical Foundations for Computation
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 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-00967109v1  Theses
Moustapha Diaby. Approche de Gestion du Revenu pour un Problème de Tarification pour le Transport Longue Distance de Marchandises
Recherche opérationnelle [cs.RO]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
tel-00944239v1  Theses
Aych Bouselmi. Options américaines et processus de Lévy
Probabilités [math.PR]. Université Paris-Est, 2013. Français
...
tel-01750369v2  Theses
Joan Calvet. Analyse Dynamique de Logiciels Malveillants
Cryptographie et sécurité [cs.CR]. Université de Lorraine, 2013. Français. ⟨NNT : 2013LORR0083⟩
...
tel-00841965v1  Theses
Imen Chakroun. Parallel heterogeneous Branch and Bound algorithms for multi-core and multi-GPU environments
Distributed, Parallel, and Cluster Computing [cs.DC]. 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-00915043v1  Theses
Yacine Kessaci. Multi-criteria Scheduling on Clouds
Operations Research [cs.RO]. Université des Sciences et Technologie de Lille - Lille I, 2013. English. ⟨NNT : 41245⟩
...
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-00881243v1  Theses
Charlotte Roze. Vers une algèbre des relations de discours
Linguistique. Université Paris-Diderot - Paris VII, 2013. Français
...
tel-00818169v1  Theses
Cédric Auger. Compilation certifiée de SCADE/LUSTRE
Autre [cs.OH]. Université Paris Sud - Paris XI, 2013. Français. ⟨NNT : 2013PA112018⟩
...
tel-00918146v1  Theses
Patrick Derbez. Meet-in-the-Middle Attacks on AES
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 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-00980715v1  Theses
Isabel Amigo. Technological and Economic Aspects for Quality of Service in Multidomain Alliances
Networking and Internet Architecture [cs.NI]. Télécom Bretagne, Université de Rennes 1, 2013. English
...
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