Skip to Main content Skip to Navigation
Help


...
tel-01505056v1  Theses
Louis Dumont. Algorithmes rapides pour le calcul symbolique de certaines intégrales de contour à paramètre
Algorithme et structure de données [cs.DS]. Université Paris-Saclay, 2016. Français. ⟨NNT : 2016SACLX111⟩
...
tel-00654268v1  Theses
Julien Mercadal. Approche langage au développement logiciel : application au domaine des systèmes d'informatique ubiquitaire
Langage de programmation [cs.PL]. Université Sciences et Technologies - Bordeaux I, 2011. Français
...
tel-01306571v1  Theses
Bérenger Bramas. Optimization and parallelization of the boundary element method for the wave equation in time domain
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Bordeaux, 2016. English. ⟨NNT : 2016BORD0022⟩
...
tel-01407438v1  Theses
Nathalie Ayi. Influence du Stochastique sur des Problématiques de Changements d'Échelle
Equations aux dérivées partielles [math.AP]. Université Nice Sophia Antipolis [UNS], 2016. Français
...
tel-00457590v1  Theses
Guillaume Waignier. Canevas de développement agile pour l'évolution fiable de systèmes logiciels à composants et orientés services
Génie logiciel [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2010. Français
...
tel-01407336v1  Theses
Frédéric Guillou. On Recommendation Systems in a Sequential Context
Machine Learning [cs.LG]. Université Lille 3, 2016. English
...
tel-01746268v2  Theses
Roukaya Keinj. Modélisation de la croissance d'une tumeur après traitement par radiothérapie
Probabilités [math.PR]. Université Henri Poincaré - Nancy 1, 2011. Français. ⟨NNT : 2011NAN10111⟩
...
tel-01687732v1  Theses
Amrit Kumar. Security and privacy for outsourced computations.
Cryptography and Security [cs.CR]. Université Grenoble Alpes, 2016. English. ⟨NNT : 2016GREAM093⟩
...
tel-00671181v1  Theses
Anca Belme. Unsteady Aerodynamics and Adjoint Method
Analysis of PDEs [math.AP]. Université Nice Sophia Antipolis, 2011. English
...
pastel-00576861v1  Theses
Shaoshi Chen. Some applications of differential-difference algebra to creative telescoping
Symbolic Computation [cs.SC]. Ecole Polytechnique X, 2011. English
...
tel-00627432v1  Theses
Bruno Mery. Modélisation de la Sémantique Lexicale dans le cadre de la théorie des types
Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2011. Français
...
tel-01469937v1  Theses
Antoine Delignat-Lavaud. On the security of authentication protocols on the web
Cryptography and Security [cs.CR]. PSL Research University, 2016. English. ⟨NNT : 2016PSLEE018⟩
...
tel-01327023v1  Theses
Jacques-Henri Jourdan. Verasco: a Formally Verified C Static Analyzer
Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English
...
tel-01358312v2  Theses
Duco Van Amstel. Optimisation de la localité des données sur architectures manycœurs
Architectures Matérielles [cs.AR]. Université Grenoble Alpes, 2016. Français. ⟨NNT : 2016GREAM019⟩
...
tel-00833311v1  Theses
Marta Gîrdea. New methods for biological sequence alignment
Bioinformatics [q-bio.QM]. Université des Sciences et Technologie de Lille - Lille I, 2010. English
...
tel-00583444v1  Theses
Carlos Parra. Towards Dynamic Software Product Lines: Unifying Design and Runtime Adaptations
Software Engineering [cs.SE]. Université des Sciences et Technologie de Lille - Lille I, 2011. English
...
tel-01369005v1  Theses
Mohamed Hamza Kaaouachi. Une approche distribuée pour les problèmes de couverture dans les systèmes hautement dynamiques.
Réseaux et télécommunications [cs.NI]. Université Pierre et Marie Curie - Paris VI, 2016. Français. ⟨NNT : 2016PA066058⟩
...
tel-01400625v2  Theses
Ji Liu. Multisite Management of Scientific Workflows in the Cloud
Distributed, Parallel, and Cluster Computing [cs.DC]. Université de Montpellier, 2016. English
...
tel-01415106v1  Theses
Jean-François Wald. Lois de paroi adaptatives pour un modèle de fermeture du second ordre dans un contexte industriel
Milieux fluides et réactifs. Université de Pau et des Pays de l'Adour, 2016. Français