Explore projects
-
Gabarits / LaTeX Inria fonts
BSD 3-Clause "New" or "Revised" LicensePaquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.
Updated -
Gabarits / LaTeX beamer 2024
BSD 3-Clause "New" or "Revised" LicenseGabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
dynres / applications / DynPetsc
BSD 2-Clause "Simplified" LicenseUpdated -
« Pourquoi ces avions font-ils autant de bruit ? » ou quand le calcul haute-performance s'invite en aéroacoustique
UpdatedUpdated -
Updated
-
CORSE / Compilers Tracking
The UnlicenseUpdated -
Updated -
Updated
-
Updated
-
CORSE / Instrument Calls Library
GNU General Public License v2.0 or laterUpdated -
dynres / dyn-procs / openpmix
BSD 3-Clause Open MPI variantUpdated -
dynres / dyn-procs / prrte
BSD 3-Clause Open MPI variantUpdated -
Updated
-
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
Updated -
Updated
-
Updated
-
skeletons / Necro Transformers
GNU General Public License v3.0 onlyUpdated -
-
BERTOT Yves / ProgrammezCoq
Creative Commons Attribution 4.0 InternationalUne description de la programmation en Coq pour un magazine grand public.
Updated -
This project contains resources and instructions on how to perform a FIT IoT-LAB like deployment including TurtleBot2 robots
Updated