La signature courte de Boneh Lynn et Shacham

Le début de l’histoire avec Diophante Les courbes elliptiques sont de vieux objets d’etude mathematique. Outre la geometrie algebrique d’ou elles proviennent, ces courbes apparaissent aussi bien en theorie des nombres qu’en analyse. On verra dans cette these quelques applications...

Reconstruction de phase par modèles de signaux

Le traitement des signaux audio a connu ces dernières décennies un essor considérable, et trouve aujourd’hui des applications dans de très nombreux domaines. En effet, du rehaussement de la parole dans les télécommunications à des appareils médicaux tels que les...

Décomposition de spectrogrammes musicaux informée par des modèles de synthèse spectrale

Pour un être humain, il est généralement facile de décrire un extrait de musique : il est assez aisé d’identifier grossièrement les instruments qui le composent, d’en donner le genre, de donner une idée du tempo, et pour un auditeur...

Processus gaussiens pour la séparation de sources et le codage informé

Cette thèse porte sur le problème de la séparation de sources, qui vise à récupérer différents signaux appelés sources, à partir de l’observation de leurs mélanges. C’est un sujet qui a des applications dans de nombreuses disciplines du traitement du...

Variations de détournement sur un interpréteur minimal ébaudis

Whenever logical processes of thought are employed—that is, whenever thought for a time runs along an accepted groove—there is an opportunity for the machine. "Vannevar aush, As We May Think". Il faut distinguer le code source d’un programme et le...

Raffinement de l’étalonnage et extension à la cartographie par ajout d’une régularisation spatiale

Étalonnage par apprentissage/correction Les auteurs de [5, 128, 223] ont proposé des méthodes d’étalonnage à base de projection orthogonale pour un réseau de capteurs fixes à réponses affines (modèle gain/offset) et dont les mesures sont synchronisées. Celles-ci consistent à estimer...

La théorie anthropologique du didactique

La théorie Anthropologique du Didactique Nous nous situons dans le cadre de la théorie Anthropologique du Didactique (Chevallard, 1998, 1999), notamment pour analyser les manuels et, plus tard, pour les séances de classe (dans nos synopsis). Dans l’enseignement d’un objet...

La sécurité dans les réseaux

Cryptage à clé publique • Non seulement pour le cryptage, mais aussi pour l’authentification et la signature électronique • Fonctions à sens unique • Chaque utilisateur A possède 2 clés : une publique (KA+) et une privée (KA-) • On...

Cours d’informatique de MPSI

1. Generalités 1.1. Comment mesurer la performance d'un programme? Bien entendu, la premiere vertu d'un programme est sa correction, la suivante etant sa terminaison. Une fois ces proprietes satisfaites, il reste a savoir dans quelle mesure le programme propose est...

Métriques de mesure de la stabilité

L’évolution des logiciels est reconnue comme un processus naturel pour les systèmes d’une longue durée de vie (Lehman, 1980). Les raisons de l’évolution sont principalement liées aux changements dus à l’ajout ou l’amélioration des fonctionnalités, la correction des bogues, la...