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 solo
Refinado por: xxx: xxx eliminar
Result Number Material Type Add to My Shelf Action Record Details and Options
1
COMPLEXITY OF SELF-ASSEMBLED SHAPES
Material Type:
Artículo
Añadir a Mi Portal

COMPLEXITY OF SELF-ASSEMBLED SHAPES

SOLOVEICHIK, David ; WINFREE, Erik

SIAM journal on computing, 2007, Vol.36 (6), p.1544-1569 [Revista revisada por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponible

2
Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
Material Type:
Artículo
Añadir a Mi Portal

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 [Revista revisada por pares]

Amsterdam: Elsevier B.V

Texto completo disponible

3
Computing the Solutions of the Combined Korteweg-de Vries Equation by Turing Machines
Material Type:
Artículo
Añadir a Mi Portal

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 disponible

4
Programmed grammars and their relation to the LBA problem
Material Type:
Artículo
Añadir a Mi Portal

Programmed grammars and their relation to the LBA problem

BORDIHN, Henning ; HOLZER, Markus

Acta informatica, 2006-11, Vol.43 (4), p.223-242 [Revista revisada por pares]

Berlin: Springer

Texto completo disponible

5
A time complexity gap for two-way probabilistic finite-state automata
Material Type:
Artículo
Añadir a Mi Portal

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 [Revista revisada por pares]

Philadelphia, PA: Society for Industrial and Applied Mathematics

Texto completo disponible

6
The Church-Turing Thesis
Material Type:
Capítulo de Libro
Añadir a Mi Portal

The Church-Turing Thesis

Reus, Bernhard

Limits of Computation, p.123-148

Cham: Springer International Publishing

Texto completo disponible

7
Finding euler circuits in logarithmic parallel time
Material Type:
Acta de Congreso
Añadir a Mi Portal

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 [Revista revisada por pares]

New York, NY, USA: ACM

Texto completo disponible

8
The Unprovability of Consistency and the “Immediate Consequences” of G1 and G2
Material Type:
Capítulo de Libro
Añadir a Mi Portal

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 disponible

9
Translation equations
Material Type:
magazinearticle
Añadir a Mi Portal

Translation equations

Vere, Steven

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

New York, NY, USA: ACM

Texto completo disponible

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
Material Type:
Artículo
Añadir a Mi Portal

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 [Revista revisada por pares]

Oxford: Oxford University Press

Texto completo disponible

Resultados 1 2 3 4 5 next page

Personalizar los resultados

  1. Editar

Refine Search Results

Ampliar mis resultados

  1.   

Mostrar solo

  1. Revistas arbitradas (136)

Refinar mis resultados

Tipo de Recurso 

  1. Artículos  (140)
  2. Capítulos de libro  (22)
  3. Actas de Congreso  (14)
  4. Reseñas  (7)
  5. magazinearticle  (6)
  6. Entradas de Referencia  (3)
  7. Libros  (3)
  8. Artículos de Prensa  (1)
  9. Más opciones open sub menu

Fecha de Publicación 

De Hasta
  1. Antes de1968  (17)
  2. 1968Hasta1986  (21)
  3. 1987Hasta2000  (23)
  4. 2001Hasta2013  (62)
  5. Después de 2013  (76)
  6. Más opciones open sub menu

Idioma 

  1. Inglés  (192)
  2. Japonés  (8)
  3. Alemán  (2)
  4. Francés  (1)
  5. Rumano  (1)
  6. Noruego  (1)
  7. Turco  (1)
  8. Español  (1)
  9. Croatian  (1)
  10. Más opciones open sub menu

Buscando en bases de datos remotas, por favor espere

  • Buscando por
  • enscope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
  • Mostrar lo que tiene hasta ahora