Explore projects
-
UpdatedUpdated
-
-
Ceci est le squelette du TP de compilation pour les InfoSec.
Updated -
Updated
-
MICS_Biomathematics / prettyplots / PrettyPy
Apache License 2.0A repository for cool python plots I often use.
Updated -
-
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".
Updated -
MICS_Biomathematics / prettyplots / tableExtra
Apache License 2.0Extension of gridExtra R package to make awesome tables.
Updated -
Armillon Damien / xv6-riscv-tp
MIT LicenseUpdated -
Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)
Updated -
Vialle Stephane / CPU-GPU-kmeans
CeCILL-C Free Software License AgreementOptimized 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
Updated -
Git repository containing two projects from eclipse workspace and the slides from the presentation
Updated -
Code for inferring initiation and development of Myeloproliferative Neoplasms.
Updated -
Cabaret Laurent / CPU-GPU-kmeans
CeCILL-C Free Software License AgreementOptimized 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
Updated -
-
This repository contains the project prepared by entaraleSupelec students on dynamic modeling of two rooms in the campus Rennes. The building is represented by an RC model; it contains real historical weather data and model occupancy of the rooms.
Updated -
Hellequin Remi / FoxDot
Creative Commons Attribution Share Alike 4.0 InternationalUpdated -
Generators of COSMOS .gspn files for DTMC models of production line systems (blocking-after-service policy)
Updated