Soutenances de thèses et HDR
Les prochaines soutenances
Événements passés
18
Juin
Modèles de déformation de processus stochastiques généralisés. Application à l’estimation des non stationnarités dans les signaux audio
Harold Omer (I2M, Aix-Marseille Université)
Cette thèse porte sur la modélisation et l'estimation de certaines non-stationnarités dans les signaux audio. Nous nous intéressons particulièrement à une classe de modèles de [...]
Sur la topologie des ensembles semi-algébriques : caractéristique d'Euler, degré topologique et indice radial
Julie Lapébie (I2M, Aix-Marseille Université)
Thèse de doctorat en Mathématiques Sous la direction de Nicolas Dutertre. Soutenue le 29-05-2015 à Aix-Marseille , dans le cadre de l'École Doctorale Mathématiques et [...]
Sur les preuves et les types dans la logique du second ordre
Paolo Pistone (I2M, Aix-Marseille Université)
Sous la direction de Jean-Yves Girard. Soutenue le 27-03-2015 à Aix-Marseille en cotutelle avec l'Università degli studi di Roma "Tor Vergata". Facoltà di scienze , [...]
Combinatorial and dynamical properties of adding machine
Danilo Antonio Caprio (I2M, Aix-Marseille Université)
In this work we define a stochastic adding machine associated to the Fibonacci base and to a probabilities sequence (Pi) i>1. We obtain a Markov [...]
Contribution à la résolution numérique d'écoulements à tout nombre de Mach et au couplage fluide-poreux en vue de la simulation d'écoulements diphasiques homogénéisés dans les composants nucléaires
Chady Zaza (I2M, Aix-Marseille Université)
Thèse de doctorat en Mathématiques Sous la direction de Raphaèle Herbin et de Philippe Angot. Soutenue le 02-02-2015 à Aix-Marseille , dans le cadre de [...]
Types in Ludics
Eugenia Sironi (I2M, Aix-Marseille Université)
This thesis proposes a representation of the notion of type, with a particular interest on dependent types, in Ludics. Ludics is a theory introduced by [...]
19
Déc
Seiberg-Witten theory on 4-manifolds with periodic ends
Diogo Veloso (I2M, Aix-Marseille Université)
Thèse de doctorat en Mathématiques - http://www.theses.fr/s110986 Sous la direction de Andrei Teleman. Soutenue le 19-12-2014 à Aix-Marseille , dans le cadre de l'École Doctorale [...]
Corrélations pour les systèmes de numération
Lukas Spiegelhofer (I2M, Aix-Marseille Université)
Title: Correlations for numeration systems Titel : Korrelationen für Zahlensysteme - Cette thèse porte sur la fonction bien connue de somme des chiffres et sur [...]
Modelling of Metastatic Growth and In Vivo Imaging
Niklas Hartung (I2M, Aix-Marseille Université)
http://www.theses.fr/2014AIXM4763 Modelling of Metastatic Growth and In Vivo Imaging Metastasis is one of the major problems of cancer because metastases areoften difficult to detect by [...]
Une étude combinatoire du lambda-calcul avec ressources uniforme
Jean-Baptiste Midez (I2M, Aix-Marseille Université)
Thèse de doctorat en Mathématiques Sous la direction de Laurent Régnier. Soutenue le 15-12-2014 à Aix-Marseille , dans le cadre de Ecole Doctorale Mathématiques et [...]
Propriétés arithmétiques et combinatoires de la fonction somme des chiffres
Karam Aloui (I2M, Aix-Marseille Université)
Thèse de doctorat en Mathématiques Sous la direction de Christian Mauduit et de Mohamed Mkaouar. Soutenue le 15-12-2014 à Aix-Marseille en cotutelle avec l'Université de [...]
12
Déc
Quelles alternatives pour l’enseignement du calcul algébrique au collège ?
Céline Constantin-Héliot (I2M, Aix-Marseille Université)
http://www.theses.fr/s118775 - Nous nous intéressons dans cette thèse à l’élaboration d’alternatives pour enseigner le calcul algébrique au collège, et plus particulièrement la propriété de distributivité [...]
Schémas volumes finis pour des modèles multiphasiques
Flore Nabet (I2M, Aix-Marseille Université)
http://www.theses.fr/2014AIXM4359 Schémas volumes finis pour des modèles multiphasiques. Ce manuscrit de thèse porte sur l'analyse numérique de schémas volumes finis pour la discrétisation de deux [...]
06
Déc
Méthodes stochastiques de modélisation de données: application à la reconstruction de données non régulières
Léticia Buslig (I2M, Aix-Marseille Université)
Thèse de doctorat en Mathématiques Sous la direction de Jacques Liandrat et de Jean Baccou. Soutenue le 06-10-2014 à Aix-Marseille , dans le cadre de [...]
On operational properties of quantitative extensions of lambda-calculus
Michele Alberti (I2M, Aix-Marseille Université)
http://www.theses.fr/s119485 In this thesis we deal with the operational behaviours of two quantitative extensions of pure λ-calculus, namely the algebraic λ-calculus and the probabilistic λ-calculus. [...]
On the resolution semiring (sur le semi anneau de résolution)
Marc Bagnol (I2M, Aix-Marseille Université)
http://www.theses.fr/s119386 - We study in this thesis a semiring structure with a product based on the resolution rule of logic programming. This mathematical object was [...]
Problèmes géométriques et cohomologiques sur les variétés complexes
Julien Grivaux (I2M, CNRS, Marseille)
Geometric and cohomological problems on complex manifolds Membres du jury :- - Frédéric Campana (Nancy) - Philippe Eyssidieux (Grenoble) - Giovanni Forni (College Park) - [...]
Géométrie des espaces de tenseurs - Une approche effective appliquée à la mécanique des milieux continus
Marc Olive (I2M, Aix-Marseille Université)
http://www.theses.fr/s110951 - L'étude des matériaux élastiques en mécanique des milieux continus fait intervenir un espace de tenseurs d'ordre 4, appelé espace des tenseurs d'élasticité et [...]
Résonances pour des Guides d’Ondes Acoustiques Multistratifiés. Quelques Problèmes Inverses pour l’équation de la chaleur
Olivier Poisson (I2M, Aix-Marseille Université)
https://hal.archives-ouvertes.fr/tel-01255506 Ce mémoire présente la majeure partie de mes travaux de recherche de- puis mon arrivée à l’Université de Provence, fin 1992. Ces travaux, détaillés [...]
17
Nov
Processus de branchement avec interaction
Vi Le (I2M, Aix-Marseille Université)
http://www.theses.fr/s110650 Branching processes with interaction This thesis consists of four chapters: Chapter 1 investigates the distribution of the coalescence time (most recent common ancestor) for [...]
