ken-system: Advance Program

IEICE Technical Committee Submission System
Advance Program

Online Proceedings
[Sign in]
Tech. Rep. Archives

===============================================
Technical Committee on Nonlinear Problems (NLP)
Chair: Hiroaki Kurokawa (Tokyo Univ. of Tech.) Vice Chair: Kiyohisa Natsume (Kyushu Inst. of Tech.)
Secretary: Takayuki Kimura (Nippon Inst. of Tech.), Katsumi Tateno (Kyushu Inst. of Tech.)
Assistant: Yutaka Shimada (Saitama Univ.), Toshikaza Samura (Yamaguchi Univ.)

===============================================
Technical Committee on Mathematical Systems Science and its applications (MSS)
Chair: Shigemasa Takai (Osaka Univ.) Vice Chair: Atsuo Ozaki (Osaka Inst. of Tech.)
Secretary: Takahumi Kanazawa (Osaka Univ.), Koichi Kobayashi (Hokkaido Univ.)
Assistant: Naoki Hayashi (Osaka Univ.)

DATE:
Mon, Mar 9, 2020 09:00 - 18:40
Tue, Mar 10, 2020 09:00 - 18:05

PLACE:
(https://www.kourituyasuragi.jp/gamagori/access/)

TOPICS:
SICE-DES, IEICE-MSS, IEICE-NLP

----------------------------------------
Mon, Mar 9 AM NLP1 (09:00 - 10:40)
----------------------------------------

(1)/NLP 09:00 - 09:25
A study on shift manipulation of intrinsic localized mode by using adiabatic process in nonlinear lattice.
Araki Hirotaka, Hikihara Takashi (Kyoto Univ)

(2)/NLP 09:25 - 09:50
Mathematical Analysis of Two Dimensional Swarm Flocking Formation in Time-Invariant External Potential
Yanran Wang, Takashi Hikihara (Kyoto Univ.)

(3)/NLP 09:50 - 10:15
A Distributed Algorithm for Solving Sandberg-Willson Equations Based on Sequential Minimization of Convex Quadratic Functions
Masaaki Takeuchi, Tsuyoshi Migita, Norikazu Takahashi (Okayama Univ.)

(4)/NLP 10:15 - 10:40
A projected consensus-based algorithm for minimizing the maximum error of a system of linear equations with nonnegativity constraints
Kosuke Kawashima, Tsuyoshi Migita, Norikazu Takahashi (Okayama Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Mon, Mar 9 AM NLP2 (10:50 - 12:05)
----------------------------------------

(5)/NLP 10:50 - 11:15
Analysis of a pancreatic beta cell model including glycolysis system based on slow-fast decomposition and bifurcation analysis
-- Focusing on the effects of external input and blood glucose --
Tomoki Sugiura, Shinji Doi (Kyoto Univ.)

(6)/NLP 11:15 - 11:40
Collision experiments in Three-state Face-centered Cubic Cellular Automata with Stationary Patterns
Shigeru Ninagawa (KIT)

(7)/NLP 11:40 - 12:05
MOP based analysis of switching power converter
Ryutaro Fujikawa, Tomoyuki Togawa, Toshimichi Saito (HU)

----- Lunch Break ( 60 min. ) -----

----------------------------------------
Mon, Mar 9 PM MSS1 WIP1 (13:05 - 14:20)
----------------------------------------

(8)/MSS 13:05 - 13:30
PI Controller for Population-Independent Imitation of Success
Kou Kajiyama, Takafumi Kanazawa (Osaka Univ.)

(9)/MSS 13:30 - 13:55
Formal concept analysis of protein properties based on amino acid sequences and structural information
Yuki Ozaki, Tatsuki Yamazaki, Yuki Tsuchiya, Ryo Tsugita, Masaki Nakamura, Kazutoshi Sakakibara, Suguru Shinoda, Yasuhisa Asano (Toyama Pref. Univ.)

(10)/MSS 13:55 - 14:20
Effect of Non-learned Words in Spam Mail Filtering
Kazuya Nakatani, Seiya Temma, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Mon, Mar 9 PM NLP3 (14:30 - 16:10)
----------------------------------------

(11)/NLP 14:30 - 14:55
Analysis of a simple spiking neuron based on evolutionary computation
Kotaro Kawaguchi, Kohya Kato, Okitsu Satonao, Toshimichi Saito (HU)

(12)/NLP 14:55 - 15:20
Digital Spike Maps: evolutionary synthesis and FPGA based implementation
Tomoki Harada, Yuya Oishi, Toshimichi Saito (HU)

(13)/NLP 15:20 - 15:45
A Mathematical Model for a Synapse Device Based on Spintronics
Taku Sato, Kikuchi Yushi, Aleksandr Kurenkov, Yoshihiko Horio, Shunsuke Fukami (Tohoku Univ.)

(14)/NLP 15:45 - 16:10
Two convolutional neural networks trained through Co-teaching perform a complementary role
Toshikazu Samura, Katsumi Tadamura (Yamaguchi Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Mon, Mar 9 PM NLP Invited Talk (16:20 - 17:20)
----------------------------------------

(15) 16:20 - 17:20
[Invited Talk]
Implementation of Bernoulli Shift Chaos on Digital Computers
Tohru Ikeguchi (Tokyo Univ. of Sci.)

----- Break ( 5 min. ) -----

----------------------------------------
Mon, Mar 9 PM MSS2 (17:25 - 18:40)
----------------------------------------

(16)/MSS 17:25 - 17:50
Feature Analysis of Strange Words for Spam Mail Filtering
Seiya Temma, Kazuya Nakatani, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ.)

(17)/MSS 17:50 - 18:15
Formalization of Modalities in Fillmore's Case Grammar for Language Characterization.
Shuji Harazoe (Yamaguchi Univ.), Ren Wu (Yamaguchi JC.), Hiroshi Matsuno (Yamaguchi Univ.)

(18)/MSS 18:15 - 18:40
Specification and verification of real-time multitasking systems by the OTS/CafeOBJ method
Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.), Kazuhiro Ogata (JAIST)

----------------------------------------
Tue, Mar 10 AM MSS3 WIP2 (09:00 - 09:50)
----------------------------------------

(19)/MSS 09:00 - 09:25
Greedy Heuristic Methods for 2-object Min-Max Set Multi-cover Problem
Qiwei SUN, Toshiyuki Miyamoto (Osaka Univ.), Shoichi Kitamura, Ayako Taniguchi-Matsuoka, Kento Naito, Kazuyuki Mori (Mitsubishi Electric), Yoshio Izui (KIT)

(20)/MSS 09:25 - 09:50
Optimal Resource Allocation for Distributed Computing Environments based on Integer Programming Generation
Shoya Kyan, Tomoya Uchihara, Morikazu Nakamura (Univ. of the Ryukyus)

----- Break ( 5 min. ) -----

----------------------------------------
Tue, Mar 10 AM NLP4 (09:55 - 11:35)
----------------------------------------

(21)/NLP 09:55 - 10:20
A method foe estimating gene regulatory networks based on multiple source of information about regulatory relationships
Haga Cham, Yutaka Shimada, Takaomi Shigehara (Saitama Univ.)

(22)/NLP 10:20 - 10:45
Detecting unobserved nodes in networks of dynamical systems estimated only from time series data.
Yuuki Sakakibara, Yutaka Shimada, Takaomi Shigehara (Saitama Univ.)

(23)/NLP 10:45 - 11:10
Analysis of language network for Japanese and English translations of the New Testament
Kihei Magishi, Tomoko Matsumoto (TUS), Yutaka Shimada (SU), Tohru Ikeguchi (TUS)

(24)/NLP 11:10 - 11:35
Information Diffusion Model with Network Centrality and Community Structure
Luyan Xu, Kazuya Sawada (TUS), Yutaka Shimada (SU), Tohru Ikeguchi (TUS)

----- Lunch Break ( 60 min. ) -----

----------------------------------------
Tue, Mar 10 PM DES (12:35 - 13:25)
----------------------------------------

(25) 12:35 - 13:00
DES1

(26) 13:00 - 13:25
DES2

----- Break ( 5 min. ) -----

----------------------------------------
Tue, Mar 10 PM NLP5 (13:30 - 14:45)
----------------------------------------

(27)/NLP 13:30 - 13:55
Influence of Resolution of Time Series Data on Causality Detection
Kazuya Sawada (TUS), Yutaka Shimada (Saitama Univ.), Tohru Ikeguchi (TUS)

(28)/NLP 13:55 - 14:20
Performance Investigation of A Routing Method Using Network Path Length
Daiki Ebisawa, Akinori Yoshida, Takayuki Kimura (Nippon Institute of Tech)

(29)/NLP 14:20 - 14:45
Performance Investigation of A Routing Method in Realistic Network Topology
Shota Yukita, Yoshiya Uchino, Takayuki Kimura (Nippon Institute of Tech)

----- Break ( 10 min. ) -----

----------------------------------------
Tue, Mar 10 PM MSS4 (14:55 - 16:35)
----------------------------------------

(30)/MSS 14:55 - 15:20
NA
Masashi Tawada, Nozomu Togawa (Waseda Univ.)

(31)/MSS 15:20 - 15:45
Design of Event-Triggered Quantized State Feedback Based on Uniformly Ultimate Boundedness
Shumpei Yoshikawa, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)

