Centre de recherche en informatique

Mathématiques et systèmes



Liste des thèses du CRI

2024   2023   2022   2021   2020   2019   2018   2017   2016   2015   2014   2013   2012   2011   2010   2009   2008   2006   2005   2004   2003   2002   2001
1999   1998   1996   1995   1994   1993   1992   1991   1989   1988   1987   1986   1983   1979  


2024


A/816/CRI :

THESE : Effet des biais cognitifs et de l'environnement sur la qualite des donnees et des informations
These soutenue le 02 fevrier 2024
Lieu : Mines Paris
HAL = https://www.theses.fr/s245370
Robin Le conte des floris

1/817/CRI :

THESE : Efficient management of big data applications deployed in the cloud computing
These soutenue le 07 fevrier 2024
Lieu : ENSIAS, Universite Mohammed V de Rabat
Laila BOUHOUCH


2023


A/815/CRI :

THESE : Smart contracts for auctions: from experimental assessment to privacy
These soutenue le 19 avril 2023
Lieux : Mines Paris
HAL : https://www.theses.fr/s207280
Lucas Massoni sguerra


2022


A/814/CRI :

THESE : Tala Sound : un projet social pluridisciplinaire en design sonore carnatique pour patients Alzheimer
These soutenue le 14 decembre 2022
Lieu : EnsAD
HAL : https://www.theses.fr/2022UPSLE004
Luc Perera

A/813/CRI :

THESE : Detection of Nested Objects in Dense Scenes using Deep Learning - Application to Bee and Varroa Detection
These soutenue le 08 decembre 2022
Lieu : Mines Paris
HAL = tel-04099132v1
Yassine Kriouile

A/812/CRI :

THESE : Automatic Source-to-Source Optimizations using Machine Learning
These soutenue le 06 decembre 2022
Lieu : Mines Paris
HAL = tel-04307172v1
Maksim Berezov


2021


A/811/CRI :

THESE : Reseau acoustique de communication bidirectionnelle ultrasonore efficace en milieu ferme
These soutenue le 11 mai 2021
HAL = tel-03264278v1
Arthur Aubertin


2020


A/749/CRI :

