GitLab

machine learning at ATIAM

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.

Mes TP de traitement du signal

Plein de jolis fichier coq pour s'entrainer, décrivant des preuves de tout et n'importe quoi.

Site web de l'association

my faust playground

Physique et Informatique Fondamentale, année 2020-2021

This is the git for my M2 internship "Twin-width and forbidden subdivisions". This work has been done under the supervision of Stéphan Thomassé at ENS Lyon, Laboratoire de l'Informatique du Parallélisme, MC2.

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.

Code des expériences réalisées pour générer les figures du manuscrit.

Fichiers source de mon manuscrit de thèse

An automated prover for bi-intuitionistic logic, based on resource graphs. (README in french)

Tout le code pour ma thèse :)

Repository of my M2 internship.

Codes utilisés dans le cadre de mon stage de L3. Caractérisation des substitutions permettant le pavage des groupes de BS(1,n).