(32)/MSS 15:45 - 16:10
Temporal Logic Falsification for Simulink models based on the hybrid robustness using ChainerRL
Ryota Owaki, Shoji Yuen (NU)

(33)/MSS 16:10 - 16:35
Reinforcement learning in goods transportation for an autonomous vehicle with co-safe temporal logic specifications
Jian Mi, Toshimitsu Ushio (Osaka Univ.)

----- Break ( 10 min. ) -----

----------------------------------------
Tue, Mar 10 PM NLP6 (16:45 - 18:00)
----------------------------------------

(34)/NLP 16:45 - 17:10
Reinforcement Learning Based Multi-Ship Course Search Method with Tracking Control
Hiroki Kimura, Takahiro Tomihara, Takeshi Kamio (Hiroshima City Univ.), Takahiro Tanaka (Japan Coast Guard Academy), Kunihiko Mitsubori (Takushoku Univ.), Hisato Fujisaka (Hiroshima City Univ.)

(35)/NLP 17:10 - 17:35
An Application of Deep Reinforcement Learning to Networked Control Under Communication Channel Constraints
Takahiro Kozuka, Kazumune Hashimoto, Toshimitsu Ushio (Osaka Univ.)

(36)/NLP 17:35 - 18:00
Learning of action selection with a spiking neural network for encoding path-dependent place information
Katsumi Tateno, Kensuke Takada (Kyutech)

----------------------------------------
Tue, Mar 10 PM MSS WIP Award (18:00 - 18:05)
----------------------------------------

# 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.

- This workshop has been cancelled. However, the technical report will be issued.

=== Technical Committee on Nonlinear Problems (NLP) ===
# FUTURE SCHEDULE:

Fri, May 15, 2020: Online [Tue, Mar 17]
Fri, Jun 5, 2020: Online [Sun, Apr 19]

# SECRETARY:
Takayuki Kimura (Nippon Institute of Technology)
E-mail: t

Phone: 0480-33-7597, FAX: 0480-33-7597

=== Technical Committee on Mathematical Systems Science and its applications (MSS) ===
# FUTURE SCHEDULE:

Thu, Jun 18, 2020: Online [Thu, Apr 16]

# SECRETARY:
Takafumi Kanazawa (Osaka University)
Tel: +81-6-6850-6388
E-mail: