Loading...
Derniers dépôts
-
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⟩
-
Janaïna Grevelinger, Olivier Bourry, François Meurens, Aline Perrin, Caroline Hervet, et al.. Impact of swine influenza A virus on porcine reproductive and respiratory syndrome virus infection in alveolar macrophages. Frontiers in Veterinary Science, 2024, 11, pp.1454762. ⟨10.3389/fvets.2024.1454762⟩. ⟨anses-04701056⟩