| 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 |
|
| 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. |
Yuto Nakamura, Mizuhito Ogawa (JAIST) |
| (2) |
10:25-10:50 |
Proposal for Security Protocol Verification using Graph Database |
Hisashi Mori, Kazuki Yonemochi, Manabu Misawa (Mitsubishi Electric) |
| (3) |
10:50-11:15 |
The existence of constrained secure equilibrium in multi-player game |
Hiroki Mizuno, Rindo Nakanishi (Nagoya Univ..), Hiroyuki Seki (Nagoya Univ) |
| (4) |
11:15-11:40 |
Automatic Translation from PlantUML description to NuSMV using LLM |
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 |
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 -- |
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 |
Shota Nakayama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.) |
| (8) |
14:05-14:30 |
MSS Roadmap 2025 : A Report on the Way |
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 |
Ryota Kobayashi, Makoto Matsushita, Yoshiki Higo (Osaka Univ.) |
| (10) |
15:10-15:35 |
|
|
| (11) |
15:35-16:00 |
|
|
| (12) |
16:00-16:25 |
|
|
| |
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 |
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 |
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 |
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 |
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 |
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 |
|
|
| (19) |
13:15-13:40 |
|
|
| (20) |
13:40-14:05 |
|
|
| (21) |
14:05-14:30 |
|
|
| |
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 |
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 |
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: 2024-11-20 20:36:41
|