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
Etablissement
Année
Discipline Langue
Recherche simple Effacer
160 thèses trouvées
Élaboration d'un modèle prédictif d'hypertension artérielle secondaire
par Jean-Baptiste de LA POIX DE FREMINVILLE sous la direction de Bastien RANCE et de Michel AZIZI
Soutenue le vendredi 10 janvier 2025 à Université Paris Cité Accès public
Informatique Médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Dimension longitudinale du suivi omique dans les entrepôts de données cliniques : application aux cancers suivis par biopsie liquide
par Maxime WACK sous la direction de Anita BURGUN et de Bastien RANCE
Soutenue le jeudi 19 décembre 2024 à Université Paris Cité Accès public
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Logiques infinies et forçage
par Juan Manuel SANTIAGO SUÁREZ sous la direction de Boban VELICKOVIC et de Matteo VIALE
Soutenue le lundi 16 décembre 2024 à Université Paris Cité , Ecole polytechnique . Turin (Italie) Accès public
Mathématiques: logique et fondements de l'informatique - ED 386 Sciences Mathematiques de Paris Centre
Molecular mechanisms of phase II drug metabolizing enzymes SULT1 and their interactions with small ligands modeled through computational approaches
par Dániel TÓTH sous la direction de Maria MITEVA et de Erika BALOG
Soutenue le lundi 09 décembre 2024 à Université Paris Cité , Semmelweis Egyetem Accès public
Bioinformatique - ED 563 Médicament, Toxicologie, Chimie, Imageries
Application of artificial intelligence with multi-omics and cell imaging data to decipher chemical-adverse outcomes for human health
par Vanille LEJAL sous la direction de Olivier TABOUREAU
Soutenue le lundi 02 décembre 2024 à Université Paris Cité Accès public
Bioinformatique - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Molecular profiling and machine learning risk stratification of graft rejection in kidney transplantation
par Esteban CORTES GARCIA sous la direction de Xavier JOUVEN
Soutenue le vendredi 29 novembre 2024 à Université Paris Cité Accès public
Bioinformatique - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Python code generation from a natural language description
par Nathanaël BEAU sous la direction de Benoît CRABBÉ
Soutenue le lundi 18 novembre 2024 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Extraction et prédiction des réponses aux chimiothérapies à partir des données hospitalières
par Alice ROGIER sous la direction de Adrien COULET et de Bastien RANCE
Soutenue le jeudi 17 octobre 2024 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Problèmes de zéro dans les modèles polynomiaux
par Klara NOSAN sous la direction de Mahsa SHIRMOHAMMADI et de James WORRELL
Soutenue le vendredi 04 octobre 2024 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Toxicologie systémique intégrative et développement d'Adverse Outcome Pathways (AOPs) initiés par une exposition aux radiations ionisantes
par Thomas JAYLET sous la direction de Karine AUDOUZE
Soutenue le mercredi 25 septembre 2024 à Université Paris Cité Accès public
Bioinformatique - ED 563 Médicament, Toxicologie, Chimie, Imageries
Formal verification of heap space bounds under garbage collection : a space tale from the stars
par Alexandre MOINE sous la direction de François POTTIER et de Arthur CHARGUÉRAUD
Soutenue le vendredi 20 septembre 2024 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Towards an efficient and formally-verified convertibility checker
par Nathanaëlle COURANT sous la direction de Xavier LEROY
Soutenue le jeudi 19 septembre 2024 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Inférence de types polymorphes pour des langages dynamiques : reconstruction de types pour des systèmes combinant polymorphisme paramétrique, surcharge et sous-typage
par Mickaël LAURENT sous la direction de Giuseppe CASTAGNA
Soutenue le vendredi 21 juin 2024 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Hétérogénéité moléculaire du cancer du côlon avec impact pronostique dans le cancer du côlon de stade III et impact prédictif de l'efficacité de l'immunothérapie dans le cancer du côlon métastatique MSI
par Claire GALLOIS sous la direction de Pierre LAURENT-PUIG
Soutenue le mercredi 19 juin 2024 à Université Paris Cité Accès restreint
Bio-informatique - ED 563 Médicament, Toxicologie, Chimie, Imageries
Design and analysis of block ciphers Conception et analyse de chiffrements par blocs
par Clara PERNOT sous la direction de Maria NAYA-PLASENCIA
Soutenue le vendredi 02 février 2024 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
K-set agreement in distributed system
par Mouna SAFIR sous la direction de Hugues FAUCONNIER et de Alexandre MAURER
Soutenue le mercredi 20 décembre 2023 à Université Paris Cité , UNIVERSITÉ MOHAMMED VI POLYTECHNIQUE Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Algorithmic perspectives to collective natural phenomena
par Robin VACUS sous la direction de Amos KORMAN et de Pierre FRAIGNIAUD
Soutenue le lundi 18 décembre 2023 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Contributions to algebraic complexity, extension complexity, and affine convex geometry
par Maud SZUSTERMAN sous la direction de Hervé FOURNIER et de Evgueni ABAKOUMOV
Soutenue le lundi 18 décembre 2023 à Université Paris Cité Accès public
Mathématiques : logique et fondements de l'informatique - ED 386 Sciences Mathematiques de Paris Centre
Extraction automatisée des données du texte médical du dossier patient informatisé pour le phénotypage profond et la prédiction des risques en cardiologie pédiatrique
par Sophie QUENNELLE sous la direction de Anita BURGUN
Soutenue le vendredi 15 décembre 2023 à Université Paris Cité Accès public
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
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é Accès restreint
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Local first order logic with data : toward specification of distributed algorithms
par Olivier STIETEL sous la direction de Arnaud SANGNIER et de Benedikt BOLLIG
Soutenue le jeudi 14 décembre 2023 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Des origines virales à la dispersion mondiale : exploration des facteurs qui stimulent et maintiennent la diffusion virale à travers le temps et l'espace
par Andrew Mark HOLTZ sous la direction de Hervé BOURHY et de Guy BAELE
Soutenue le jeudi 07 décembre 2023 à Université Paris Cité Accès public
Gène, omiques, bioinformatique et biologie des systemes - ED 474 Frontières de l'Innovation en Recherche et Education
Optimization of string transducers
par Gaëtan DOUÉNEAU sous la direction de Olivier CARTON et de Emmanuel FILIOT
Soutenue le jeudi 23 novembre 2023 à Université Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Peer production in citizen science : a community-centered approach on the example of personal science
par Katharina KLOPPENBORG sous la direction de Ariel LINDNER et de Bastian GRESHAKE TZOVARAS
Soutenue le vendredi 10 novembre 2023 à Université Paris Cité Accès public
Mathématiques et sciences informatiques - ED 474 Frontières de l'Innovation en Recherche et Education
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é Accès restreint
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Calcul multipartite sécurisé avec communication sous-linéaire
par Pierre MEYER sous la direction de Geoffroy COUTEAU et de Elette BOYLE
Soutenue le jeudi 14 septembre 2023 à Université Paris Cité , Reichman University IDC Herzliya Accès public
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é Accès public
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é Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
A bioinformatics analysis of therapeutic proteins : studying protein partners for the preimplantation factor (PIF) and of SARS-CoV-2 proteins
par Mariem GHOULA sous la direction de Anne-Claude CAMPROUX et de Gautier MOROY
Soutenue le lundi 10 juillet 2023 à Université Paris Cité Accès public
Bioinformatique - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
La biologie synthétique et la science ouverte (`open science') : la prochaine frontière de la découverte des antibiotiques et recherche sur la résistance aux antimicrobiens
par Ayan ABUKAR sous la direction de Ariel LINDNER
Soutenue le mercredi 05 juillet 2023 à Université Paris Cité Accès restreint
Génétique, omiques, bioinformatique et biologie des systèmes - ED 474 Frontières de l'Innovation en Recherche et Education
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é Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Signature packing and vertex partition of signed graphs and graphs
par Weiqiang YU sous la direction de Réza NASERASR
Soutenue le vendredi 23 juin 2023 à Université Paris Cité Accès public
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é Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Exploration structurale des protéines pour leur validation en tant que cibles thérapeutiques
par Sarah NACERI sous la direction de Anne-Claude CAMPROUX
Soutenue le vendredi 02 juin 2023 à Université Paris Cité Accès public
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Optogenetics at different culture scales for beta-carotene bioproduction control in Saccharomyces cerevisiae
par Sylvain POUZET sous la direction de Pascal HERSEN
Soutenue le jeudi 09 mars 2023 à Université Paris Cité Accès public
Génétique, omiques, bioinformatique et biologie des systèmes - ED 474 Frontières de l'Innovation en Recherche et Education
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é Accès public
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é Accès public
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é Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Identification des interactions médicamenteuses délétères et des variations génomiques structurales entraînant des effets secondaires chez l'homme à l'aide d'outils d'apprentissage automatique
par Bryan DAFNIET sous la direction de Olivier TABOUREAU
Soutenue le jeudi 15 décembre 2022 à Université Paris Cité Accès restreint
Bioinformatique - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
Bioinformatique - ED 563 Médicament, Toxicologie, Chimie, Imageries
A diagnosis support system to identify rare disease cases in large-scale clinical databases : application to ciliopathies
par Carole FAVIEZ sous la direction de Anita BURGUN
Soutenue le lundi 12 décembre 2022 à Université Paris Cité Accès public
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Utilisation du PMSI dans l'évaluation de morbi-mortalité en chirurgie oeso-gastrique
par Alexandre CHALLINE sous la direction de Sandrine KATSAHIAN et de Andrea LAZZATI
Soutenue le lundi 12 décembre 2022 à Université Paris Cité Accès restreint
Bioinformatique - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Mise au point d'une nouvelle méthode utilisant les bases de données médico-administratives pour détecter de nouveaux effet indésirables médicamenteux
par Pierre SABATIER sous la direction de Anne-Sophie JANNOT et de Nicolas DANCHIN
Soutenue le jeudi 08 décembre 2022 à Université Paris Cité Accès public
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
Validation and application in different contexts of use of a multidimensional prognostic model as a surrogate endpoint in kidney transplant clinical trials
par Gillian DIVARD sous la direction de Alexandre LOUPY
Soutenue le lundi 05 décembre 2022 à Université Paris Cité Accès restreint
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Study of relationships between hospital efficiency and quality of care : methods and applications to acute care hospitals in France
par Angel Eugenio BENITEZ COLLANTE sous la direction de Patrice DEGOULET
Soutenue le vendredi 14 octobre 2022 à Université Paris Cité Accès public
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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) Accès public
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é Accès public
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é Accès public
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é Accès public
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-....) Accès public
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é Accès restreint
Génétique, omiques, bioinformatique et biologie des systèmes - ED 474 Frontières de l'Innovation en Recherche et Education
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é Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
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é Accès public
Mathématiques et sciences informatiques - ED 474 Frontières de l'Innovation en Recherche et Education
Applications of digital epidemiology in the study of behavior, opinion, and infectious disease dynamics
par Catherine EISENHAUER sous la direction de Simon CAUCHEMEZ et de Henrik SALJE
Soutenue le vendredi 17 décembre 2021 à Université Paris Cité Accès public
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é Accès public
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 Accès restreint
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é Accès public
Mathématiques et sciences informatiques - ED 474 Frontières de l'Innovation en Recherche et Education
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é Accès public
Mathématiques. Logique et fondements de l'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é Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
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é Accès public
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é Embargo
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès restreint
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é Accès public
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é Accès public
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é Accès public
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é Accès restreint
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é Accès public
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é Accès restreint
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é Accès public
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) Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès restreint
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès restreint
Informatique - ED 386 Sciences Mathematiques de Paris Centre
Intermittent Lévy Walks and their applications to biological searches
par Brieuc GUINARD sous la direction de Amos KORMAN
Soutenue le mercredi 04 novembre 2020 à Université Paris Cité Accès public
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é Accès public
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é Accès public
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é Accès public
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) Accès restreint
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é Accès restreint
Mathématiques. Logique et fondements de l'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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès restreint
Bioinformatique - ED 563 Médicament, Toxicologie, Chimie, Imageries
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é Accès public
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
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) Accès public
Informatique médicale - 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) Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès public
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é Accès restreint
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é Accès public
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é Accès public
Informatique et réseaux - ED 130 Informatique, Télécommunications et Electronique
Étude des mécanismes de résistance naturelle de la protéase de VIH-2 (PR2) contre les inhibiteurs de protéase par des approches de bioinformatique structurale pour la recherche d'inhibiteurs ciblés de PR2
par Dhoha TRIKI sous la direction de Anne-Claude CAMPROUX et de Leslie REGAD
Soutenue le lundi 23 avril 2018 à Sorbonne Paris Cité Accès public
Informatique médicale - ED 393 École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale
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é Accès public
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é Accès public
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é Accès public
Bioinformatique, biologie structurale et génomique - ED 474 Frontières de l'Innovation en Recherche et Education
Tierless web programming in ML
par Gabriel RADANNE sous la direction de Roberto DI COSMO et de Jérôme VOUILLON
Soutenue le mardi 14 novembre 2017 à Sorbonne Paris Cité Accès public
Informatique - ED 386 Sciences Mathematiques de Paris Centre
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é Accès public
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é Accès public
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é Accès public
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é Accès restreint
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é Accès public
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é Accès public
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é Accès restreint
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é Accès public
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) Accès public
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é Accès restreint
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é Accès restreint
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é Accès restreint
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é Accès public
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é Accès restreint
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é Accès restreint
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 ) Accès public
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 ) Accès public
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 ) Accès public
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 ) Accès public
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 ) Accès public
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 ) Accès public
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 ) Accès public
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 ) Accès public
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 ) Accès public
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 ) Accès restreint
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 ) Accès public
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 ) Accès public
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 ) Accès restreint
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 ) Accès public
Informatique - ED 130 Informatique, Télécommunications et Electronique