skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: xxx: xxx remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
COMPLEXITY OF SELF-ASSEMBLED SHAPES
COMPLEXITY OF SELF-ASSEMBLED SHAPES
Material Type:
Artigo 		Adicionar ao Meu Espaço

COMPLEXITY OF SELF-ASSEMBLED SHAPES

SOLOVEICHIK, David ; WINFREE, Erik

SIAM journal on computing, 2007, Vol.36 (6), p.1544-1569 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
2
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines

Weihrauch, Klaus ; Zhong, Ning

Theoretical computer science, 2005-02, Vol.332 (1), p.337-366 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

Citações Citado por
3
Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing Machines
Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing Machines
Material Type:
Artigo 		Adicionar ao Meu Espaço

Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing Machines

Lu, Dianchen ; Wang, Qingyan ; Zheng, Rui

Electronic proceedings in theoretical computer science, 2010-01, Vol.24 (Proc. CCA 2010), p.101-105

Open Publishing Association

Texto completo disponível

Citações Citado por
4
Programmed grammars and their relation to the LBA problem
Programmed grammars and their relation to the LBA problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Programmed grammars and their relation to the LBA problem

BORDIHN, Henning ; HOLZER, Markus

Acta informatica, 2006-11, Vol.43 (4), p.223-242 [Periódico revisado por pares]

Berlin: Springer

Texto completo disponível

Citações Citado por
5
A time complexity gap for two-way probabilistic finite-state automata
A time complexity gap for two-way probabilistic finite-state automata
Material Type:
Artigo 		Adicionar ao Meu Espaço

A time complexity gap for two-way probabilistic finite-state automata

DWORK, C ; STOCKMEYER, L

SIAM journal on computing, 1990-12, Vol.19 (6), p.1011-1023 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

Citações Citado por
6
The Church-Turing Thesis
The Church-Turing Thesis
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Church-Turing Thesis

Reus, Bernhard

Limits of Computation, p.123-148

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por
7
Finding euler circuits in logarithmic parallel time
Finding euler circuits in logarithmic parallel time
Material Type:
Ata de Congresso 		Adicionar ao Meu Espaço

Finding euler circuits in logarithmic parallel time

Awerbuch, B. ; Israeli, A. ; Shiloach, Y.

Annual ACM Symposium on Theory of Computing: Proceedings of the sixteenth annual ACM symposium on Theory of computing, 1984, p.249-257 [Periódico revisado por pares]

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
8
The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2
The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2
Material Type:
Capítulo de Livro 		Adicionar ao Meu Espaço

The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2

Berto, Francesco

There's Something about Gödel, 2009, p.102-127

Oxford, UK: Wiley‐Blackwell

Texto completo disponível

Citações Citado por
9
Translation equations
Translation equations
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Translation equations

Vere, Steven

Communications of the ACM, 1970-02, Vol.13 (2), p.83-89

New York, NY, USA: ACM

Texto completo disponível

Citações Citado por
10
Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X
Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X
Material Type:
Artigo 		Adicionar ao Meu Espaço

Selmer Bringsjord and Michael Zenzen. Superminds: People Harness Hypercomputation, and More. Studies in Cognitive Systems, Volume 29. Dordrecht: Kluwer Academic Publishers, 2003. Pp. xxx + 339. ISBN 1-4020-1094-X

Mendelson, Elliott

Philosophia mathematica, 2005-06, Vol.13 (2), p.228-230 [Periódico revisado por pares]

Oxford: Oxford University Press

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 (135)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (139)
  2. Book Chapters  (21)
  3. Anais de Congresso  (14)
  4. Resenhas  (7)
  5. magazinearticle  (6)
  6. Verbetes  (3)
  7. Livros  (3)
  8. Artigos de Jornal  (1)
  9. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1968  (17)
  2. 1968Até1986  (20)
  3. 1987Até2000  (23)
  4. 2001Até2013  (61)
  5. Após 2013  (76)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (190)
  2. Japonês  (8)
  3. Alemão  (2)
  4. Francês  (1)
  5. Romeno  (1)
  6. Norueguês  (1)
  7. Turco  (1)
  8. Espanhol  (1)
  9. Croatian  (1)
  10. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.