Search - Archive ouverte HAL Access content directly

Filter your results

5 Results
Structure: Internal structure identifier : 440043
Image document

A Homotopical Completion Procedure with Applications to Coherence of Monoids

Yves Guiraud , Philippe Malbos , Samuel Mimram
RTA - 24th International Conference on Rewriting Techniques and Applications - 2013, Jun 2013, Eindhoven, Netherlands. pp.223-238, ⟨10.4230/LIPIcs.RTA.2013.223⟩
Conference papers hal-00818253v1
Image document

Co-manipulation with a Library of Virtual Guiding Fixtures

Gennaro Raiola , Susana Sanchez Restrepo , Pauline Chevalier , Pedro Rodriguez-Ayerbe , Xavier Lamy et al.
Autonomous Robots, 2017, pp. 1-15. ⟨10.1007/s10514-017-9680-7⟩
Journal articles hal-02158827v2

Parallel Preconditioners for 3D Global Reactive Transport

François Pacull , Souhila Sabit , Jocelyne Erhel , Damien Tromeur-Dervout
Parallel CFD, May 2014, Trondheim, Norway
Conference papers hal-01093170v1

VizieR Online Data Catalog: Gaia DR1 open cluster members (Gaia Collaboration+, 2017)

F. van Leeuwen , A. Vallenari , C. Jordi , L. Lindegren , U. Bastian et al.
Other publications hal-01523799v1
Image document

The Gaia mission

T. Prusti , H. de Bruijne , A. Brown , A. Vallenari , C. Babusiaux et al.
Astronomy and Astrophysics - A&A, 2016, 595, pp.id.A1. ⟨10.1051/0004-6361/201629272⟩
Journal articles hal-01409603v1