Explore projects

Data availability repository. Article submission to QIP : On New PageRank Computation Methodsusing Quantum Computing. Théodore CHAPUIS-CHKAIBAN, Zeno TOFFANO, Benoit VALIRON

Verification of the base model from Mosca et al. using a synthetic dataset

My PhD thesis

Optimized parallel implementations of the k-means algorithm, designed to process large datasets with improved numerical accuracy: on multicore CPU with vector units, and on NVIDIA GPU

A Python photonics tool to use quarter- and half-wave plates in order to simulate quantum gates.

Simulator to assess school opening policies during a vaccination campaign

Generators of COSMOS .gspn files for DTMC models of production line systems (blocking-after-service policy)

Optimized parallel implementations of the k-means algorithm, designed to process large datasets with improved numerical accuracy: on multicore CPU with vector units, and on NVIDIA GPU

Git repository containing two projects from eclipse workspace and the slides from the presentation

Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)

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".

Ceci est le squelette du TP de compilation pour les InfoSec.