1400 search results - page 123 / 280 » Dynamic Galois Theory |
CIBCB
2006
IEEE
15 years 5 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...
FIMH
2005
Springer
15 years 4 months ago
2005
Springer
We describe numerical simulations of spiral waves dynamics in the computational model of human atrial tissue with the CourtemancheRamirez-Nattel local kinetics. The spiral wave was...
ERLANG
2004
ACM
15 years 4 months ago
2004
ACM
Structured Programming techniques are applied to a personal accounting software application implemented in erlang as a demonstration of the utility of processes as design construc...
MM
1993
ACM
15 years 3 months ago
1993
ACM
This paper addresses the key issue of providing flexible multimedia presentation with user participation and suggests synchronization models which can specify the user participat...
110
click to vote
AIA
2006
15 years 22 days ago
2006
Epistemic logic allows to reason not only about situations, but also about the knowledge that a set of agents have about situations. In later years, epistemic logic has been appli...