Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
![]() |
Reactive Turing machinesBaeten, Jos C.M. ; Luttik, Bas ; van Tilburg, PaulInformation and computation, 2013-10, Vol.231, p.143-166 [Periódico revisado por pares]Elsevier IncTexto completo disponível |
12 |
Material Type: Artigo
|
![]() |
A compiler for multi-key homomorphic signatures for Turing machinesDolatnezhad Samarin, Somayeh ; Fiore, Dario ; Venturi, Daniele ; Amini, MortezaTheoretical computer science, 2021-10, Vol.889, p.145-170 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
13 |
Material Type: Artigo
|
![]() |
A formalization of multi-tape Turing machinesAsperti, Andrea ; Ricciotti, WilmerTheoretical computer science, 2015-10, Vol.603, p.23-42 [Periódico revisado por pares]Elsevier B.VTexto completo disponível |
14 |
Material Type: Artigo
|
![]() |
A local model of quantum Turing machinesWang, Dong-ShengQuantum information & computation, 2020-03, Vol.20 (3&4), p.213-229 [Periódico revisado por pares]Texto completo disponível |
15 |
Material Type: Artigo
|
![]() |
Reservoir Memory Machines as Neural ComputersPaassen, Benjamin ; Schulz, Alexander ; Stewart, Terrence C. ; Hammer, BarbaraIEEE transaction on neural networks and learning systems, 2022-06, Vol.33 (6), p.2575-2585United States: IEEETexto completo disponível |
16 |
Material Type: Capítulo de Livro
|
![]() |
How to Run Turing Machines on Encrypted DataGoldwasser, Shafi ; Kalai, Yael Tauman ; Popa, Raluca Ada ; Vaikuntanathan, Vinod ; Zeldovich, NickolaiAdvances in Cryptology – CRYPTO 2013, Vol.8043, p.536-553 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
17 |
Material Type: Artigo
|
![]() |
Theory of one-tape linear-time Turing machinesTadaki, 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.VTexto completo disponível |
18 |
Material Type: Artigo
|
![]() |
Turing machines with two-level memory: New computational models for analyzing the input/output complexityMa, Hengzhao ; Li, Jianzhong ; Gao, Tianpeng ; Gao, XiangyuTheoretical computer science, 2024-02, Vol.985, p.114347, Article 114347 [Periódico revisado por pares]Texto completo disponível |
19 |
Material Type: Ata de Congresso
|
![]() |
Turing Machines for Dummies: Why Representations Do Mattervan Emde Boas, PeterSOFSEM 2012: Theory and Practice of Computer Science, Vol.7147, p.14-30 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
20 |
Material Type: Artigo
|
![]() |
New characterizations of exponential, elementary, and non-elementary time-bounded Turing machinesIbarra, Oscar H. ; McQuillan, IanInformation and computation, 2023-06, Vol.292, p.105027, Article 105027 [Periódico revisado por pares]Elsevier IncTexto completo disponível |