IEICE Technical Report

Online edition: ISSN 2432-6380

Software Science

Workshop Date : 2023-01-10 - 2023-01-11 / Issue Date : 2023-01-03

SS2022-29
[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.)
pp. 1 - 4

SS2022-30
[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.)
pp. 5 - 6

SS2022-31
Toward Automatic Generation of an Optimal Supervision Tree in Erlang
Shoichi Sasaki, Yoshiaki Takata (KUT)
pp. 7 - 12

SS2022-32
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.)
pp. 13 - 18

SS2022-33
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.)
pp. 19 - 24

SS2022-34
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)
pp. 25 - 30

SS2022-35
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)
pp. 31 - 36

SS2022-36
Distributed Traffic Event Detection Mechanism Based on Collective Decision Making
Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio (Osaka Univ.)
pp. 37 - 41

SS2022-37
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.)
pp. 42 - 47

SS2022-38
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.)
pp. 48 - 53

SS2022-39
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.)
pp. 54 - 59

SS2022-40
Experiments on the conformance testing of a ROS-based robot arm
Chen Luwei, Ishii Daisuke (JAIST)
pp. 60 - 65

SS2022-41
A formal description of a functional language with exception handling, and constrained dependency pairs for the termination proofs
Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.)
pp. 66 - 71

SS2022-42
(See Japanese page.)
pp. 72 - 77

SS2022-43
A Systematic Review of Source Code Coverage Metrics: Preliminary Results
Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.)
pp. 78 - 83

SS2022-44
Proposal of expanded STRIM and its application to a real-world dataset
Taketo Nishio, Tetsuro Saeki (Yamaguchi Univ.), Yuichi Kato (Shimane Univ.)
pp. 84 - 89

SS2022-45
On Botnet Disinfection by Rebooting by Area
Yuji Katsura, Shingo Yamaguchi (Yamaguchi Univ.)
pp. 90 - 95

SS2022-46
Improvement of Composite SVM in HSI Classification
Tamura Akito, Kitamura Takuya (NIT)
pp. 96 - 100

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan