Thu, Nov 16 AM 09:15 - 10:30 |
(1) CAS |
09:15-09:40 |
After the Symposium "Circuits and Systems Based on Imprecision-Tolerant Computing Schemes" |
Shunsuke Koshita (Tohoku Univ.) |
(2) CAS |
09:40-10:05 |
Modeling and simulation of motion of a multirotor in a light wind |
Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT) |
(3) CAS |
10:05-10:30 |
Modeling and simulation of motion of an underwater robot in a mild stream |
Munenari Sako, Kouki Fukuda, Kaito Isogai, Hideo Nakano, Hideaki Okazaki (SIT) |
|
10:30-10:35 |
Break ( 5 min. ) |
Thu, Nov 16 AM 10:35 - 11:15 |
(4) CAS |
10:35-11:15 |
[Invited Talk]
Recent Advances in Optimization Methods Applied to Sparse Signal Processing |
Masao Yamagishi (Tokyo Inst. of Tech.) |
|
11:15-11:20 |
Break ( 5 min. ) |
Thu, Nov 16 AM 11:20 - 12:00 |
(5) CAS |
11:20-12:00 |
[Invited Talk]
On the Recognition of Unit Grid Intersection Graphs |
Satoshi Tayu, Shuichi Ueno (Tokyo Inst. of Tech.) |
|
12:00-13:00 |
Lunch Break ( 60 min. ) |
Thu, Nov 16 PM 13:00 - 13:45 |
(6) MSS |
13:00-13:45 |
[Invited Talk]
Some Optimization Problems in Energy Management Systems |
Kota Hirato (TOSHIBA Energy Systems & Solutions) |
|
13:45-13:50 |
Break ( 5 min. ) |
Thu, Nov 16 PM 13:50 - 15:05 |
(7) |
13:50-14:15 |
The Coloring Reconfiguration Problem on Specific Graph Classes
〇Tatsuhiko Hatanaka・Takehiro Ito・Xiao Zhou(Tohoku Univ.) |
(8) |
14:15-14:40 |
Complexity of Coloring Reconfiguration under Recolorability Constraints
〇Hiroki Osawa・Akira Suzuki・Takehiro Ito・Xiao Zhou(Tohoku Univ.) |
(9) |
14:40-15:05 |
Efficient Algorithms for the Partial Sum Dispersion Problem
Toshihiro Akagi(Gunma Univ.)・〇Tetsuya Araki・Hiroshi Ishikawa(Tokyo Metropolitan Univ.)・Shin-ichi Nakano(Gunma Univ.) |
|
15:05-15:15 |
Break ( 10 min. ) |
Thu, Nov 16 PM 15:15 - 16:55 |
(10) MSS |
15:15-15:40 |
An Effectiveness on a Fieldwork with Smart Voice Messaging system |
Masanori Okada (Kanazawa Gakuin Univ.), Naoshi Uchihira, Kunihiko Hiraishi, Susumu Kunifuji (JAIST) |
(11) MSS |
15:40-16:05 |
The stable transmission tree and minimum cost transmission tree on wireless sensor network with mobile sink along the boundary |
Yoshihiro Kaneko, Tsubasa Yamada, Takuya Tsujimoto (Gifu Univ.) |
(12) MSS |
16:05-16:30 |
Document classification on unknown class using transfer learning |
Masato Shirai (Shimane Univ.), Jianquan Liu (NEC) |
(13) MSS |
16:30-16:55 |
Logic to represent change of event frequency |
Osamu Takaki (Gunma Univ.) |
|
16:55-17:00 |
Break ( 5 min. ) |
Thu, Nov 16 PM 17:00 - 17:55 |
(14) MSS |
17:00-17:55 |
[Invited Talk]
Supervisory Control with Linear Temporal Logic Specifications |
Ami Sakakibara, Toshimitsu Ushio (Osaka Univ.) |
Fri, Nov 17 AM 09:15 - 10:10 |
(15) |
09:15-09:40 |
|
(16) |
09:40-10:05 |
|
(17) |
10:05-10:10 |
|
|
10:10-10:15 |
Break ( 5 min. ) |
Fri, Nov 17 AM 10:15 - 11:05 |
(18) MSS |
10:15-10:40 |
Performance Comparison of Machine Learning and Process Mining in Evaluation of Software Development Processes |
Hitoshi Shiozawa, Kunihiko Hiraishi (JAIST) |
(19) MSS |
10:40-11:05 |
Quantitative safety assessment of telemedicine using the MCCA |
Kenji Fujita, Toshiaki Aoki, Kunihiko Hiraishi (JAIST) |
|
11:05-11:15 |
Break ( 10 min. ) |
Fri, Nov 17 AM 11:15 - 12:00 |
(20) MSS |
11:15-12:00 |
[Invited Talk]
Open Data of Air Traffic and its Application |
Megumi Oka, Yutaka Fukuda (ENRI) |
|
12:00-13:00 |
Break ( 60 min. ) |
Fri, Nov 17 PM 13:00 - 14:15 |
(21) CAS |
13:00-13:25 |
Generating covering arrays by combining heuristic search and backtracking |
Toshiki Sato, Toshihiko Takahashi (Niigata Univ.) |
(22) CAS |
13:25-13:50 |
Independent Spanning Trees on Pancake Graphs |
Daichi Matsui, Toshinori Yamada (Saitama Univ.) |
(23) CAS |
13:50-14:15 |
Dynamic Compact Routing Tolerating Node Faults |
Yuki Takahashi, Toshinori Yamada (Saitama Univ.) |
|
14:15-14:20 |
Break ( 5 min. ) |
Fri, Nov 17 PM 14:20 - 15:35 |
(24) MSS |
14:20-14:45 |
Hierarchical Reinforcement Learning of Stationary Policy Satisfying Linear Temporal Logic Constraints |
Yuma Yamakura, Toshimitsu Ushio (Osaka Univ.) |
(25) MSS |
14:45-15:10 |
Game Model of Selfish Consumers in Power Consumption Reduction Problem under Aggregator's Incentive Allocation |
Yuta Hasegawa, Takafumi Kanazawa (Osaka Univ.) |
(26) MSS |
15:10-15:35 |
Imitative Dynamics Based on Ordered Weighted Average of Payoff Differences and Its Relation with Equilibrium Concepts in Multicriteria Games |
Kosuke Iewaki, Takafumi Kanazawa (Osaka Univ.) |
|
15:35-15:40 |
Break ( 5 min. ) |
Fri, Nov 17 PM 15:40 - 16:55 |
(27) MSS |
15:40-16:05 |
Development and Implementation of an Algorithm to Synthesize State Machines from Two Communication Diagrams |
Kazuya Tominaga, Toshiki Kinoshita, Toshiyuki Miyamoto (Osaka Univ.) |
(28) MSS |
16:05-16:30 |
Colored Petri Net based Automatic Generation of Mathematical Programming for Optimum Resource Assignment Problems |
Ryosuke Ushijima (Univ. of the Ryukyus), Takeshi Tengan (Meio Univ.), Andrea Veronica Porco, Morikazu Nakamura (Univ. of the Ryukyus) |
(29) MSS |
16:30-16:55 |
A SAT-based method for generating locating arrays |
Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa, Tatsuhiro Tsuchiya (Osaka Univ.) |