Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 5 of 5 for “"theory of computation"”.
-
Quantum proof systems and entanglement theory
Quantum complexity theory is important from the point of view of not only theory of computation but also quantum information theory. In particular, quantum multi-prover interactive proof systems are defined based on complexity theory notions, while their characterization can be formulated using …
-
Extended cognition, dynamics, and algorithms. A turing machine based approach to the study of arithmetical skills
The fields of philosophy of mind and cognitive science have been characterized, in the last few decades, by a growing interest for explanations of mind's activity in terms of interaction between brains, bodies and the world. Embodiment, embeddedness, situatededness are key words that most often can …
-
The subject in the big data era: reading fictions of algorithmic manipulation
… explores fiction’s response to the question of how the contemporary internet is reshaping subjectivity. Through case studies on Joshua Cohen’s Book of Numbers (2015), Nicola Barker’s H(A)PPY (2017), David Foster Wallace’s The Pale King (2011), and Neal Stephenson’s Fall; or, Dodge in Hell …
-
Random Variable Spaces: Mathematical Properties and an Extension to Programming Computable Functions
… dissertation aims to extend the boundaries of Programming Computable Functions (PCF) by introducing a novel collection of categories referred to as Random Variable Spaces. Originating as a generalization of Quasi-Borel Spaces, Random Variable Spaces are rigorously defined as categories where …
-
CRYPTOGRAPHY FROM CONSENSUS TO THE COSMOS
… in two parts. First, we re-visit the foundations of consensus protocols, arguing that despite 50 years of research, there is room to make them simpler, more secure, and more efficient. As a pillar of distributed systems, consensus algorithms power everything from distributed databases to …