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
Refinado por: Base de dados/Biblioteca: EBSCOhost Academic Search Premier remover Base de dados/Biblioteca: SpringerLink (Online service) remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
From Symbol to ‘Symbol’, to Abstract Symbol: Response to Copeland and Shagrir on Turing-Machine Realism Versus Turing-Machine Purism
Material Type:
Artigo
Adicionar ao Meu Espaço

From Symbol to ‘Symbol’, to Abstract Symbol: Response to Copeland and Shagrir on Turing-Machine Realism Versus Turing-Machine Purism

Dresner, Eli ; Rechter, Ofra

Minds and machines (Dordrecht), 2016-09, Vol.26 (3), p.253-257 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

2
DAerosol-NTM: applying deep learning and neural Turing machine in aerosol prediction
Material Type:
Artigo
Adicionar ao Meu Espaço

DAerosol-NTM: applying deep learning and neural Turing machine in aerosol prediction

Asaei-Moamam, Zahra-Sadat ; Safi-Esfahani, Faramraz ; Mirjalili, Seyedali ; Mohammadpour, Reza ; Nadimi-Shahraki, Mohamad-Hosein

Neural computing & applications, 2023-12, Vol.35 (34), p.24123-24159 [Periódico revisado por pares]

London: Springer London

Texto completo disponível

3
An instruction set for reversible Turing machines
Material Type:
Artigo
Adicionar ao Meu Espaço

An instruction set for reversible Turing machines

Morita, Kenichi

Acta informatica, 2021-08, Vol.58 (4), p.377-396 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

4
Weaker variants of infinite time Turing machines
Material Type:
Artigo
Adicionar ao Meu Espaço

Weaker variants of infinite time Turing machines

Bianchetti, Matteo

Archive for mathematical logic, 2020-05, Vol.59 (3-4), p.335-365 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

5
Single-tape and multi-tape Turing machines through the lens of the Grossone methodology
Material Type:
Artigo
Adicionar ao Meu Espaço

Single-tape and multi-tape Turing machines through the lens of the Grossone methodology

Sergeyev, Yaroslav D. ; Garro, Alfredo

The Journal of supercomputing, 2013-08, Vol.65 (2), p.645-663 [Periódico revisado por pares]

Boston: Springer US

Texto completo disponível

6
One-Tape Turing Machine and Branching Program Lower Bounds for MCSP
Material Type:
Artigo
Adicionar ao Meu Espaço

One-Tape Turing Machine and Branching Program Lower Bounds for MCSP

Cheraghchi, Mahdi ; Hirahara, Shuichi ; Myrisiotis, Dimitrios ; Yoshida, Yuichi

Theory of computing systems, 2022-12 [Periódico revisado por pares]

Texto completo disponível

7
Computers as Interactive Machines: Can We Build an Explanatory Abstraction?
Material Type:
Artigo
Adicionar ao Meu Espaço

Computers as Interactive Machines: Can We Build an Explanatory Abstraction?

Martin, Alice ; Magnaudet, Mathieu ; Conversy, Stéphane

Minds and machines (Dordrecht), 2023-03, Vol.33 (1), p.83-112 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

8
On reversible Turing machines and their function universality
Material Type:
Artigo
Adicionar ao Meu Espaço

On reversible Turing machines and their function universality

Axelsen, Holger Bock ; Glück, Robert

Acta informatica, 2016-08, Vol.53 (5), p.509-543 [Periódico revisado por pares]

Berlin/Heidelberg: Springer Berlin Heidelberg

Texto completo disponível

9
Do Accelerating Turing Machines Compute the Uncomputable?
Material Type:
Artigo
Adicionar ao Meu Espaço

Do Accelerating Turing Machines Compute the Uncomputable?

Jack Copeland, B. ; Shagrir, Oron

Minds and machines (Dordrecht), 2011-05, Vol.21 (2), p.221-239 [Periódico revisado por pares]

Dordrecht: Springer Netherlands

Texto completo disponível

10
On the Generic Undecidability of the Halting Problem for Normalized Turing Machines
Material Type:
Artigo
Adicionar ao Meu Espaço

On the Generic Undecidability of the Halting Problem for Normalized Turing Machines

Rybalov, Alexander

Theory of computing systems, 2017-05, Vol.60 (4), p.671-676 [Periódico revisado por pares]

New York: Springer US

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.865)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (2.848)
  2. Resenhas  (38)
  3. Anais de Congresso  (2)
  4. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1981  (21)
  2. 1981Até1991  (69)
  3. 1992Até2002  (347)
  4. 2003Até2014  (1.477)
  5. Após 2014  (975)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (2.884)
  2. Japonês  (141)
  3. Alemão  (4)
  4. Norueguês  (2)
  5. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.