A three-state hexagonal cellular automaton, discovered in [Wuensche A. Glider dynamics in
3-value hexagonal cellular automata: the beehive rule. Int J Unconvention Comput, in …

The verified software repository is dedicated to a long-term vision of a future in which all
computer systems justify the trust that society increasingly places in them. This would be …

The role played by parallelism in the theory of computation depends on the particular
paradigm or computational environment considered, but its importance has been confirmed …

Many embedded systems behave very differently from classical machine models: they
interact with an unpredictable environment, they are “always on”, and they change over time …

Quantum information theory is a new interdisciplinary research field related to quantum
mechanics, computer science, information theory, and applied mathematics. It provides …

This paper describes a novel, universal computing technique inspired by molecular biology.
This technique–founded in a simulation of protein interactions using a modular, artificial …

We study how to employ space-time dynamics in nonlinear media to achieve distributed
manipulation of objects—positioning, orienting and transporting objects by wave-fronts and …

Attention to the very physical aspects of information characterizes the current research in
quantum computation, quantum cryptography and quantum communication. In most of the …

Evolutionary circuit design and evolvable hardware traditionally belong to the area of
electrical engineering. In this habilitation thesis, we interpret the evolutionary design of …

Hypercomputation and the Grand Challenge in Non-Classical Computation Page 1
hypercomputation -- 1 Department of Computer Science Hypercomputation and the Grand …