Explore projects

This project contains the code developed in order to create dense subblocks of sparse matrices, through permutation of rows and columns.

The g5kspack tool provides helper functions to manage a spack installation.

A distributed multi-task learning system for neural networks. Including a clustering-based collaboration recommendation system.

A Coq formalization of real analysis compatible with the standard library.

Code source de l'application mobile Android

CaSQ: Celldesigner as Sbml-Qual

A tool to convert CGNS files to Gamma Mesh (libMeshb) Format

This is a code repository about Average Reward Reinforcement Learning.

Adaptative Segmentation and Tracking of Embryonic Cells (developer version, python code only)

ProVerif symbolic protocol verifier

SimGrid is a toolkit that provides core functionalities for the simulation of distributed applications in heterogeneous distributed environments.

Rust implementation of MBRB protocol described in https://arxiv.org/abs/2205.09992.

In this repository, we keep the list of affiliations of each team member, as they should appear in papers and presentations

https://mosaic.gitlabpages.inria.fr/mosaic-commons