IEICE Technical Committee Submission System
Advance Program
Online Proceedings
[Sign in]
Tech. Rep. Archives
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

Technical Committee on Mathematical Systems Science and its Applications (MSS) [schedule] [select]
Chair Atsuo Ozaki (Osaka Inst. of Tech.)
Vice Chair Shingo Yamaguchi (Yamaguchi Univ.)
Secretary Koichi Kobayashi (Hokkaido Univ.), Jianquan Liui (NEC)
Assistant Masato Shirai (Shimane Univ.)

Technical Committee on Software Science (SS) [schedule] [select]
Chair Kozo Okano (Shinshu Univ.)
Vice Chair Yoshiki Higo (Osaka Univ.)
Secretary Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.)
Assistant Shinsuke Matsumoto (Osaka Univ.)

Conference Date Tue, Jan 10, 2023 11:00 - 17:15
Wed, Jan 11, 2023 10:00 - 16:15
Conference Place  
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034)
Registration Fee This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on MSS, SS.

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 --
MSS2022-44 SS2022-29
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 MSS2022-45 SS2022-30
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 MSS2022-46 SS2022-31 Shoichi Sasaki, Yoshiaki Takata (KUT)
(4) 14:55-15:20 An Implementation of Docker Image Generation Tool for User-PC Computing System MSS2022-47 SS2022-32 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 MSS2022-48 SS2022-33 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 --
MSS2022-49 SS2022-34
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 MSS2022-50 SS2022-35 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 MSS2022-51 SS2022-36 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 MSS2022-52 SS2022-37 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 MSS2022-53 SS2022-38 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 MSS2022-54 SS2022-39 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 MSS2022-55 SS2022-40 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 MSS2022-56 SS2022-41 Takeshi Hamaguchi, Masahiko Sakai (Nagoya Univ.)
(14) 13:55-14:20 MSS2022-57 SS2022-42
(15) 14:20-14:45 A Systematic Review of Source Code Coverage Metrics: Preliminary Results MSS2022-58 SS2022-43 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 MSS2022-59 SS2022-44 Taketo Nishio, Tetsuro Saeki (Yamaguchi Univ.), Yuichi Kato (Shimane Univ.)
(17) 15:25-15:50 On Botnet Disinfection by Rebooting by Area MSS2022-60 SS2022-45 Yuji Katsura, Shingo Yamaguchi (Yamaguchi Univ.)
(18) 15:50-16:15 Improvement of Composite SVM in HSI Classification MSS2022-61 SS2022-46 Tamura Akito, Kitamura Takuya (NIT)

Announcement for Speakers
General TalkEach speech will have 20 minutes for presentation and 5 minutes for discussion.

Contact Address and Latest Schedule Information
MSS Technical Committee on Mathematical Systems Science and its Applications (MSS)   [Latest Schedule]
Contact Address Koichi Kobayashi (Hokkaido University)
Tel: +81-11-706-6452
E--mail: k-bassiisti 
SS Technical Committee on Software Science (SS)   [Latest Schedule]
Contact Address Shinpei Ogata (Shinshu University)
TEL: +81-26-269-5468
E--mail: onshu-u 
Announcement Latest information will be presented on the homepage:

Last modified: 2022-12-29 19:02:21

Notification: Mail addresses are partially hidden against SPAM.

[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]

[Presentation and Participation FAQ] (in Japanese)

[Return to MSS Schedule Page]   /   [Return to SS Schedule Page]   /  
 Go Top  Go Back   / [HTML] / [HTML(simple)] / [TEXT]  [Japanese] / [English] 

[Return to Top Page]

[Return to IEICE Web Page]

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