Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
![]() |
Simple circuit simulations of classical and quantum Turing machinesGurevich, Yuri ; Blass, AndreasProceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2022-09, Vol.478 (2265) [Periódico revisado por pares]Texto completo disponível |
2 |
Material Type: Artigo
|
![]() |
Majority Logic Gate for Magnetic Quantum-Dot Cellular AutomataImre, A ; Csaba, G ; Ji, L ; Orlov, A ; Bernstein, G. H ; Porod, WScience (American Association for the Advancement of Science), 2006-01, Vol.311 (5758), p.205-208 [Periódico revisado por pares]Washington, DC: American Association for the Advancement of ScienceTexto completo disponível |
3 |
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 |
4 |
Material Type: Artigo
|
![]() |
SAFE RECURSIVE SET FUNCTIONSBECKMANN, ARNOLD ; BUSS, SAMUEL R. ; FRIEDMAN, SY-DAVIDThe Journal of symbolic logic, 2015-09, Vol.80 (3), p.730-762 [Periódico revisado por pares]Pasadena: Association for Symbolic Logic, IncTexto completo disponível |
5 |
Material Type: Artigo
|
![]() |
Photography from the Turin Shroud to the Turing Machine by Yanai Toister (review)Conner, Thomas HTechnology and Culture, 2022-07, Vol.63 (3), p.912-913 [Periódico revisado por pares]Baltimore: Johns Hopkins University PressTexto completo disponível |
6 |
Material Type: Artigo
|
![]() |
From Turing machines to computer virusesMarion, Jean-YvesPhilosophical transactions of the Royal Society of London. Series A: Mathematical, physical, and engineering sciences, 2012-07, Vol.370 (1971), p.3319-3339 [Periódico revisado por pares]England: The Royal Society PublishingTexto completo disponível |
7 |
Material Type: Artigo
|
![]() |
Computational complexity with experiments as oraclesBeggs, Edwin ; Costa, José Félix ; Loff, Bruno ; Tucker, John VProceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2008-10, Vol.464 (2098), p.2777-2801 [Periódico revisado por pares]London: The Royal SocietyTexto completo disponível |
8 |
Material Type: Artigo
|
![]() |
A generative vision model that trains with high data efficiency and breaks text-based CAPTCHAsGeorge, Dileep ; Lehrach, Wolfgang ; Kansky, Ken ; Lázaro-Gredilla, Miguel ; Laan, Christopher ; Marthi, Bhaskara ; Lou, Xinghua ; Meng, Zhaoshi ; Liu, Yi ; Wang, Huayan ; Lavin, Alex ; Phoenix, D. ScottScience (American Association for the Advancement of Science), 2017-12, Vol.358 (6368), p.1271-1271 [Periódico revisado por pares]United States: American Association for the Advancement of ScienceTexto completo disponível |
9 |
Material Type: Artigo
|
![]() |
Constructing Turing complete Euler flows in dimension 3Cardona, Robert ; Miranda, Eva ; Peralta-Salas, Daniel ; Presas, FranciscoProceedings of the National Academy of Sciences - PNAS, 2021-05, Vol.118 (19), p.1 [Periódico revisado por pares]United States: National Academy of SciencesTexto completo disponível |
10 |
Material Type: Artigo
|
![]() |
Computational complexity with experiments as oracles. II. Upper boundsBeggs, Edwin ; Costa, José Félix ; Loff, Bruno ; Tucker, J.V.Proceedings of the Royal Society. A, Mathematical, physical, and engineering sciences, 2009-05, Vol.465 (2105), p.1453-1465 [Periódico revisado por pares]London: The Royal SocietyTexto completo disponível |