Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Mioara Maria Joldes

est l'auteur d'une thèse
a dirigé 2 thèses
a été membre de jury pour 2 thèses

Algorithmes certifiés Approximations polynomiales rigoureuses Arithmétique Flottante Arithmétique des ordinateurs Arithmétique en virgule flottante Arithmétique flottante Arithmétique multi-précision Attracteur de Hénon Attracteurs étranges Aérospatial Calcul GPGPU Calcul embarqué Calcul formel Calcul numérique rigoureux Calcul rigoureux Calculs validés Commande H-infini Commande H∞ par loop-shaping Commande adaptative Commande prédictive Erreur d'approximation Expansions virgule flottante Field Programmable Gate Arrays Fonctions D-finies Géométrie algébrique réelle Modèles de Chebyshev – Modèles de Taylor Méthodes d'encadrement Méthodes de calcul formel Méthodes symboliques-numériques Opérateurs Matériels Paramètres de modèles et paramètres inconnus Preuve formelle Preuves assistées par ordinateur Processeurs graphiques Programmation semi-définie mal-posée Rendez-vous orbital Rendez-vous spatial Series de Chebyshev Systèmes dynamiques Systèmes impulsifs Systèmes à retard Validation a posteriori Viseurs Équations de Riccati algébriques Évaluation des fonctions

Fullscreen

Algorithmes certifiés Approximations polynomiales rigoureuses Arithmétique Flottante Arithmétique des ordinateurs Arithmétique en virgule flottante Arithmétique flottante Arithmétique multi-précision Attracteur de Hénon Attracteurs étranges Aérospatial Calcul GPGPU Calcul embarqué Calcul formel Calcul numérique rigoureux Calcul rigoureux Calculs validés Commande H-infini Commande H∞ par loop-shaping Commande adaptative Commande prédictive Erreur d'approximation Expansions virgule flottante Field Programmable Gate Arrays Fonctions D-finies Géométrie algébrique réelle Modèles de Chebyshev – Modèles de Taylor Méthodes d'encadrement Méthodes de calcul formel Méthodes symboliques-numériques Opérateurs Matériels Paramètres de modèles et paramètres inconnus Preuve formelle Preuves assistées par ordinateur Processeurs graphiques Programmation semi-définie mal-posée

Mioara Maria Joldes a rédigé la thèse suivante :

Approximations polynomiales rigoureuses et applications

par Mioara Maria Joldes sous la direction de Jean-Michel Muller et de Nicolas Brisebarre . - Lyon, École normale supérieure

Informatique

Soutenue le 26-09-2011

Thèse soutenue

Accéder en ligne

Mioara Maria Joldes a dirigé les 2 thèses suivantes :

Certified numerics in function spaces : polynomial approximations meet computer algebra and formal proof

par Florent Bréhard sous la direction de Mioara Maria Joldes et de Mioara Maria Joldes . - Lyon

Informatique

Soutenue le 12-07-2019

Thèse soutenue

Accéder en ligne

Embedded and validated control algorithms for the spacecraft rendezvous

par Paulo Ricardo Arantes Gilz sous la direction de Mioara Maria Joldes et de Christophe Louembet . - Toulouse 3

Mathématiques appliquées

Soutenue le 17-10-2018

Thèse soutenue

Accéder en ligne

Mioara Maria Joldes a été membre de jury des 2 thèses suivantes :

Commande H∞ paramétrique et application aux viseurs gyrostabilisés

par Guillaume Rance sous la direction de Alban Quadrat - Université Paris-Saclay (ComUE)

Automatique

Soutenue le 09-07-2018

Thèse soutenue

Accéder en ligne

Towards fast and certified multiple-precision librairies

par Valentina Popescu sous la direction de Jean-Michel Muller - Lyon

Informatique

Soutenue le 06-07-2017

Thèse soutenue

Accéder en ligne