Explore projects

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.

survival Model Simulation

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

Biotool for annotating variants using VEP and/or VCF2MAF. Input are VCF files, output are MAF files.

Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html