17054 search results - page 349 / 3411 » Logics of Dynamical Systems |
198
Voted
MST
2008
15 years 7 months ago
2008
We study finite bisimulations of dynamical systems in Rn defined by Pfaffian maps. The pure existence of finite bisimulations for a more general class of o-minimal systems was show...
219
Voted
NC
2010
15 years 2 months ago
2010
We analyze how measured quantum dynamical systems store and process information, introducing sofic quantum dynamical systems. Using recently introduced information-theoretic measur...
179
Voted
IJRR
2008
15 years 7 months ago
2008
: In this paper, we present a sampling-based verification algorithm for continuous dynamic systems with uncertainty due to adversaries, unmodeled disturbance inputs, unknown parame...
230
click to vote
ISCA
2012
IEEE
13 years 10 months ago
2012
IEEE
Chip multiprocessors enable continued performance scaling with increasingly many cores per chip. As the throughput of computation outpaces available memory bandwidth, however, the...
184
Voted
VISUALIZATION
1995
IEEE
15 years 11 months ago
1995
IEEE
Invariant tori are examples of invariant manifolds in dynamical systems. Usual tools in dynamical systems such as analysis and numerical simulations alone are often not sufficient...