2017

Formal methods for functional verification of cache-coherent systems-on-chip

Project graduation Bachelor

2017

Analyse de problemes de decision distribuee et conception d'heuristiques de resolution

BRANDON Lois

Project graduation Bachelor

2017

Exploration-exploitation dilemma in reinforcement learning under various form of prior knowledge

MELANIE Evan

Project graduation Bachelor