skip to main content
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Characterizations of the decidability of some problems for regular trace languages
Material Type:
Artigo
Adicionar ao Meu Espaço

Characterizations of the decidability of some problems for regular trace languages

Aalbersberg, IJ. J. ; Hoogeboom, H. J.

Mathematical Systems Theory, 1989-12, Vol.22 (1), p.1-19 [Periódico revisado por pares]

Texto completo disponível

2
The Equivalence of Sampling and Searching
Material Type:
Artigo
Adicionar ao Meu Espaço

The Equivalence of Sampling and Searching

Aaronson, Scott

Theory of computing systems, 2014-08, Vol.55 (2), p.281-298 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

3
Algorithms for Boolean function query properties
Material Type:
Artigo
Adicionar ao Meu Espaço

Algorithms for Boolean function query properties

AARONSON, Scott

SIAM journal on computing, 2003-01, Vol.32 (5), p.1140-1157 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

4
Lower bounds for local search by quantum arguments
Material Type:
Artigo
Adicionar ao Meu Espaço

Lower bounds for local search by quantum arguments

AARONSON, Scott

SIAM journal on computing, 2006, Vol.35 (4), p.804-824 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

5
Special Section on Foundations of Computer Science
Material Type:
Artigo
Adicionar ao Meu Espaço

Special Section on Foundations of Computer Science

Aaronson, Scott ; Erickson, Jeff ; Mahdian, Mohammad ; Ravi, R. ; Viola, Emanuele

SIAM journal on computing, 2011-01, Vol.40 (3), p.770-770 [Periódico revisado por pares]

Philadelphia: Society for Industrial and Applied Mathematics

Texto completo disponível

6
Special Issue On The Thirty-Eighth Annual ACM Symposium On Theory Of Computing (STOC 2006)
Material Type:
Artigo
Adicionar ao Meu Espaço

Special Issue On The Thirty-Eighth Annual ACM Symposium On Theory Of Computing (STOC 2006)

Aaronson, Scott ; Guha, Sudipto ; Kleinberg, Jon ; McSherry, Frank ; van Melkebeek, Dieter ; Sahai, Amit

SIAM journal on computing, 2009-01, Vol.39 (1), p.vii-vii [Periódico revisado por pares]

Philadelphia: Society for Industrial and Applied Mathematics

Texto completo disponível

7
Kinetic kd-Trees and Longest-Side kd-Trees
Material Type:
Artigo
Adicionar ao Meu Espaço

Kinetic kd-Trees and Longest-Side kd-Trees

Abam, Mohammad Ali ; De Berg, Mark ; Speckmann, Bettina

SIAM journal on computing, 2009-01, Vol.39 (4), p.1219-1232 [Periódico revisado por pares]

Philadelphia: Society for Industrial and Applied Mathematics

Texto completo disponível

8
Saddlepoint p-values and confidence intervals for a class of two sample permutation tests for current status and panel count data
Material Type:
Artigo
Adicionar ao Meu Espaço

Saddlepoint p-values and confidence intervals for a class of two sample permutation tests for current status and panel count data

Abd-Elfattah, Ehab F.

Lifetime data analysis, 2011-07, Vol.17 (3), p.461-472 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

9
FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems
Material Type:
Artigo
Adicionar ao Meu Espaço

FNB: Fast Non-Blocking Coordinated Checkpointing Protocol for Distributed Systems

Abdelhafidi, Zohra ; Djoudi, Mohamed ; Lagraa, Nasreddine ; Yagoubi, Mohamed Bachir

Theory of computing systems, 2015-08, Vol.57 (2), p.397-425 [Periódico revisado por pares]

New York: Springer US

Texto completo disponível

10
Stability and index of the meet game on a lattice
Material Type:
Artigo
Adicionar ao Meu Espaço

Stability and index of the meet game on a lattice

Abdou, Joseph M.

International journal of game theory, 2012-11, Vol.41 (4), p.775-789 [Periódico revisado por pares]

Berlin/Heidelberg: Springer-Verlag

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (6.334)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (6.345)
  2. magazinearticle  (2)
  3. Anais de Congresso  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1983  (345)
  2. 1983Até1992  (798)
  3. 1993Até2002  (1.191)
  4. 2003Até2013  (2.051)
  5. Após 2013  (1.964)
  6. Mais opções open sub menu

Idioma 

  1. Japonês  (551)
  2. Norueguês  (1)
  3. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.