|
|
| Chair |
|
Toshihiko Takahashi (Niigata Univ.) |
| Vice Chair |
|
Mitsuru Hiraki (Renesas) |
| Secretary |
|
Shunsuke Koshita (Tohoku Univ.), Motoi Yamaguchi (Renesas) |
| Assistant |
|
Toshihiro Tachibana (Shonan Inst. of Tech.), Yohei Nakamura (Hitachi) |
|
| 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, Nov 24, 2016 10:00 - 18:05
Fri, Nov 25, 2016 09:00 - 14:35 |
| Topics |
|
| Conference Place |
Kobe Institute of Computing, Graduate School of Information Technology |
| Address |
2-2-7 Kano-cho, Chuo-ku, Kobe 650-0001,JAPAN |
| Transportation Guide |
From JR Sannomiya station, Hankyu/Hanshin/Subway Sannomiya station, JR Shinkansen Shin-Kobe station — about 10 mins. walk to campus.
https://www.kic.ac.jp/en/index/access/ |
Contact
Person |
Prof. Yukinobu MIYAMOTO |
| Sponsors |
This conference is technical co-sponsored by IEEE Circuits and Systems Society Japan Chapter（IEEE CASS JC）.
|
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, Nov 24 AM
10:00 - 11:40 |
(1)
CAS |
10:00-10:25 |
Hardware Trojan with Sensor Trigger  CAS2016-58 MSS2016-38 |
Takato Iwase, Yusuke Nozaki, Masaya Yoshikawa (Meijo Univ.) |
(2)
CAS |
10:25-10:50 |
The shortest twice flight routes of UAV on square grid graph with inside depot CAS2016-59 MSS2016-39 |
Yoshihiro Kaneko, Kani (Gifu Univ.), Mase Kennichi (Niigata Univ.) |
(3)
CAS |
10:50-11:15 |
A Fast Search Method for Run-Based Tries via Pointers CAS2016-60 MSS2016-40 |
Takashi Harada, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.) |
(4)
CAS |
11:15-11:40 |
A Traffic Load Balancing with Tie-sets in a Dispersion-managed Network CAS2016-61 MSS2016-41 |
Masashi Yamada, Norihiko Shinomiya (Soka Univ.) |
| |
11:40-13:00 |
Lunch Break ( 80 min. ) |
Thu, Nov 24 PM
13:00 - 14:40 |
(5)
MSS |
13:00-13:25 |
Existence of Nonblocking Supervisors for Similarity Control of Nondeterministic Discrete Event Systems CAS2016-62 MSS2016-42 |
Hiroki Yamada, Shigemasa Takai (Osaka Univ.) |
(6)
MSS |
13:25-13:50 |
Development and evaluation of on-the-fly model checking for a Petri net verification tool (HiPS) CAS2016-63 MSS2016-43 |
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) |
(7)
MSS |
13:50-14:15 |
Representation and analysis of C Source Code by using The Program Graph CAS2016-64 MSS2016-44 |
Tateo Okubo (Iwate Pref Univ.), Kazuya Fukuhara (i-MOS), Toshimitsu Inomata, Eiji Sugino, Yoshikazu Arai, Shintaro Imai (Iwate Pref Univ.) |
(8)
MSS |
14:15-14:40 |
Effects of Time-Varying Parameters in Particle Swarm Optimization of Multiple Swarms under Search-Time Constraints CAS2016-65 MSS2016-45 |
Yuya Asato (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Morikazu Nakamura (Univ. of the Ryukyus) |
| |
14:40-14:55 |
Break ( 15 min. ) |
Thu, Nov 24 PM
14:55 - 16:10 |
| (9) |
14:55-15:20 |
|
| (10) |
15:20-15:45 |
|
| (11) |
15:45-16:10 |
|
| |
16:10-16:25 |
Break ( 15 min. ) |
Thu, Nov 24 PM
16:25 - 17:05 |
(12)
CAS |
16:25-17:05 |
[Invited Talk]
On Recording and Analyzing for Science Communication Focused on ``Interaction among Various People''
-- Conversations on Radiactivity in Iwaki-city -- CAS2016-66 MSS2016-46 |
Shin Aida (Toyohashi-Tech) |
| |
17:05-17:15 |
Break ( 10 min. ) |
Thu, Nov 24 PM
17:15 - 18:05 |
(13)
MSS |
17:15-18:05 |
[Invited Talk]
The Past, Present, and Future of Video Search: Query Object from Known to Unknown CAS2016-67 MSS2016-47 |
Jianquan Liu, Shoji Nishimura, Takuya Araki, Yuichi Nakamura (NEC) |
Fri, Nov 25 AM
09:00 - 10:40 |
(14)
CAS |
09:00-09:25 |
A Note on Reliablity-Aware Clock Skew Scheduling in High-Level Synthesis CAS2016-68 MSS2016-48 |
Keisuke Inoue (KTC) |
(15)
CAS |
09:25-09:50 |
A Note on the Spanning Subgraph Isomorphism Problem CAS2016-69 MSS2016-49 |
Satoshi Tayu, Kenji Ichikawa, Shuichi Ueno (Tokyo Tech) |
(16)
CAS |
09:50-10:15 |
On the Complexity of Finding a Largest Common Subtree of Trees CAS2016-70 MSS2016-50 |
Hiroki Katsumata, Satoshi Tayu, Shuichi Ueno (Tokyo Tech) |
(17)
CAS |
10:15-10:40 |
A 3/2-Approximation Algorithm for the Bipartite Dense Subgraph Problem on Bipartite Permutation Graphs CAS2016-71 MSS2016-51 |
Yuta Inaba, Satoshi Tayu, Shuichi Ueno (Tokyo Tech) |
| |
10:40-10:55 |
Break ( 15 min. ) |
Fri, Nov 25 AM
10:55 - 11:35 |
(18)
CAS |
10:55-11:35 |
[Invited Talk]
Introduction to Token Swapping Problem
-- An generalization of Amidakuji -- CAS2016-72 MSS2016-52 |
Katsuhisa Yamanaka (Iwate Univ.) |
| |
11:35-12:55 |
Lunch Break ( 80 min. ) |
Fri, Nov 25 PM
12:55 - 14:35 |
(19)
MSS |
12:55-13:20 |
Formal Description of Synchronization by Functional Definition of Synchronous Circuits CAS2016-73 MSS2016-53 |
Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) |
(20)
MSS |
13:20-13:45 |
Imitation Dynamics with Population-Varying Revision Intervals of Strategies CAS2016-74 MSS2016-54 |
Manao Machida, Takafumi Kanazawa (Osaka Univ.) |
(21)
MSS |
13:45-14:10 |
Detection of mode confusion in human machine systems using user models with time information. CAS2016-75 MSS2016-55 |
Yoshiki Maeda, Toshimitsu Ushio (Osaka Univ.) |
(22)
MSS |
14:10-14:35 |
Subsidy-based Stabilization of Nonequilibrium Target State in Population Games with Unknown Payoff Functions CAS2016-76 MSS2016-56 |
Masaya Kinoshita, Takafumi Kanazawa (Osaka Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Invited Talk (CAS) | Each speech will have 35 minutes for presentation and 5 minutes for discussion. |
| Invited Talk (MSS) | Each speech will have 45 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| IPSJ-AL |
Special Interest Group on Algorithms (IPSJ-AL) [Latest Schedule]
|
| Contact Address |
|
| CAS |
Technical Committee on Circuits and Systems (CAS) [Latest Schedule]
|
| Contact Address |
Shunsuke Koshita(Tohoku Univ.)
TEL: 022-795-7095
E- :  si  mk ecei    |
| 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-11-21 18:15:47
|