11112 search results - page 12 / 2223 » Computing Stuttering Simulations |
CIE
2008
Springer
13 years 9 months ago
2008
Springer
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
BCS
2008
13 years 9 months ago
2008
Despite over a century's study, the trigger mechanisms of cardiac arrhythmias are poorly understood. Even modern experimental methods do not provide sufficient temporal and s...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
ANCS
2010
ACM
13 years 5 months ago
2010
ACM
:
GI
2009
Springer
13 years 5 months ago
2009
Springer
: Verkn