Aller au contenu Aller au menu Aller à la recherche

accès rapides, services personnalisés
ED 386
École doctorale de Sciences Mathématiques de Paris Centre

Thèses soutenues à l'université Paris-Diderot en 2008-2009

Thèses de mathématiques soutenues à l'université Paris-Diderot en 2008-2009

Prénom

Nom

Laboratoire

Directeur de thèse

Sujet

Date

Mohssen

Abboud

Laboratoire d'Informatique Algorithmique : Fondements et Applications

H. Fauconnier et C. Gallet Delporte

Tolérance aux défaillances dans les réseaux dynamiques

27 novembre 2008

Marie

Albenque

Laboratoire d'Informatique Algorithmique : Fondements et Applications

J. Mairesse et J.-F. Marckert

Tresses, animaux, cartes : à l'interaction entre combinatoire et probabilité

3 décembre 2008

Cécile

Armana

Institut de Mathématiques de Jussieu

L. Merel

Torsion rationnelle des modules de Drinfeld

5 novembre 2008

Panagiotis

Batakidis

Institut de Mathématiques de Jussieu

C. Torossian

Déformation par quantification et théorie de Lie

17 juin 2009

Vincent

Beck

Institut de Mathématiques de Jussieu

M. Broué

Algèbre des invariants relatifs pour les groupes de réflexions - catégorie stable

19 novembre 2008

Jean-François

Chassagneux

Laboratoire de Probabilités et Modèles Aléatoires

X.-H. Pham et B. Bouchard-Denize

Processus réfléchis en finance et probabilité numérique

28 novembre 2008

Mathieu

Cossutta

Institut de Mathématiques de Jussieu

N. Bergeron

Cohomologie de certaines variétés localement symétriques et correspondance theta

8 juillet 200

Zaynah

Dargaye

INRIA - Équipe projet GALLIUM

X. Leroy

Vérification formelle d un compilateur optimisant pour langages fonctionnels

6 juillet 2009

Claire

David

Laboratoire d'Informatique Algorithmique : Fondements et Applications

A. Muscholl et L. Segoufin

Analyse de XML avec données non-bornées

7 mai 2009

Cécile

Delerablée

Laboratoire d'Informatique de l'ENS

D. Pointcheval

Cryptographie dans les groupes

1er juillet 2009

Luca

Fossati

Laboratoire Preuves, Programmes et Systèmes

P.-L. Curien et S. Ronchi Della Rocca

Modeling the Handshake protocol for Asychrony

9 février 2009

Achille

Frigeri

Laboratoire d'Informatique Algorithmique : Fondements et Applications

C. Choffrut et A. Cherubini

Définissabilité dans Z et dans Zp

24 mars 2009

Nicolas

Gama

Laboratoire d'Informatique de l'ENS

P. Nguyen

Géométrie des nombres et cryptanalyse de NTRU

13 novembre 2008

Mauricio

Guillermo Gonzalez

Laboratoire Preuves, Programmes et Systèmes

J.-L. Krivine

Jeux de réalisabilité en arithmétique classique

11 décembre 2008

Frédéric

Guilloux

Laboratoire de Probabilités et Modèles Aléatoires

D. Picard et J.-F. Cardoso

Analyse harmonique et estimation spectrale sur la sphère. Application à l'étude du fond diffus cosmologique

8 décembre 2008

Mohamed

Hebiri

Laboratoire de Probabilités et Modèles Aléatoires

N. Vayatis

Quelques questions de sélection de variables autour de l'estimateur Lasso

30 juin 2009

Florian

Horn

Laboratoire d'Informatique Algorithmique : Fondements et Applications

A. Muscholl et W. Thomas

Jeux aléatoires

24 novembre 2008

Patrick

Labatut

Laboratoire d'Informatique de l'ENS

R. Keriven

Partition de complexes guidés par les données pour la reconstruction de surface

14 septembre 2009

Sylvain

Lebresne

Laboratoire Preuves, Programmes et Systèmes

P.-L. Curien et H. Heberlin

Une approche de la détection statique d'exceptions non rattrapées en appel par nom   

5 décembre 2008

Nicolas

