skip to main content
Mostrar Somente
Refinado por: Nome da Publicação: Hal remover Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Teleoperation of Humanoid Robots: A Survey
Material Type:
Artigo
Adicionar ao Meu Espaço

Teleoperation of Humanoid Robots: A Survey

Darvish, Kourosh ; Penco, Luigi ; Ramos, Joao ; Cisneros, Rafael ; Pratt, Jerry ; Yoshida, Eiichi ; Ivaldi, Serena ; Pucci, Daniele

IEEE transactions on robotics, 2023-01 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

2
A Tree Structure For Dynamic Facility Location
Material Type:
Artigo
Adicionar ao Meu Espaço

A Tree Structure For Dynamic Facility Location

Goranci, Gramoz ; Henzinger, Monika ; Leniowski, Dariusz

Algorithmica, 2019-09 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

3
Learning to Manipulate Tools by Aligning Simulation to Video Demonstration
Material Type:
Artigo
Adicionar ao Meu Espaço

Learning to Manipulate Tools by Aligning Simulation to Video Demonstration

Zorina, Kateryna ; Carpentier, Justin ; Sivic, Josef ; Petrík, Vladimír

IEEE robotics and automation letters, 2021-11 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

4
Hardness of monadic second-order formulae over succinct graphs
Material Type:
Artigo
Adicionar ao Meu Espaço

Hardness of monadic second-order formulae over succinct graphs

Gamard, Guilhem ; Guillon, Pierre ; Perrot, Kévin ; Theyssier, Guillaume

arXiv.org, 2024-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

5
Survey on Fairness Notions and Related Tensions
Material Type:
Artigo
Adicionar ao Meu Espaço

Survey on Fairness Notions and Related Tensions

Alves, Guilherme ; Bernier, Fabien ; Couceiro, Miguel ; Makhlouf, Karima ; Palamidessi, Catuscia ; Zhioua, Sami

arXiv.org, 2023-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

6
Univalent Monoidal Categories
Material Type:
Artigo
Adicionar ao Meu Espaço

Univalent Monoidal Categories

Wullaert, Kobe ; Matthes, Ralph ; Ahrens, Benedikt

arXiv.org, 2023-05

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

7
The Trusted Computing Base of the CompCert Verified Compiler
Material Type:
Artigo
Adicionar ao Meu Espaço

The Trusted Computing Base of the CompCert Verified Compiler

Monniaux, David ; Boulmé, Sylvain

arXiv.org, 2022-10

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

8
A categorical framework for congruence of applicative bisimilarity in higher-order languages
Material Type:
Artigo
Adicionar ao Meu Espaço

A categorical framework for congruence of applicative bisimilarity in higher-order languages

Hirschowitz, Tom ; Lafont, Ambroise

arXiv.org, 2022-09

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

9
Data Splits and Metrics for Method Benchmarking on Surgical Action Triplet Datasets
Material Type:
Artigo
Adicionar ao Meu Espaço

Data Splits and Metrics for Method Benchmarking on Surgical Action Triplet Datasets

Chinedu Innocent Nwoye ; Padoy, Nicolas

Arxiv, 2023-02 (2204.05235)

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

10
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Material Type:
Artigo
Adicionar ao Meu Espaço

Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens

Kirst, Dominik ; Larchey-Wendling, Dominique

arXiv.org, 2022-06

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Revistas revisadas por pares (5)

Data de Publicação 

De até
  1. Antes de2012  (4)
  2. 2012Até2014  (11)
  3. 2015Até2017  (14)
  4. 2018Até2021  (43)
  5. Após 2021  (53)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.