527 search results - page 30 / 106 » Words and Bisimulations of Dynamical Systems |
CIE
2007
Springer
13 years 11 months ago
2007
Springer
Nonlinear dynamical and control systems are an important source of applications for theories of computation over the the real numbers, since these systems are usually to complicate...
QUESTA
2008
13 years 7 months ago
2008
We consider a parallel server system that consists of several customer classes and server pools in parallel. We propose a simple robust control policy to minimize the total linear...
APPML
2004
13 years 7 months ago
2004
In this paper, a new condition for the controllability of higher order linear dynamical systems is obtained. The suggested test contains rank conditions of suitably defined matric...
AIMS
2008
Springer
13 years 9 months ago
2008
Springer
In this paper, we present a novel distributed certification system in which signing a certificate needs the collaboration of a fixed ratio of the nodes, hence a varying number of n...
BICOB
2009
Springer
14 years 2 months ago
2009
Springer
Atomistic molecular dynamics (MD) simulations are a vital tool in chemical research, as they are able to provide a view of chemical systems and processes that is not obtainable thr...