Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, NLP |
2022-03-28 09:15 |
Online |
Online |
Shield Synthesis for Opacity-Enforcing Planning Koki Kanashima, Toshimitsu Ushio (Osaka Univ.) MSS2021-55 NLP2021-126 |
Opacity is one of the hyperproperties that can be expressed using hyperLTL. Consider a secret and an observation on a tr... [more] |
MSS2021-55 NLP2021-126 pp.1-6 |
MSS, NLP |
2022-03-28 09:40 |
Online |
Online |
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.) MSS2021-56 NLP2021-127 |
The purpose of this study is for preventing future traffic accidents by past ones to analyze traffic accident data based... [more] |
MSS2021-56 NLP2021-127 pp.7-12 |
MSS, NLP |
2022-03-28 10:05 |
Online |
Online |
Formal Verification of Control Policy of Elevator Systems using Statistical Model Checking Yuki Kitahara, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) MSS2021-57 NLP2021-128 |
When designing an elevator system, efficient control laws can be expected to be obtained by considering the probability ... [more] |
MSS2021-57 NLP2021-128 pp.13-18 |
MSS, NLP |
2022-03-28 10:45 |
Online |
Online |
Multi-Agent Deep Deterministic Policy Gradient with Reservoir Computing Kotaro Yoshimura, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ.) MSS2021-58 NLP2021-129 |
[more] |
MSS2021-58 NLP2021-129 pp.19-22 |
MSS, NLP |
2022-03-28 11:10 |
Online |
Online |
Analyses on hierarchical networks of reservoir computing to model visual-information processing Takumi Shinkawa, Hideyuki Katou (Oita Univ) MSS2021-59 NLP2021-130 |
Recently, reservoir computing is expected to have various engineering applications such as real-time learning of time-se... [more] |
MSS2021-59 NLP2021-130 pp.23-28 |
MSS, NLP |
2022-03-28 11:35 |
Online |
Online |
Particle trajectory prediction with using reservoir computing Chikoo Oosawa, Shimon Nozoe (KIT) MSS2021-60 NLP2021-131 |
[more] |
MSS2021-60 NLP2021-131 pp.29-32 |
MSS, NLP |
2022-03-28 13:00 |
Online |
Online |
A Study on Applying Game Balancing Method Using Deep Reinforcement Learning to Pokemon Ryohei Okamura, Atsuo Ozaki (OIT) MSS2021-61 NLP2021-132 |
We propose a method to automatically adjust the game balance of video games using rein-forcement learning. The problem w... [more] |
MSS2021-61 NLP2021-132 pp.33-36 |
MSS, NLP |
2022-03-28 13:25 |
Online |
Online |
A Study on Convolutional LSTM Based Weather Forecasting Method Using Colored Cloud Images Haruki Takehana, Astuo Ozaki (OIT) MSS2021-62 NLP2021-133 |
In recent years, there has been an increase in flood damage caused by localized heavy rainfall, and research on forecast... [more] |
MSS2021-62 NLP2021-133 pp.37-42 |
MSS, NLP |
2022-03-28 13:50 |
Online |
Online |
Knowledge Extraction from Physical and Human Sensors in Smart Agriculture
-- Preliminary experiments with planter cultivation data -- Kenta Toya, Moritaro Inoue, Naoshi Uchihira (JAIST) MSS2021-63 NLP2021-134 |
One of the most promising approaches to increasing agricultural efficiency is the use of the agricultural Internet of Th... [more] |
MSS2021-63 NLP2021-134 pp.43-44 |
MSS, NLP |
2022-03-28 14:15 |
Online |
Online |
Suggestion of inpact metrics in B.LEAGUE Koji Sugie, Eiji Konaka (Meijo Univ.) MSS2021-64 NLP2021-135 |
In basketball, the number of plays involved by each player (points, shots, etc.) is recorded as box scores. In addition,... [more] |
MSS2021-64 NLP2021-135 pp.45-50 |
MSS, NLP |
2022-03-28 14:55 |
Online |
Online |
Stability analysis of partial amplitude death on relay-coupled oscillators by time-delay connection Ryuya Kawano, Yoshiki Sugitani (Ibaraki Univ.) MSS2021-65 NLP2021-136 |
This report analyzes the stability of partial amplitude death in delay-coupled relay oscillators. In previous study[U.S.... [more] |
MSS2021-65 NLP2021-136 pp.51-54 |
MSS, NLP |
2022-03-28 15:20 |
Online |
Online |
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.) MSS2021-66 NLP2021-137 |
We observe various synchronization phenomena in a system of 3×3-torus shape inductance coupled van der Pol oscillators v... [more] |
MSS2021-66 NLP2021-137 pp.55-60 |
MSS, NLP |
2022-03-28 15:45 |
Online |
Online |
Analysis on development process of neural networks with different internal states Sho Shimizu, Hideyuki Kato (Oita Univ.) MSS2021-67 NLP2021-138 |
It has been reported that fluctuations have positive effects, are extensively studied, in neuronal computation and infor... [more] |
MSS2021-67 NLP2021-138 pp.61-66 |
MSS, NLP |
2022-03-28 16:10 |
Online |
Online |
Behavior of the Sznajd model with time delay Heitaro Inuzuka, Sho Shirasaka, Hideyuki Suzuki (Osaka Univ) MSS2021-68 NLP2021-139 |
[more] |
MSS2021-68 NLP2021-139 pp.67-70 |
MSS, NLP |
2022-03-29 09:40 |
Online |
Online |
Effects of sparse connections in spiking neural networks for unsupervised pattern recognition Hiroki Shinagawa, Kantaro Fujiwara, Gouhei Tanaka (Univ. of Tokyo) MSS2021-69 NLP2021-140 |
Recently, the spiking neural network (SNN) models, which compute using spatio-temporal information representation by neu... [more] |
MSS2021-69 NLP2021-140 pp.71-76 |
MSS, NLP |
2022-03-29 10:05 |
Online |
Online |
Relationship between Computational Performance and Task Difficulty of Reinforcement Learning Methods Using Reward Machines Ryuji Watanabe, Gouhei Tanaka (The Univ. of Tokyo) MSS2021-70 NLP2021-141 |
In reinforcement learning, it is necessary to take into account the history of past state transitions during learning fo... [more] |
MSS2021-70 NLP2021-141 pp.77-82 |
MSS, NLP |
2022-03-29 10:45 |
Online |
Online |
A proposal of method for defending against cyber attacks by combining honeypots and IPS Yudai Yamamoto, Shingo Yamaguchi (Yamaguchi Univ.) MSS2021-71 NLP2021-142 |
We propose a defense system that makes it possible to detect and prevent attacks targeting web applications and IoT devi... [more] |
MSS2021-71 NLP2021-142 pp.83-88 |
MSS, NLP |
2022-03-29 11:10 |
Online |
Online |
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.) MSS2021-72 NLP2021-143 |
Acupuncture and moxibustion treatment in traditional Chinese medicine is effective for ahead sick and intractable diseas... [more] |
MSS2021-72 NLP2021-143 pp.89-94 |
MSS, NLP |
2022-03-29 11:35 |
Online |
Online |
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.) MSS2021-73 NLP2021-144 |
Most of the acupuncture and moxibustion treatments in Traditional Chinese Medicine are carried out based on the clinical... [more] |
MSS2021-73 NLP2021-144 pp.95-100 |
MSS, NLP |
2022-03-29 13:00 |
Online |
Online |
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.) MSS2021-74 NLP2021-145 |
We have proposed several methods for solving asymmetric traveling salesman problems and multi-objective optimization pro... [more] |
MSS2021-74 NLP2021-145 pp.101-104 |