Thu, Nov 24 AM 10:00 - 11:40 |
(1) CAS |
10:00-10:25 |
Hardware Trojan with Sensor Trigger |
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 |
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 |
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 |
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 |
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) |
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) |
(7) MSS |
13:50-14:15 |
Representation and analysis of C Source Code by using The Program Graph |
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 |
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 -- |
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 |
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 |
Keisuke Inoue (KTC) |
(15) CAS |
09:25-09:50 |
A Note on the Spanning Subgraph Isomorphism Problem |
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 |
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 |
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 -- |
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 |
Shunji Nishimura, Motoki Amagasaki, Toshinori Sueyoshi (Kumamoto Univ.) |
(20) MSS |
13:20-13:45 |
Imitation Dynamics with Population-Varying Revision Intervals of Strategies |
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. |
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 |
Masaya Kinoshita, Takafumi Kanazawa (Osaka Univ.) |