IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Concurrent Systems Technology

Workshop Date : 2008-06-03 / Issue Date : 2008-05-27

CST2008-5
Reachability analysis method of probabilistic timed automaton based on predicate abstraction and its refinement
Ryota Komagata, Atsushi Morishita, Satoshi Yamane (Kanazawa Univ.)
pp. 1 - 6

CST2008-6
CST Solution Competition 2007 -- Detailed Results of Computational Evaluation --
Toshiyuki Miyamoto (Osaka Univ.), Shingo Yamaguchi (Yamaguchi Univ.), Naoshi Uchihira (Toshiba Co.), Qi-Wei Ge (Yamaguchi Univ.), Shinichi Honiden (NII)
pp. 7 - 12

CST2008-7
A Proposal of Soundization Problem of WF-Nets and a Consideration Its Sub-problem under Protocol Inheritance
Ryo Ikeda, Shingo Yamaguchi, Minoru Tanaka (Yamaguchi Univ.)
pp. 13 - 18

CST2008-8
Modeling of Quantum Computer by using Quantum Petri Net
Shinsuke Ito, Atsushi Ohta, Kohkichi Tsuji (Aichi Prefectural Univ.)
pp. 19 - 24

CST2008-9
A Matching Algorithm of Feature Graphs for Handwritten Character Recognition
Shuichi Nishida, Masaki Hayashi, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.)
pp. 25 - 30

CST2008-10
Supervisory control of timed discrete event systems based on reinforcement learning
Tatsushi Yamasaki (Setsunan Univ.), Toshimitsu Ushio (Osaka Univ.)
pp. 31 - 36

CST2008-11
Mathematical Model for Artificial Character and Democracy -- Mathematical Proof of Good and Evil --
Tadayuki Hattori (非公開希望)
pp. 37 - 42

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan