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⟩
-
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⟩
-
James Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé. Towards an In-Context LLM-Based Approach for Automating the Definition of Model Views. 17th ACM SIGPLAN International Conference on Software Language Engineering (SLE’24), Oct 2024, Pasadena, CA, United States. ⟨10.1145/3687997.3695650⟩. ⟨hal-04698209⟩