| Technical Committee on Mathematical Systems Science and its Applications (MSS) |
[schedule] [select]
|
|
| Chair |
|
Shingo Yamaguchi (Yamaguchi Univ.) |
| Vice Chair |
|
Toshiyuki Miyamoto (Osaka Inst. of Tech.) |
| Secretary |
|
Naoki Hayashi (Osaka Univ.), Jianquan Liui (NEC) |
| Assistant |
|
Masato Shirai (Shimane Univ.) |
|
|
|
| Chair |
|
Kozo Okano (Shinshu Univ.) |
| Vice Chair |
|
Yoshiki Higo (Osaka Univ.) |
| Secretary |
|
Shinpei Ogata (Shinshu Univ.), Shinpei Hayashi (Tokyo Inst. of Tech.) |
| Assistant |
|
Shinsuke Matsumoto (Osaka Univ.) |
|
| Conference Date |
Wed, Jan 17, 2024 13:00 - 17:15
Thu, Jan 18, 2024 10:00 - 15:30 |
| Topics |
|
| Conference Place |
|
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) |
| Registration Fee |
This workshop will be held as the IEICE workshop in fully electronic publishing. Registration fee will be necessary except the speakers and participants other than the participants to workshop(s) in non-electronic publishing. See the registration fee page. We request the registration fee or presentation fee to participants who will attend the workshop(s) on SS, MSS. |
Wed, Jan 17 PM
13:00 - 14:15 |
| (1) |
13:00-13:25 |
 MSS2023-52 SS2023-31 |
|
| (2) |
13:25-13:50 |
Measuring the Accuracy of Code Translation Tasks in GPT-4 MSS2023-53 SS2023-32 |
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 MSS2023-54 SS2023-33 |
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 MSS2023-55 SS2023-34 |
Ryoma Furuyama, Daiki Kuyoshi, Yamane Satoshi (Kanazawa Univ.) |
| (5) |
14:55-15:20 |
Combined Constraint on Behavior Cloning and Discriminator in Offline Reinforcement Learning MSS2023-56 SS2023-35 |
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 -- MSS2023-57 SS2023-36 |
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 MSS2023-58 SS2023-37 |
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 MSS2023-59 SS2023-38 |
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 MSS2023-60 SS2023-39 |
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 MSS2023-61 SS2023-40 |
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 MSS2023-62 SS2023-41 |
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 MSS2023-63 SS2023-42 |
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 MSS2023-64 SS2023-43 |
Sota Nagano, Satoshi Yamane (Kanazawa Univ.) |
| (14) |
11:55-12:20 |
Design of Block-Sparse Controllers for Cyber-Physical Systems MSS2023-65 SS2023-44 |
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 MSS2023-66 SS2023-45 |
Yoshihiro Kaneko (Gifu Univ.) |
| (16) |
14:00-14:25 |
Case Study of Combining Event Structures MSS2023-67 SS2023-46 |
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 MSS2023-68 SS2023-47 |
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 MSS2023-69 SS2023-48 |
Tsubasa Nishiura, Soichiro Yokoyama, Tomohisa Yamashita, Hidenori Kawamura (Hokkaido Univ.) |
| Announcement for Speakers |
| General Talk | Each speech will have 20 minutes for presentation and 5 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| MSS |
Technical Committee on Mathematical Systems Science and its Applications (MSS) [Latest Schedule]
|
| Contact Address |
Masato Shirai (Shimane University)
E- :   i cis   -u |
| SS |
Technical Committee on Software Science (SS) [Latest Schedule]
|
| Contact Address |
Shinpei Ogata (Shinshu University)
TEL: +81-26-269-5468
E-: o   nshu-u |
| Announcement |
Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/ |
Last modified: 2024-01-15 21:51:47
|