527 search results - page 58 / 106 » Words and Bisimulations of Dynamical Systems |
FSTTCS
2004
Springer
14 years 1 months ago
2004
Springer
This paper introduces an extension of linear temporal logic that allows to express properties about systems that are composed of entities (like objects) that can refer to each othe...
UMC
2000
13 years 11 months ago
2000
Abstract. We consider various extensions and modifications of Shannon's General Purpose Analog Computer, which is a model of computation by differential equations in continuou...
EOR
2006
13 years 7 months ago
2006
This paper is concerned with workload minimization in re-entrant lines with exponential service times and preemptive control policies. Using a numerical algorithm called the power...
CPHYSICS
2007
13 years 7 months ago
2007
Melting front velocity dependencies on temperature are calculated using the molecular-dynamics method for the EAM models of Al and Fe as well as for the Lennard-Jones system. Di�...
INFORMATICALT
2002
13 years 7 months ago
2002
We study the stochastic model for bioremediation in a bioreactor with ideal mixing. The dynamics of the examined system is described by stochastic differential equations. We consid...