IEICE Technical Report

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

Mathematical Systems Science and its applications

Workshop Date : 2013-01-22 - 2013-01-23 / Issue Date : 2013-01-15

MSS2012-45
An application of arbitration-based multicriteria games to a water resource problem
Hiromi Tsubotani, Takafumi Kanazawa, Toshimitsu Ushio (Osaka Univ.)
pp. 1 - 4

MSS2012-46
A game-theoretic analysis of electronic commerce -- on the effect of customer reviews --
Akihiro Yoshida, Chiaki Sakama (Wakayama Univ.)
pp. 5 - 9

MSS2012-47
Path Prediction using a Path Planning Method under the Lack of Observed Data Situation
Megumi Sawada, Atsuo Ozaki, Shusuke Watanabe (Mitsubishi Electric)
pp. 11 - 15

MSS2012-48
On Polynomial Time Checking on Reachability in Sound Extended Free-Choice Workflow Nets
Daiki Kano, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 17 - 21

MSS2012-49
On Analysis on Reachability to Unsafe Markings in Free Choice Workflow Nets
Yuki Murakami, Ichiro Toyoshima, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 23 - 26

MSS2012-50
An Algorithm of Finding Dependent Subnets for Retention-Free Petri Nets
Tadataka Matsumoto, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.)
pp. 27 - 32

MSS2012-51
[Invited Talk] Design and Performance Analysis of Algorithms for Petri Nets
Toshimasa Watanabe (Hiroshima Univ.)
pp. 33 - 38

MSS2012-52
Observability Analysis of Discrete Event Systems Modeled by Concurrent Synchronous Products
Longjiang Wang, Shigemasa Takai (Osaka Univ.)
pp. 39 - 44

MSS2012-53
Self-Triggered Optimal Control of Linear Systems Focusing on Prediction Horizon One
Koichi Kobayashi, Kunihiko Hiraishi (JAIST)
pp. 45 - 48

MSS2012-54
Effectiveness of Group Control of 2 Shaft Elevator for Peak Power Cut and Service Performance
Kentaro Nakayama, Koji Takahashi (Tokyo tech)
pp. 49 - 54

MSS2012-55
A study on stability of stable marriage problem with multicriteria preference list
Hideki Kinjo (Okinawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus.)
pp. 55 - 60

MSS2012-56
A Proposal of Similarity Evaluation for Ordered Trees -- Application to Similarity Verification of C Language Programs --
Huricha Bao, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.)
pp. 61 - 64

MSS2012-57
Proposal of Algorithm to Finding Determiner Set for Graphs
Kurumi Kouchi, Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ)
pp. 65 - 70

MSS2012-58
Enhancing Local Search Algorithms for Organizing Conference Programs -- Generating Initial Solutions and Neighborhood Swapping --
Masahiko Okumoto, Satoshi Taoka, Toshimasa Watanabe (Hiroshima Univ.)
pp. 71 - 76

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