Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
NLP2021-126
Shield Synthesis for Opacity-Enforcing Planning
Koki Kanashima, Toshimitsu Ushio (Osaka Univ.)
pp. 1 - 6
NLP2021-127
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
NLP2021-128
Formal Verification of Control Policy of Elevator Systems using Statistical Model Checking
Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.)
pp. 13 - 18
NLP2021-129
Multi-Agent Deep Deterministic Policy Gradient with Reservoir Computing
Kotaro Yoshimura, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ.)
pp. 19 - 22
NLP2021-130
Analyses on hierarchical networks of reservoir computing to model visual-information processing
Takumi Shinkawa, Hideyuki Katou (Oita Univ)
pp. 23 - 28
NLP2021-131
Particle trajectory prediction with using reservoir computing
Chikoo Oosawa, Shimon Nozoe (KIT)
pp. 29 - 32
NLP2021-132
A Study on Applying Game Balancing Method Using Deep Reinforcement Learning to Pokemon
Ryohei Okamura, Atsuo Ozaki (OIT)
pp. 33 - 36
NLP2021-133
A Study on Convolutional LSTM Based Weather Forecasting Method Using Colored Cloud Images
Haruki Takehana, Astuo Ozaki (OIT)
pp. 37 - 42
NLP2021-134
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
NLP2021-135
Suggestion of inpact metrics in B.LEAGUE
Koji Sugie, Eiji Konaka (Meijo Univ.)
pp. 45 - 50
NLP2021-136
Stability analysis of partial amplitude death on relay-coupled oscillators by time-delay connection
Ryuya Kawano, Yoshiki Sugitani (Ibaraki Univ.)
pp. 51 - 54
NLP2021-137
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
NLP2021-138
Analysis on development process of neural networks with different internal states
Sho Shimizu, Hideyuki Kato (Oita Univ.)
pp. 61 - 66
NLP2021-139
Behavior of the Sznajd model with time delay
Heitaro Inuzuka, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ)
pp. 67 - 70
NLP2021-140
Effects of sparse connections in spiking neural networks for unsupervised pattern recognition
Hiroki Shinagawa, Kantaro Fujiwara, Gouhei Tanaka (Univ. of Tokyo)
pp. 71 - 76
NLP2021-141
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
NLP2021-142
A proposal of method for defending against cyber attacks by combining honeypots and IPS
Yudai Yamamoto, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 83 - 88
NLP2021-143
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
NLP2021-144
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
NLP2021-145
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
NLP2021-146
Evolutionary game-based modeling of decision-making of miners in blockchain
Kosuke Toda, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.)
pp. 105 - 110
NLP2021-147
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
NLP2021-148
Weighted Dice Loss for Segmentation from Noisy Labels
Toshikazu Samura, Katsumi Tadamura (Yamaguchi Univ.)
pp. 117 - 120
NLP2021-149
Verification of spacecraft operational scenario using Little-JIL
Kazunori Someya (JAXA), Kunihiko Hiraishi (JAIST)
pp. 121 - 126
NLP2021-150
Process Division Learning Method for Input-Output Signals of Production Equipment
Daiki Nakahara, Masahiko Shibata, Tsuyoshi Kobayashi (Mitsubishi Electric)
pp. 127 - 132
NLP2021-151
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
NLP2021-152
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.