Thu, Mar 14 PM MSS1(WIP)(Room1) 12:30 - 14:10 |
(1) MSS |
12:30-12:55 |
A Proposal of Screen Design Personalization Based on Reference Relationships among Data Items
-- Focusing on Power Supply and Demand Systems -- |
Takuya Arata, Shingo Yamaguchi (Yamaguchi Univ), Ichiro Toyoshima (Toshiba Energy) |
(2) MSS |
12:55-13:20 |
Experiment on SMT-LIB Encoding Methods for Simulink Models |
Koki Takenaka, Daisuke Ishii (U. Fukui) |
(3) MSS |
13:20-13:45 |
Specification description of real-time multitask systems by the OTS/CafeOBJ method |
Shuki Higashi, Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.), Kazuhiro Ogata (JAIST) |
(4) MSS |
13:45-14:10 |
Implementation of Rigorous Simulator for Hybrid Systems Based on Duracz et al. 's Operational Semantics |
Shota Kojima, Daisuke Ishii (U. Fukui) |
|
14:10-14:20 |
Break ( 10 min. ) |
Thu, Mar 14 PM MSS2(Room1) 14:20 - 15:35 |
(5) MSS |
14:20-14:45 |
An ADMM Approach to Distributed Optimization in Distribution System for Balancing Consumers Utilities |
Naoki Hidaka, Toshiyuki Miyamoto (Osaka Univ.) |
(6) MSS |
14:45-15:10 |
Population Game Model of Customers with Erroneous Perceptions of Values on Reviews |
Daiki Kuromi, Takafumi Kanazawa (Osaka Univ.) |
(7) MSS |
15:10-15:35 |
On Stability of Consensus Control of Discrete-time Multi-agent Systems by a Single Pinning Agent |
Dongwu Xu, Toshimitsu Ushio (Osaka Univ.) |
|
15:35-15:45 |
Break ( 10 min. ) |
Thu, Mar 14 PM MSS3(Room1) 15:45 - 17:00 |
(8) MSS |
15:45-16:10 |
Invariants and Invariant groups of cellular automata |
Tadakazu Sato (Toyo Univ.) |
(9) MSS |
16:10-16:35 |
A study on the probabilistic information processing using a machine learning result |
Shun Kataoka (OUC) |
(10) MSS |
16:35-17:00 |
Verification of Anomaly Detection Method for Digital Input-Output Signals |
Masahiko Shibata, Daiki Nakahara, Satoshi Mii (Mitsubishi Electric Corp.) |
|
17:00-17:10 |
Break ( 10 min. ) |
Thu, Mar 14 PM Invited lecture (Room1) 17:10 - 17:50 |
(11) MSS |
17:10-17:50 |
[Invited Talk]
Optimization Algorithms for Deregulation of Electric Power Market |
Marta Marmiroli (MITSUBISHI ELECTRIC) |
Thu, Mar 14 PM NLP1(Room2) 12:55 - 14:10 |
(12) NLP |
12:55-13:20 |
Comparison of coupling element characteristics in multiphase CMOS LC oscillator using THD analysis |
Kenta Akao, Seiichiro Moro (Univ. of Fukui) |
(13) NLP |
13:20-13:45 |
An Analytical Method of Computing Electron Trajectories on Waveguides by the Superposition of Single-Mode Wave Propagation |
Shota Hayakawa, Hisato Fujisaka, Takeshi Kamio (Hiroshima City Univ.) |
(14) NLP |
13:45-14:10 |
Stabilization of Nonlinear Systems with Uncertain Input Delays Using Deep Reinforcement Learning |
Junya Ikemoto, Toshimitsu Ushio (Osaka Univ) |
|
14:10-14:20 |
Break ( 10 min. ) |
Thu, Mar 14 PM NLP2(Room2) 14:20 - 16:00 |
(15) NLP |
14:20-14:45 |
Improvement of Near-miss Courses by Reinforcement Learning to Search Ships' Courses |
Takahiro Tomihara, Takeshi Kamio (Hiroshima City Univ.), Takahiro Tanaka (Japan Coast Guard Academy), Kunihiko Mitsubori (Takusyoku Univ.), Hisato Fujisaka (Hiroshima City Univ.) |
(16) NLP |
14:45-15:10 |
Behavior classification method based on the feature space in a neural network |
Masafumi Chida, Keita Sato, Nahomi Fujiki, Yoshihiro Hyakawa (NITS) |
(17) NLP |
15:10-15:35 |
Automatic classification of human behavior using wearable devices |
Keita Sato, Masafumi Chida, Yoshihiro Hayakawa, Nahomi Fujiki (NITS) |
(18) NLP |
15:35-16:00 |
Effect of Dropout Layers of Neural Networks Applied for Iterative Error-Detection Clustering Method |
Taishi Watanabe, Masayuki Yamauchi (Hiroshima Institute of Tech.), Mamoru Tanaka (Sophia Univ.) |
Fri, Mar 15 AM MSS4(WIP)(Room1) 09:00 - 09:50 |
(19) MSS |
09:00-09:25 |
Words co-occurrence-based mail filtering using Jaccard coefficient |
Seiya Temma, Manabu Sugii, Hiroshi Matsuno (Yamaguchi Univ) |
(20) MSS |
09:25-09:50 |
|
|
|
09:50-10:00 |
Break ( 10 min. ) |
Fri, Mar 15 AM NLP3(Room1) 10:00 - 11:15 |
(21) NLP |
10:00-10:25 |
Comparison of Electric Power Behavior of Three Kinds of Complex Wave-Motion. |
Rika Hirano, Ryohei Takano, Masayuki Yamauchi (HIT) |
(22) NLP |
10:25-10:50 |
Synchronization in networks of nonlinear systems by switching disconnected graphs |
Daisuke Yokoyama, Toshiki Oguchi (Tokyo Metropolitan Univ.) |
(23) NLP |
10:50-11:15 |
Realization of coupled maps by chaotic spiking oscillators |
Tran Pham Anh Chuong, Tadashi Tsubone (Nagaoka Univ. of Tech.) |
|
11:15-11:25 |
Break ( 10 min. ) |
Fri, Mar 15 AM DES1(Room1) 11:25 - 12:40 |
(24) |
11:25-11:50 |
Hard-to-predict route generation from intruders for multiple indoor security robots
Konaka, Eiji (Meijo University) |
(25) |
11:50-12:15 |
PC oriented Introduction of International Standard PLC Programming IEC 61131-3 for Basic Education of Sequential Control
Takahashi, Koji (Polytechnic University of Japan) |
(26) |
12:15-12:40 |
A Reinforcement Learning System for Marshaling Plan to Assemble Multiple Trains
Hirashima, Yoichi (Osaka Institute of Technology) |
|
12:40-13:40 |
Lunch Break ( 60 min. ) |
Fri, Mar 15 PM NLP4(Room1) 13:40 - 15:20 |
(27) NLP |
13:40-14:05 |
Numerical Inclusion of Exact Periodic Solutions for Time Delay Duffing Equations |
Shin'ichi Oishi (Waseda Univ.) |
(28) NLP |
14:05-14:30 |
Estimation of the critical transition probability using quadratic polynomial approximation |
Makito Oku (Univ. Toyama) |
(29) NLP |
14:30-14:55 |
Numerical analysis of partial differential equation using the Haar wavelet transform |
Akihiro Ogura, Ryoji Hirata, Seiichiro Moro (Univ. of Fukui) |
(30) NLP |
14:55-15:20 |
On the Influence of Momentum term in quasi-Newton method |
Shahrzad Mahboubi (SIT), Indrapriyadarsini s (Shizuoka Univ.), Hiroshi Ninomiya (SIT), Hideki Asai (Shizuoka Univ.) |
|
15:20-15:30 |
Break ( 10 min. ) |
Fri, Mar 15 PM MSS5(Room1) 15:30 - 16:20 |
(31) MSS |
15:30-15:55 |
Formalization Method for Language Classification Based on Case Grammar |
Shuji Harazoe, Natsuki Kamiya (Yamaguchi Univ.), Ren Wu (Yamaguchi JC.), Hiroshi Matsuno (Yamaguchi Univ.) |
(32) MSS |
15:55-16:20 |
A derivation of weighted transition system for Simulink models from simulation results |
Ryota Owaki (Nagoya Univ), Shoji Yuen (Nagooya Univ) |
Fri, Mar 15 PM MSS-DES WIP(Awards ceremony)(Room1) 16:20 - 16:50 |
(33) |
16:20-16:50 |
|