76 search results - page 1 / 16 » Discrete Dynamical Systems Consisting of Single-electron Cir... |
IJBC
2007
13 years 10 months ago
2007
CORR
2008
Springer
13 years 11 months ago
2008
Springer
We consider a product X of n finite intervals of integers, a map F from X to itself, the asynchronous state transition graph (F) on X that Thomas proposed as a model for the dynam...
DAM
2007
13 years 11 months ago
2007
R. Thomas conjectured, twenty years ago, that the presence of a positive circuit in the interaction graph of a dynamical system is a necessary condition for the presence of severa...
LICS
2012
IEEE
12 years 1 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
AMC
2000
13 years 10 months ago
2000
We study a class of discrete dynamical systems that is motivated by the generic structure of simulations. The systems consist of the following data: (a) a