Skip to Main content Skip to Navigation

tel-03394466v1  Theses
Victor Verdugo. Convex and online optimization : applications to scheduling and selection problems
Data Structures and Algorithms [cs.DS]. Université Paris sciences et lettres; Universidad de Chile, 2018. English. ⟨NNT : 2018PSLEE079⟩
tel-03387912v2  Theses
Yacine El Haddad. Integrating Automated Theorem Provers in Proof Assistants
Automatic Control Engineering. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG052⟩
tel-03394285v1  Theses
David Espinel Sarmiento. Distributing connectivity management in Cloud-Edge infrastructures using SDN-based approaches
Networking and Internet Architecture [cs.NI]. Ecole nationale supérieure Mines-Télécom Atlantique, 2021. English. ⟨NNT : 2021IMTA0250⟩
tel-03230476v2  Theses
Maverick Chardet. Reconciling parallelism expressivity and separation of concerns in reconfiguration of distributed systems
Distributed, Parallel, and Cluster Computing [cs.DC]. Ecole nationale supérieure Mines-Télécom Atlantique, 2020. English. ⟨NNT : 2020IMTA0194⟩
tel-03388295v1  Theses
Muxingzi Li. Geometric approximation of structured scenes from images
Discrete Mathematics [cs.DM]. Université Côte d'Azur, 2021. English
tel-03133456v2  Theses
Darius Mercadier. Usuba, Optimizing Bitslicing Compiler
Programming Languages [cs.PL]. Sorbonne Université, 2020. English. ⟨NNT : 2020SORUS180⟩
tel-03319743v2  Theses
Luciano Di Palma. New Algorithms and Optimizations for Human-in-the-Loop Model Development
Artificial Intelligence [cs.AI]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAX043⟩
tel-03374762v1  Theses
Antoine Fondaneche. Interaction fluide-structure dans un dispositif vasculaire actif
Analyse numérique [cs.NA]. Université de Bordeaux, 2021. Français. ⟨NNT : 2021BORD0201⟩
tel-03374002v1  Theses
Jérome Piovano. Image Segmentation and Level Set Method: Application to Anatomical Head Model Creation
Computer Vision and Pattern Recognition [cs.CV]. Université de Nice-Sophia Antipolis, 2009. English
tel-03373800v1  Theses
Rafael Costa. Tactful Networking as a Cornerstone for Opportunistic Human-Aware D2D Communication
Mobile Computing. Institut Polytechnique de Paris; Universidade federal da Bahia, 2021. English. ⟨NNT : 2021IPPAX048⟩
tel-03339951v2  Theses
Enhui Huang. Active Learning Methods for Interactive Exploration on Large Databases
Computer Science [cs]. Institut Polytechnique de Paris, 2021. English. ⟨NNT : 2021IPPAX046⟩
tel-03339931v1  Theses
Julien Vuillamy. Planimetric simplification and lexicographic optimal chains for 3D urban scene reconstruction
Computational Geometry [cs.CG]. Université Côte d'Azur, 2021. English
tel-03371774v1  Theses
Erven Rohou. Infrastructures et stratégies de compilation pour parallélisme à grain fin
Autre [cs.OH]. Université de Rennes 1, 1998. Français
tel-03371002v1  Theses
Flavien Lécuyer. Méthodes de production d'applications de XR interactives, application à l'archéologie
Synthèse d'image et réalité virtuelle [cs.GR]. INSA de Rennes, 2020. Français. ⟨NNT : 2020ISAR0003⟩
tel-03369983v1  Theses
Abdulkadir Celikkanat. Graph Representation Learning with Random Walk Diffusions
Neural and Evolutionary Computing [cs.NE]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG030⟩
tel-03364389v2  Theses
Quentin Santos. Cryptography for pragmatic distributed trust and the role of blockchain
Cryptography and Security [cs.CR]. Université Paris sciences et lettres, 2018. English. ⟨NNT : 2018PSLEE078⟩