Analyse numérique  Anticancéreux  Architecture des ordinateurs  Arithmétique d'intervalles  Arithmétique en virgule flottante  Arithmétique interne des ordinateurs  Automates cellulaires  BLAS  Bioréacteur à membranes  Bioréacteurs  Biotransformation  Biotransformation  Calcul d'erreur  Calcul intensif  Calculs numériques  Cartes graphiques  Certification de programmes  Colmatage  Déchets biomédicaux  Efficacité  Fonctions  Fonctions élémentaires  GPGPU  GPU  Générateurs de code source  Génération de code  Inhibiteurs  Inhibition  Loi multinomiale  Modèle de Taylor  Modèles mathématiques  Modélisation  Morphogenèse  Optimisation  Parallélisation  Parallélisme  

Marc Daumas a rédigé les 2 thèses suivantes :

Contributions a l'arithmetique des ordinateurs : vers une maitrise de la precision

par Marc Daumas sous la direction de Jean-Michel Muller - Lyon, École normale supérieure (sciences)

Sciences appliquées

Soutenue en 1996

Contribution a la synthese de la rhizobitoxine : synthese d'analogues structuraux, aminoacidees beta, gamma-ethers d'enol et beta, gamma-arylethers d'enol

par Marc Daumas sous la direction de François Le Goffic - Paris 6

Chimie

Soutenue en 1990

Marc Daumas a dirigé les 5 thèses suivantes :

Enjeux de conception des architectures GPGPU : unités arithmétiques spécialisées et exploitation de la régularité

par Sylvain Collange sous la direction de Marc Daumas - Perpignan

Informatique

Soutenue en 2010

Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves

par Francisco José Cháves Alonso sous la direction de Marc Daumas et de Nathalie Revol . - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2007

De l'arithmétique d'intervalles à la certification de programmes

par Guillaume Melquiond sous la direction de Marc Daumas - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2006

Preuves formelles en arithmétiques à virgule flottante

par Sylvie Boldo sous la direction de Marc Daumas - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2004

Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE

par Claire Finot-Moreau sous la direction de Marc Daumas et de Jean-Michel Muller . - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2001

Marc Daumas a été rapporteur de la thèse suivante :

Parallélisation et optimisation d'un simulateur de morphogénèse d'organes. Application aux éléments du rein

par Jonathan Caux sous la direction de David R. C. Hill - Clermont-Ferrand 2

Informatique

Soutenue le 30-11-2012

Marc Daumas a été membre de jury des 3 thèses suivantes :

Elementary functions : towards automatically generated, efficient, and vectorizable implementations

par Hugues de Lassus Saint-Genies sous la direction de David Defour et de Guillaume Revy . - Perpignan

Informatique

Soutenue le 17-05-2018

Towards reproducible, accurately rounded and efficient BLAS

par Chemseddine Chohra sous la direction de Philippe Langlois et de David Parello . - Perpignan

Informatique

Soutenue le 10-03-2017

Traitement des effluents d’un service d’oncologie par bioréacteur à membranes : faisabilité d’acclimatation et gain apporté sur l’élimination de molécules médicamenteuses

par Pierre Hamon sous la direction de Benoît Marrot - Aix-Marseille

Génie des procédés

Soutenue le 07-07-2014