skip to main content
Idioma:
Mostrar Somente
Refinado por: Base de dados/Biblioteca: BACON - Mir@bel - GLOBAL_LIBRESACCES 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
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
5
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
6
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
7
FMM: An R Package for Modeling Rhythmic Patterns in Oscillatory Systems
FMM: An R Package for Modeling Rhythmic Patterns in Oscillatory Systems
Material Type:
Artigo 		Adicionar ao Meu Espaço

FMM: An R Package for Modeling Rhythmic Patterns in Oscillatory Systems

Fernández, I ; Rodríguez-Collado, A ; Larriba, Y ; Lamela, A ; Canedo, C ; Rueda, C

arXiv.org, 2021-05 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
8
Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application
Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application
Material Type:
Artigo 		Adicionar ao Meu Espaço

Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Review of Methodological Approaches and Their Application

Rauh, Andreas ; Lahme, Marit ; Rohou, Simon ; Jaulin, Luc ; Dinh, Thach Ngoc ; Raissi, Tarek ; Fnadi, Mohamed

Logical methods in computer science, 2023-09 [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
9
Searching for Carriers of the Diffuse Interstellar Bands Across Disciplines, using Natural Language Processing
Searching for Carriers of the Diffuse Interstellar Bands Across Disciplines, using Natural Language Processing
Material Type:
Artigo 		Adicionar ao Meu Espaço

Searching for Carriers of the Diffuse Interstellar Bands Across Disciplines, using Natural Language Processing

Corentin van den Broek d'Obrenan ; Galliano, Frédéric ; Minton, Jeremy ; Botev, Viktor ; Wu, Ronin

Journal of Interdisciplinary Methodologies and Issues in Science, 2023-08, Vol.11 - Thinking interdisciplinarity in practice [Periódico revisado por pares]

Ithaca: Cornell University Library, arXiv.org

Texto completo disponível

Citações Citado por
10
Quantum Network Discrimination
Quantum Network Discrimination
Material Type:
Artigo 		Adicionar ao Meu Espaço

Quantum Network Discrimination

Hirche, Christoph

arXiv.org, 2023-07 [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 (15)

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.