skip to main content
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Resultados 1 2 3 4 5 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Theory of one-tape linear-time Turing machines
Material Type:
Artigo
Adicionar ao Meu Espaço

Theory of one-tape linear-time Turing machines

Tadaki, Kohtaro ; Yamakami, Tomoyuki ; Lin, Jack C.H.

Theoretical computer science, 2010, Vol.411 (1), p.22-43 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

2
Unbounded-error quantum computation with small space bounds
Material Type:
Artigo
Adicionar ao Meu Espaço

Unbounded-error quantum computation with small space bounds

Yakaryılmaz, Abuzer ; Say, A.C. Cem

Information and computation, 2011-06, Vol.209 (6), p.873-892 [Periódico revisado por pares]

Amsterdam: Elsevier Inc

Texto completo disponível

3
Complete Synchronization of Boolean Networks
Material Type:
Artigo
Adicionar ao Meu Espaço

Complete Synchronization of Boolean Networks

Li, Rui ; Chu, Tianguang

IEEE transaction on neural networks and learning systems, 2012-05, Vol.23 (5), p.840-846

New York, NY: IEEE

Texto completo disponível

4
Strengths and weaknesses of quantum computing
Material Type:
Artigo
Adicionar ao Meu Espaço

Strengths and weaknesses of quantum computing

BENNETT, C. H ; BERNSTEIN, E ; BRASSARD, G ; VAZIRANI, U

SIAM journal on computing, 1997-10, Vol.26 (5), p.1510-1523 [Periódico revisado por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponível

5
Turing machines, transition systems, and interaction
Material Type:
Artigo
Adicionar ao Meu Espaço

Turing machines, transition systems, and interaction

Goldin, Dina Q. ; Smolka, Scott A. ; Attie, Paul C. ; Sonderegger, Elaine L.

Information and computation, 2004-11, Vol.194 (2), p.101-128 [Periódico revisado por pares]

San Diego, CA: Elsevier Inc

Texto completo disponível

6
Reversible computing and cellular automata—A survey
Material Type:
Artigo
Adicionar ao Meu Espaço

Reversible computing and cellular automata—A survey

Morita, Kenichi

Theoretical computer science, 2008-04, Vol.395 (1), p.101-131 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

7
Small fast universal Turing machines
Material Type:
Artigo
Adicionar ao Meu Espaço

Small fast universal Turing machines

NEARY, Turlough ; WOODS, Damien

Theoretical computer science, 2006-10, Vol.362 (1-3), p.171-195 [Periódico revisado por pares]

Amsterdam: Elsevier

Texto completo disponível

8
Spiking neural P systems: An improved normal form
Material Type:
Artigo
Adicionar ao Meu Espaço

Spiking neural P systems: An improved normal form

Pan, Linqiang ; Păun, Gheorghe

Theoretical computer science, 2010-02, Vol.411 (6), p.906-918 [Periódico revisado por pares]

Oxford: Elsevier B.V

Texto completo disponível

9
Theory of cellular automata: A survey
Material Type:
Artigo
Adicionar ao Meu Espaço

Theory of cellular automata: A survey

Kari, Jarkko

Theoretical computer science, 2005-04, Vol.334 (1), p.3-33 [Periódico revisado por pares]

Amsterdam: Elsevier B.V

Texto completo disponível

10
Monitoring Temporal Properties of Continuous Signals
Material Type:
Capítulo de Livro
Adicionar ao Meu Espaço

Monitoring Temporal Properties of Continuous Signals

Maler, Oded ; Nickovic, Dejan

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 2004, p.152-166 [Periódico revisado por pares]

Berlin, Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

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

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (1.415)
  2. Anais de Congresso  (613)
  3. Book Chapters  (176)
  4. magazinearticle  (5)
  5. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1988  (167)
  2. 1988Até1993  (230)
  3. 1994Até1999  (615)
  4. 2000Até2006  (1.086)
  5. Após 2006  (112)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.