Skip to Main content Skip to Navigation


...
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-00921940v1  Theses
Aurore Guillevic. Arithmetic of pairings on algebraic curves for cryptography
Cryptography and Security [cs.CR]. Ecole Normale Supérieure de Paris - ENS Paris, 2013. English
...
tel-00990849v1  Theses
Amine Abdelmoula. Résolution de problèmes inverses en géodésie physique
Mathématiques générales [math.GM]. Université Rennes 1, 2013. Français. ⟨NNT : 2013REN1S155⟩
...
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-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-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-00997773v1  Theses
Amine El Kouhen. Spécification d'un Métamodèle pour l'adaptation des outils UML
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2013. Français
...
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-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-00937380v2  Theses
Ashwin Rao. Improving transparency and end-user control in mobile
Other [cs.OH]. Université Nice Sophia Antipolis, 2013. English. ⟨NNT : 2013NICE4154⟩
...
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-00939266v1  Theses
Jonas Dias. Exécution interactive pour expériences computationnelles à grande échelle
Distributed, Parallel, and Cluster Computing [cs.DC]. Universidade Federal de Rio de Janeiro, 2013. Portuguese
...
pastel-00924232v1  Theses
Emanuele Leoncini. Towards a global and systemic understanding of protein production in prokaryotes
Quantitative Methods [q-bio.QM]. Ecole Polytechnique X, 2013. English
...
tel-01023039v1  Theses
Miguel Liroz-Gistau. Partitionnement dans les systèmes de gestion de données parallèles
Base de données [cs.DB]. Université Montpellier II - Sciences et Techniques du Languedoc, 2013. Français. ⟨NNT : 2013MON20117⟩
...
tel-01112630v1  Theses
David Cadé. Proved Implementations of Cryptographic Protocols in the Computational Model
Cryptography and Security [cs.CR]. Paris 7, 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⟩
...
tel-01011210v1  Theses
Aurore Junier. Analyses de performance et de stabilité des réseaux de télécommunication
Autre [cs.OH]. École normale supérieure de Cachan - ENS Cachan, 2013. Français. ⟨NNT : 2013DENS0066⟩
...
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-00925253v1  Theses
Simon Labarthe. Modélisation de l'activité électrique des oreillettes et des veines pulmonaires
Modélisation et simulation. Université Victor Segalen - Bordeaux II, 2013. Français
...
tel-01885509v1  Theses
Mohamed Reda Bouadjenek. Infrastructure and Algorithms for Information Retrieval Based On Social Network Analysis/Mining
Information Retrieval [cs.IR]. University of Paris-Saclay, Versailles, 2013. English
...
tel-00925271v1  Theses
Louise Huot. Polynomial systems solving and elliptic curve cryptography
Symbolic Computation [cs.SC]. Université Pierre et Marie Curie - Paris VI, 2013. English
...
pastel-00927358v1  Theses
Zhiping Rao. Hamilton-Jacobi-Bellman approach for optimal control problems with discontinuous coefficients
Optimization and Control [math.OC]. Ecole Polytechnique X, 2013. English