Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
Verification of Quantum Computation: An Overview of Existing ApproachesGheorghiu, Alexandru ; Kapourniotis, Theodoros ; Kashefi, ElhamTheory of computing systems, 2019-05, Vol.63 (4), p.715-808 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
2 |
Material Type: Artigo
|
GPT-3: Its Nature, Scope, Limits, and ConsequencesFloridi, Luciano ; Chiriatti, MassimoMinds and machines (Dordrecht), 2020-12, Vol.30 (4), p.681-694 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
3 |
Material Type: Artigo
|
Theory and Applications of Robust OptimizationBertsimas, Dimitris ; Brown, David B. ; Caramanis, ConstantineSIAM review, 2011-01, Vol.53 (3), p.464-501 [Periódico revisado por pares]Philadelphia, PA: Society for Industrial and Applied MathematicsTexto completo disponível |
|
4 |
Material Type: Artigo
|
Dirichlet Energy for Analysis and Synthesis of Soft MapsSolomon, Justin ; Guibas, Leonidas ; Butscher, AdrianComputer graphics forum, 2013-08, Vol.32 (5), p.197-206 [Periódico revisado por pares]Oxford, UK: Blackwell Publishing LtdTexto completo disponível |
|
5 |
Material Type: Artigo
|
Information Processing ArtifactsAnderson, Neal G.Minds and machines (Dordrecht), 2019-06, Vol.29 (2), p.193-225 [Periódico revisado por pares]Dordrecht: Springer NetherlandsTexto completo disponível |
|
6 |
Material Type: Artigo
|
Towards a theoretical foundation for morphological computation with compliant bodiesHauser, Helmut ; Ijspeert, Auke J. ; Füchslin, Rudolf M. ; Pfeifer, Rolf ; Maass, WolfgangBiological cybernetics, 2011-12, Vol.105 (5-6), p.355-370 [Periódico revisado por pares]Berlin/Heidelberg: Springer-VerlagTexto completo disponível |
|
7 |
Material Type: Artigo
|
Application of Residual Power Series Method for the Solution of Time-fractional Schrödinger Equations in One-dimensional SpaceAbu Arqub, OmarFundamenta informaticae, 2019-01, Vol.166 (2), p.87-110 [Periódico revisado por pares]Amsterdam: IOS Press BVTexto completo disponível |
|
8 |
Material Type: Artigo
|
Imperative Process Algebra and Models of Parallel ComputationMiddelburg, Cornelis A.Theory of computing systems, 2024-06, Vol.68 (3), p.529-570 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
|
9 |
Material Type: Artigo
|
Equivalence classes and conditional hardness in massively parallel computationsNanongkai, Danupon ; Scquizzato, MicheleDistributed computing, 2022, Vol.35 (2), p.165-183 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Artigo
|
Lower bounds for in-network computation of arbitrary functionsGillani, Iqra Altaf ; Vyavahare, Pooja ; Bagchi, AmitabhaDistributed computing, 2021-06, Vol.34 (3), p.181-193 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |