Phospholipase iPLA2β averts ferroptosis by eliminating a redox lipid death signal
WY Sun, VA Tyurin, K Mikulska-Ruminska… - Nature chemical …, 2021 - nature.com
Ferroptosis, triggered by discoordination of iron, thiols and lipids, leads to the accumulation
of 15-hydroperoxy (Hp)-arachidonoyl-phosphatidylethanolamine (15-HpETE-PE), generated …
of 15-hydroperoxy (Hp)-arachidonoyl-phosphatidylethanolamine (15-HpETE-PE), generated …
Redox lipid reprogramming commands susceptibility of macrophages and microglia to ferroptotic death
Ferroptotic death is the penalty for losing control over three processes—iron metabolism,
lipid peroxidation and thiol regulation—that are common in the pro-inflammatory …
lipid peroxidation and thiol regulation—that are common in the pro-inflammatory …
Verifiable biology
S Konur, M Gheorghe… - Journal of the Royal …, 2023 - royalsocietypublishing.org
The formalization of biological systems using computational modelling approaches as an
alternative to mathematical-based methods has recently received much interest because …
alternative to mathematical-based methods has recently received much interest because …
Mechanisms of action of autophagy modulators dissected by quantitative systems pharmacology analysis
Autophagy plays an essential role in cell survival/death and functioning. Modulation of
autophagy has been recognized as a promising therapeutic strategy against …
autophagy has been recognized as a promising therapeutic strategy against …
On the degradation of forest ecosystems by extreme events: Statistical Model Checking of a hybrid model
G Cantin, B Delahaye, BM Funatsu - Ecological Complexity, 2023 - Elsevier
In this paper, we study the vulnerability of forest ecosystems perturbed by extreme events,
such as those arising from climate change. To investigate the complex interactions between …
such as those arising from climate change. To investigate the complex interactions between …
End-to-end statistical model checking for parametric ODE models
D Julien, G Cantin, B Delahaye - International Conference on Quantitative …, 2022 - Springer
We propose a simulation-based technique for the verification of structural parameters in
Ordinary Differential Equations. This technique is an adaptation of Statistical Model …
Ordinary Differential Equations. This technique is an adaptation of Statistical Model …
End-to-End Statistical Model Checking for Parameterization and Stability Analysis of ODE Models
D Julien, G Ardourel, G Cantin… - ACM Transactions on …, 2024 - dl.acm.org
We propose a simulation-based technique for the parameterization and the stability analysis
of parametric Ordinary Differential Equations. This technique is an adaptation of Statistical …
of parametric Ordinary Differential Equations. This technique is an adaptation of Statistical …
A model checking-based analysis framework for systems biology models
Biological systems are often modeled as a system of ordinary differential equations (ODEs)
with time-invariant parameters. However, cell signaling events or pharmacological …
with time-invariant parameters. However, cell signaling events or pharmacological …