Explore projects

A git repository for the submitted Theoretical Computer Science paper: "Automaton-ABC: a Statistical Method to Estimate the Probability of Spatio-Temporal properties for parametric Markov Population Models".

Cours de programmation GPU en 5ème année (étudiants) de Polytech-Paris-Saclay