Sujets de thèse proposés pour la rentrée 2008


Mathématiques

  • Univers positifs. Tuna Altinel.

  • La théorie des modèles et le groupe libre. Tuna Altinel.

  • La théorie des modèles des groupes de Thompson-Higman-Bieri-Strebel-Stein. Tuna Altinel.

  • Explosion en temps fini de solutions peu oscillantes d'équations paraboliques semi-linéares. Lorenzo Brandolese et Dragos Iftimie.

  • Calcul fonctionnel faiblement continu, croissance de la résolvante et problème du sous-espace invariant. Isabelle Chalendar.

  • Problemes d'interaction fluide-structure en lubrification. Ionel Ciuperca et Mohammed Jai.

  • Modélisation, analyse et simulations numériques des fluides a surface libre. Francis Filbet et Pascal Noble.

  • Equations dans les produits libres. Abderezak Ould Houcine.

  • Influence de la révolution Meiji sur la practique de la géométrie au Japon. Kenji Iohara et Annick Horiuchi.

  • Groupes d'automorphismes de structures universelles. Eric Jaligot et Julien Melleray.

  • Classes caractéristiques de groupoides et renormalisation. Denis Perrot.

  • Etude explicite des conjectures de Stark. Xavier Roblot.

  • Actions de groupes sur des espaces homogènes et application a la théorie des nombres. George Tomanov.

  • Les théories de Morales-Ramis et de Ziglin: vers une application effective. Alexei Tsigvintsev.


    • Informatique

  • Approximation de fonctions multivariés sous contraintes : vers un atelier logiciel pour la conception de bibliothèques mathématiques. Nicolas Brisebarre et Jean-Michel Muller.

  • Exécution d'applications a base de composants logiciels sur des architectures a large échelle. Eddy Caron et Christian Pérez.

  • Coalitions dans les jeux a Conversions et Préférences. Application aux réseaux de régulation biologique. Pierre Lescanne.

  • Support de solutions logicielles sensibles a la consommation d'energie pour le transport de donnes hautes performances et les calculs dans les systemes distribues a grande echelle. Laurent Lefevre et Isabelle Guerin Lassous.

  • Algorithmique auto-stabilisante pour architecture P2P et environnement Desktop Computing. Franck Petit et Gilles Fedak.

  • Système de communication sans fil et de traitement distribue pour microcontroleurs embarquant des capteurs afin de calibrer, suivre et améliorer l'efficacité énergétique des batiments. Bernard Tourancheau.