2086 search results - page 89 / 418 » Mathematical Theory Exploration |
HUC
2010
Springer
13 years 7 months ago
2010
Springer
Consumer game platforms are realizing Ubicomp's vision of seamless, sensor-based, embodied interaction with computation. Here we present Propinquity, a full-body dancing/figh...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
This paper extends the analogies employed in the development of quantum-inspired evolutionary algorithms by proposing quantum-inspired Hadamard walks, called QHW. A novel quantum-...
CALCO
2007
Springer
14 years 3 months ago
2007
Springer
In formal language theory, James Rogers published a series of innovative papers generalising strings and trees to higher dimensions.Motivated by applications in linguistics, his go...
PODS
2008
ACM
14 years 9 months ago
2008
ACM
A survey of effective characterizations of tree logics. If L is a logic, then an effective characterization for L is an algorithm, which inputs a tree automaton and replies if the...
CALCO
2009
Springer
14 years 4 months ago
2009
Springer
The microcosm principle, advocated by Baez and Dolan and formalized for Lawvere theories lately by three of the authors, has been applied to coalgebras in order to describe composi...