Loading...
Last submissions
-
Yann Leray, Gaëtan Gilbert, Nicolas Tabareau, Théo Winterhalter. The Rewster: Type Preserving Rewrite Rules for the Coq Proof Assistant. International Conference on Interactive Theorem Proving (ITP 2024), Yves Bertot; Temur Kutsia; Michael Norrish, Sep 2024, Tbilisi, Georgia. pp.18, ⟨10.4230/LIPIcs.ITP.2024.26⟩. ⟨hal-04511667v2⟩
-
Martin Zlatić, Felipe Rocha, Laurent Stainier, Marko Čanađija. Data-driven methods for computational mechanics: A fair comparison between neural networks based and model-free approaches. Computer Methods in Applied Mechanics and Engineering, 2024, 431, pp.117289. ⟨10.1016/j.cma.2024.117289⟩. ⟨hal-04701419⟩
-
Laura Carretero-Iglesia, Olivia Hall, Jérémy Berret, Daniela Pais, Carole Estoppey, et al.. ISB 2001 trispecific T cell engager shows strong tumor cytotoxicity and overcomes immune escape mechanisms of multiple myeloma cells. Nature Cancer, In press, Online ahead of print. ⟨10.1038/s43018-024-00821-1⟩. ⟨hal-04694485⟩
-
Meadhbh Á Brennan, Mario Barilani, Francesco Rusconi, Julien de Lima, Luciano Vidal, et al.. Chondrogenic and BMP-4 primings confer osteogenesis potential to human cord blood mesenchymal stromal cells delivered with biphasic calcium phosphate ceramics. Scientific Reports, 2021, 11 (1), pp.6751. ⟨10.1038/s41598-021-86147-9⟩. ⟨hal-04699769⟩
-
Mert Mokukcu, Philippe Fiani, Sylvain Chavanne, Lahsen Ait Taleb, Cristina Vlad, et al.. A New Concept of Functional Energetic Modelling and Simulation. Proceedings of The 9th EUROSIM Congress on Modelling and Simulation, EUROSIM 2016, The 57th SIMS Conference on Simulation and Modelling SIMS 2016, Sep 2016, Oulu, Finland. pp.582-589, ⟨10.3384/ecp17142582⟩. ⟨hal-02110117v2⟩