IEICE Technical Committee Submission System
Conference Schedule
Online Proceedings
[Sign in]
Tech. Rep. Archives
    [Japanese] / [English] 
( Committee/Place/Topics  ) --Press->
 
( Paper Keywords:  /  Column:Title Auth. Affi. Abst. Keyword ) --Press->

Technical Committee on Software Science (SS)  (Searched in: 2021)

Search Results: Keywords 'from:2022-01-11 to:2022-01-11'

[Go to Official SS Homepage (Japanese)] 
Search Results: Conference Papers
 Conference Papers (Available on Advance Programs)  (Sort by: Date Ascending)
 Results 1 - 20 of 24  /  [Next]  
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
 Results 1 - 20 of 24  /  [Next]  
Choose a download format for default settings. [NEW !!]
Text format pLaTeX format CSV format BibTeX format
Copyright and reproduction : 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)


[Return to Top Page]

[Return to IEICE Web Page]


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