| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Mathematical Systems Science and its Applications (MSS) 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) 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.) DATE: Tue, Jan 10, 2023 11:00 - 17:15 Wed, Jan 11, 2023 10:00 - 16:15 PLACE: TOPICS: ---------------------------------------- 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.) ----- 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.) ----- 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.) ----- 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) ----- 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 (See Japanese page.) (15) 14:20 - 14:45 A Systematic Review of Source Code Coverage Metrics: Preliminary Results Masayuki Taniguchi, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.) ----- 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) # Information for speakers General Talk will have 20 minutes for presentation and 5 minutes for discussion. === Technical Committee on Mathematical Systems Science and its Applications (MSS) === # FUTURE SCHEDULE: Wed, Mar 15, 2023 - Fri, Mar 17, 2023: [Mon, Jan 16] # SECRETARY: Koichi Kobayashi (Hokkaido University) Tel: +81-11-706-6452 E-mail: k-  ba  ssi ist   i === Technical Committee on Software Science (SS) === # FUTURE SCHEDULE: Tue, Mar 14, 2023 - Wed, Mar 15, 2023: [Wed, Jan 11] # SECRETARY: Shinpei Ogata (Shinshu University) TEL: +81-26-269-5468 E-mail: o     nshu-u# ANNOUNCEMENT: # Latest information will be presented on the homepage: https://www.ieice.org/iss/ss/ 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 | Prev MSS Conf / Next MSS Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]