Information and Systems-Software Science(Date:2022/03/28)

Presentation
Shield Synthesis for Opacity-Enforcing Planning

Koki Kanashima(Osaka Univ.),  Toshimitsu Ushio(Osaka Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-55,NLP2021-126
A Study on Applying Game Balancing Method Using Deep Reinforcement Learning to Pokemon

Ryohei Okamura(OIT),  Atsuo Ozaki(OIT),  

[Date]2022-03-28
[Paper #]MSS2021-61,NLP2021-132
Stability analysis of partial amplitude death on relay-coupled oscillators by time-delay connection

Ryuya Kawano(Ibaraki Univ.),  Yoshiki Sugitani(Ibaraki Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-65,NLP2021-136
Prediction of Traffic Accidents using Formal Concept Analysis with Actual Data

Shogo Kotani(Toyama Pref. Univ.),  Yuta Asanuma(Toyama Pref. Univ.),  Masaki Nakamura(Toyama Pref. Univ.),  Kazutoshi Sakakibara(Toyama Pref. Univ.),  Tatsuro Motoyoshi(Toyama Pref. Univ.),  Keisuke Hoshikawa(Toyama Pref. Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-56,NLP2021-127
Formal Verification of Control Policy of Elevator Systems using Statistical Model Checking

Yuki Kitahara(Toyama Pref. Univ.),  Masaki Nakamura(Toyama Pref. Univ.),  Kazutoshi Sakakibara(Toyama Pref. Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-57,NLP2021-128
Multi-Agent Deep Deterministic Policy Gradient with Reservoir Computing

Kotaro Yoshimura(Osaka Univ.),  Sho Shirasaka(Osaka Univ.),  Hideyuki Suzuki(Osaka Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-58,NLP2021-129
Behavior of the Sznajd model with time delay

Heitaro Inuzuka(Osaka Univ),  Sho Shirasaka(Osaka Univ),  Hideyuki Suzuki(Osaka Univ),  

[Date]2022-03-28
[Paper #]MSS2021-68,NLP2021-139
Observation of Synchronization Phenomena in the 3x3-Torus Shape Coupled van der Pol Oscillators Via Electronic Circuit Experiments and Computer Simulations

Fumito Shinomiya(HIT),  Yoshihito Todani(HIT),  Hikaru Onda(HIT),  Masayuki Yamauchi(HIT),  Tetsuro Endo(Former Meiji Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-66,NLP2021-137
A Study on Convolutional LSTM Based Weather Forecasting Method Using Colored Cloud Images

Haruki Takehana(OIT),  Astuo Ozaki(OIT),  

[Date]2022-03-28
[Paper #]MSS2021-62,NLP2021-133
Particle trajectory prediction with using reservoir computing

Chikoo Oosawa(KIT),  Shimon Nozoe(KIT),  

[Date]2022-03-28
[Paper #]MSS2021-60,NLP2021-131
Knowledge Extraction from Physical and Human Sensors in Smart Agriculture

Kenta Toya(JAIST),  Moritaro Inoue(JAIST),  Naoshi Uchihira(JAIST),  

[Date]2022-03-28
[Paper #]MSS2021-63,NLP2021-134
Suggestion of inpact metrics in B.LEAGUE

Koji Sugie(Meijo Univ.),  Eiji Konaka(Meijo Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-64,NLP2021-135
Analysis on development process of neural networks with different internal states

Sho Shimizu(Oita Univ.),  Hideyuki Kato(Oita Univ.),  

[Date]2022-03-28
[Paper #]MSS2021-67,NLP2021-138
Analyses on hierarchical networks of reservoir computing to model visual-information processing

Takumi Shinkawa(Oita Univ),  Hideyuki Katou(Oita Univ),  

[Date]2022-03-28
[Paper #]MSS2021-59,NLP2021-130
A proposal of method for defending against cyber attacks by combining honeypots and IPS

Yudai Yamamoto(Yamaguchi Univ.),  Shingo Yamaguchi(Yamaguchi Univ.),  

[Date]2022-03-29
[Paper #]MSS2021-71,NLP2021-142
Verification of a Human Body Model of Traditional Chinese Medicine

Quan Gan(Yamaguchi Univ.),  Ren Wu(Yamaguchi Junior College),  Mitsuru Nakata(Yamaguchi Univ.),  Qi-Wei Ge(Yamaguchi Univ.),  

[Date]2022-03-29
[Paper #]MSS2021-72,NLP2021-143
Decision of Acupoints in Acupuncture and Moxibustion Treatment by Deep Learning

Hang Yang(Yamaguchi Univ.),  Ren Wu(Yamaguchi Junior College),  Mitsuru Nakata(Yamaguchi Univ.),  Qi-Wei Ge(Yamaguchi Univ.),  

[Date]2022-03-29
[Paper #]MSS2021-73,NLP2021-144
A Relation between Gap and City Layout for Asymmetric Traveling Salesman Problems Using Hidden Markov Models

Toshihiro Tachibana(Shonan Inst. of Tech.),  Tomoya Matsuno(Shonan Inst. of Tech.),  Masaharu Adachi(Tokyo Denki Univ.),  

[Date]2022-03-29
[Paper #]MSS2021-74,NLP2021-145
Evolutionary game-based modeling of decision-making of miners in blockchain

Kosuke Toda(Osaka Univ.),  Naomi Kuze(Osaka Univ.),  Toshimitsu Ushio(Osaka Univ.),  

[Date]2022-03-29
[Paper #]MSS2021-75,NLP2021-146
Verification of spacecraft operational scenario using Little-JIL

Kazunori Someya(JAXA),  Kunihiko Hiraishi(JAIST),  

[Date]2022-03-29
[Paper #]MSS2021-78,NLP2021-149
12>> 1-20hit(27hit)