| Technical Committee on Mathematical Systems Science and its applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Satoshi Yamane (Kanazawa Univ.) |
| Vice Chair |
|
Morikazu Nakamura (Univ. of Ryukyus) |
| Secretary |
|
Mitsuru Nakata (Yamaguchi Univ.), Ichiro Toyoshima (Toshiba) |
| Assistant |
|
Hideki Kinjo (Okinawa Univ.) |
|
| Conference Date |
Thu, Mar 3, 2016 09:20 - 17:50
Fri, Mar 4, 2016 09:10 - 16:20 |
| Topics |
|
| Conference Place |
KAIKYO MESSE SHIMONOSEKI 804 Meeting room |
| Transportation Guide |
http://www.kaikyomesse.jp/access/ |
Contact
Person |
中田 充 |
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Thu, Mar 3 AM DES1(WIP-DES1)
09:20 - 10:20 |
| (1) |
09:20-09:40 |
DES1-1 |
| (2) |
09:40-10:00 |
DES1-2 |
| (3) |
10:00-10:20 |
DES1-3 |
| |
10:20-10:30 |
Break ( 10 min. ) |
Thu, Mar 3 AM MSS1(WIP-MSS1)
10:30 - 11:50 |
| (4) |
10:30-10:50 |
Analysis of Boundedness and Liveness for Agent-Oriented Petri Net PN^2 and its Application for IoT Services  MSS2015-67 |
Shoki Tsugawa, Kazuya Nakahori, Shingo Yamaguchi (Yamaguchi Univ.) |
| (5) |
10:50-11:10 |
Construction of Internal Organs of Petri Net Model Based on the Acupuncture Efficacy of Meridians MSS2015-68 |
Masafumi Nishida, Yuta Murai (Yamaguchi Univ), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ) |
| (6) |
11:10-11:30 |
Implementation of similar subgraph search method for historical document image retrieval system MSS2015-69 |
Hiroaki Kodama, Hiroaki Nagaoka, Mitsuru Nakata, Qi-Wei Ge, Makoto Yoshimura (Yamaguchi Univ.) |
| (7) |
11:30-11:50 |
Task execution time and PE power consumption variation-aware scheduling method MSS2015-70 |
Komei Nomura, Yasuhiro Takashima (Univ. of Kitakyushu), Yuiti Nakamura (NEC) |
| |
11:50-12:50 |
Lunch Break ( 60 min. ) |
Thu, Mar 3 PM DES2(WIP-DES2)
12:50 - 14:10 |
| (8) |
12:50-13:10 |
DES2-1 |
| (9) |
13:10-13:30 |
DES2-2 |
| (10) |
13:30-13:50 |
DES2-3 |
| (11) |
13:50-14:10 |
DES2-4 |
| |
14:10-14:20 |
Break ( 10 min. ) |
Thu, Mar 3 PM MSS2(WIP-MSS2)
14:20 - 15:40 |
| (12) |
14:20-14:40 |
Design and Development of A Data Sharing System on Delay Tolerant Networks MSS2015-71 |
Toru Nakandakari, Tomoki Miyazato, Morikazu Nakamura (Univ. of the Ryukyus), Akira Sakima (Kuniken Systems) |
| (13) |
14:40-15:00 |
Vowel Classification for Generating Language Family Trees Based on the Acoustic Phonetics MSS2015-72 |
Minori Motoyama (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Hiroshi Matsuno (Yamaguchi Univ.) |
| (14) |
15:00-15:20 |
A Method of Weight Assignment to Phonetic Symbols for Generating Language Family Trees based on Basic Vocabulary MSS2015-73 |
Yuya Matsuura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior Coll.), Hiroshi Matsuno (Yamaguchi Univ.) |
| (15) |
15:20-15:40 |
A Construction Method of Efficient Wireless LAN using Node Clustering MSS2015-74 |
Shuhei Matsumura, Hiroshi Matsuno (Yamaguchi Univ.) |
| |
15:40-15:50 |
Break ( 10 min. ) |
Thu, Mar 3 PM MSS3
15:50 - 16:40 |
| (16) |
15:50-16:15 |
Properties of Uniqueness on Dependent Shrink for Retention-Free Petri Nets MSS2015-75 |
Atsushi Mizuta, Qi-Wei Ge, Hiroshi Matsuno (Yamaguchi Univ.) |
| (17) |
16:15-16:40 |
A Colored Hybrid Petri Net Model for the Delta-Notch Dependent Boundary Formation in the Drosophila Large Intestine MSS2015-76 |
Fei Liu, Hiroshi Matsuno, Ryutaro Murakami (Yamaguchi Univ.) |
| |
16:40-16:50 |
Break ( 10 min. ) |
Thu, Mar 3 PM
16:50 - 17:50 |
| (18) |
16:50-17:50 |
[Invited Talk]
From Inference to Equivalent Transformation
-- Towards a new theory for Computational Logic -- MSS2015-77 |
Kiyoshi Akama (Hokkaido Univ.) |
Fri, Mar 4 AM MSS4
09:10 - 10:25 |
| (19) |
09:10-09:35 |
On Behavioral Analysis of Nursing and Caregiving Services Using Switched Linear Regression Models MSS2015-78 |
Koichi Kobayashi (Hokkaido Univ.), Kunihiko Hiraishi, Sunseong Choe, Naoshi Uchihira (JAIST) |
| (20) |
09:35-10:00 |
Controller Tuning with Falsification of Temporal Logic Formulae MSS2015-79 |
Taiyo Mineo (Tokyo Tech.), Daisuke Ishii (Univ. of Fukui), Takuo Watanabe (Tokyo Tech.) |
| (21) |
10:00-10:25 |
A matching based algorithm for access point selection in heterogeneous wireless networks MSS2015-80 |
Hideo Kobayashi, Eiichi Kameda, Norihiko Shinomiya (Soka Univ) |
| |
10:25-10:35 |
Break ( 10 min. ) |
Fri, Mar 4 AM MSS5
10:35 - 11:50 |
| (22) |
10:35-11:00 |
Sevaral Implementations of Minimum-Time FSSP Algorithms Based on Exponential Marking (Part II) MSS2015-81 |
Mitsuki Hirota, Hirosi Umeo (Univ.Osaka Electro) |
| (23) |
11:00-11:25 |
CAME: A Novel Fast Connectivity-Aware MER Enumeration Algorithm for the Online Task Placement on Partially Reconfigurable Device MSS2015-82 |
Tieyuan Pan, Lian Zeng (Waseda Univ.), Yasuhiro Takashima (Univ. of Kitakyushu), Takahiro Watanabe (Waseda Univ.) |
| (24) |
11:25-11:50 |
Performance Comparison to a Classification Problem by the Qualification Method 2 and STRIM MSS2015-83 |
Yuya Kitazaki, Yuichi Kato (Shimane Univ.), Tetsuro Saeki (Yamaguchi Univ.) |
| |
11:50-12:50 |
Lunch Break ( 60 min. ) |
Fri, Mar 4 PM DES3
12:50 - 14:30 |
| (25) |
12:50-13:15 |
DES3-1 |
| (26) |
13:15-13:40 |
DES3-2 |
| (27) |
13:40-14:05 |
DES3-3 |
| (28) |
14:05-14:30 |
DES3-4 |
| |
14:30-14:40 |
Break ( 10 min. ) |
Fri, Mar 4 PM MSS6
14:40 - 16:20 |
| (29) |
14:40-15:05 |
A Scheduling Problem on Carestaff Cooperation
-- Comparison of Communication Protocols and an Optimal Solution by a Solver -- MSS2015-84 |
Kunihiko Hiraishi, Sunseong Choe (JAIST), Koichi Kobayashi (Hokkaido Univ.), Yasuo Sasaki, Naoshi Uchihira (JAIST) |
| (30) |
15:05-15:30 |
Distributed Optimization of Data Transmission Path to Base Station for Voronoi Coverage Problems MSS2015-85 |
Naoto Ibuka, Takafumi Kanazawa (Osaka Univ.) |
| (31) |
15:30-15:55 |
State Attraction Control of Discrete Event Systems Under Partial Observation MSS2015-86 |
Ryoma Sawasaki, Sigemasa Takai (Osaka Univ.) |
| (32) |
15:55-16:20 |
Fast path routing with randomized algorithm MSS2015-87 |
Asuka Shinohara, Yasuhiro Takashima (Univ. of Kitakyushu), Yuichi Nakamura (NEC) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| General Talk (WIP) | Each speech will have 10 minutes for presentation and 10 minutes for discussion. |
| Invited Talk | Each speech will have 50 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its applications (MSS) [Latest Schedule]
|
| Contact Address |
Mitsuru Nakata (Yamaguchi Univ.)
Tel: +81-83-933-5402
E- : m      gu -u |
Last modified: 2016-02-27 07:35:58
|