Technological advancements in communication and embedded computing lead to the increasing application of decentralized structures in automation and control. The decentralization a...
Reachability analysis is one of the most successful methods used in design and validation of protocols for classical communication, whereas the predicate/transition-net formalism i...
This paper describes intelligent virtual tutors for interaction skills training who can serve the roles of demonstrator, coach, trainer, mentor, and observer. These roles meet the ...
We investigate self-gravitational collapse of magnetized molecular cloud cores and formation of the outflow. We employ a nested grid in order to resolve fine structures of protost...
Tomoaki Matsumoto, Masahiro N. Machida, Kohji Tomi...