Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Git repository containing two projects from eclipse workspace and the slides from the presentation
-
-
A Julia package for Markov Processes
-
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
-
Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)
-
Extension of gridExtra R package to make awesome tables.
-
-
My PhD thesis
-
-
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.
-
survival Model Simulation
-
trajectopy is a simulator generating GPS points from trajectories on a road like network. It has been developped in the context of the Grone project.
-
-
Ceci est le squelette du TP de compilation pour les InfoSec.
-
A repository for cool python plots I often use.
-