Explore projects

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

Clone of WebNLG 2020 evaluation scripts.

Une description de la programmation en Coq pour un magazine grand public.

This project contains resources and instructions on how to perform a FIT IoT-LAB like deployment including TurtleBot2 robots

The Gazelle GeoIP is a tool using Country / City database lookup per IP.

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.

fullSAMriboswitch alignment attempts

Heuristics for Heterogeneous Memory (H2M) - Runtime Library & Examples

Cadbiom is an open source modeling software. Based on Guarded transition semantic, it gives a formal framework to help the modeling of biological systems such as cell signaling network.

Helper for parallel debugging.

Modular C is an extension of the C programming language

A JVM agent to profile the execution of applications.

numerical solver for population-based systems with gnuplot graphical output