GIBART , Laetitia

The modelling of complex biological systems does not benefit from the methods and tools that exist for the development of technological products in software engineering. The main reason for this is the impossibility of implementing a modular design: in biology, the introduction of a new element in a previously validated model can drastically...

International audience

International audience

When designing a biological regulatory network, new information or wet experiments can require adding variables or interactions, inside a previously validated model. They can result in complete reconsiderations of established behaviours. Fortunately, formal methods allow for fully automated verification of properties, and TotemBioNet is an...

Adaptation of metabolism is a response of many eukaryotic cells to nutrient heterogeneity in the cell microenvironment. One of these adaptations is the shift from respiratory to fermentative metabolism, also called the Warburg/Crabtree effect. It is a response to a very high nutrient increase in the cell microenvironment, even in the presence...

Adaptation of metabolism is a response of many eukaryotic cells to nutrient heterogeneity in the cell microenvironment. One of these adaptations is the shift from respiratory to fermentative metabolism, also called the Warburg/Crabtree effect. It is a response to a very high nutrient increase in the cell microenvironment, even in the presence...