This paper was utilized robust model to simulate sea surface current pattern. The horizontal surface velocity model was modified based on the Doppler frequency theory to model the...
In this paper, based on the concept of the Tapped Delay Line (TDL) structure, we first propose a new wideband multiple-ring Multiple Input Multiple Output (MIMO) channel reference ...
We present a new local method for collision avoidance that is based on collision prediction. In our model, each pedestrian predicts possible future collisions with other pedestrian...
Ioannis Karamouzas, Peter Heil, Pascal van Beek, M...
Symbolic rewriting systems are gaining interest as tools for simulating biochemical dynamics. Compared to traditional methods based on differential equations, the symbolic approac...
This paper describes the functional specification and verification portions of El Greco, a system for high-level, heterogeneous functional specification, efficient compiled si...