Wed, Jan 17 PM
13:00 - 14:15 |
| (1) |
13:00-13:25 |
|
|
| (2) |
13:25-13:50 |
Measuring the Accuracy of Code Translation Tasks in GPT-4 |
Kota Kawabuchi, Makoto Matsushita, Yoshiki Higo (Osaka Univ.) |
| (3) |
13:50-14:15 |
A Proposal of Argument Structure Clarification Method for Reviewing Analysis Results of STPA |
Kazuki Kakimoto, Toshinori Takai, Hajimu Iida (NAIST) |
| |
14:15-14:30 |
Break ( 15 min. ) |
Wed, Jan 17 PM
14:30 - 15:45 |
| (4) |
14:30-14:55 |
Extrinsicaly Rewarded Soft Q Imitation Learning with Discriminator |
Ryoma Furuyama, Daiki Kuyoshi, Yamane Satoshi (Kanazawa Univ.) |
| (5) |
14:55-15:20 |
Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning |
Shunya Kidera, Kosuke Shintani, Toi Tsuneda, Satoshi Yamane (Kanazawa Univ.) |
| (6) |
15:20-15:45 |
Analysis of Traffic Flow Data Based on Event Extraction
-- Extraction of Main Routes from Large Trajectory Data -- |
Kunihiko Hiraishi (JAIST) |
| |
15:45-16:00 |
Break ( 15 min. ) |
Wed, Jan 17 PM
16:00 - 17:15 |
| (7) |
16:00-16:25 |
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.) |
| (8) |
16:25-16:50 |
Distributed Optimization of Energy Management Systems Considering Section Total Demands |
Genya Tamayama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
| (9) |
16:50-17:15 |
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) |
Thu, Jan 18 AM
10:00 - 10:50 |
| (10) |
10:00-10:25 |
Rational synthesis based on multiplayer games with registers |
Yuto Sakao, Hiroyuki Seki (Nagoya Univ.) |
| (11) |
10:25-10:50 |
Parametric Execution Time Analysis of Programs Considering Nested Loops Using Partial Execution Time Measurement and its Evaluation |
Yugen Nakanishi, Akio Nakata (Hiroshima City Univ.) |
| |
10:50-11:05 |
Break ( 15 min. ) |
Thu, Jan 18 AM
11:05 - 12:20 |
| (12) |
11:05-11:30 |
Preliminary Study on Driver Drowsiness Detection with Deep Learning Using Vehicular Data |
Yutaro Nakagama, Daisuke Ishii (JAIST), Kazuki Yoshizoe (Kyushu Univ.) |
| (13) |
11:30-11:55 |
Deep Reinforcement Learning Using LMM's Studying Papers and Intrinsic Rewards |
Sota Nagano, Satoshi Yamane (Kanazawa Univ.) |
| (14) |
11:55-12:20 |
Design of Block-Sparse Controllers for Cyber-Physical Systems |
Yuta Kawano, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
| |
12:20-13:35 |
Lunch Break ( 75 min. ) |
Thu, Jan 18 PM
13:35 - 14:25 |
| (15) |
13:35-14:00 |
A greedy stable time by various parameter combination of a routing protocol in wireless sensor networks |
Yoshihiro Kaneko (Gifu Univ.) |
| (16) |
14:00-14:25 |
Case Study of Combining Event Structures |
Toshiyuki Miyamoto (OIT), Hiroki Akamatsu (OU) |
| |
14:25-14:40 |
Break ( 15 min. ) |
Thu, Jan 18 PM
14:40 - 15:30 |
| (17) |
14:40-15:05 |
Decidability of the existence of a doomsday equilibrium in stochastic Buchi games |
Hiroki Mizuno, Rindo Nakanishi, Hiroyuki Seki (Nagoya Univ.) |
| (18) |
15:05-15:30 |
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.) |
: 
i
cis
-u
