IEICE Technical Report

Online edition: ISSN 2432-6380

Volume 123, Number 334

Mathematical Systems Science and its Applications

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

MSS2023-52
(See Japanese page.)
pp. 1 - 6

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

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

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

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

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

MSS2023-58
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

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

MSS2023-60
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

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

MSS2023-62
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

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

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

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

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

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

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

MSS2023-69
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