11112 search results - page 12 / 2223 » Computing Stuttering Simulations |
165
click to vote
CIE
2008
Springer
15 years 7 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...
172
click to vote
BCS
2008
15 years 7 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 11 months ago
2004
Springer