Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
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 |
2 |
Material Type: Artigo
|
![]() |
Unbounded-error quantum computation with small space boundsYakaryılmaz, Abuzer ; Say, A.C. CemInformation and computation, 2011-06, Vol.209 (6), p.873-892 [Periódico revisado por pares]Amsterdam: Elsevier IncTexto completo disponível |
3 |
Material Type: Artigo
|
![]() |
Complete Synchronization of Boolean NetworksLi, Rui ; Chu, TianguangIEEE transaction on neural networks and learning systems, 2012-05, Vol.23 (5), p.840-846New York, NY: IEEETexto completo disponível |
4 |
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 |
5 |
Material Type: Artigo
|
![]() |
Turing machines, transition systems, and interactionGoldin, 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 IncTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
Reversible computing and cellular automata—A surveyMorita, KenichiTheoretical computer science, 2008-04, Vol.395 (1), p.101-131 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Small fast universal Turing machinesNEARY, Turlough ; WOODS, DamienTheoretical computer science, 2006-10, Vol.362 (1-3), p.171-195 [Periódico revisado por pares]Amsterdam: ElsevierTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
Spiking neural P systems: An improved normal formPan, Linqiang ; Păun, GheorgheTheoretical computer science, 2010-02, Vol.411 (6), p.906-918 [Periódico revisado por pares]Oxford: Elsevier B.VTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Theory of cellular automata: A surveyKari, JarkkoTheoretical computer science, 2005-04, Vol.334 (1), p.3-33 [Periódico revisado por pares]Amsterdam: Elsevier B.VTexto completo disponível |
10 |
Material Type: Capítulo de Livro
|
![]() |
Monitoring Temporal Properties of Continuous SignalsMaler, Oded ; Nickovic, DejanFormal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, 2004, p.152-166 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |