Tue, Jan 10 AM 11:00 - 12:00 |
(1) |
11:00-12:00 |
[Panel Discussion]
Review of Mathematical Systems Science and its Applications (MSS) Research Group Activities and Future Prospects
-- Messages from Past MSS Chairs -- |
Atsuo Ozaki (OIT), Kunihiko Hiraishi (JAIST), Yuichi Nakamura (NEC), Satoshi Yamane (Kanazawa Univ.), Morikazu Nakamura (Univ. of the Ryukyus), Shigemasa Takai (Osaka Univ.) |
|
12:00-13:30 |
Break ( 90 min. ) |
Tue, Jan 10 PM 13:30 - 14:15 |
(2) |
13:30-14:15 |
[Invited Talk]
Thermal Comfort Aware Online Energy Management Framework for Smart Building: An Experimental Study |
Daichi Watari, Ittetsu Taniguchi (Osaka Univ.), Francky Catthoor (IMEC/KUL), Charalampos Marantos (NTUA), Kostas Siozios (AUTH), Elham Shirazi (UT), Dimitrios Soudris (NTUA), Takao Onoye (Osaka Univ.) |
|
14:15-14:30 |
Break ( 15 min. ) |
Tue, Jan 10 PM 14:30 - 15:45 |
(3) |
14:30-14:55 |
Toward Automatic Generation of an Optimal Supervision Tree in Erlang |
Shoichi Sasaki, Yoshiaki Takata (KUT) |
(4) |
14:55-15:20 |
An Implementation of Docker Image Generation Tool for User-PC Computing System |
Lynn Htet Aung, Nobuo Funabiki, Hein Htet, Xudong Zhou, Xu Xiang, Minoru Kuribayashi (Okayama Univ.) |
(5) |
15:20-15:45 |
Extensions of Air Conditioning Optimization Guidance System for Improved Ventilation Instructions |
Masaki Sakagami, Kazushi Hamazaki, Sho Ito, Tomoya Nagayama, Nobuo Funabiki, Minoru Kuribayashi (Okayama Univ.) |
|
15:45-16:00 |
Break ( 15 min. ) |
Tue, Jan 10 PM 16:00 - 17:15 |
(6) |
16:00-16:25 |
Optimal operation planning of energy system for large-scale hydrogen plant
-- A Study of Demand Response Optimization -- |
Takashi Akiba (ToshibaESS), Shingo Tamaru (TISS), Fumiyuki Yamane (ToshibaESS) |
(7) |
16:25-16:50 |
Some experimental results of the effects of the discretization parameters on piecewise linear approximation for cascade hydropower planning problem |
Ichiro Toyoshima, Ryota Mizutani (TOSHIBA ESS), Tomoki Takeuchi, Ryoichi Hara, Hiroyuki Kita (Hokkaido Univ) |
(8) |
16:50-17:15 |
Distributed Traffic Event Detection Mechanism Based on Collective Decision Making |
Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) |
Wed, Jan 11 AM 10:00 - 11:40 |
(9) |
10:00-10:25 |
Prohibited Items Detection in X-ray Security Inspection by Using a Deep Learning Method |
Qingqi Zhang (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
(10) |
10:25-10:50 |
Automatic Diagnosis of Fissured Tongue in Traditional Chinese Medicine Tongue Diagnosis |
Zhenyu An (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
(11) |
10:50-11:15 |
Comparison of Machine Learning Methods for Decision of Acupoints in Acupuncture and Moxibustion Treatment |
Hang Yang (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) |
(12) |
11:15-11:40 |
Experiments on the conformance testing of a ROS-based robot arm |
Chen Luwei, Ishii Daisuke (JAIST) |
|
11:40-13:30 |
Break ( 110 min. ) |
Wed, Jan 11 PM 13:30 - 14:45 |
(13) |
13:30-13:55 |
A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs |
Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) |
(14) |
13:55-14:20 |
|
|
(15) |
14:20-14:45 |
A Systematic Review of Source Code Coverage Metrics: Preliminary Results |
Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) |
|
14:45-15:00 |
Break ( 15 min. ) |
Wed, Jan 11 PM 15:00 - 16:15 |
(16) |
15:00-15:25 |
Proposal of expanded STRIM and its application to a real-world dataset |
Taketo Nishio, Tetsuro Saeki (Yamaguchi Univ.), Yuichi Kato (Shimane Univ.) |
(17) |
15:25-15:50 |
On Botnet Disinfection by Rebooting by Area |
Yuji Katsura, Shingo Yamaguchi (Yamaguchi Univ.) |
(18) |
15:50-16:15 |
Improvement of Composite SVM in HSI Classification |
Tamura Akito, Kitamura Takuya (NIT) |