Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Teleoperation of Humanoid Robots: A SurveyDarvish, Kourosh ; Penco, Luigi ; Ramos, Joao ; Cisneros, Rafael ; Pratt, Jerry ; Yoshida, Eiichi ; Ivaldi, Serena ; Pucci, DanieleIEEE transactions on robotics, 2023-01 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
2 |
Material Type: Artigo
|
![]() |
A Tree Structure For Dynamic Facility LocationGoranci, Gramoz ; Henzinger, Monika ; Leniowski, DariuszAlgorithmica, 2019-09 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Learning to Manipulate Tools by Aligning Simulation to Video DemonstrationZorina, Kateryna ; Carpentier, Justin ; Sivic, Josef ; Petrík, VladimírIEEE robotics and automation letters, 2021-11 [Periódico revisado por pares]Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
4 |
Material Type: Artigo
|
![]() |
Hardness of monadic second-order formulae over succinct graphsGamard, Guilhem ; Guillon, Pierre ; Perrot, Kévin ; Theyssier, GuillaumearXiv.org, 2024-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Survey on Fairness Notions and Related TensionsAlves, Guilherme ; Bernier, Fabien ; Couceiro, Miguel ; Makhlouf, Karima ; Palamidessi, Catuscia ; Zhioua, SamiarXiv.org, 2023-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Univalent Monoidal CategoriesWullaert, Kobe ; Matthes, Ralph ; Ahrens, BenediktarXiv.org, 2023-05Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
The Trusted Computing Base of the CompCert Verified CompilerMonniaux, David ; Boulmé, SylvainarXiv.org, 2022-10Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A categorical framework for congruence of applicative bisimilarity in higher-order languagesHirschowitz, Tom ; Lafont, AmbroisearXiv.org, 2022-09Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Data Splits and Metrics for Method Benchmarking on Surgical Action Triplet DatasetsChinedu Innocent Nwoye ; Padoy, NicolasArxiv, 2023-02 (2204.05235)Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive LensKirst, Dominik ; Larchey-Wendling, DominiquearXiv.org, 2022-06Ithaca: Cornell University Library, arXiv.orgTexto completo disponível |