387 résultats  enregistrer la recherche


...
tel-01400208v1  HDR
Bruno ScherrerContributions algorithmiques au contrôle optimal stochastique à temps discret et horizon infini
Optimisation et contrôle [math.OC]. Université de Lorraine (Nancy), 2016
...
tel-01400369v1  Thèse
Marco SolieriSharing, Superposition and Expansion: Geometrical Studies on the Semantics and Implementation of λ-calculi and Proof-nets
Logic in Computer Science [cs.LO]. Université Paris XIII, Sorbonne Paris Cité; Università di Bologna, 2016. English
...
tel-01400595v1  Thèse
Dmitry PonomarevSome inverse problems with partial data
Analysis of PDEs [math.AP]. INRIA Sophia Antipolis - Méditerranée, 2016. English
...
tel-01426166v1  Thèse
Elizaveta VasilevskayaOpen periodic waveguides. Theory and computation.
Numerical Analysis [math.NA]. Université Paris 13, 2016. English
...
tel-01425907v1  Thèse
Mamadou Lamine DioufAnalyse de modèles épidémiologiques à plusieurs classes d'infectés : stabilité et observabilité
Mathématiques [math]. Université Gaston BERGER de Saint-Louis du Sénégal, 2016. Français
...
tel-01427555v1  Thèse
Camille SchreckDéformation interactive de papier virtuel
Synthèse d'image et réalité virtuelle [cs.GR]. Universite Grenoble Alpes, 2016. Français
...
tel-01420460v2  Thèse
Pierre HalmagrandAutomated Deduction and Proof Certification for the B Method
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English
...
tel-01430343v1  Thèse
Khaled SalhiRisques extrêmes en finance : analyse et modélisation
Mathématiques [math]. Université de Lorraine (Nancy), 2016. Français
...
tel-01405436v1  Thèse
Virginie LallemandCryptanalyse de chiffrements symétriques
Cryptographie et sécurité [cs.CR]. Université Pierre et Marie Curie - Paris VI, 2016. Français
...
tel-01358312v1  Thèse
Duco Van AmstelData Locality on Manycore Architectures
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Grenoble-Alpes, 2016. English
...
tel-01309272v1  Thèse
Vincent PopieModélisation asymptotique de la réponse acoustique de plaques perforées dans un cadre linéaire avec étude des effets visqueux
Modélisation et simulation. Institut Supérieur de l'Aéronautique et de l'Espace (ISAE), 2016. Français
...
tel-01425620v1  Thèse
David GlesserRoad to exascale: Improving scheduling performances and reducing energy consumption with the help of end-users
Distributed, Parallel, and Cluster Computing [cs.DC]. Univ. Grenoble Alpes, 2016. English
...
tel-01426486v2  Thèse
Saliha LallaliA Scalable Search Engine for the Personal Cloud
Computer science. Université Paris-Saclay, 2016. English. <NNT : 2016SACLV009>
...
tel-01327023v1  Thèse
Jacques-Henri JourdanVerasco: a Formally Verified C Static Analyzer
Programming Languages [cs.PL]. Universite Paris Diderot-Paris VII, 2016. English
...
tel-01452457v1  Thèse
Zofia TrstanovaMathematical and Algorithmic Analysis of Modified Langevin Dynamics
Modeling and Simulation. Université Grenoble Alpes, 2016. English
...
tel-01475250v1  HDR
Nathalie PernelleSemantic enrichment of data: annotation and data linking
Artificial Intelligence [cs.AI]. Université Paris Sud, 2016
...
tel-01480695v1  Thèse
Nelson FeyeuxTransport optimal pour l'assimilation de données images
Mathématiques [math]. Université de Grenoble Alpes, 2016. Français
...
tel-01417700v1  Thèse
Jean-Baptiste LugagneContrôle temps-réel d'une bascule génétique
Bio-Informatique, Biologie Systémique [q-bio.QM]. Université Paris 7, 2016. Français
...
tel-01264905v1  HDR
Emmanuel DaucéApprentissage et Contrôle dans les Architectures Neuronales
Réseau de neurones [cs.NE]. Aix-Marseille Université, 2016
...
tel-01415754v1  Thèse
Adrian ThillardCountermeasures to side-channel attacks and secure multi-party computation.
Cryptography and Security [cs.CR]. Ecole normale supérieure - ENS PARIS; PSL Research University, 2016. English
...
tel-01415945v1  Thèse
Raphaël CauderlierObject-Oriented Mechanisms for Interoperability between Proof Systems
Logic in Computer Science [cs.LO]. Conservatoire National Des Arts et Métiers, Paris, 2016. English