Tue, Jan 11 AM 09:45 - 11:00 |
(1) |
09:45-10:10 |
Preliminary Study of Reasoning Existing Projects' Descriptions Based on Classname Word Elements |
Kohei Terakawa, Sinan Chen, Masahide Nakamura (Kobe Univ.) |
(2) |
10:10-10:35 |
|
|
(3) |
10:35-11:00 |
|
|
Tue, Jan 11 AM 11:15 - 12:00 |
(4) |
11:15-12:00 |
[Invited Talk]
Distributed optimization of 0-1 mixed integer program using ADMM and COP |
Toshiyuki Miyamoto, Yuta Inoue (Osaka Univ.) |
Tue, Jan 11 PM 13:15 - 14:30 |
(5) |
13:15-13:40 |
Bisimilarity Control of Timed Nondeterministic Discrete Event Systems under Event and State Observations |
Mouheeb Aous, Shigemasa Takai (Osaka Univ.) |
(6) |
13:40-14:05 |
Model Reduction of Boolean Networks Based on Graph Structure |
Fuma Motoyama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
(7) |
14:05-14:30 |
Design of Self-Triggered Reduced-Order Controllers of Probabilistic Boolean Networks Using Reinforcement Learning |
Michiaki Takizawa, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
Tue, Jan 11 PM 14:45 - 16:25 |
(8) |
14:45-15:10 |
|
|
(9) |
15:10-15:35 |
Improving the accuracy of SBFL by weighting test cases using the proximity of execution routes. |
Haruka Yoshioka, Yoshiki Higo, Shinji Kusumoto (Osaka Univ) |
(10) |
15:35-16:00 |
Study of Low-Code Development of Heterogeneous Data Integration and Visualization Using FIWARE |
Tasuku Watanabe, Takuya Nakata, Sinan Chen, Masahide Nakamura (Kobe Univ.) |
(11) |
16:00-16:25 |
Efficient Development of Context-Aware Applications by Integrating Uni-messe and FIWARE |
Takuya Nakata, Tasuku Watanabe, Sinan Chen, Masahide Nakamura (Kobe Univ.) |
Tue, Jan 11 PM 16:40 - 18:20 |
(12) |
16:40-17:05 |
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.) |
(13) |
17:05-17:30 |
Scalable Model Predictive Control of Energy Management Systems Based on Human Behavior Change |
Shogo Shimamoto, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
(14) |
17:30-17:55 |
Prediction results of team ball games at Tokyo 2020 Olympic Games |
Eiji Konaka (Meijo Univ.) |
(15) |
17:55-18:20 |
Constructon of Real-Time Win Probability Model in B.LEAGUE |
Koji Sugie, Eiji Konaka (Meijo Univ.) |
Wed, Jan 12 AM 09:15 - 10:30 |
(16) |
09:15-09:40 |
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) |
(17) |
09:40-10:05 |
On Constrained Rewrite Rules Representing Semantics Rules of LLVM IR |
Takumi Kato, Naoki Nishida, Masahiko Sakai (Nagoya Univ.) |
(18) |
10:05-10:30 |
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) |
Wed, Jan 12 AM 10:45 - 12:00 |
(19) |
10:45-11:10 |
Mathematical Modeling of Infrastructure as Code for Verification of Dependencies between Resources |
Ryo Hase, Yohei Matsuura (Mitsubishi Electric) |
(20) |
11:10-11:35 |
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.) |
(21) |
11:35-12:00 |
A Method for Mesoscopic Modeling Method of Large Volume Traffic Flow Applying Process Mining Techniques |
Kenji Uehara, Kunihiko Hiraishi (JAIST) |
Wed, Jan 12 PM 13:15 - 14:30 |
(22) |
13:15-13:40 |
|
|
(23) |
13:40-14:05 |
|
Akira Fujimoto, Yoshiki Higo, Shinsuke Matsumoto, Shinji Kusumoto (Osaka Univ.), Kazuya Yasuda () |
(24) |
14:05-14:30 |
Automatic Parameter Prediction for Add Parameter Refactorings |
Kazuki Shimizu, Yutaro Kashiwa, Masanari Kondo, Yasutaka Kamei, Naoyasu Ubayashi (Kyushu Univ.) |