Seismic waveform inversion for core-mantle boundary topography

International audience

A functional specification and validation model for networks on chip in the ACL2 logic

International audience

Definition of Model-based diagnosis problems with Altarica

International audience

Survival, differentiation, and neuroprotective mechanisms of human stem cells complexed with neurotrophin-3-releasing pharmacologically active microcarriers in an ex vivo model of Parkinson's disease

International audience