skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: DOAJ Directory of Open Access Journals remover Nome da Publicação: arXiv.org remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy

Bisping, Benjamin ; Jansen, David N ; Nestmann, Uwe

arXiv.org, 2022-08 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
2
SAT-Inspired Higher-Order Eliminations
SAT-Inspired Higher-Order Eliminations
Material Type:
Artigo 		Adicionar ao Meu Espaço

SAT-Inspired Higher-Order Eliminations

Blanchette, Jasmin ; Vukmirović, Petar

Logical methods in computer science, 2023-05, Vol.19 (2) [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
3
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)
Material Type:
Artigo 		Adicionar ao Meu Espaço

Constructive Many-one Reduction from the Halting Problem to Semi-unification (Extended Version)

Dudenhefner, Andrej

arXiv.org, 2023-12 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
4
Fair in the Eyes of Others
Fair in the Eyes of Others
Material Type:
Artigo 		Adicionar ao Meu Espaço

Fair in the Eyes of Others

Parham Shams ; Beynier, Aurélie ; Bouveret, Sylvain ; Maudet, Nicolas

arXiv.org, 2019-11 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
5
TSO Games -- On the decidability of safety games under the total store order semantics
TSO Games -- On the decidability of safety games under the total store order semantics
Material Type:
Artigo 		Adicionar ao Meu Espaço

TSO Games -- On the decidability of safety games under the total store order semantics

Spengler, Stephan ; Sil, Sanchari

Electronic proceedings in theoretical computer science, 2023-10, Vol.390, p.82

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
6
Gaining a better understanding of online polarization by approaching it as a dynamic process
Gaining a better understanding of online polarization by approaching it as a dynamic process
Material Type:
Artigo 		Adicionar ao Meu Espaço

Gaining a better understanding of online polarization by approaching it as a dynamic process

Treuillier, Célina ; Castagnos, Sylvain ; Lagier, Christèle ; Brun, Armelle

Scientific reports, 2023-09, Vol.14 (1), p.8702 [Periódico revisado por pares]

England: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
7
Differentially Private Speaker Anonymization
Differentially Private Speaker Anonymization
Material Type:
Artigo 		Adicionar ao Meu Espaço

Differentially Private Speaker Anonymization

Ali Shahin Shamsabadi ; Brij Mohan Lal Srivastava ; Bellet, Aurélien ; Vauquier, Nathalie ; Vincent, Emmanuel ; Maouche, Mohamed ; Tommasi, Marc ; Papernot, Nicolas

Proceedings on Privacy Enhancing Technologies, 2023-01, Vol.2023 (1) [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Further results on Hendry's Conjecture
Further results on Hendry's Conjecture
Material Type:
Artigo 		Adicionar ao Meu Espaço

Further results on Hendry's Conjecture

Lafond, Manuel ; Seamone, Ben ; Sherkati, Rezvan

Discrete Mathematics and Theoretical Computer Science, 2022-08, Vol.24 (2), p.1-9 [Periódico revisado por pares]

Ithaca: DMTCS

Texto completo disponível

Citações Citado por
9
Deep Learning of Crystalline Defects from TEM images: A Solution for the Problem of "Never Enough Training Data"
Deep Learning of Crystalline Defects from TEM images: A Solution for the Problem of "Never Enough Training Data"
Material Type:
Artigo 		Adicionar ao Meu Espaço

Deep Learning of Crystalline Defects from TEM images: A Solution for the Problem of "Never Enough Training Data"

Kishan Govind ; Oliveros, Daniela ; Dlouhy, Antonin ; Legros, Marc ; Sandfeld, Stefan

Machine learning: science and technology, 2023-07 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Towards an Open Science definition as a political and legal framework: on the sharing and dissemination of research outputs
Towards an Open Science definition as a political and legal framework: on the sharing and dissemination of research outputs
Material Type:
Artigo 		Adicionar ao Meu Espaço

Towards an Open Science definition as a political and legal framework: on the sharing and dissemination of research outputs

Gomez-Diaz, Teresa ; Recio, Tomas

Polis (Tirana), 2021-08 (19), p.5-25 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Revistas revisadas por pares (19)

Data de Publicação 

De até
Refinar
  1. Antes de2017  (1)
  2. 2017Até2017  (1)
  3. 2018Até2018  (1)
  4. 2019Até2021  (3)
  5. Após 2021  (18)
  6. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.