Libedinsky

Institut de Mathématiques de Jussieu

R. Rouquier

Autour de la catégorie des bimodules de Soergel

17 novembre 2008

Vincent

Limouzy

Laboratoire d'Informatique Algorithmique : Fondements et Applications

M. Habib

Sur quelques généralisations polynomiales de la décomposition modulaire

3 décembre 2008

Farès

Maalouf

Laboratoire de Logique Mathématique

F. Delon

Structures C-minimales géométriques et trichotomie de Zilber

4 décembre 2008

Olivier

Mallet

Laboratoire d'Informatique Algorithmique : Fondements et Applications

J. Lovejoy

Autour des surpartitions et des identités de type Rogers-Ramanujan

28 novembre 2008

Nadir

Matringe

Institut de Mathématiques de Jussieu

P. Gerardin

Distinction et fonctions L d'Asai pour les représentations génériques des groupes linéaires généraux sur les corps p-adiques

8 décembre 2008

Pierre

Maurel

Laboratoire d'Informatique de l'ENS

O. Faugeras

Shape gradients, shape warping and medical application to facial expression analysis

2 décembre 2008

Katia

Meziani

Laboratoire de Probabilités et Modèles Aléatoires

D. Picard et C. Butucea

Estimation non paramétrique en tomographie quantique homodyne

9 décembre 2008

Samuel

Mimram

Laboratoire Preuves, Programmes et Systèmes

P.-A. Melliès

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle

1er décembre 2008

Yann

Palu

Institut de Mathématiques de Jussieu

B. Keller

Des catégories triangulées aux algèbres amassées

8 juin 2009

Mickaël

Pechaud

Laboratoire d'Informatique de l'ENS

R. Keriven

Applications de calculs de plus courts chemins en imagerie médicale

25 septembre 2009

Walid

Refai

Institut de Mathématiques de Jussieu

H. Eliasson

Sur le spectre ponctuel des opérateurs de Schrodinger quasi-périodiques

28 septembre 2009

Cécilia

Salgado Guimaraes Da Silva

Institut de Mathématiques de Jussieu

M. Hindry

Rang de surfaces elliptiques : théorèmes de comparaison

19 juin 2009

François

Simenhaus

Laboratoire de Probabilités et Modèles Aléatoires

F. Comets

Marches aléatoires en milieux aléatoires. Étude de quelques modèles multidimensionnels

13 novembre 2008

Nicolas

Tabareau

Laboratoire Preuves, Programmes et Systèmes

P.-A. Melliès

Modalités de ressources et contrôle en logique tensorielle

3 décembre 2008

Victor Manuel

Torres Perez

Laboratoire de Logique Mathématique

S. Todorcevic

Réflexion, Compacité et Arithmétique des Cardinaux

1er juillet 2009

Paolo

Tranquilli

Laboratoire Preuves, Programmes et Systèmes

A. Bucciarelli et L. Tortora de Falco

Réseaux entre Déterminisme et non-déterminisme

23 avril 2009

Boris

Yakobowski

INRIA - Équipe projet GALLIUM

D. Remy

Types et contraintes graphiques : polymorphisme de second ordre et inférence

17 décembre 2008

36 soutenances de thèse

Corentin Lacombe - 15/02/16

Traductions :

    Contact

    École Doctorale de Sciences Mathématiques de Paris Centre

     

    Université Pierre et Marie Curie (Paris 6)

    Tours 15-25, 1er étage, Bureau 1.15

    4, Place Jussieu - 75252 Paris cedex 05

    Boîte courrier 290

    Courriel : Jean-François Venuti (jean-francois.venuti @ upmc.fr)

    Tél : 01 44 27 85 67

     

    Université Paris Diderot (Paris 7)

    Bât. Sophie Germain hall 1, 5ème étage, bureau 5056

    Entrée à l'angle avenue de France/rue Alice Domon et Léonie Duquet

    75205 Paris cedex 13

    Case courrier 7012

    Courriel : Élise Delos (ufr-ed386 @ math.univ-paris-diderot.fr)
    Tél : 01 57 27 92 13
    Fax : 01 57 27 91 40