11112 search results - page 12 / 2223 » Computing Stuttering Simulations |
CIE
2008
Springer
14 years 11 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
14 years 11 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
15 years 2 months ago
2004
Springer
64
Voted
ANCS
2010
ACM
14 years 7 months ago
2010
ACM
:
GI
2009
Springer
14 years 7 months ago
2009
Springer
: Verkn