Online edition: ISSN 2432-6380
[TOP] | [2018] | [2019] | [2020] | [2021] | [2022] | [2023] | [2024] | [Japanese] / [English]
MSS2024-42
Solving quadratic Diophantine equation.
Yuto Nakamura, Mizuhito Ogawa (JAIST)
pp. 1 - 6
MSS2024-43
Proposal for Security Protocol Verification using Graph Database
Hisashi Mori, Kazuki Yonemochi, Manabu Misawa (Mitsubishi Electric)
pp. 7 - 12
MSS2024-44
Complexity of the existence of constrained secure equilibrium in multi-player game
Hiroki Mizuno, Rindo Nakanishi (Nagoya Univ..), Hiroyuki Seki (Nagoya Univ)
pp. 13 - 18
MSS2024-45
Automatic Translation from PlantUML description to NuSMV using LLM
Kansei Inoue, Takeki Ninomiya, Shinpei Ogata, Kozo Okano (Shinshu Univ)
pp. 19 - 24
MSS2024-46
Proposal of A Grocery Delivery System Combining Mobile Supermarkets and Drones
Kensuke Shiina, Hiroshi Tamura (Chuo Univ.)
pp. 25 - 28
MSS2024-47
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.)
pp. 29 - 34
MSS2024-48
Event-Triggered Switching with Self-Triggered Sampling for Switched Linear Systems
Shota Nakayama, Koichi Kobayashi, Yuh Yamashita (Hokkaido Univ.)
pp. 35 - 39
MSS2024-49
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.)
p. 40
MSS2024-50
A Prototype of Software Selection Support Tool using OSS Project Metadata
Ryota Kobayashi, Makoto Matsushita, Yoshiki Higo (Osaka Univ.)
pp. 41 - 46
MSS2024-51
(See Japanese page.)
pp. 47 - 52
MSS2024-52
(See Japanese page.)
pp. 53 - 58
MSS2024-53
(See Japanese page.)
pp. 59 - 64
MSS2024-54
[Invited Talk]
Exploring the Role of System and Control in the IoT/AI Era
Ryosuke Adachi (Yamaguchi Univ.)
p. 65
MSS2024-55
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.)
pp. 66 - 70
MSS2024-56
Optimal Base Station Placement Method for Next Generation Mobile Communication Systems
So Katayama, Hiroshi Tamura (Chuo Univ.)
pp. 71 - 75
MSS2024-57
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.)
pp. 76 - 81
MSS2024-58
Verification of regional characteristics of Japanese folk songs using machine learning
Tatsuki Ioka, Hiroshi Tamura (Chuo Univ.)
pp. 82 - 85
MSS2024-59
(See Japanese page.)
pp. 86 - 91
MSS2024-60
(See Japanese page.)
pp. 92 - 97
MSS2024-61
(See Japanese page.)
pp. 98 - 103
MSS2024-62
(See Japanese page.)
pp. 104 - 109
MSS2024-63
Detection of Irregular Behaviors in Multi-Object Tracking by Particle Swarm Optimization
Ryo Takano, Takuya Matsumoto, Kazutoshi Sakakibara, Masaki Nakamura (TPU)
pp. 110 - 115
MSS2024-64
E-Quality: A Blockchain-based Lottery System with Multiple Time-Release Cryptography for Securities Industry Applications
Kazune Takahashi (Nomura Holdings/BOOSTRY)
pp. 116 - 121
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.