Le groupe d’informatique théorique participe aux enseignements suivants:

page du cours

Les réseaux de capteurs ont des caractéristiques propres qui les rendent profondément différents d’autres réseaux ad-hoc et sans fils. Les problématiques et solutions algorithmiques aux problèmes principaux seront présentées.

1. Présentation du hardware et des applications typiques.
2. Algorithmes pour la couche de liaison (data-link layer): établissement et maintenance de la topologie, localisation, synchronisation temporelle.
3. Algorithmes pour la couche réseau: routage, gestion de ressources (énergie, fréquence, puissance, rapports cycliques), mobilité des stations de bases.
4. Applications hauts niveau: détection d’alertes, poursuite de cibles, bases de données distribuées, etc...

page du cours

Ce cours a pour sujet l’étude et l’analyse des sujets fondamentaux pour l’informatique théorique. L’informatique théorique est concernées par un certain nombre de sujets qui ont leur importance en complexités et algorithmes, pris dans un large contexte. On étudie les méthodes des langages formels, calculabilité et complexité.

• Langages réguliers, automates a états finis déterministes et non-deterministes, grammaires et expressions régulières;
• Langages non-contextuels, automates a piles déterministes et non-deterministes, grammaires non-contextuelles;
• Langages récursivement enumerables, machines de Turing;
• Calculabilite, hypothèse de Church, machine de Turing universelle, réduction;
• Complexité, classes et langages, rapports entre mesures de complexité;
• Problèmes NP-complets, classes polynomiales: P et NP, réduction bornée.

page du cours

Ce cours a comme objectif la présentation de plusieurs algorithmes et méthodes cryptographiques ainsi que des problèmes de sécurité liés aux systèmes informatiques. Le premier semestre est consacré à l’analyse théorique des algorithmes, le deuxième à l’acquisition de quelques protocoles importants ainsi que des solutions intégrées couramment utilisées.<P>

• Introduction historique et cryptanalyse
• Cryptographie symmetrique et assymetrique (RSA etc.)
• Signatures
• Générateurs pseudoaleatoires
• Fonctions de hashage
• Authentification
• Protocoles d’échange des clés (Needham-Schroeder, Kerberos, etc.)
• Logique BAN

Ce cours a pour sujet l’étude et l’analyse de la COMPLEXITE des algorithmes. Au plan de la COMPLEXITE, on inclut des questions qui s’y rapportent a des taches qui peuvent ou ne peuvent pas être résolues efficacement par différents systèmes de calculabilite selon diverses hypothèses et restrictions. Pendant le premier semestre on analyse plusieurs modèles et situations et pendant le deuxième on étudie la classe des algorithmes probabilistes.<P>

• Classes de COMPLEXITE
• Problèmes d’optimisation
• Modèles probabilistes et aléatoires
• Modèles de calculabilite parallèle
• Algorithmes probabilistes

page du cours

Présentation de différentes techniques algorithmiques.

• Divide and Conquer
• Greedy Algorithms
• Dynamic Programming
• Backtracking
• Branch and Bound
• Advance Data Structure
• Suffix trees
• Compression methods
• Other issues
• Approximation algorithms

page du cours

Ce cours a pour sujet l’analyse des algorithmes fondamentaux pour le Web et pour les réseaux de communication. Il est concerné par un certain nombre de sujets qui ont leur importance en modélisation du Web, graphes aléatoires, recherches des topiques, ordonnancement et liste des priorités pour les moteurs de recherche.

• modélisation du Web comme un graphe aléatoire
• obtention de l’information avec le Web
• problèmes et modèles
• recherches et algorithmes fondamentaux d’indexation
• paramètres importants du Web et mesure/estimation par algorithmes
• Internet, Web, Hypertext et documents multimédia

page du cours

(Pas de description pour l’instant).

page du cours (authentification nécessaire).

(Pas de description pour l’instant).