Mon, Mar 28 AM
09:15 - 10:30 |
| (1) |
09:15-09:40 |
Shield Synthesis for Opacity-Enforcing Planning |
Koki Kanashima, Toshimitsu Ushio (Osaka Univ.) |
| (2) |
09:40-10:05 |
Prediction of Traffic Accidents using Formal Concept Analysis with Actual Data |
Shogo Kotani, Yuta Asanuma, Masaki Nakamura, Kazutoshi Sakakibara, Tatsuro Motoyoshi, Keisuke Hoshikawa (Toyama Pref. Univ.) |
| (3) |
10:05-10:30 |
Formal Verification of Control Policy of Elevator Systems using Statistical Model Checking |
Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) |
| |
10:30-10:45 |
Break ( 15 min. ) |
Mon, Mar 28 AM
10:45 - 12:00 |
| (4) |
10:45-11:10 |
Multi-Agent Deep Deterministic Policy Gradient with Reservoir Computing |
Kotaro Yoshimura, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ.) |
| (5) |
11:10-11:35 |
Analyses on hierarchical networks of reservoir computing to model visual-information processing |
Takumi Shinkawa, Hideyuki Katou (Oita Univ) |
| (6) |
11:35-12:00 |
Particle trajectory prediction with using reservoir computing |
Chikoo Oosawa, Shimon Nozoe (KIT) |
| |
12:00-13:00 |
Break ( 60 min. ) |
Mon, Mar 28 PM
13:00 - 14:40 |
| (7) |
13:00-13:25 |
A Study on Applying Game Balancing Method Using Deep Reinforcement Learning to Pokemon |
Ryohei Okamura, Atsuo Ozaki (OIT) |
| (8) |
13:25-13:50 |
A Study on Convolutional LSTM Based Weather Forecasting Method Using Colored Cloud Images |
Haruki Takehana, Astuo Ozaki (OIT) |
| (9) |
13:50-14:15 |
Knowledge Extraction from Physical and Human Sensors in Smart Agriculture
-- Preliminary experiments with planter cultivation data -- |
Kenta Toya, Moritaro Inoue, Naoshi Uchihira (JAIST) |
| (10) |
14:15-14:40 |
Suggestion of inpact metrics in B.LEAGUE |
Koji Sugie, Eiji Konaka (Meijo Univ.) |
| |
14:40-14:55 |
Break ( 15 min. ) |
Mon, Mar 28 PM
14:55 - 16:35 |
| (11) |
14:55-15:20 |
Stability analysis of partial amplitude death on relay-coupled oscillators by time-delay connection |
Ryuya Kawano, Yoshiki Sugitani (Ibaraki Univ.) |
| (12) |
15:20-15:45 |
Observation of Synchronization Phenomena in the 3x3-Torus Shape Coupled van der Pol Oscillators Via Electronic Circuit Experiments and Computer Simulations |
Fumito Shinomiya, Yoshihito Todani, Hikaru Onda, Masayuki Yamauchi (HIT), Tetsuro Endo (Former Meiji Univ.) |
| (13) |
15:45-16:10 |
Analysis on development process of neural networks with different internal states |
Sho Shimizu, Hideyuki Kato (Oita Univ.) |
| (14) |
16:10-16:35 |
Behavior of the Sznajd model with time delay |
Heitaro Inuzuka, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ) |
Tue, Mar 29 AM
09:40 - 10:30 |
| (15) |
09:40-10:05 |
Effects of sparse connections in spiking neural networks for unsupervised pattern recognition |
Hiroki Shinagawa, Kantaro Fujiwara, Gouhei Tanaka (Univ. of Tokyo) |
| (16) |
10:05-10:30 |
Relationship between Computational Performance and Task Difficulty of Reinforcement Learning Methods Using Reward Machines |
Ryuji Watanabe, Gouhei Tanaka (The Univ. of Tokyo) |
| |
10:30-10:45 |
Break ( 15 min. ) |
Tue, Mar 29 AM
10:45 - 12:00 |
| (17) |
10:45-11:10 |
A proposal of method for defending against cyber attacks by combining honeypots and IPS |
Yudai Yamamoto, Shingo Yamaguchi (Yamaguchi Univ.) |
| (18) |
11:10-11:35 |
Verification of a Human Body Model of Traditional Chinese Medicine |
Quan Gan (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| (19) |
11:35-12:00 |
Decision of Acupoints in Acupuncture and Moxibustion Treatment by Deep Learning |
Hang Yang (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
| |
12:00-13:00 |
Break ( 60 min. ) |
Tue, Mar 29 PM
13:00 - 14:40 |
| (20) |
13:00-13:25 |
A Relation between Gap and City Layout for Asymmetric Traveling Salesman Problems Using Hidden Markov Models |
Toshihiro Tachibana, Tomoya Matsuno (Shonan Inst. of Tech.), Masaharu Adachi (Tokyo Denki Univ.) |
| (21) |
13:25-13:50 |
Evolutionary game-based modeling of decision-making of miners in blockchain |
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) |
| (22) |
13:50-14:15 |
Classification of power spectra of EEG by non-negative matrix factorization |
Kazuki Koyama, Mariko Ito (Rikkyo Univ.), Masanori Sakaguchi (Univ. Tsukuba), Takaaki Ohnishi (Rikkyo Univ.) |
| (23) |
14:15-14:40 |
Weighted Dice Loss for Segmentation from Noisy Labels |
Toshikazu Samura, Katsumi Tadamura (Yamaguchi Univ.) |
| |
14:40-14:55 |
Break ( 15 min. ) |
Tue, Mar 29 PM
14:55 - 16:35 |
| (24) |
14:55-15:20 |
Verification of spacecraft operational scenario using Little-JIL |
Kazunori Someya (JAXA), Kunihiko Hiraishi (JAIST) |
| (25) |
15:20-15:45 |
Process Division Learning Method for Input-Output Signals of Production Equipment |
Daiki Nakahara, Masahiko Shibata, Tsuyoshi Kobayashi (Mitsubishi Electric) |
| (26) |
15:45-16:10 |
Proposal of work end time estimation technology using PC operation logs |
Rina Yamamoto, Yoshiyuki Sakamaki, Tadanobu Tsunoda, Junpei Yamaguchi, Hisashi Kojima (Fujitsu Ltd.) |
| (27) |
16:10-16:35 |
On an Integrator-based Toll Design for Selfish Routing with Departure Time Selection |
Takafumi Kanazawa, Ryuichiro Shihara (Setsunan Univ.) |
Tue, Mar 29 PM
16:35 - 16:45 |
| (28) |
16:35-16:45 |
|
: 
ieee
ba
ist
i