research
∙
05/05/2023
Degrees of Second and Higher-Order Polynomials
Second-order polynomials generalize classical first-order ones in allowi...
share
research
∙
12/02/2022
Vector Symbolic Finite State Machines in Attractor Neural Networks
Hopfield attractor networks are robust distributed models of human memor...
research
∙
02/10/2020
A Quantitative Multivalued Selection Theorem for Encoding Spaces of Continuum Cardinality
Previous work (Pauly Ziegler'13) had introduced and justified a qualit...
research
∙
06/28/2019
Computing Haar Measures
According to Haar's Theorem, every compact group G admits a unique left-...
research
∙
06/16/2019
Randomized Computation of Continuous Data: Is Brownian Motion Computable?
We consider randomized computation of continuous data in the sense of Co...
research
∙
09/23/2018
Representation Theory of Compact Metric Spaces and Computational Complexity of Continuous Data
Choosing an encoding over binary strings for input/output to/by a Turing...
research
∙
09/23/2018
Quantitatively Admissible Representations and the "Main Theorem" of Continuous COMPLEXITY Theory
Choosing an encoding over binary strings for input/output to/by a Turing...
research
∙
09/23/2018
Quantitatively Admissible Representations and the "Main Theorem" of Type-2 COMPLEXITY Theory
Choosing an encoding over binary strings is usually straightforward or i...
research
∙
01/19/2018
Invitation to Real Complexity Theory: Algorithmic Foundations to Reliable Numerics with Bit-Costs
While concepts and tools from Theoretical Computer Science are regularly...
research
∙
11/11/2014
Logical Limitations to Machine Ethics with Consequences to Lethal Autonomous Weapons
Lethal Autonomous Weapons promise to revolutionize warfare -- and raise ...
research
∙
04/23/2009
Variations of the Turing Test in the Age of Internet and Virtual Reality
Inspired by Hofstadter's Coffee-House Conversation (1982) and by the sci...
research
∙
03/12/2009