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⟩
-
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⟩
-
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⟩
-
Guerfi Djamel Eddine, Roux Stéphane, Allanic Nadine, Sarda Alain, Lecointe Damien. Optimizing Thermal Management with Regulated Jet Impingement Boiling Cooling and Transverse Airflow: A Parametric Analysis. The 9th World Congress on Momentum, Heat and Mass Transfer, Apr 2024, London, United Kingdom. ⟨10.11159/enfht24.273⟩. ⟨hal-04699551⟩