Committee |
Date Time |
Place |
Paper Title / Authors |
Abstract |
Paper # |
SS, MSS |
2022-01-11 09:45 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Preliminary Study of Reasoning Existing Projects' Descriptions Based on Classname Word Elements Kohei Terakawa, Sinan Chen, Masahide Nakamura (Kobe Univ.) MSS2021-31 SS2021-18 |
In the field of software development, there are many cases where products developed in the past have technical liabiliti... [more] |
MSS2021-31 SS2021-18 pp.1-6 |
SS, MSS |
2022-01-11 10:10 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
MSS2021-32 SS2021-19 |
(To be available after the conference date) [more] |
MSS2021-32 SS2021-19 pp.7-12 |
SS, MSS |
2022-01-11 10:35 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
MSS2021-33 SS2021-20 |
(To be available after the conference date) [more] |
MSS2021-33 SS2021-20 pp.13-18 |
SS, MSS |
2022-01-11 11:15 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
[Invited Talk]
Distributed optimization of 0-1 mixed integer program using ADMM and COP Toshiyuki Miyamoto, Yuta Inoue (Osaka Univ.) MSS2021-34 SS2021-21 |
The problem of determining the up / down pattern of energy conversion equipment over a period of time and its output lev... [more] |
MSS2021-34 SS2021-21 pp.19-22 |
SS, MSS |
2022-01-11 13:15 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Bisimilarity Control of Timed Nondeterministic Discrete Event Systems under Event and State Observations Mouheeb Aous, Shigemasa Takai (Osaka Univ.) MSS2021-35 SS2021-22 |
In this paper, we address the problem of supervisory control for plants and specifications modeled as timed nondetermini... [more] |
MSS2021-35 SS2021-22 pp.23-28 |
SS, MSS |
2022-01-11 13:40 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Model Reduction of Boolean Networks Based on Graph Structure Fuma Motoyama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) MSS2021-36 SS2021-23 |
A Boolean network (BN) is widely used as a mathematical model for control of gene regulatory networks. Since a gene regu... [more] |
MSS2021-36 SS2021-23 pp.29-34 |
SS, MSS |
2022-01-11 14:05 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Design of Self-Triggered Reduced-Order Controllers of Probabilistic Boolean Networks Using Reinforcement Learning Michiaki Takizawa, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) MSS2021-37 SS2021-24 |
We consider the stabilization of Probabilistic Boolean Networks using reinforcement learning. Using reinforcement learni... [more] |
MSS2021-37 SS2021-24 pp.35-39 |
SS, MSS |
2022-01-11 14:45 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
MSS2021-38 SS2021-25 |
(To be available after the conference date) [more] |
MSS2021-38 SS2021-25 pp.40-45 |
SS, MSS |
2022-01-11 15:10 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Improving the accuracy of SBFL by weighting test cases using the proximity of execution routes. Haruka Yoshioka, Yoshiki Higo, Shinji Kusumoto (Osaka Univ) MSS2021-39 SS2021-26 |
(To be available after the conference date) [more] |
MSS2021-39 SS2021-26 pp.46-51 |
SS, MSS |
2022-01-11 15:35 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Study of Low-Code Development of Heterogeneous Data Integration and Visualization Using FIWARE Tasuku Watanabe, Takuya Nakata, Sinan Chen, Masahide Nakamura (Kobe Univ.) MSS2021-40 SS2021-27 |
While the informatization of society is progressing and data-driven
urban development, such as open data initiatives, i... [more] |
MSS2021-40 SS2021-27 pp.52-57 |
SS, MSS |
2022-01-11 16:00 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Efficient Development of Context-Aware Applications by Integrating Uni-messe and FIWARE Takuya Nakata, Tasuku Watanabe, Sinan Chen, Masahide Nakamura (Kobe Univ.) MSS2021-41 SS2021-28 |
A smart system with context-aware technology can dynamically coordinate heterogeneous distributed services according to ... [more] |
MSS2021-41 SS2021-28 pp.58-63 |
SS, MSS |
2022-01-11 16:40 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Study on Stability of Distributed Scheduling Using Alternating Direction Method of Multipliers Naoki Niiya, Toshiyuki Miyamoto (Osaka Univ.), Daichi Inoue, Toyohiro Umeda (KOBELCO), Shigemasa Takai (Osaka Univ.) MSS2021-42 SS2021-29 |
In recent years, the development of optimization methods in multi-agent systems has been remarkable. We have proposed a ... [more] |
MSS2021-42 SS2021-29 pp.64-69 |
SS, MSS |
2022-01-11 17:05 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Scalable Model Predictive Control of Energy Management Systems Based on Human Behavior Change Shogo Shimamoto, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) MSS2021-43 SS2021-30 |
In this paper, we consider the incorporation of human decision making into an energy management system. Here, we conside... [more] |
MSS2021-43 SS2021-30 pp.70-73 |
SS, MSS |
2022-01-11 17:30 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Prediction results of team ball games at Tokyo 2020 Olympic Games Eiji Konaka (Meijo Univ.) MSS2021-44 SS2021-31 |
This letter reports the prediction results of team ball sports in the Tokyo 2020 Olympic Games.
The main objective of t... [more] |
MSS2021-44 SS2021-31 pp.74-77 |
SS, MSS |
2022-01-11 17:55 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Constructon of Real-Time Win Probability Model in B.LEAGUE Koji Sugie, Eiji Konaka (Meijo Univ.) MSS2021-45 SS2021-32 |
Recently, it is widely investigated that the construction of mathematical models calculating predicted win probability f... [more] |
MSS2021-45 SS2021-32 pp.78-82 |
SS, MSS |
2022-01-12 09:15 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Execution-trace embedding using word-proximity metric for a method to automatically classify test results Takuma Ikeda, Kozo Okano, Shinpei Ogata (Shinshu Univ.), Shin Nakajima (NII) MSS2021-46 SS2021-33 |
The problem to solve automatically classifying the results of test executions is called the test oracle problem. This is... [more] |
MSS2021-46 SS2021-33 pp.83-88 |
SS, MSS |
2022-01-12 09:40 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
On Constrained Rewrite Rules Representing Semantics Rules of LLVM IR Takumi Kato, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) MSS2021-47 SS2021-34 |
A method to verify programs written in a simple C-like language via logically constrained term rewrite systems (LCTRS, f... [more] |
MSS2021-47 SS2021-34 pp.89-94 |
SS, MSS |
2022-01-12 10:05 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Multitask Scheduling for Reducing Total Memory Consumption while Satisfying Deadlines using Adaptive Control according to Dynamic Change of Task Memory Consumption Ryosuke Arai, Akio Nakata (Hiroshima City Univ) MSS2021-48 SS2021-35 |
The authors have previously proposed a multi-task scheduling method LMCLF, which can reduce the total memory usage of th... [more] |
MSS2021-48 SS2021-35 pp.95-99 |
SS, MSS |
2022-01-12 10:45 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Mathematical Modeling of Infrastructure as Code for Verification of Dependencies between Resources Ryo Hase, Yohei Matsuura (Mitsubishi Electric) MSS2021-49 SS2021-36 |
Cloud computing has been widely adopted in industry for efficient development and deployment of IT services. Regarding r... [more] |
MSS2021-49 SS2021-36 pp.100-105 |
SS, MSS |
2022-01-12 11:10 |
Nagasaki |
Nagasakiken-Kensetsu-Sogo-Kaikan Bldg. (Primary: On-site, Secondary: Online) |
Comparison of Classification Accuracy of Image Recognition Network for Tongues Diagnosis in Traditional Chinese Medicine Zhenyu An, Shunsuke Nakamura (Yamaguchi Univ.), Ren Wu (Yamaguchi Junior College), Mitsuru Nakata, Qi-Wei Ge (Yamaguchi Univ.) MSS2021-50 SS2021-37 |
The purpose of this paper is to develop a support system that automatically diagnoses
the health status of viscera thro... [more] |
MSS2021-50 SS2021-37 pp.106-111 |