Soutenances de thèses et HDR
Les prochaines soutenances
Pas d'évènements à afficher
Événements passés
Types in Ludics
Eugenia Sironi
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 [...]
Métriques algébriques canoniques et applications en géométrie Kählérienne
Julien Keller
Soutenance HDR Habilitation à diriger des recherches (HDR en PDF). Canonical algebraic metrics and applications to various problems in Kähler geometry- - - *Membres du [...]
Substitutions et isométries par morceaux
Nicolas Bédaride
Dans ce mémoire on aborde l'étude de divers systèmes dynamiques via un codage de ces applications. On se ramène alors à l'étude de la dynamique [...]
Étude mathématique et numérique des modèles hyperélastiques et visco-plastiques : applications aux impacts hypervéloces
Serge Ndanou
Thèse de doctorat en Mécanique et physique des fluides Sous la direction de Sergey Gavrilyuk et de Nicolas Favrie. Soutenue le 03-11-2014 à Aix-Marseille , [...]
Ondes progressives et phénomènes de propagation pour des équations paraboliques dépendant du temps
Weiwei Ding
Sous la direction de François Hamel et de Xing Liang. Soutenue le 03-11-2014 à Aix-Marseille, dans le cadre de l'École Doctorale Mathématiques et Informatique de [...]
Surfaces multi-toriques, obstruction d'Euler et applications
Thais maria Dalbelo
Sous la direction de Jean-Paul Brasselet. Soutenue le 24-10-2014 à Aix-Marseille en cotutelle avec l'Universidade de São Paulo (Brésil) , dans le cadre de Ecole [...]
