高度ソフトウェア工学

フィンガープリント

高度ソフトウェア工学が活動している研究トピックを掘り下げます。これらのトピックラベルは、この組織のメンバーの研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
Fukuda, K., Zhang, G., Zhang, Z., Sui, Y. & Zhao, J., 2025, 2025 Design, Automation and Test in Europe Conference, DATE 2025 - Proceedings. Institute of Electrical and Electronics Engineers Inc., (Proceedings -Design, Automation and Test in Europe, DATE).
研究成果: 書籍/レポートタイプへの寄稿 › 会議への寄与
Air-Puff Eyewear System for Blink Monitoring and Reflexive Blink Induction to Improve Dry Eye
Mori, T., Masai, K., Choi, H., Nakamura, Y., Arakawa, Y., Fukushima, S. & Mine, T., 2025, Distributed, Ambient and Pervasive Interactions - 13th International Conference, DAPI 2025, Held as Part of the 27th HCI International Conference, HCII 2025, Proceedings. Streitz, N. A. & Konomi, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 329-344 16 p. (Lecture Notes in Computer Science; vol. 15803 LNCS).
研究成果: 書籍/レポートタイプへの寄稿 › 会議への寄与
An Adversarial Attack via Penalty Method
Sun, J., Yu, H. & Zhao, J., 2025, In: IEEE Access. 13, p. 18123-18140 18 p.
研究成果: ジャーナルへの寄稿 › 学術誌 › 査読

Open Access