 |
| Algorithme de triangularisation
parallèle par blocs. Contact : Jean-Guillaume Dumas |
 |
| Contrôle hybride de
systèmes dynamiques non linéaires. Contact : Aude Rondepierre |
 |
| Attaques laser sur RSA embarqué ;
nombres premiers à distance de perturbation d'un modulo RSA. Contact : Jean-Guillaume Dumas |
 |
| Corps finis et poésie des
troubadours du XIIe siècle. Contact : Jean-Guillaume Dumas |
 |
| Modélisation hybride de
l'opéron lactose. Contact : Laurent Tournier |
 |
| Optimisation de la consommation
énergétique lors du transfert orbital. Contact : Aude Rondepierre |
 |
| Résolution exacte de
systèmes linéaires. Contact : Jean-Guillaume Dumas |
 |
| Illustration de l'utilisation de
modèles symboliques pour le contrôle de systèmes
hybrides Référence : Antoine Girard |
 |
| Calcul des états atteignables
d'un système hybride. Référence : Antoine Girard |
 |
| Multiplication de matrices rapide en place. Contact : Brice Boyer |
 |
| Élimination creuse. Contact : Jean-Guillaume Dumas |
 |
| Reconnaissance de motifs dans l'ADN par chaines de Markov puis reconstruction rationnelle bivariée Contact : Jean-Guillaume Dumas |