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.) |
|
10:40-10:50 |
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) |
|
12:05-13:05 |
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.) |
|
14:20-14:30 |
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.) |
|
16:10-16:20 |
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.) |
|
17:20-17:25 |
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) |
|
09:50-09:55 |
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) |
|
11:35-12:35 |
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 |
|
13:25-13:30 |
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) |
|
14:45-14:55 |
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.) |
|
16:35-16:45 |
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 |
|
- |
|