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 |
|