Publications
-
(2017) D. Poças. Analog computability with differential equations. Ph.D. Dissertation. J. Zucker, advisor, McMaster University. [PDF]
-
(2017) (in print) D. Poças and B. Protas. Transient growth in stochastic Burgers flows. Discrete and Continuous Dynamical Systems -
Series B.
-
(2017) D. Poças and J. Zucker. Analog Networks on Function Data Streams. Computability: The Journal of the Association CiE, IOS Press. [PDF]
-
(2017) J.F. Costa and D. Poças. Solving Smullyan Puzzles with Formal Systems. Axiomathes, Springer.
-
(2017) T. Ambaram, E. Beggs, J.F. Costa, D. Poças and J.V. Tucker. An analogue-digital model of computation: Turing machines with physical oracles. A. Adamatzky, editor, Advances in Unconventional Computing. Emergence, Complexity and Computation, 22, Chapter IV: 73-115, Springer International Publishing. [PDF]
-
(2016) D. Poças and J. Zucker. Fixed point techniques in analog systems. J. Bélair, I.A. Frigaard, H. Kunze, R. Makarov, R. Melnik and R.J. Spiteri, editors, Mathematical and Computational Approaches in Advancing Modern Science and Engineering: 701-711, Springer International Publishing. [PDF]
-
(2016) E. Beggs, J.F. Costa, D. Poças and J.V. Tucker. Computations with oracles that measure vanishing quantities. H. Ishihara, M. Korovina, A. Pauly, M. Seisenberger and D. Spreen, editors, Mathematical Structures in Computer Science, FirstView, Cambridge University Press. [PDF]
-
(2014) L. Manzoni, D. Poças and A.E. Porreca. Simple reaction systems and their classifications. International Journal of Foundations of Computer Science, 25(4): 441-457, World Scientific. [PDF]
-
(2014) E. Beggs, J.F. Costa, D. Poças and J.V. Tucker. An analogue-digital Church-Turing thesis. International Journal of Foundations of Computer Science, 25(4): 373-389, World Scientific. [PDF]
-
(2013) E. Beggs, J.F. Costa, D. Poças and J.V. Tucker. Oracles that measure thresholds: The Turing machine and the broken balance. Oxford Journal of Logic and Computation, 23(6): 1155-1181, Oxford University Press. [PDF]
-
(2013) E. Beggs, J.F. Costa, D. Poças and J.V. Tucker. On the power of threshold measurements as oracles. G. Mauri, A. Dennunzio, L. Manzoni and A.E. Porreca, editors, Unconventional Computation and Natural Computation, Lecture Notes in Computer Science 7956:6-18, Springer Berlin Heidelberg. [PDF]
-
(2013) D. Poças. Complexity with costing and stochastic oracles. M.Sc. Dissertation. J.F. Costa, advisor, Instituto Superior Técnico.
-
(2012) D. Poças. Testes de primalidade. J.P. Boavida, R.P. Carpentier, L. Cruz-Filipe, P.S. Gonçalves, E. Grifo, D. Henriques and A.R. Pires, editors, Números, cirurgias e nós de gravata: 10 anos de Seminário Diagonal no IST, IST Press.