THESE: Dependently-Typed Termination and Embedding of Extensional Universe-Polymorphic Type Theory using Rewriting
These soutenue le 10 decembre 2020
Lieu : Universite Paris-Saclay
(Disponible sur http://www.theses.fr/2020UPASG045)
HAL = tel-03167579v1
Guillaume Genestier

A/746/CRI :

THESE: Memory Analysis and Optimization of Parallel and Accelerated Image Processing
These soutenue le 13 juin 2020
Lieu : Ecole nationale des ingenieurs de Sousse (ENISO)
Olfa Haggui

A/742/CRI :

THESE: Generation de systemes de gestion de donnees personnalises fondee sur les ontologies : une application a la physique experimentale des particules
These soutenue le 25 septembre 2020
HAL = tel-02987043v2
Blerina Gkotse


2019


A/747/CRI :

THESE: Dynamic Adaptation of Human-Computer Interfaces Using Cognitive Load Tracking
These soutenue le 19 decembre 2019
Lieu: MINES ParisTech, Paris
Bruno Massoni Sguerra

A/745/CRI :

THESE: Optimal Resource Provisioning and Multi-contrained Scheduling Algorithms for Large-scale Data Applications on Cloud Platforms
These soutenue le 03 mars 2019
Lieu : Universite de Rabat
Yassir Samadi

A/744/CRI :

THESE: Performance analyses and code transformations for MATLAB applications
These soutenue le 19 decembre 2019
Lieu : MINES ParisTech, Paris
HAL = tel-02516727v1
Patryk Kiepas

A/743/CRI :

THESE: Methodologie de placement d'algorithmes de traitement d'images sur architecture massivement parallele
These soutenue le 05 juillet 2019
Lieu : MINES ParisTech, Paris
HAL = tel-02969012v1
Florian Gouin


2018


A/712/CRI :

THESE: Analyse et compilation de langages de programmation parallèle
Thèse soutenue le 26 novembre 2018
Lieu : MINES ParisTech, Paris
HAL = tel-02081178v1
Adilla Susungi (MINES ParisTech CRI, PSL)


2017


A/713/CRI :

THESE : Compilation pour machines à mémoire répartie : une approche multipasse
Thèse soutenue le lundi 3 avril 2017
Lieu : MINES ParisTech, Paris
HAL = tel-01831194v1
Nelson Lossing (MINES ParisTech CRI - PSL)


2016


A/698/CRI :

THESE: Automated Deduction and Proof Certification for the B Method
Thèse soutenue le 10 décembre 2016
Lieu : Cnam à Paris
Pierre Halmagrand (ENS Cachan, membre de l'équipe Deducteam (Inria), doctorant du CRI MINES ParisTech)

A/659/CRI :

THESE: Compilation efficace d'applications de traitement d'images pour processeurs manycore
Thèse soutenue le 30 novembre 2016
Lieu : MINES ParisTech, Paris
Pierre Guillou (MINES-ParisTech CRI)

A/658/CRI :

THESE: Virtual human technologies for cognitively-impaired older adults’care: the LOUISE and Virtual Promenade experiments

Technologies d’humains virtuels dans le soin aux personnes âgées atteintes de troubles cognitifs : les expériences LOUISE et Virtual Promenade
Thèse soutenue le 25 novembre 2016
Lieu : MINES ParisTech, Paris
Pierre Wargnier (MINES-ParisTech CRI)


2015


A/634/CRI :

THESE:La loi de convexité énergie-fréquence de la consommation des
programmes : modélisation, thermosensibilité et applications
Thèse soutenue le 4 septembre 2015
Lieu : TELECOM ParisTech, Paris
HAL = tel-01258577
De Vogeleer Karel (TELECOM ParisTech, MINES-ParisTech CRI)

A/618/CRI :

THESE: Typechecking in the lambda-Pi-Calculus Modulo : Theory and Practice
Thèse soutenue le 25 septembre 2015
Lieu : MINES ParisTech, Paris
HAL = tel-01299180
Ronan Saillard (MINES-ParisTech CRI)

A/606/CRI :

THESE: Analyse statique des systèmes de contrôle-commande – Invariants entiers et flottants –
Thèse soutenue le 6 février 2015
Lieu : MINES ParisTech, Paris
Vivien Maisonneuve (MINES-ParisTech CRI)


2014


A/627/CRI :

THESE: A User-Centered and Autonomic Multi-Cloud Architecture for High Performance Computing Applications
Thèse soutenue le 03 décembre 2014
Lieu : Orsay, Paris-Sud
HAL = https://hal.inria.fr/tel-01097295
Alessandro Ferreira Leite

A/592/CRI :

THESE: Programmation haute performance pour architectures hybrides
Soutenue le 19 novembre 2014
HAL = tel-01101782
Rachid Habel


2013


A/538/CRI :

THESE: Parallélisation automatique et statique de tâches
sous contraintes de ressources – une approche générique –
Soutenue le 27 novembre 2013
Dounia Khaldi

A/529/CRI :

THESE:Analyse des pointeurs pour le langage C
Soutenue le 24 juin 2013
Amira Mensi


2012


A/509/CRI :

THESE: Contribution à la prise en compt de l'interopérabilité pour le déploiement de processus complexes dans une grande entreprise : proposition d'un guide méthodologique outillé pour les processus d'Ingénierie Système.
Soutenue le 21 décembre 2012
Clémentine Cornu

A/506/CRI :

THESE: Transformations de programme automatiques et source-à-source pour accélérateurs matériels de type GPU. Source-to-Source Automatic Program Transformations for GPU-like Hardware Accelerators.
Soutenue le 13 Décembre 2012
Mehdi Amini


2011


A/483/CRI :

THESE: Building Source-to-Source Compilers for Heterogeneous Targets.
Soutenance le 7 octobre 2011
(Confidentiel)
octobre 2011
Serge Guelton

A/481/CRI :

THESE: Leveraging Streaming for Deterministic Parallelization : an Integrated Language, Compiler and Runtime Approach.
Soutenance le 30 septembre 2011
septembre 2011
Antoniu Pop


2010


A/445/CRI :

THESE: La conception incrémentale de jeux sérieux musicaux pour la santé : théorie et application au traitement des troubles du comportement et de la maladie d'Alzheimer.
Soutenance le 21 décembre 2010
21 Décembre 2010
Samuel Benveniste

A/441/CRI :

THESE: Robust and Generic Abstract Domain for Static Program Analyses: The Polyhedral Case.
Soutenance le 26 novembre 2010
novembre 2010
Duong Nguyen Que


2009


A/412/CRI :

THESE: Composition automatique et adaptative de services web pour la météorologie.
Thèse soutenue le 28 septembre 2009.
Lieu : MINES ParisTech, Paris
HAL = tel-00460604
2009
Benoît Gschwind (MINES-ParisTech CRI)

A/411/CRI/2008 :

THESE: Enrichissement de réseaux sémantiques par la priximité de concepts.
Soutenance le 12 novembre 2008
Reena SHETTI


2008


A/399/CRI :

THESE: Analyse des sentiments : système autonome d'exploration des opinions exprimées dans les critiques cinématographiques.
Soutenance le 4 décembre 2008
septembre 2008
Grzegorz Dziczkowski (ENSMP-CRI, ESIGETEL)

A/398/CRI :

THESE: Représentations visuelles adaptatives de connaissances associant projection multidimensionnelles (MDS) et analyse de concepts formels (FCA).
Soutenance le 19 novembre 2008
novembre 2008
Jean Villerd


2006


A/382/CRI :

THESE: Jeux vidéo éducatifs et motivation : application à l'enseignement du jazz
Soutenance le 11 décembre 2006
11 décembre 2006
Guillaume Denis

A/381/CRI :

THESE: The SSA Representation Framework: Semantics, Analyses and GCC Implementation
Soutenance le 13 décembre 2006
13 décembre 2006
Sebastian Pop


2005


A/363/CRI :

THESE: Agent LINEA : une méthode de calcul par graphes de la proximité des objets sur Internet.
Soutenance le 29 avril 2005
29 avril 2005
Kevin Huggins


2004


A/359/CRI :

THESE : SearchXQ : une méthode d’aide à la navigation fondée sur Ω
-means, algorithme de classification non supervisée. Application sur un corpus juridique français.
Soutenance le 17 décembre 2004
17 décembre 2004
Christophe Charles


2003


A/353/CRI :

THESE : Corrélation sémantique entre documents. Application à la recherche d'information juridique sur le Web.
Soutenance le 12 décembre 2003
Chritophe Chotteau


2002


A/345/CRI :

THESE : CONSTRUCTION D'ONTOLOGIE A PARTIR DE TEXTES. Une ontologie du droit dédiée à la recherche d'information sur le Web.
Soutenance le 6 décembre 2002
Guiraude Lame

A/344/CRI :

THESE : Optimisation des transferts de données pour le traitement du signal: pavage, fusion et réallocation des tableaux.
soutenance le 19 novembre 2002
Youcef Bouchebaba

A/343/CRI :

THESE : Vérifications efficaces des applications scientifiques par analyse statique et instrumentation de code. Efficient and effective software verifications for scientific applications using static analysis and code instrumentation.
Soutenance le 19 novembre 2002
Thi Viet Nga Nguyen


2001


A/339/CRI :

THÈSE : Etude et réalisation d'un méta-indexeur pour la recherche sur le Web de documents produits par l'Administration Française
Soutenance le 18 décembre 2001
Katarzyna Wegrzyn-Wolska

A/325/CRI :

THÈSE: Acropolis - un précompilateur de spécification pour l'exploration du transfert et du stockage des données en conception de systèmes embarqués à Haut débit.
Soutenance le 9 mai 2001
Thierry J.-F. Omnès

A/323/CRI :

THESE : Aide au placement d'applications de traitement du signal sur machines parallèles multi-SPMD
Rencontre de la parallélisation automatique et de la programmation par contraintes.
Soutenance le 20 décembre 2001
Nicolas Museux


1999


A/310/CRI :

THÈSE: Contributions à l'optimisation de programmes scientifiques
Décembre 1999
Julien Zory


1998


A/305/CRI/1997 :

THÈSE: Optimisation globale et placement d'applications de traitement du signal sur architectures parallèles utilisant la programmation logique avec contraintes.
Soutenance le 12 Décembre 1997
Christophe Guettier


1996


A/295/CRI :

THÈSE: Analyses de Régions de Tableaux et Applications.
Décembre 1996
Béatrice Creusillet

A/293/CRI :

THÈSE: Contributions à la compilation du High Performance Fortran.
3 octobre 1996
Fabien Coelho


1995


A/268/CRI :

THÈSE: CONTRIBUTION A LA DISTRIBUTION AUTOMATIQUE DES DONNEES POUR MACHINES MASSIVEMENT PARALLELES
Mars 1995
Alexis Platonoff


1994


A/258/CRI :

THÈSE: SYSTEMES D'EFFET ET D'INTERPRETATION ABSTRAITE POUR L'ANALYSE DE FLOT DE CONTROLE
Mars 1994
Yan-Mei Tang-Talpin

A/255/CRI :

THÈSE: STATICAL AND DYNAMICAL ANALYSIS OF PROGRAM COMPLEXITY, ANALYSE STATIQUE ET DYNAMIQUE DE LA COMPLEXITE DES PROGRAMMES SCIENTIFIQUES.
Septembre 1994
Lei Zhou


1993


A/247/CRI :

THÈSE: ANALYSE SEMANTIQUE RELATIONNELLE DES INDICES DE TABLEAUX PAR CONGRUENCES ET TRAPEZOIDES RATIONNELS.
Décembre 1993
François Masdupuy

A/242/CRI :

THÈSE: TESTS DES DEPENDANCES ET TRANSFORMATIONS DE PROGRAMME. 1993
Novembre 1993
Yi-Qing Yang

A/236/CRI :

THÈSE: ASPECTS THEORIQUES ET PRATIQUES DE L'INFERENCE DE TYPE ET D'EFFETS.
Mai 1993
Jean-Pierre Talpin.


1992


A/232/CRI :

THÈSE: LES PHILOSOPHIES SUR L'INTERACTION DES PROCESSUS (PROCESS INTERACTION MODELS).
1er Juillet 1992. (1993)
S. Ericsson Zenith.

A/212/CRI :

THÈSE: ANALYSE DE COMPLEXITE DES ALGORITHMES : VÉRIFICATION ETINFÉRENCE.
Juin 1992
V. Dornic


1991


A/200/CRI :

THÈSE: GENERATION AUTOMATIQUE DE CODE DE TRANSFERT POUR MULTIPROCESSEURS A MÉMOIRES LOCALES.
Mars 1991
M. Ancourt-Le Quellenec


1989


A/192/CAI/I :

THÈSE: CONTRÔLE SÉMANTIQUE ET INTERROGATION ASSISTÉE DES BANQUES DE DONNÉES AUTOSTRUCTUREES
SIGMINI.
Document pas encore rendu
Juillet 1989
M. Jarmouni-Idrissi


1988


A/190/CAI/I :

THÈSE: RESTRUCTURATION DES PROGRAMMES FORTRAN EN VUE DE LEUR PARALLÉLISATION.
Décembre 1988
Z. Ammarguellat


1987


A/183/CAI/I :

THÈSE: PARTITIONNEMENT DES BOUCLES IMBRIQUÉES - UNE TECHNIQUE D'OPTIMISATION POUR LES PROGRAMMES SCIENTIFIQUES.
Juin 1987
F. Irigoin

A/182/CAI/I/1984 :

THÈSE:CONTRIBUTION A LA PARALLÉLISATION AUTOMATIQUE DE PROGRAMMES FORTRAN COMPORTANT DES APPELS DE PROCÉDURE.
20 Décembre 1984
Rémi Triolet


1986


A/003/CAI/I :

THESE: CAXI : UN PROCESSUER RAPIDE DE RAPPROCHEMENT D'EMPREINTES DIGITALES. 1986
Soutenue le 19 décembre 1986
Pascal Cordebar


1983


A/002/CRI :

THESE : INTERROGATION D'UN BANQUE DE DONNEES AUTOSTRUCTURANTE SIGMINI
Soutenance le 18 avril 1983
Claude Poulain ep. Bauzou


1979


A/001/CRI :

THESE : SIGMI, un modèle auto-structurant de base de données.
Soutenance le 12 décembre 1979
Patrick Mordini