Lazy rewriting is a proper restriction of term rewriting that dynamically restricts the reduction of certain arguments of functions in order to obtain termination. In contrast to ...
In this paper, we define labeled multigraphs with ports, a graph model which specifies connection points for nodes and allows multiple edges and loops. The dynamic evolution of th...
The paper deals with time-scaling transformations of dynamical systems. Such scaling functions operate a change of coordinates on the time axis of the system trajectories preservi...
Distributed computing has been slow to benefit from the productivity revolution that has transformed the desktop. We still treat the Web as a separate technology space: programmer...
A probabilistic wavelet system (PWS) is proposed to model the unknown dynamic system with stochastic and incomplete data. When compared with the traditional wavelet system, the PWS...