Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
11 |
Material Type: Artigo
|
An instruction set for reversible Turing machinesMorita, KenichiActa informatica, 2021-08, Vol.58 (4), p.377-396 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
12 |
Material Type: Artigo
|
Turing's MachineCurtis, MikeJournal of humanistic mathematics, 2021-01, Vol.11 (1), p.440-440 [Periódico revisado por pares]Texto completo disponível |
|
13 |
Material Type: Artigo
|
Weaker variants of infinite time Turing machinesBianchetti, MatteoArchive for mathematical logic, 2020-05, Vol.59 (3-4), p.335-365 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
14 |
Material Type: Artigo
|
Morphogene adsorption as a Turing instability regulator: Theoretical analysis and possible applications in multicellular embryonic systemsNesterenko, Alexey M ; Kuznetsov, Maxim B ; Korotkova, Daria D ; Zaraisky, Andrey G Chiam, Keng-HweePloS one, 2017-02, Vol.12 (2), p.e0171212-e0171212 [Periódico revisado por pares]United States: Public Library of ScienceTexto completo disponível |
|
15 |
Material Type: Artigo
|
Single-tape and multi-tape Turing machines through the lens of the Grossone methodologySergeyev, Yaroslav D. ; Garro, AlfredoThe Journal of supercomputing, 2013-08, Vol.65 (2), p.645-663 [Periódico revisado por pares]Boston: Springer USTexto completo disponível |
|
16 |
Material Type: Artigo
|
Strengths and weaknesses of quantum computingBENNETT, C. H ; BERNSTEIN, E ; BRASSARD, G ; VAZIRANI, USIAM journal on computing, 1997-10, Vol.26 (5), p.1510-1523 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
|
17 |
Material Type: Artigo
|
SNOPT: An SQP Algorithm for Large-Scale Constrained OptimizationGill, Philip E. ; Murray, Walter ; Saunders, Michael A.SIAM review, 2005-03, Vol.47 (1), p.99-131 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
|
18 |
Material Type: Artigo
|
CCS(25,12) is Turing-completeGorrieri, Roberto Salomaa, Arto ; Păun, Gheorghe ; Rozenberg, GrzegorzFundamenta informaticae, 2017-01, Vol.154 (1-4), p.145-166 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
|
19 |
Material Type: Artigo
|
Fuzzy and Intuitionistic Fuzzy Turing MachinesMoniri, MortezaFundamenta informaticae, 2013, Vol.123 (3), p.305-315 [Periódico revisado por pares]Texto completo disponível |
|
20 |
Material Type: Artigo
|
One-Tape Turing Machine and Branching Program Lower Bounds for MCSPCheraghchi, Mahdi ; Hirahara, Shuichi ; Myrisiotis, Dimitrios ; Yoshida, YuichiTheory of computing systems, 2022-12 [Periódico revisado por pares]Texto completo disponível |