-
vivo pancreatic acinar-to-ducal metaplasia models and deploy liquid-chromatography mass-spectrometry to analyse the metabolome and proteome of acinar cells undergoing metaplasia. The researcher will
-
, their modelling through mathematics and numerical simulations, and their control and optimization. Our belief is that a proper understanding of systems requires a modelling step, which allows to identify causal
Searches related to model checking
Enter an email to receive alerts for model-checking positions