===============================================
Technical Committee on Nonlinear Problems (NLP)
Chair: Takuji Kosaka (Chukyo Univ.) Vice Chair: Akio Tsuneda (Kumamoto Univ.)
Secretary: Haruna Matsushita (Kagawa Univ.), Daizaburo Yoshioka (Sojo Univ.)
Assistant: Hideyuki Kato (Oita Univ.), Yuichi Yokoi (Nagasaki Univ.)
===============================================
Technical Committee on Mathematical Systems Science and its Applications (MSS)
Chair: Atsuo Ozaki (Osaka Inst. of Tech.) Vice Chair: Shingo Yamaguchi (Yamaguchi Univ.)
Secretary: Koichi Kobayashi (Hokkaido Univ.), Jianquan Liui (NEC)
Assistant: Masato Shirai (Shimane Univ.)
DATE:
Mon, Mar 28, 2022 09:15 - 16:35
Tue, Mar 29, 2022 09:40 - 16:45
PLACE:
TOPICS:
MSS, NLP, Work In Progress (MSS only), and etc.
----------------------------------------
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.)
----- 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)
----- 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.)
----- 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)
----- 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.)
----- 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.)
----- 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
# Information for speakers
General Talk will have 20 minutes for presentation and 5 minutes for discussion.
Young Researcher's Talk (WIP) will have 15 minutes for presentation and 10 minutes for discussion.
=== Technical Committee on Nonlinear Problems (NLP) ===
# FUTURE SCHEDULE:
Thu, Jun 9, 2022 - Fri, Jun 10, 2022: [Fri, Apr 15]
# SECRETARY:
Haruna Matsushita (Kagawa Univ.)
E-mail: ieee
=== Technical Committee on Mathematical Systems Science and its Applications (MSS) ===
# FUTURE SCHEDULE:
Thu, Jun 16, 2022 - Fri, Jun 17, 2022: Hachinohe Institute of Technology [Fri, Apr 15]
# SECRETARY:
Koichi Kobayashi (Hokkaido University)
Tel: +81-11-706-6452
E-mail: k-bassiisti
Last modified: 2022-03-24 11:53:01
|
Notification: Mail addresses are partially hidden against SPAM.
|