Chargement en cours...
Veuillez patienter.
Recherche
La recherche porte sur les mots du titre, les mots clés et résumés dans toutes les langues
Auteur
Directeur de thèse
Ecole doctorale
Toutes
ED 127 Astronomie et astrophysique d'Île-de-France
ED 129 Sciences de l'environnement d'Île-de-France
ED 130 Informatique, Télécommunications et Electronique
ED 131 Langue, littérature, image, civilisations et sciences humaines
ED 132 Sciences du langage (Paris ; 1992-2019
ED 157 Génétique, Cellulaire, Immunologie, Infectiologie et Développement
ED 158 Cerveau, Cognition, Comportement
ED 180 Sciences Humaines et Sociales : Cultures, Individus, Sociétés
ED 261 Cognition, Comportements, Conduites Humaines
ED 262 Sciences Juridiques, Politiques, Economiques et de Gestion
ED 273 Biologie et Biotechnologie
ED 382 Economies, espaces, sociétés, civilisations : pensée critique, politique et pratiques sociales (Paris ; 2000-2019)
ED 386 Sciences Mathematiques de Paris Centre
ED 388 Chimie physique et chimie analytique de Paris Centre
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
ED 400 Savoirs scientifiques : Epistémologie, histoire des sciences, didactique des disciplines (Paris ; 2000-2019)
ED 420 Santé Publique
ED 434 Géographie de Paris - Espace, sociétés, aménagement
ED 436 Médicament, Toxicologie, Chimie, Environnement
ED 450 Recherches en psychanalyse et psychopathologie
ED 474 Frontières de l'Innovation en Recherche et Education
ED 516 Biochimie, Biothérapies, Biologie Moléculaire, Infectiologie
ED 560 Sciences de la terre et de l'environnement et physique de l'univers, Paris
ED 561 Hématologie, oncogenèse et biothérapies
ED 562 Bio Sorbonne Paris Cité
ED 563 Médicament, Toxicologie, Chimie, Imageries
ED 564 Physique en Île-de-France
ED 566 Sciences du Sport, de la Motricité et du Mouvement Humain
ED 570 Santé Publique
ED 622 Sciences du langage
ED 623 Savoir, Sciences, Education
ED 624 Sciences des Societes
Etablissement
Année
Toutes
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
Discipline
Langue
Toutes
allemand
anglais
arabe
chinois
espagnol
français
italien
japonais
latin
portugais
roumain
ru
slovaque
vietnamien
Recherche simple
Chercher
Effacer
121
thèses trouvées
Novel fault-tolerant, self-configurable, scalable, secure, decentralized, and high-performance distributed database replication architecture using innovative sharding to enable the use of BFT consensus mechanisms in very large-scale networks
par Siamak SOLAT sous la direction de
Farid NAÏT-ABDESSELAM
Soutenue le jeudi 14 décembre 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Algorithmes quantiques pour l'apprentissage par renforcement
par El Amine CHERRAT sous la direction de
Iordanis KERENIDIS
Soutenue le mardi 31 octobre 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Aspects algorithmiques de l'atteignabilité dans les graphes
par Filippo BRUNELLI sous la direction de
Laurent VIENNOT
et de
Pierluigi CRESCENZI
Soutenue le lundi 11 septembre 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Structures supérieures en théorie des types homotopiques
par Antoine ALLIOUX sous la direction de
Pierre-Louis CURIEN
Soutenue le lundi 17 juillet 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Generalized syndrome decoding problem and its application to post-quantum cryptography
par Simona ETINSKI sous la direction de
Frédéric MAGNIEZ
Soutenue le mercredi 28 juin 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Colouring digraphs
par Guillaume AUBIAN sous la direction de
Pierre CHARBIT
Soutenue le mardi 20 juin 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Complexity measures through the lens of two-player games and signatures of the hypercube
par Anupa SUNNY sous la direction de
Sophie LAPLANTE
Soutenue le mercredi 15 février 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Fixpoints of types in linear logic from a Curry-Howard-Lambek perspective
par Farzad JAFARRAHMANI sous la direction de
Thomas EHRHARD
Soutenue le mercredi 25 janvier 2023 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Preuves de Programmes avec Effect Handlers
par Paulo DE VILHENA sous la direction de
François POTTIER
Soutenue le vendredi 16 décembre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Développement de méthodes de priorisation de gènes pour les maladies génétiques rares grâce à un test paramétrique de statistique génétique et à l'annotation clinique
par Antoine FAVIER sous la direction de
Antonio RAUSELL
Soutenue le jeudi 15 décembre 2022 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Vérification formelle de structures de données concurrentes
par Berk CIRISCI sous la direction de
Constantin ENEA
Soutenue le jeudi 15 décembre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Une logique de programme mécanisée pour les programmes concurrents dans le modèle mémoire faible de Multicore OCaml
par Glen MÉVEL sous la direction de
François POTTIER
Soutenue le mercredi 14 décembre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Cancer and senescence : a multiscale eco-evolutionary approach
par Margaux BIEUVILLE sous la direction de
Samuel PAVARD
Soutenue le mardi 13 décembre 2022 à
Université Paris Cité
Gène, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Molecular mechanisms of phase II metabolizing enzymes and ABC transporters, and their interactions with small molecules modeled through structure-based and machine learning methods
par Balint DUDAS sous la direction de
Maria MITEVA
et de
David PERAHIA
Soutenue le mardi 13 décembre 2022 à
Université Paris Cité
Bioinformatique
-
ED 563 Médicament, Toxicologie, Chimie, Imageries
La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle
par Abhishek DE sous la direction de
Alexis SAURIN
Soutenue le jeudi 01 décembre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
From proof terms to programs : . an operational and quantitative study of intuistionistic Curry-Howard calculi
par Loîc PEYROT sous la direction de
Delia KESNER
Soutenue le vendredi 18 novembre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Geometric deep learning for structural bioinformatics
par Vincent MALLET sous la direction de
Michaël NILGES
et de
Jean-Philippe VERT
Soutenue le mercredi 16 novembre 2022 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Cubical models are cofreely parametric
par Hugo MOENECLAEY sous la direction de
Hugo HERBELIN
Soutenue le vendredi 21 octobre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Vers des algorithmes quantiques efficaces pour l'optimisation et l'échantillonnage
par Dániel SZILÁGYI sous la direction de
Iordanis KERENIDIS
Soutenue le jeudi 20 octobre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Approches bioinformatiques pour la détection de l'évolution convergente dans les génomes viraux, application à la résistance aux traitements.
par Marie MOREL sous la direction de
Didier MAZEL
et de
Etienne SIMON-LORIERE
Soutenue le mardi 11 octobre 2022 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Compréhension des effets biologiques de molécules odorantes à l'aide d'outils computationnels et de réseaux biologiques
par Marylène RUGARD sous la direction de
Karine AUDOUZE
et de
Anne TROMELIN
Soutenue le mardi 04 octobre 2022 à
Université Paris Cité
Bioinformatique
-
ED 563 Médicament, Toxicologie, Chimie, Imageries
Communications décentralisées et modèle BIP
par Ny Aina ANDRIAMBOLAMALALA sous la direction de
Vlady RAVELOMANANA
Soutenue le mardi 20 septembre 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Comment la capsule protège la cellule, façonne les échanges génétiques et influence l'évolution bactérienne.
par Matthieu HAUDIQUET sous la direction de
Eduardo PIMENTEL CACHAPUZ ROCHA
Soutenue le vendredi 16 septembre 2022 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Distributed edge computing for enhanced IoT devices and new generation network efficiency
par Mohammed LAROUI sous la direction de
Hassine MOUNGLA
et de
Zohra SLAMA
Soutenue le jeudi 21 juillet 2022 à
Université Paris Cité
,
Université Djillali Liabès (Sidi Bel-Abbès, Algérie)
Informatique. Réseaux
-
ED 130 Informatique, Télécommunications et Electronique
Formalisation et vérification des systèmes blockchain
par Zeinab NEHAÏ sous la direction de
Hugues FAUCONNIER
Soutenue le mardi 12 juillet 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Plongements de phrases et leurs relations avec les structures de phrases
par Antoine SIMOULIN sous la direction de
Benoît CRABBÉ
Soutenue le jeudi 07 juillet 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Nouvelles approches de quantification des variations du protéome au niveau des protéines intactes : analyses expérimentales et computationnelles
par Nicolas SÉNÉCAUT sous la direction de
Jean-Michel CAMADRO
et de
Gaëlle LELANDAIS
Soutenue le mercredi 22 juin 2022 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Divers aspects de la coloration de graphes
par Yiting JIANG sous la direction de
Réza NASERASR
et de
Xuding ZHU
Soutenue le vendredi 10 juin 2022 à
Université Paris Cité
,
Zhejiang Normal University (Chine ; 1956-....)
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Circular coloring, circular flow, and homomorphism of signed graphs
par Zhouningxin WANG sous la direction de
Réza NASERASR
Soutenue le mardi 24 mai 2022 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Stratégies d'enrichissement au-delà de l'approche syndromique en réanimation : utilisation de modèles de regroupement non supervisés pour identifier les sous-types de syndromes de chocs aigus
par Mohamed Sabri SOUSSI sous la direction de
Étienne GAYAT
et de
Claudia DOS SANTOS
Soutenue le mardi 24 mai 2022 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
MModéliser la perception non-native en utilisant des modèles de traitement automatique de la parole
par Juliette MILLET sous la direction de
Ewan DUNBAR
et de
Ioana CHITORAN
Soutenue le lundi 16 mai 2022 à
Université Paris Cité
Mathématiques et sciences informatiques
-
ED 474 Frontières de l'Innovation en Recherche et Education
Analyse de modèles aléatoires pour les matchings stables
par Simon MAURAS sous la direction de
Claire MATHIEU
Soutenue le mercredi 15 décembre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Séparateurs minimaux pour les graphes et les chemins dans les digraphes
par Mouhamad ELJOUBBEH sous la direction de
Réza NASERASR
et de
Amine El SAHILI
Soutenue le mardi 14 décembre 2021 à
Université Paris Cité
,
Université Libanaise
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Monotonic graphs for parity and mean-payoff games
par Pierre OHLMANN sous la direction de
Olivier SERRE
Soutenue le lundi 13 décembre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Une étude catégorique des dualités spectrales
par Axel OSMOND sous la direction de
Paul-André MELLIÈS
et de
Mai GEHRKE
Soutenue le lundi 13 décembre 2021 à
Université Paris Cité
Mathématiques. Logique et fondements de l'informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Methods and tools for the optimal design of experiments applied to the efficient characterization of enzyme-mediated escape to antimicrobial treatments
par Arthur CARCANO sous la direction de
Grégory BATT
Soutenue le lundi 13 décembre 2021 à
Université Paris Cité
Mathématiques et sciences informatiques
-
ED 474 Frontières de l'Innovation en Recherche et Education
Unsupervised hierarchical deconvolution of gene expression data to unravel the tumor micro-environment complexity
par Nicolas SOMPAIRAC sous la direction de
Andrei ZINOVYEV
et de
Inna KUPERSTEIN
Soutenue le vendredi 10 décembre 2021 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Développement de modèles bioinformatiques intégratifs et prédictifs pour comprendre la voie des effets indésirables (AOP) initiée par des petites molécules
par Qier WU sous la direction de
Karine AUDOUZE
et de
Olivier TABOUREAU
Soutenue le jeudi 09 décembre 2021 à
Université Paris Cité
Bioinformatique
-
ED 563 Médicament, Toxicologie, Chimie, Imageries
Protocoles pratiques pour les réseaux de communication quantique
par Federico CENTRONE sous la direction de
Iordanis KERENIDIS
et de
Eleni DIAMANTI
Soutenue le jeudi 25 novembre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Théorèmes de correction asynchrone et relationnelle de la logique de séparation concurrente
par Léo STEFANESCO sous la direction de
Paul-André MELLIÈS
Soutenue le vendredi 12 novembre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Types graduels ensemblistes
par Victor LANVIN sous la direction de
Giuseppe CASTAGNA
Soutenue le mardi 09 novembre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Organisation du graphe de développement logiciel pour l'analyse à grande échelle
par Antoine PIETRI sous la direction de
Stefano ZACCHIROLI
Soutenue le vendredi 05 novembre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Genomic insight into the history of Oceanian populations : implication for human evolution and health
par Jérémy CHOIN sous la direction de
Lluis QUINTANA-MURCI
et de
Antoine GESSAIN
Soutenue le lundi 25 octobre 2021 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Algorithmes quantiques pour réseaux de neurones et apprentissage automatique non supervisé
par Jonas LANDMAN sous la direction de
Iordanis KERENIDIS
Soutenue le vendredi 22 octobre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Deep learning from phylogenies
par Jakub VOZNICA sous la direction de
Hélène MORLON
Soutenue le mardi 19 octobre 2021 à
Université Paris Cité
Mathématiques et sciences informatiques
-
ED 474 Frontières de l'Innovation en Recherche et Education
Étude des mécanismes de résistance du VIH-2 pour les inhibiteurs de protéase en utilisant des approches de bioinformatique structurale
par Pierre LAVILLE sous la direction de
Michel PETITJEAN
Soutenue le vendredi 15 octobre 2021 à
Université Paris Cité
Bioinformatique
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Exploring human T cells functional diversity using single-cell RNAseq : methodological and biological strategies
par Elise AMBLARD sous la direction de
Vassili SOUMELIS
Soutenue le vendredi 08 octobre 2021 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Théorie des types dépendants et algèbre de dimension supérieure
par Chaitanya LEENA SUBRAMANIAM sous la direction de
Paul-André MELLIÈS
Soutenue le mardi 28 septembre 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Constructions d'orthogonalité bicatégoriques pour la logique linéaire
par Zeinab GALAL sous la direction de
Thomas EHRHARD
et de
Christine TASSON
Soutenue le lundi 27 septembre 2021 à
Université Paris Cité
Mathématiques. Logique et fondements de l'informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Algorithmes quantiques pour la méthode de Monte Carlo
par Yassine HAMOUDI sous la direction de
Frédéric MAGNIEZ
et de
Miklos SANTHA
Soutenue le mercredi 07 juillet 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Circular representations of infinite proofs for fixed-points logics : expressiveness and complexity
par Rémi NOLLET sous la direction de
Alexis SAURIN
et de
Christine TASSON
Soutenue le mardi 29 juin 2021 à
Université Paris Cité
Informatique. Informatique fondamentale
-
ED 386 Sciences Mathematiques de Paris Centre
Understanding the sequence determinants of guide RNAs for the activity of dCas9 in bacteria
par Alicia CALVO-VILLAMAÑÁN sous la direction de
David BIKARD
Soutenue le vendredi 28 mai 2021 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Algorithmic methods for the verification of consistency in distributed systems
par Rachid ZENNOU sous la direction de
Ahmed BOUAJJANI
et de
Mohammed ERRADI
Soutenue le lundi 24 mai 2021 à
Université Paris Cité
,
Université Mohammed V (Rabat)
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Cryptanalyse classique et quantique pour les réseaux euclidiens et le problème de la somme de sous-ensembles
par Yixin SHEN sous la direction de
Frédéric MAGNIEZ
Soutenue le mardi 11 mai 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Verification of Shell scripts performing file hierarchy transformations
par Nicolas JEANNEROD sous la direction de
Ralf TREINEN
et de
Yann RÉGIS-GIANAS
Soutenue le mardi 30 mars 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Automated formal testing of storage systems and applications
par Ranadeep BISWAS sous la direction de
Ahmed BOUAJJANI
et de
Constantin ENEA
Soutenue le mardi 30 mars 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Post-quantum cryptography : a study of the decoding of QC-MDPC codes
par Valentin VASSEUR sous la direction de
Nicolas SENDRIER
Soutenue le lundi 29 mars 2021 à
Université Paris Cité
Informatique et réseaux
-
ED 130 Informatique, Télécommunications et Electronique
Automated verification of programs running on top of distributed systems
par Sidi Mohamed BEILLAHI sous la direction de
Ahmed BOUAJJANI
et de
Constantin ENEA
Soutenue le lundi 15 mars 2021 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Bayesian inference for infectious diseases : stochastic models, phylodynamics and data integration
par Benjamin NGUYEN-VAN-YEN sous la direction de
Bernard CAZELLES
et de
Richard PAUL
Soutenue le mardi 16 février 2021 à
Université Paris Cité
Mathématiques et sciences informatiques
-
ED 474 Frontières de l'Innovation en Recherche et Education
Utilisation secondaire des données textuelles hospitalières : le défi des biais et de la reproductibilité
par William DIGAN sous la direction de
Anita BURGUN
et de
Bastien RANCE
Soutenue le vendredi 18 décembre 2020 à
Université Paris Cité
Informatique médicale
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Compréhension du langage naturel pour le dossier patient informatisé : accès à l'information et extraction d'information
par Antoine NEURAZ sous la direction de
Anita BURGUN
et de
Sophie ROSSET
Soutenue le mardi 15 décembre 2020 à
Université Paris Cité
Informatique médicale
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Refactoring functional programs with ornaments
par Ambre WILLIAMS sous la direction de
Didier RÉMY
Soutenue le lundi 14 décembre 2020 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Assessment of Hardy-Weinberg equilibrium and detection of chromosomal deletions in exome-wide sequencing data from large datasets : exploiting large exome datasets to improve identification of clinically relevant genetic variants
par Benedetta BIGIO sous la direction de
Laurent ABEL
Soutenue le vendredi 04 décembre 2020 à
Université Paris Cité
Bioinformatique
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Communication complexity : large output functions, partition bounds, and quantum nonlocality
par Alexandre NOLIN sous la direction de
Sophie LAPLANTE
Soutenue le jeudi 26 novembre 2020 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Quantum algorithms for machine learning
par Alessandro LUONGO sous la direction de
Iordanis KERENIDIS
et de
Frédéric MAGNIEZ
Soutenue le lundi 23 novembre 2020 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Standard-based lexical models for automatically structured dictionnaries
par Mohamed KHEMAKHEM sous la direction de
Laurent ROMARY
Soutenue le jeudi 01 octobre 2020 à
Université Paris Cité
Informatique. Traitement automatique des langues
-
ED 386 Sciences Mathematiques de Paris Centre
Genetic stratification based on biological networks in autism spectrum disorders
par Yang-Min KIM sous la direction de
Thomas BOURGERON
et de
Guillaume DUMAS
Soutenue le jeudi 03 septembre 2020 à
Université Paris Cité
Génétique, omiques, bioinformatique et biologie des systèmes
-
ED 474 Frontières de l'Innovation en Recherche et Education
Cartes de grand genre : de la hiérarchie KP aux limites probabilistes
par Baptiste LOUF sous la direction de
Guillaume CHAPUY
Soutenue le vendredi 26 juin 2020 à
Université Paris Cité
Informatique. Informatique fondamentale
-
ED 386 Sciences Mathematiques de Paris Centre
Non-laziness in implicit computational complexity and probabilistic λ-calculus
par Gianluca CURZI sous la direction de
Michèle ¿PAGANI¿
et de
Luca ROVERSI
Soutenue le vendredi 12 juin 2020 à
Université Paris Cité
,
Università degli studi (Torino, Italia)
Informatique. Logique
-
ED 386 Sciences Mathematiques de Paris Centre
Aspects of efficiency in selected problems of computation on large graphs
par Mengchuan ZOU sous la direction de
Adrian KOSOWSKI
et de
Michel HABIB
Soutenue le mardi 17 décembre 2019 à
Université Paris Cité
Mathématiques. Logique et fondements de l'informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Logical foundations of a modelling assistant for molecular biology
par Adrien HUSSON sous la direction de
Jean KRIVINE
Soutenue le lundi 16 décembre 2019 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Mechanized verification of the correctness and asymptotic complexity of programs : the right answer at the right time
par Armaël GUENEAU sous la direction de
François POTTIER
et de
Arthur CHARGUÉRAUD
Soutenue le lundi 16 décembre 2019 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Challenges in the collaborative evolution of a proof language and its ecosystem
par Théo ZIMMERMANN sous la direction de
Hugo HERBELIN
et de
Yann RÉGIS-GIANAS
Soutenue le jeudi 12 décembre 2019 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Algorithmic game theory applied to networks and populations
par Simon COLLET sous la direction de
Pierre FRAIGNIAUD
et de
Amos KORMAN
Soutenue le lundi 09 décembre 2019 à
Université Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Une géométrie de calcul : Réseaux de preuve, appel-par-pousse-valeur et topologie du consensus
par Jules CHOUQUET sous la direction de
Christine TASSON
et de
Lionel VAUX
Soutenue le vendredi 06 décembre 2019 à
Université Paris Cité
Mathématiques. Logique et fondements de l'informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Categorical combinatorics for non-déterministic innocent strategies
par Clément JACQ sous la direction de
Paul-André MELLIÈS
Soutenue le mardi 03 décembre 2019 à
Université Paris Cité
Mathématiques. Logique et fondements de l'informatique
-
ED 386 Sciences Mathematiques de Paris Centre
From digital to computational pathology for biomarker discovery
par Daniel Felipe GONZÁLEZ OBANDO sous la direction de
Jean-Christophe OLIVO-MARIN
et de
Laurent WENDLING
Soutenue le vendredi 29 novembre 2019 à
Université Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Étude bioinformatique des protéines PfK13 et PfCRT impliquées dans la résistance de Plasmodium falciparum aux antipaludiques
par Romain COPPÉE sous la direction de
Jérôme CLAIN
Soutenue le mercredi 06 novembre 2019 à
Université Paris Cité
Bioinformatique
-
ED 563 Médicament, Toxicologie, Chimie, Imageries
Construction de modèles de données relationnels temporalisés guidée par les ontologies
par Christina KHNAISSER sous la direction de
Anita BURGUN
et de
Jean-François ETHIER
Soutenue le lundi 04 novembre 2019 à
Université Paris Cité
,
Université de Sherbrooke (Québec, Canada)
Informatique médicale
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Modélisation des interactions protéines-effecteurs et développement de méthodes de prédiction de ces interactions
par Natacha CERISIER sous la direction de
Anne-Claude CAMPROUX
Soutenue le lundi 04 novembre 2019 à
Université Paris Cité
Recherche clinique, innovation technologique, santé publique. Bioinformatique
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Model checking self modifying code
par Xin YE sous la direction de
Tayssir TOUILI
et de
Jifeng HE
Soutenue le lundi 30 septembre 2019 à
Université Paris Cité
,
East China normal university (Shanghai)
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Variable-length similarity search for very large data series : subsequence matching, motif and discord detection
par Michele LINARDI sous la direction de
Themis PALPANAS
Soutenue le mercredi 21 août 2019 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Usability : low tech, high security
par Enka BLANCHARD sous la direction de
Nicolas SCHABANEL
et de
Ted SELKER
Soutenue le vendredi 21 juin 2019 à
Sorbonne Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Behavioural distances for probabilistic higher-order programs
par Raphaëlle CRUBILLÉ sous la direction de
Thomas EHRHARD
et de
Ugo DAL LAGO
Soutenue le jeudi 20 juin 2019 à
Sorbonne Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Décomposition de graphes en plus courts chemins et en cycles de faible excentricité
par Léo PLANCHE sous la direction de
Étienne BIRMELÉ
Soutenue le vendredi 23 novembre 2018 à
Sorbonne Paris Cité
Mathématiques informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Radiomics of metastatic cell-clear renal cancer
par Afef BOUCHOUICHA sous la direction de
Laure FOURNIER-DUJARDIN
Soutenue le mercredi 26 septembre 2018 à
Sorbonne Paris Cité
Bioinformatique
-
ED 563 Médicament, Toxicologie, Chimie, Imageries
Prédiction par Deep Learning de la réponse complète après radiochimiothérapie pré-opératoire du cancer du rectum localement avancé
par Jean-Emmanuel BIBAULT sous la direction de
Anita BURGUN
et de
Philippe GIRAUD
Soutenue le vendredi 21 septembre 2018 à
Sorbonne Paris Cité
Informatique biomédicale
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Automatic learning and extraction of malicious behaviors
par Khanh Huu The DAM sous la direction de
Tayssir TOUILI
Soutenue le mardi 03 juillet 2018 à
Sorbonne Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Securing network applications in software defined networking
par Yuchia TSENG sous la direction de
Farid NAÏT-ABDESSELAM
et de
Zonghua ZHANG
Soutenue le vendredi 29 juin 2018 à
Sorbonne Paris Cité
Informatique et réseaux
-
ED 130 Informatique, Télécommunications et Electronique
Apprentissage automatique pour l'analyse de données médicales : application à la métabolomique clinique
par Margaux LUCK sous la direction de
Nicolas PALLET
Soutenue le vendredi 06 avril 2018 à
Sorbonne Paris Cité
Bioinformatique
-
ED 563 Médicament, Toxicologie, Chimie, Imageries
Problématique des entrepôts de données textuelles : dr Warehouse et la recherche translationnelle sur les maladies rares
par Nicolas GARCELON sous la direction de
Anita BURGUN
et de
Arnold MUNNICH
Soutenue le mercredi 29 novembre 2017 à
Sorbonne Paris Cité
Informatique biomédicale
-
ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Evolutionary genomics of conjugative elements and integrons
par Jean CURY sous la direction de
Eduardo PIMENTEL CACHAPUZ ROCHA
Soutenue le vendredi 17 novembre 2017 à
Sorbonne Paris Cité
Bioinformatique, biologie structurale et génomique
-
ED 474 Frontières de l'Innovation en Recherche et Education
A visual analytics approach for multi-resolution and multi-model analysis of text corpora : application to investigative journalism
par Nicolas MÉDOC sous la direction de
Mohamed NADIF
Soutenue le lundi 16 octobre 2017 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Modélisation et apprentissage de relations spatiales pour la reconnaissance et l'interprétation d'images
par Michaël CLÉMENT sous la direction de
Laurent WENDLING
Soutenue le mardi 26 septembre 2017 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Wireless body area networks : co-channel interference mitigation & avoidance
par Mohamad Jaafar ALI sous la direction de
Ahmed MEHAOUA
et de
Hassine MOUNGLA
Soutenue le samedi 09 septembre 2017 à
Sorbonne Paris Cité
Informatique et réseaux
-
ED 130 Informatique, Télécommunications et Electronique
Hierarchical clustering using equivalence test : application on automatic segmentation of dynamic contrast enhanced image sequence
par Fuchen LIU sous la direction de
Yves ROZENHOLC
et de
Charles-André CUENOD
Soutenue le mardi 11 juillet 2017 à
Sorbonne Paris Cité
Mathe¿matiques informatique
-
ED 474 Frontières de l'Innovation en Recherche et Education
On the infinitary proof theory of logics with fixed points
par Amina DOUMANE sous la direction de
Pierre-Louis CURIEN
et de
Alexis SAURIN
Soutenue le mardi 27 juin 2017 à
Sorbonne Paris Cité
Informatique. Informatique fondamentale
-
ED 386 Sciences Mathematiques de Paris Centre
Wireless body-to-body sensor networks : optimization models and algorithms
par Amira MEHAROUECH ALI sous la direction de
Ahmed MEHAOUA
Soutenue le vendredi 16 décembre 2016 à
Sorbonne Paris Cité
Informatique et réseaux
-
ED 130 Informatique, Télécommunications et Electronique
Resource allocation optimization algorithms for infrastructure as a service in cloud computing
par Javier SALAZAR sous la direction de
Ahmed MEHAOUA
Soutenue le jeudi 27 octobre 2016 à
Sorbonne Paris Cité
Informatique et réseaux
-
ED 130 Informatique, Télécommunications et Electronique
Enumerative and bijective aspects of combinatorial maps : generalization, unification and application
par Wenjie FANG sous la direction de
Guillaume CHAPUY
et de
Mireille BOUSQUET-MÉLOU
Soutenue le mardi 11 octobre 2016 à
Sorbonne Paris Cité
Informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Echange d'informations en temps réel dans les réseaux de véhicules
par Amira BENAIDJA sous la direction de
Farid NAÏT-ABDESSELAM
et de
Samira MOUSSAOUI
Soutenue le lundi 05 septembre 2016 à
Sorbonne Paris Cité
,
Université des sciences et de la technologie Houari Boumediene (Alger)
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Hard and fuzzy block clustering algorithms for high dimensional data
par Charlotte LACLAU sous la direction de
Mohamed NADIF
Soutenue le jeudi 14 avril 2016 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Contribution à l'analyse et à la détection automatique d'anomalies ECG dans le cas de l'ischémie myocardique
par Medina HADJEM sous la direction de
Farid NAÏT-ABDESSELAM
Soutenue le mardi 29 mars 2016 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Contribution à l'amélioration de la qualité de service dans les réseaux sans-fil multi-sauts
par Dalil MOAD sous la direction de
Farid NAÏT-ABDESSELAM
Soutenue le jeudi 12 novembre 2015 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Extraction d'une image dans une vidéo en vue de la reconnaissance du visage
par Nam Jun PYUN sous la direction de
Nicole VINCENT
Soutenue le lundi 09 novembre 2015 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Dissémination de données dans les réseaux véhiculaires
par Lilia IDIR sous la direction de
Farid NAÏT-ABDESSELAM
et de
Stefano PARIS
Soutenue le mercredi 21 octobre 2015 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Les processus métiers en tant que services - BPaaS : sécurisation des données et des services
par Mohamed El Mehdi BENTOUNSI sous la direction de
Salima BENBERNOU
Soutenue le lundi 14 septembre 2015 à
Sorbonne Paris Cité
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Mise à jour d'une base de données d'occupation du sol à grande échelle en milieux naturels à partir d'une image satellite THR
par Adrien GRESSIN sous la direction de
Nicole VINCENT
et de
Nicolas PAPARODITIS
Soutenue le vendredi 12 décembre 2014 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Gestion de la collaboration et compétition dans le crowdsourcing : une approche avec prise en compte de fuites de données via les réseaux sociaux
par Iheb BEN AMOR sous la direction de
Salima BENBERNOU
Soutenue le jeudi 27 novembre 2014 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Modèles descriptifs de relations spatiales pour l'aide au diagnostic d'images biomédicales
par Mickaël GARNIER sous la direction de
Laurent WENDLING
Soutenue le lundi 24 novembre 2014 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Debate in a multi-agent system : multiparty argumentation protocols
par Dionysios KONTARINIS sous la direction de
Pavlos MORAÏTIS
Soutenue le vendredi 21 novembre 2014 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Convergences de structures linéaires dans les images : modélisation stochastique et applications en imagerie médicale
par Fanny DORÉ sous la direction de
Agnès DESOLNEUX
Soutenue le mardi 08 juillet 2014 à
Université Paris Descartes ( Paris 5 )
Mathématiques fondamentales et appliquées et informatique
-
ED 386 Sciences Mathematiques de Paris Centre
Détection d'attaques dans un système WBAN de surveillance médicale à distance
par Ali MAKKE sous la direction de
Ahmed MEHAOUA
Soutenue le vendredi 30 mai 2014 à
Université Paris Descartes ( Paris 5 )
Informatique et Réseaux
-
ED 130 Informatique, Télécommunications et Electronique
Génération de modèles numériques de surface et détection de changements 3D à partir d'imagerie satellite stéréoscopique très haute résolution
par Cyrielle GUÉRIN sous la direction de
Marc PIERROT-DESEILLIGNY
Soutenue le mardi 18 février 2014 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Emergence of internal representations in evolutionary robotics : influence of multiple selective pressures
par Charles OLLION sous la direction de
Stéphane DONCIEUX
Soutenue le vendredi 18 octobre 2013 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Analyse haut-débit du comportement spontané d'un organisme modèle « simple »
par Olivier MIRAT sous la direction de
Claire WYART
Soutenue le mercredi 25 septembre 2013 à
Université Paris Descartes ( Paris 5 )
Informatiques et Neurosciences
-
ED 474 Frontières de l'Innovation en Recherche et Education
Solving flooding and SPIT based denial of service problems in voice over IP communications
par Intesab HUSSAIN sous la direction de
Farid NAIT-ABDESSELAM
Soutenue le lundi 08 juillet 2013 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Propagation de Marquages pour le Matting Vidéo
par Marwen NOURI sous la direction de
Nicole VINCENT
Soutenue le jeudi 31 janvier 2013 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Recalage et analyse d'un couple d'images : application aux mammographies
par Arnaud BOUCHER sous la direction de
Nicole VINCENT
Soutenue le jeudi 10 janvier 2013 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Unification de l'argumentation et de la théorie des jeux pour la négociation automatisée
par Nabila HADIDI sous la direction de
Pavlos MORAITIS
Soutenue le jeudi 29 novembre 2012 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique
Contribution à l'analyse de la dynamique des écritures anciennes pour l'aide à l'expertise paléographique
par Hani DAHER sous la direction de
Nicole VINCENT
Soutenue le jeudi 22 novembre 2012 à
Université Paris Descartes ( Paris 5 )
Informatique
-
ED 130 Informatique, Télécommunications et Electronique