IEICE Technical Report

Online edition: ISSN 2432-6380

Volume 123, Number 335

Software Science

Workshop Date : 2024-01-17 - 2024-01-18 / Issue Date : 2024-01-10

[PREV] [NEXT]

[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]

[PROGRAM] [BULK PDF DOWNLOAD]


Table of contents

SS2023-31
(See Japanese page.)
pp. 1 - 6

SS2023-32
Measuring the Accuracy of Code Translation Tasks in GPT-4
Kota Kawabuchi, Makoto Matsushita, Yoshiki Higo (Osaka Univ.)
pp. 7 - 12

SS2023-33
A Proposal of Argument Structure Clarification Method for Reviewing Analysis Results of STPA
Kazuki Kakimoto, Toshinori Takai, Hajimu Iida (NAIST)
pp. 13 - 18

SS2023-34
Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator
Ryoma Furuyama, Daiki Kuyoshi, Yamane Satoshi (Kanazawa Univ.)
pp. 19 - 24

SS2023-35
Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane (Kanazawa Univ.)
pp. 25 - 30

SS2023-36
Analysis of Traffic Flow Data Based on Event Extraction -- Extraction of Main Routes from Large Trajectory Data --
Kunihiko Hiraishi (JAIST)
pp. 31 - 34

SS2023-37
Linear Regression Analysis of the Fuel Cost Factors of The Concurrent Hydro-Thermal Corporation System
Ichiro Toyoshima (Toshiba ESS), Tomoki Takeuchi, Ryoichi Hara (Hokkaido Univ.), Ryohei Momokawa (Toshiba ESS), Hiroyuki Kita (Hokkaido Univ.)
pp. 35 - 39

SS2023-38
Distributed Optimization of Energy Management Systems Considering Section Total Demands
Genya Tamayama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)
pp. 40 - 43

SS2023-39
The Verification of the Introduction Effect of the Rolling-Horizon Approach in Inventory Routing Problems
Hirotaka Ooe, Soichiro Yokoyama, Tomohisa Yamashita, Hidenori Kawamura (Hokudai), Mitsuo Tada (ZeroSpec)
pp. 44 - 51

SS2023-40
Rational synthesis based on multiplayer games with registers
Yuto Sakao, Hiroyuki Seki (Nagoya Univ.)
pp. 52 - 57

SS2023-41
Parametric Execution Time Analysis of Programs Considering Nested Loops Using Partial Execution Time Measurement and its Evaluation
Yugen Nakanishi, Akio Nakata (Hiroshima City Univ.)
pp. 58 - 63

SS2023-42
Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data
Yutaro Nakagama, Daisuke Ishii (JAIST), Kazuki Yoshizoe (Kyushu Univ.)
pp. 64 - 69

SS2023-43
Deep Reinforcement Learning Using LMM's Studying Papers and Intrinsic Rewards
Sota Nagano, Satoshi Yamane (Kanazawa Univ.)
pp. 70 - 75

SS2023-44
Design of Block-Sparse Controllers for Cyber-Physical Systems
Yuta Kawano, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)
pp. 76 - 80

SS2023-45
A greedy stable time by various parameter combination of a routing protocol in wireless sensor networks
Yoshihiro Kaneko (Gifu Univ.)
pp. 81 - 86

SS2023-46
Case Study of Combining Event Structures
Toshiyuki Miyamoto (OIT), Hiroki Akamatsu (OU)
pp. 87 - 92

SS2023-47
Decidability of the existence of a doomsday equilibrium in stochastic Buchi games
Hiroki Mizuno, Rindo Nakanishi, Hiroyuki Seki (Nagoya Univ.)
pp. 93 - 98

SS2023-48
Development of Management Methods against Inappropriate Data Segments in Bus Passenger OD Estimation using Person Tracking Methods
Tsubasa Nishiura, Soichiro Yokoyama, Tomohisa Yamashita, Hidenori Kawamura (Hokkaido Univ.)
pp. 99 - 104

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.


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