Explore projects

Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.

A library for constraint-based Hindley-Milner type inference.

bibtex-sw-entry

A library for constraint-based Hindley-Milner type inference.

This repository is a one-time import from https://git.tobast.fr/tobast/phd-defense; for archival purposes.

numerical solver for population-based systems with gnuplot graphical output

A fork of MATISSE's thesis template

Human mobility simulator based on an enhanced realistic statistical model of the Working Day Mobility Model (WDM). En-WDM can also generates SIMBox fraudulent mobility if properly configured.

Supplementary datasets and codes for the manuscript "Implication of lipid turnover for the control of energy balance", S. Bernard and K.L. Spalding

This project contains:

a mathematical implementation of the carbohydrate-insulin model (CIM) and an energy-in, energy-out version of the energy-balance model (EBM-IOM) with a component for lipid turnover dynamics.

virtual clinical cohort datasets

numerical simulation results

script files to reproduce numerical simulations

a script file to generate manuscript figures

Paquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.

Tool to generate a graphical representation of disk/partitions of a machine

« Pourquoi ces avions font-ils autant de bruit ? » ou quand le calcul haute-performance s'invite en aéroacoustique