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.) |
: 
i
gu
s
ist