Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
MSS, SS |
2023-01-10 11:00 |
Osaka |
(Primary: On-site, Secondary: Online) |
[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.) MSS2022-44 SS2022-29 |
Ten years have passed since the Mathematical Systems Science and its Applications (MSS) was established in 2011. To comm... [more] |
MSS2022-44 SS2022-29 pp.1-4 |
MSS, SS |
2023-01-10 13:30 |
Osaka |
(Primary: On-site, Secondary: Online) |
[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.) MSS2022-45 SS2022-30 |
This report presents a real-time energy management system for buildings that uses solar power generation and thermal com... [more] |
MSS2022-45 SS2022-30 pp.5-6 |
MSS, SS |
2023-01-10 14:30 |
Osaka |
(Primary: On-site, Secondary: Online) |
Toward Automatic Generation of an Optimal Supervision Tree in Erlang Shoichi Sasaki, Yoshiaki Takata (KUT) MSS2022-46 SS2022-31 |
Erlang is a concurrency-oriented functional programming language that comes standard with lightweight processes that are... [more] |
MSS2022-46 SS2022-31 pp.7-12 |
MSS, SS |
2023-01-10 14:55 |
Osaka |
(Primary: On-site, Secondary: Online) |
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.) MSS2022-47 SS2022-32 |
As a low-cost, scalable, and high-performance computing platform, we have studied the user-PC computing system (UPC). To... [more] |
MSS2022-47 SS2022-32 pp.13-18 |
MSS, SS |
2023-01-10 15:20 |
Osaka |
(Primary: On-site, Secondary: Online) |
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.) MSS2022-48 SS2022-33 |
Currently, we are developing the air conditioning optimization guidance system called AC-Guide. For saving energy and im... [more] |
MSS2022-48 SS2022-33 pp.19-24 |
MSS, SS |
2023-01-10 16:00 |
Osaka |
(Primary: On-site, Secondary: Online) |
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) MSS2022-49 SS2022-34 |
Regarding the operation planning function in the hydrogen energy operation system that manages the entire FH2R facility ... [more] |
MSS2022-49 SS2022-34 pp.25-30 |
MSS, SS |
2023-01-10 16:25 |
Osaka |
(Primary: On-site, Secondary: Online) |
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) MSS2022-50 SS2022-35 |
Hydropower generation has been one of the main power resources in Japan. And it is drawing attention to the carbon neutr... [more] |
MSS2022-50 SS2022-35 pp.31-36 |
MSS, SS |
2023-01-10 16:50 |
Osaka |
(Primary: On-site, Secondary: Online) |
Distributed Traffic Event Detection Mechanism Based on Collective Decision Making Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.) MSS2022-51 SS2022-36 |
Traffic accidents and congestion have become serious problems in the last decades. For realizing safe and effective tran... [more] |
MSS2022-51 SS2022-36 pp.37-41 |
MSS, SS |
2023-01-11 10:00 |
Osaka |
(Primary: On-site, Secondary: Online) |
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.) MSS2022-52 SS2022-37 |
Security screening machines using X-ray scanners are usually used to find out whether there are prohibited items in pack... [more] |
MSS2022-52 SS2022-37 pp.42-47 |
MSS, SS |
2023-01-11 10:25 |
Osaka |
(Primary: On-site, Secondary: Online) |
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.) MSS2022-53 SS2022-38 |
A fissured tongue is a tongue in which the surface of the tongue (meaty part of the tongue) is split. This study aims to... [more] |
MSS2022-53 SS2022-38 pp.48-53 |
MSS, SS |
2023-01-11 10:50 |
Osaka |
(Primary: On-site, Secondary: Online) |
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.) MSS2022-54 SS2022-39 |
After thousands of years of development, a large number of clinical experiences of acupuncture and moxibustion treatment... [more] |
MSS2022-54 SS2022-39 pp.54-59 |
MSS, SS |
2023-01-11 11:15 |
Osaka |
(Primary: On-site, Secondary: Online) |
Experiments on the conformance testing of a ROS-based robot arm Chen Luwei, Ishii Daisuke (JAIST) MSS2022-55 SS2022-40 |
ROS-based robots, such as the Niryo Ned robot arm, are developed with a model-based approach. However, the conformance b... [more] |
MSS2022-55 SS2022-40 pp.60-65 |
MSS, SS |
2023-01-11 13:30 |
Osaka |
(Primary: On-site, Secondary: Online) |
A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.) MSS2022-56 SS2022-41 |
This paper proposes a termination-proof method for functional programs with exception handling. First, we give a small s... [more] |
MSS2022-56 SS2022-41 pp.66-71 |
MSS, SS |
2023-01-11 13:55 |
Osaka |
(Primary: On-site, Secondary: Online) |
MSS2022-57 SS2022-42 |
(To be available after the conference date) [more] |
MSS2022-57 SS2022-42 pp.72-77 |
MSS, SS |
2023-01-11 14:20 |
Osaka |
(Primary: On-site, Secondary: Online) |
A Systematic Review of Source Code Coverage Metrics: Preliminary Results Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) MSS2022-58 SS2022-43 |
Software testing plays an essential role in software quality assurance. It helps developers to reveal and remove bugs in... [more] |
MSS2022-58 SS2022-43 pp.78-83 |
MSS, SS |
2023-01-11 15:00 |
Osaka |
(Primary: On-site, Secondary: Online) |
Proposal of expanded STRIM and its application to a real-world dataset Taketo Nishio, Tetsuro Saeki (Yamaguchi Univ.), Yuichi Kato (Shimane Univ.) MSS2022-59 SS2022-44 |
We have previously proposed a statistical test rule induction method (STRIM), which induces the causality by if-then rul... [more] |
MSS2022-59 SS2022-44 pp.84-89 |
MSS, SS |
2023-01-11 15:25 |
Osaka |
(Primary: On-site, Secondary: Online) |
On Botnet Disinfection by Rebooting by Area Yuji Katsura, Shingo Yamaguchi (Yamaguchi Univ.) MSS2022-60 SS2022-45 |
This paper proposes a method of rebooting on a per-area basis rather than on a per-device basis to get rid of IoT botnet... [more] |
MSS2022-60 SS2022-45 pp.90-95 |
MSS, SS |
2023-01-11 15:50 |
Osaka |
(Primary: On-site, Secondary: Online) |
Improvement of Composite SVM in HSI Classification Tamura Akito, Kitamura Takuya (NIT) MSS2022-61 SS2022-46 |
In this paper, we propose an improved method of composite support vector machines for hyper-spectral image classificatio... [more] |
MSS2022-61 SS2022-46 pp.96-100 |