Mon, Nov 12 PM AL1 13:00 - 14:25 |
(1) |
13:00-13:25 |
|
(2) |
13:25-13:50 |
|
(3) |
13:50-14:15 |
|
|
14:15-14:25 |
Break ( 10 min. ) |
Mon, Nov 12 PM CAS1 14:25 - 15:50 |
(4) CAS |
14:25-14:50 |
A Study on Spin Update Method of Ising Model |
Yuki Naito, Kunihiro Fujiyoshi (TUAT) |
(5) CAS |
14:50-15:15 |
Simultaneous aging evaluation of multiple live line AC/DC converters |
Fumihiko Ishiyama, Yohei Toriumi (NTT) |
(6) CAS |
15:15-15:40 |
A Reordering Method via Rules Pairing based on Average Weights |
Takashi Fuchino, Takashi Harada, Ken Tanaka (Kanagawa Univ.), Kenji Mikawa (Niigata Univ.) |
|
15:40-15:50 |
Break ( 10 min. ) |
Mon, Nov 12 PM MSS1 15:50 - 17:15 |
(7) MSS |
15:50-16:15 |
Stability Subnet Detection of Petri Net by Circuit Flow-Matrix Transformation |
Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) |
(8) MSS |
16:15-16:40 |
A Method for Improving Memory Efficiency of the Reachability Graph Generation Process in General Petri Nets |
Kohei Fujimori, Yojiro Harie, Katsumi Wasaki (Shinshu Univ.) |
(9) MSS |
16:40-17:05 |
A Petri net model for heart rate variability biofeedback |
Sachie Shinzato, Morikazu Nakamura (Univ. of the Ryujyus), Hideki Kinjo (Okinawa Univ.), Itsuki Kunita (Univ. of the Ryujyus) |
|
17:05-17:15 |
Break ( 10 min. ) |
Mon, Nov 12 PM MSS Invited Lecture 17:15 - 18:05 |
(10) MSS |
17:15-18:05 |
[Invited Talk]
Robust Optimization and its Application to Supervised Learning |
Akiko Takeda (U.Tokyo) |
Tue, Nov 13 AM AL2 08:45 - 10:35 |
(11) |
08:45-09:10 |
|
(12) |
09:10-09:35 |
|
(13) |
09:35-10:00 |
|
(14) |
10:00-10:25 |
|
|
10:25-10:35 |
Break ( 10 min. ) |
Tue, Nov 13 AM MSS2 10:35 - 13:00 |
(15) MSS |
10:35-11:00 |
Numerical evaluation of parking lot layouts by the layered multi-agent simulation techniques |
Takeshi Oyama, Kazutoshi Sakakibara, Masaki Nakamura (Toyama Pref. Univ.), Takuya Matsumoto (Sohatsu), Makoto Ohara (Kobe Univ.) |
(16) MSS |
11:00-11:25 |
Study on Mid-term Planning of Radiographer Scheduling Problem |
Toshiyuki Miyamoto, Kuniyuki Hidaka (Osaka Univ.) |
(17) MSS |
11:25-11:50 |
Water level prediction technology in urban rivers using pump operation data |
Tetsutaro Yamada, Hiroshi Sasahara, Yoshifumi Iida, Takashi Kakinuma, Seiichi Nagai, Hiroshi Kameda (Mitsubishi Electric) |
|
11:50-13:00 |
Lunch Break ( 70 min. ) |
Tue, Nov 13 PM CAS2 13:00 - 14:50 |
(18) CAS |
13:00-13:25 |
How to build a polynomial function enclosure for Neural Networks with parametric rectified linear units |
Hideaki Okazaki, Kazuya Ozawa, Kaito Isogai, Toshihiro Tachibana, Hideo Nakano (SIT) |
(19) CAS |
13:25-13:50 |
On an approximated polynomial function by neural networks with parametric rectified linear units |
Kazuya Ozawa, Toshihiro Tachibana, Hideo Nakano, Hideaki Okazaki (SIT) |
(20) CAS |
13:50-14:15 |
A Study of Degradation Diagnosis of Lithium-ion Battery Using Neural Networks |
Masahito Arima, Lei Lin, Masahiro Fukui (Ritsumeikan Univ.) |
(21) CAS |
14:15-14:40 |
Fast Implementation for All-pair Shortest Paths on Vector Computation |
Yasuhiro Takashima (Univ. of Kitakyushu), Takuya Araki, Takeo Hosomi, Yuichi Nakamura (NEC) |
|
14:40-14:50 |
Break ( 10 min. ) |
Tue, Nov 13 PM MSS3 14:50 - 16:05 |
(22) MSS |
14:50-15:15 |
Process mining approach for the conformance checking of discrete-event simulation model |
Kenji Uehara, Kunihiko Hiraishi (JAIST) |
(23) MSS |
15:15-15:40 |
On formal verification of mathematical programming models by algebraic specifications |
Masaki Nakamura, Kazutoshi Sakakibara (Toyama Pref. Univ.) |
(24) MSS |
15:40-16:05 |
Extension of Frequency Logic for Cooperation Analysis of Diverse Data
-- Towards Evaluation of Larger Business Process Based on Frequency Logic -- |
Osamu Takaki (Gunma Univ.) |