Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
MSS2021-55
Shield Synthesis for Opacity-Enforcing Planning
Koki Kanashima, Toshimitsu Ushio (Osaka Univ.)
pp. 1 - 6
MSS2021-56
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.)
pp. 7 - 12
MSS2021-57
Formal Verification of Control Policy of Elevator Systems using Statistical Model Checking
Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.)
pp. 13 - 18
MSS2021-58
Multi-Agent Deep Deterministic Policy Gradient with Reservoir Computing
Kotaro Yoshimura, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ.)
pp. 19 - 22
MSS2021-59
Analyses on hierarchical networks of reservoir computing to model visual-information processing
Takumi Shinkawa, Hideyuki Katou (Oita Univ)
pp. 23 - 28
MSS2021-60
Particle trajectory prediction with using reservoir computing
Chikoo Oosawa, Shimon Nozoe (KIT)
pp. 29 - 32
MSS2021-61
A Study on Applying Game Balancing Method Using Deep Reinforcement Learning to Pokemon
Ryohei Okamura, Atsuo Ozaki (OIT)
pp. 33 - 36
MSS2021-62
A Study on Convolutional LSTM Based Weather Forecasting Method Using Colored Cloud Images
Haruki Takehana, Astuo Ozaki (OIT)
pp. 37 - 42
MSS2021-63
Knowledge Extraction from Physical and Human Sensors in Smart Agriculture
-- Preliminary experiments with planter cultivation data --
Kenta Toya, Moritaro Inoue, Naoshi Uchihira (JAIST)
pp. 43 - 44
MSS2021-64
Suggestion of inpact metrics in B.LEAGUE
Koji Sugie, Eiji Konaka (Meijo Univ.)
pp. 45 - 50
MSS2021-65
Stability analysis of partial amplitude death on relay-coupled oscillators by time-delay connection
Ryuya Kawano, Yoshiki Sugitani (Ibaraki Univ.)
pp. 51 - 54
MSS2021-66
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.)
pp. 55 - 60
MSS2021-67
Analysis on development process of neural networks with different internal states
Sho Shimizu, Hideyuki Kato (Oita Univ.)
pp. 61 - 66
MSS2021-68
Behavior of the Sznajd model with time delay
Heitaro Inuzuka, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ)
pp. 67 - 70
MSS2021-69
Effects of sparse connections in spiking neural networks for unsupervised pattern recognition
Hiroki Shinagawa, Kantaro Fujiwara, Gouhei Tanaka (Univ. of Tokyo)
pp. 71 - 76
MSS2021-70
Relationship between Computational Performance and Task Difficulty of Reinforcement Learning Methods Using Reward Machines
Ryuji Watanabe, Gouhei Tanaka (The Univ. of Tokyo)
pp. 77 - 82
MSS2021-71
A proposal of method for defending against cyber attacks by combining honeypots and IPS
Yudai Yamamoto, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 83 - 88
MSS2021-72
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.)
pp. 89 - 94
MSS2021-73
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.)
pp. 95 - 100
MSS2021-74
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.)
pp. 101 - 104
MSS2021-75
Evolutionary game-based modeling of decision-making of miners in blockchain
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.)
pp. 105 - 110
MSS2021-76
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.)
pp. 111 - 116
MSS2021-77
Weighted Dice Loss for Segmentation from Noisy Labels
Toshikazu Samura, Katsumi Tadamura (Yamaguchi Univ.)
pp. 117 - 120
MSS2021-78
Verification of spacecraft operational scenario using Little-JIL
Kazunori Someya (JAXA), Kunihiko Hiraishi (JAIST)
pp. 121 - 126
MSS2021-79
Process Division Learning Method for Input-Output Signals of Production Equipment
Daiki Nakahara, Masahiko Shibata, Tsuyoshi Kobayashi (Mitsubishi Electric)
pp. 127 - 132
MSS2021-80
Proposal of work end time estimation technology using PC operation logs
Rina Yamamoto, Yoshiyuki Sakamaki, Tadanobu Tsunoda, Junpei Yamaguchi, Hisashi Kojima (Fujitsu Ltd.)
pp. 133 - 138
MSS2021-81
On an Integrator-based Toll Design for Selfish Routing with Departure Time Selection
Takafumi Kanazawa, Ryuichiro Shihara (Setsunan Univ.)
pp. 139 - 142
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.