Explore projects
-
Updated
-
-
Updated
-
-
-
-
Code des expériences réalisées pour générer les figures du manuscrit.
Updated -
Updated
-
Codes utilisés dans le cadre de mon stage de L3. Caractérisation des substitutions permettant le pavage des groupes de BS(1,n).
Updated -
Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.
Updated -
-
Algorithme de Recherche de Points d'arrêt. Réalisé dans le cadre d'un stage de L3 pour la recherche de duplication en tandem dans le cas de leucémie.
Updated -
Updated
-
-
Updated
-
This is the homework and presentation for the M2IF course CR02 "Selected Topics in Information Theory" given by Samir Perlaza, Jean-Marie Gorce and Malcolm Egan at ENS Lyon. This work was done jointly with Ambroise Baril.
Updated -
-
Updated