Sciweavers

14190 search results - page 211 / 2838
» computer 2008
Sort
View
ENTCS
2008
126views more  ENTCS 2008»
15 years 5 months ago
Comonadic Notions of Computation
We argue that symmetric (semi)monoidal comonads provide a means to structure context-dependent notions of computation such as notions of dataflow computation (computation on strea...
Tarmo Uustalu, Varmo Vene
JUCS
2008
134views more  JUCS 2008»
15 years 4 months ago
Computability of Topological Pressure for Sofic Shifts with Applications in Statistical Physics
: The topological pressure of dynamical systems theory is examined from a computability theoretic point of view. It is shown that for sofic shift dynamical systems, the topological...
Christoph Spandl