Online edition: ISSN 2432-6380
[TOP] | [2020] | [2021] | [2022] | [2023] | [2024] | [2025] | [2026] | [Japanese] / [English]
KBSE2025-23
Assurance Case-based Expectation Management for AI Projects
Hironori Takeuchi (Musashi Univ.), Hiroshi Maruyama (PFN)
pp. 1 - 6
KBSE2025-24
A Machine Learning-Based Method for Determining Verification Order in Parallel FB Model Checking
Tomoji Kishi (Waseda Univ.)
pp. 7 - 12
KBSE2025-25
Proposal of a Model for Thinking Mode Transformation
Shuichiro Yamamoto (IPUT in Nagoya)
pp. 13 - 18
KBSE2025-26
Innovation Productivity Evaluation Using Contribution of Software Product to Customer Value
Kumi Jinzenji (NTT)
pp. 19 - 24
KBSE2025-27
Stepwise LTS Minimization to Suppress State Space Explosion in Discrete Controller Synthesis
Tomoki Yamaguchi (Science Tokyo), Takuto Yamauchi, Takanori Hirano (Waseda Univ.), Kenji Tei (Science Tokyo)
pp. 25 - 28
KBSE2025-28
On-the-fly Direct Synthesis Method for Computational Space Reduction in High-Efficiency Controllers Synthesis
Yuki Tsuzuku (Science Tokyo), Takuto Yamauchi, Takanori Hirano (Waseda Univ.), Kenji Tei (Science Tokyo)
pp. 29 - 31
KBSE2025-29
System Assurance for AI-Based Systems Using Assurance Cases
Takuya Saruwatari (IPUTN)
pp. 32 - 37
KBSE2025-30
System Integration Initiatives and Quality Evaluation for In-House Business Systems at Kagawa University
Satoru Yamada, Toyohiko Jimma, Hiroki Asakimori, Yusuke Kometani, Rihito Yaegashi (Kagawa Univ.)
pp. 38 - 42
KBSE2025-31
Pilot Study of An Organizational Management Strategy Planning Support System Focused on Members' Skills And Interests
Tomoki Aburatani (Osaka Metropolitan Univ.), Motoshi Kanke, Masahito Morone, Naoya Henmi (PI)
pp. 43 - 48
KBSE2025-32
In-house Development of the Business Trip Application Agent (Kadai Agent for BizTrip).
Toyohiko Jimma, Hiroki Asakimori, Satoru Yamada, Yusuke Kometani, Rihito Yaegashi (Kagawa Univ.)
pp. 49 - 54
KBSE2025-33
Study on Information Extraction System for Arbitrary Forms and Documents Using Multimodal LLM
Futa Sasaki, Sinan Chen (Kobe Univ.), Sachio Saiki (KUT), Masahide Nakamura (Kobe Univ.)
pp. 55 - 60
KBSE2025-34
Implementation of Early Childhood Educators Support System to Foster Preschoolers' Autonomy
Yui Takagi, Takumi Maeda, Kentaro Kuroda, Koji Yamada (Osaka Sangyo Univ.)
pp. 61 - 66
KBSE2025-35
Arrival time prediction method for slow mobility without timetable information using ConvLSTM.
Gen Otomo, Ryuichi Takahashi (Ibaraki Univ)
pp. 67 - 72
KBSE2025-36
Unsupervised learning of fish shadow difference images to detect abnormalities in farmed fish swimming
Junya Iwata (Ibaraki Univ.), Youichi Maki, Takeru Tsuburaya, Kaho Miyazaki (Maruha Nichiro), Ryuichi Takahashi (Ibaraki Univ.)
pp. 73 - 78
KBSE2025-37
DialInput: Intuitive Japanese input method for circular smartwatches
Masaya Miyamoto, Rintaro Suzuki, Ryuichi Takahashi (Ibaraki Univ.)
pp. 79 - 84
Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.