Centre de recherche en informatique
Mathématiques et systèmes
|
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 |
A/822/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
- 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
- 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
- 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
- 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
- THESE : Automatic Source-to-Source Optimizations using Machine Learning
- These soutenue le 06 decembre 2022
Lieu : Mines Paris- HAL = tel-04307172v1
- Maksim Berezov
- THESE : Reseau acoustique de communication bidirectionnelle ultrasonore efficace en milieu ferme
- These soutenue le 11 mai 2021
- HAL = tel-03264278v1
- Arthur Aubertin
- 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
- 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
- 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
- THESE: Dynamic Adaptation of Human-Computer Interfaces Using Cognitive Load Tracking
- These soutenue le 19 decembre 2019
Lieu: MINES ParisTech, Paris- Bruno Massoni Sguerra
- 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
- THESE: Performance analyses and code transformations for MATLAB applications
- These soutenue le 19 decembre 2019
Lieu : MINES ParisTech, Paris- HAL = tel-02516727v1
- Patryk Kiepas
- 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
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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)
- 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
- THESE: Programmation haute performance pour architectures hybrides
- Soutenue le 19 novembre 2014
- HAL = tel-01101782
- Rachid Habel
- 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
- THESE:Analyse des pointeurs pour le langage C
- Soutenue le 24 juin 2013
- Amira Mensi
- 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
- 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
- THESE: Building Source-to-Source Compilers for Heterogeneous Targets.
- Soutenance le 7 octobre 2011
(Confidentiel)- octobre 2011
- Serge Guelton
- THESE: Leveraging Streaming for Deterministic Parallelization : an Integrated Language, Compiler and Runtime Approach.
- Soutenance le 30 septembre 2011
- septembre 2011
- Antoniu Pop
- 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
- THESE: Robust and Generic Abstract Domain for Static Program Analyses: The Polyhedral Case.
- Soutenance le 26 novembre 2010
- novembre 2010
- Duong Nguyen Que
- 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)
- THESE: Enrichissement de réseaux sémantiques par la priximité de concepts.
- Soutenance le 12 novembre 2008
- Reena SHETTI
- 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)
- 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
- THESE: Jeux vidéo éducatifs et motivation : application à l'enseignement du jazz
- Soutenance le 11 décembre 2006
- 11 décembre 2006
- Guillaume Denis
- THESE: The SSA Representation Framework: Semantics, Analyses and GCC Implementation
- Soutenance le 13 décembre 2006
- 13 décembre 2006
- Sebastian Pop
- 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
- THESE : SearchXQ : une méthode daide à 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
- THESE : Corrélation sémantique entre documents. Application à la recherche d'information juridique sur le Web.
- Soutenance le 12 décembre 2003
- Chritophe Chotteau
- 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
- 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
- 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
- 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
- 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
- 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
- THÈSE: Contributions à l'optimisation de programmes scientifiques
- Décembre 1999
- Julien Zory
- 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
- THÈSE: Analyses de Régions de Tableaux et Applications.
- Décembre 1996
- Béatrice Creusillet
- THÈSE: Contributions à la compilation du High Performance Fortran.
- 3 octobre 1996
- Fabien Coelho
- THÈSE: CONTRIBUTION A LA DISTRIBUTION AUTOMATIQUE DES DONNEES POUR MACHINES MASSIVEMENT PARALLELES
- Mars 1995
- Alexis Platonoff
- THÈSE: SYSTEMES D'EFFET ET D'INTERPRETATION ABSTRAITE POUR L'ANALYSE DE FLOT DE CONTROLE
- Mars 1994
- Yan-Mei Tang-Talpin
- THÈSE: STATICAL AND DYNAMICAL ANALYSIS OF PROGRAM COMPLEXITY, ANALYSE STATIQUE ET DYNAMIQUE DE LA COMPLEXITE DES PROGRAMMES SCIENTIFIQUES.
- Septembre 1994
- Lei Zhou
- THÈSE: ANALYSE SEMANTIQUE RELATIONNELLE DES INDICES DE TABLEAUX PAR CONGRUENCES ET TRAPEZOIDES RATIONNELS.
- Décembre 1993
- François Masdupuy
- THÈSE: TESTS DES DEPENDANCES ET TRANSFORMATIONS DE PROGRAMME. 1993
- Novembre 1993
- Yi-Qing Yang
- THÈSE: ASPECTS THEORIQUES ET PRATIQUES DE L'INFERENCE DE TYPE ET D'EFFETS.
- Mai 1993
- Jean-Pierre Talpin.
- THÈSE: LES PHILOSOPHIES SUR L'INTERACTION DES PROCESSUS (PROCESS INTERACTION MODELS).
- 1er Juillet 1992. (1993)
- S. Ericsson Zenith.
- THÈSE: ANALYSE DE COMPLEXITE DES ALGORITHMES : VÉRIFICATION ETINFÉRENCE.
- Juin 1992
- V. Dornic
- THÈSE: GENERATION AUTOMATIQUE DE CODE DE TRANSFERT POUR MULTIPROCESSEURS A MÉMOIRES LOCALES.
- Mars 1991
- M. Ancourt-Le Quellenec
- 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
- THÈSE: RESTRUCTURATION DES PROGRAMMES FORTRAN EN VUE DE LEUR PARALLÉLISATION.
- Décembre 1988
- Z. Ammarguellat
- THÈSE: PARTITIONNEMENT DES BOUCLES IMBRIQUÉES - UNE TECHNIQUE D'OPTIMISATION POUR LES PROGRAMMES SCIENTIFIQUES.
- Juin 1987
- F. Irigoin
- THÈSE:CONTRIBUTION A LA PARALLÉLISATION AUTOMATIQUE DE PROGRAMMES FORTRAN COMPORTANT DES APPELS DE PROCÉDURE.
- 20 Décembre 1984
- Rémi Triolet
- THESE: CAXI : UN PROCESSUER RAPIDE DE RAPPROCHEMENT D'EMPREINTES DIGITALES. 1986
- Soutenue le 19 décembre 1986
- Pascal Cordebar
- THESE : INTERROGATION D'UN BANQUE DE DONNEES AUTOSTRUCTURANTE SIGMINI
- Soutenance le 18 avril 1983
- Claude Poulain ep. Bauzou
- THESE : SIGMI, un modèle auto-structurant de base de données.
- Soutenance le 12 décembre 1979
- Patrick Mordini