skip to main content
Idioma:
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021
Material Type:
Artigo 		Adicionar ao Meu Espaço

Introduction to the Special Collection from the International Conference on Tests and Proofs (TAP) 2020 and 2021

Ahrendt, Wolfgang ; Loulergue, Frédéric ; Wehrheim, Heike

Formal Aspects of Computing, 2024-03, Vol.36 (1), p.1-2, Article 1 [Periódico revisado por pares]

New York, NY: ACM

Texto completo disponível

Citações Citado por
2
Powers of tensors and fast matrix multiplication
Powers of tensors and fast matrix multiplication
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Powers of tensors and fast matrix multiplication

Le Gall, François Nabeshima, Katsusuke

Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, 2014, p.296-303

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
3
Performance Portable Supernode-based Sparse Triangular Solver for Manycore Architectures
Performance Portable Supernode-based Sparse Triangular Solver for Manycore Architectures
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Performance Portable Supernode-based Sparse Triangular Solver for Manycore Architectures

Yamazaki, Ichitaro ; Rajamanickam, Sivasankaran ; Ellingwood, Nathan

Proceedings of the 49th International Conference on Parallel Processing, 2020, p.1-11

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
4
Discovering the roots: uniform closure results for algebraic classes under factoring
Discovering the roots: uniform closure results for algebraic classes under factoring
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Discovering the roots: uniform closure results for algebraic classes under factoring

Dutta, Pranjal ; Saxena, Nitin ; Sinhababu, Amit

Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing, 2018, p.1152-1165 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
5
Unification nets: canonical proof net quantifiers
Unification nets: canonical proof net quantifiers
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Unification nets: canonical proof net quantifiers

Hughes, Dominic J. D.

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.540-549

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
6
Factorized Graph Representations for Semi-Supervised Learning from Sparse Data
Factorized Graph Representations for Semi-Supervised Learning from Sparse Data
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Factorized Graph Representations for Semi-Supervised Learning from Sparse Data

Kumar P., Krishna ; Langton, Paul ; Gatterbauer, Wolfgang

Proceedings of the 2020 ACM SIGMOD International Conference on Management of Data, 2020, p.1383-1398

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
7
Solvability of Matrix-Exponential Equations
Solvability of Matrix-Exponential Equations
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Solvability of Matrix-Exponential Equations

Ouaknine, Joel ; Pouly, Amaury ; Sousa-Pinto, Joao ; Worrell, James

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.798-806

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
Faster integer multiplication
Faster integer multiplication
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Faster integer multiplication

Furer, Martin

Annual ACM Symposium on Theory of Computing: Proceedings of the thirty-ninth annual ACM symposium on Theory of computing; 11-13 June 2007, 2007, p.57-66 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
9
A universal sampling method for reconstructing signals with simple Fourier transforms
A universal sampling method for reconstructing signals with simple Fourier transforms
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

A universal sampling method for reconstructing signals with simple Fourier transforms

Avron, Haim ; Kapralov, Michael ; Musco, Cameron ; Musco, Christopher ; Velingker, Ameya ; Zandieh, Amir

Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing, 2019, p.1051-1063 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Dictionary learning based software defect prediction
Dictionary learning based software defect prediction
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Dictionary learning based software defect prediction

Jing, Xiao-Yuan ; Ying, Shi ; Zhang, Zhi-Wu ; Wu, Shan-Shan ; Liu, Jin

Proceedings of the 36th International Conference on Software Engineering, 2014, p.414-423

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (1.466)

Refinar Meus Resultados

Tipo de Recurso 

  1. Anais de Congresso  (3.716)
  2. Artigos  (1.290)
  3. Livros  (295)
  4. magazinearticle  (50)
  5. Book Chapters  (6)
  6. Reports  (4)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1976  (45)
  2. 1976Até1987  (254)
  3. 1988Até1999  (1.331)
  4. 2000Até2012  (2.129)
  5. Após 2012  (1.706)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (5.358)
  2. Japonês  (166)
  3. Alemão  (7)
  4. Italiano  (2)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.