| 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 |
|
Yoshiki Higo (Osaka Univ.) |
| Vice Chair |
|
Yoshiaki Takata (Kochi University of Tech.) |
| Secretary |
|
Shinpei Ogata (Shinshu Univ.), Shinsuke Matsumoto (Osaka Univ.) |
| Assistant |
|
Kenji Hashimoto (Kagawa Univ.) |
|
| Conference Date |
Sun, Jan 12, 2025 10:00 - 17:25
Mon, Jan 13, 2025 10:00 - 15:35 |
| 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 MSS, SS. |
Sun, Jan 12 AM
10:00 - 11:40 |
| (1) |
10:00-10:25 |
Solving quadratic Diophantine equation.  MSS2024-42 SS2024-21 |
Yuto Nakamura, Mizuhito Ogawa (JAIST) |
| (2) |
10:25-10:50 |
Proposal for Security Protocol Verification using Graph Database MSS2024-43 SS2024-22 |
Hisashi Mori, Kazuki Yonemochi, Manabu Misawa (Mitsubishi Electric) |
| (3) |
10:50-11:15 |
Complexity of the existence of constrained secure equilibrium in multi-player game MSS2024-44 SS2024-23 |
Hiroki Mizuno, Rindo Nakanishi (Nagoya Univ..), Hiroyuki Seki (Nagoya Univ) |
| (4) |
11:15-11:40 |
Automatic Translation from PlantUML description to NuSMV using LLM MSS2024-45 SS2024-24 |
Kansei Inoue, Takeki Ninomiya, Shinpei Ogata, Kozo Okano (Shinshu Univ) |
| |
11:40-12:50 |
Break ( 70 min. ) |
Sun, Jan 12 PM
12:50 - 14:30 |
| (5) |
12:50-13:15 |
Proposal of A Grocery Delivery System Combining Mobile Supermarkets and Drones MSS2024-46 SS2024-25 |
Kensuke Shiina, Hiroshi Tamura (Chuo Univ.) |
| (6) |
13:15-13:40 |
An approximate approach to two-stage stochastic programming models by scenario sampling
-- Application to metal recycling process under uncertainty due to machine trouble -- MSS2024-47 SS2024-26 |
Kazutoshi Sakakibara, Takuro Shimizu, Ryo Takano, Takuya Matsumoto, Nakamura Masaki (Toyama Pref.) |
| (7) |
13:40-14:05 |
Event-Triggered Switching with Self-Triggered Sampling for Switched Linear Systems MSS2024-48 SS2024-27 |
Shota Nakayama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
| (8) |
14:05-14:30 |
MSS Roadmap 2025 : A Report on the Way MSS2024-49 SS2024-28 |
Ichiro Toyoshima (TOSHIBA Energy Systems & Solutions), Ryosuke Adachi (Ymaguchi Univ.), Takafumi Kanazawa (Setsunan Univ.), Koichi Kobayashi (Hokkaido Univ.), Masaki Nakamura (Toyama Pref. Univ.), Naoki Hayashi (Osaka Univ.) |
| |
14:30-14:45 |
Break ( 15 min. ) |
Sun, Jan 12 PM
14:45 - 16:25 |
| (9) |
14:45-15:10 |
A Prototype of Software Selection Support Tool using OSS Project Metadata MSS2024-50 SS2024-29 |
Ryota Kobayashi, Makoto Matsushita, Yoshiki Higo (Osaka Univ.) |
| (10) |
15:10-15:35 |
MSS2024-51 SS2024-30 |
|
| (11) |
15:35-16:00 |
MSS2024-52 SS2024-31 |
|
| (12) |
16:00-16:25 |
MSS2024-53 SS2024-32 |
|
| |
16:25-16:40 |
Break ( 15 min. ) |
Sun, Jan 12 PM
16:40 - 17:25 |
| (13) |
16:40-17:25 |
[Invited Talk]
Exploring the Role of System and Control in the IoT/AI Era MSS2024-54 SS2024-33 |
Ryosuke Adachi (Yamaguchi Univ.) |
Mon, Jan 13 AM
10:00 - 11:40 |
| (14) |
10:00-10:25 |
Optimization of Relief Supplies Allocation and Transportation to Evacuation Shelters by Applying Mixed Integer Programming Model MSS2024-55 SS2024-34 |
Takuya Matsumoto, Kazutoshi Sakakibara, Ryo Takano, Masaki Nakamura (Toyama Pref. Univ.) |
| (15) |
10:25-10:50 |
Optimal Base Station Placement Method for Next Generation Mobile Communication Systems MSS2024-56 SS2024-35 |
So Katayama, Hiroshi Tamura (Chuo Univ.) |
| (16) |
10:50-11:15 |
Application of the Statistical Test Rule Induction Method to Classification Problems and Comparisons with the Neural Network Method MSS2024-57 SS2024-36 |
Ji Kaikuan, Tomoshi Hatakeyama, Tetsuro Saeki (Yamaguchi Univ.), Yuichi Kato (Shimane Univ.) |
| (17) |
11:15-11:40 |
Verification of regional characteristics of Japanese folk songs using machine learning MSS2024-58 SS2024-37 |
Tatsuki Ioka, Hiroshi Tamura (Chuo Univ.) |
| |
11:40-12:50 |
Break ( 70 min. ) |
Mon, Jan 13 PM
12:50 - 14:30 |
| (18) |
12:50-13:15 |
MSS2024-59 SS2024-38 |
|
| (19) |
13:15-13:40 |
MSS2024-60 SS2024-39 |
|
| (20) |
13:40-14:05 |
MSS2024-61 SS2024-40 |
|
| (21) |
14:05-14:30 |
MSS2024-62 SS2024-41 |
|
| |
14:30-14:45 |
Break ( 15 min. ) |
Mon, Jan 13 PM
14:45 - 15:35 |
| (22) |
14:45-15:10 |
Detection of Irregular Behaviors in Multi-Object Tracking by Particle Swarm Optimization MSS2024-63 SS2024-42 |
Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara, Masaki Nakamura (TPU) |
| (23) |
15:10-15:35 |
E-Quality: A Blockchain-based Lottery System with Multiple Time-Release Cryptography for Securities Industry Applications MSS2024-64 SS2024-43 |
Kazune Takahashi (Nomura Holdings/BOOSTRY) |
| 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 |
Shinsuke Matsumoto (Osaka University)
E-: n  ist -u |
| Announcement |
Latest information will be presented on the homepage:
https://www.ieice.org/iss/ss/ |
Last modified: 2025-01-08 21:53:30
|