المؤلفون: Tran, Hoang-Dung, Nguyen, Luan Viet, Musau, Patrick, Xiang, Weiming, Johnson, Taylor T.

المصدر: Leibniz Transactions on Embedded Systems, Vol 8, Iss 2, Pp 07:1-07:19 (2022)

مصطلحات موضوعية: verification, reachability analysis, distributed cyber-physical systems, Technology, Electrical engineering. Electronics. Nuclear engineering, TK1-9971, Electronics, TK7800-8360

وصف الملف: electronic resource

Relation: https://drops.dagstuhl.de/storage/07lites/lites_vol008/lites_vol008_issue002/LITES.8.2.7/LITES.8.2.7.pdf; https://doaj.org/toc/2199-2002

URL الوصول: https://doaj.org/article/99d5c5f052e8478db62de93ba9719454

المؤلفون: Nguyen, Thanh Trung, Tran, Hoang Minh, Nguyen, Manh Tien, Luu, Tien Duc

المصدر: 2024 IEEE 11th International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC) Computational Cybernetics and Cyber-Medical Systems (ICCC), 2024 IEEE 11th International Conference on. :000273-000282 Apr, 2024

Relation: 2024 IEEE 11th International Conference on Computational Cybernetics and Cyber-Medical Systems (ICCC)

المؤلفون: Wang, Xingyao, Li, Boxuan, Song, Yufan, Xu, Frank F., Tang, Xiangru, Zhuge, Mingchen, Pan, Jiayi, Song, Yueqi, Li, Bowen, Singh, Jaskirat, Tran, Hoang H., Li, Fuqiang, Ma, Ren, Zheng, Mingzhang, Qian, Bill, Shao, Yanjun, Muennighoff, Niklas, Zhang, Yizhe, Hui, Binyuan, Lin, Junyang, Brennan, Robert, Peng, Hao, Ji, Heng, Neubig, Graham

مصطلحات موضوعية: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Computation and Language

URL الوصول: http://arxiv.org/abs/2407.16741

المؤلفون: Tran, Hoang, Zhang, Qinzi, Cutkosky, Ashok

مصطلحات موضوعية: Computer Science - Machine Learning, Mathematics - Optimization and Control

URL الوصول: http://arxiv.org/abs/2407.01825

المؤلفون: Zhang, Qinzi, Tran, Hoang, Cutkosky, Ashok

مصطلحات موضوعية: Mathematics - Optimization and Control, Computer Science - Cryptography and Security, Computer Science - Machine Learning

URL الوصول: http://arxiv.org/abs/2406.19579

المؤلفون: Tran, Hoang Anh, Toh, Kim-Chuan

مصطلحات موضوعية: Mathematics - Optimization and Control, 90C22, 90C26, 41A10, 41A50

URL الوصول: http://arxiv.org/abs/2406.12013

المؤلفون: Tran, Hoang-Loc, Phan, Dinh-Duy, Tran, Quoc-Thang, Tran, Thi-Thanh-Dung, Vu, Duc-Lung

المصدر: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF) Computing and Communication Technologies (RIVF), 2023 RIVF International Conference on. :19-24 Dec, 2023

Relation: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF)

المؤلفون: Tran Hoang, Nhat Huy, Nguyen, The Hiep, Vu Nguyen, Minh Huy, Tran, Trung Thai, Le, Xuan Huy, Nguyen, Duc Dung

المصدر: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF) Computing and Communication Technologies (RIVF), 2023 RIVF International Conference on. :248-253 Dec, 2023

Relation: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF)

المؤلفون: Truc Tran, Linh Ngoc, Nguyen, Nguyen Duc, Duc, Hieu Vu, Viet, Hoang Nguyen, Tung, Lam Nguyen, Tran, Hoang-Viet, Hung, Pham Ngoc

المصدر: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF) Computing and Communication Technologies (RIVF), 2023 RIVF International Conference on. :412-417 Dec, 2023

Relation: 2023 RIVF International Conference on Computing and Communication Technologies (RIVF)

المؤلفون: Tran, Hoang Anh, Johansen, Tor Arne, Negenborn, Rudy R.

مصطلحات موضوعية: Electrical Engineering and Systems Science - Systems and Control

URL الوصول: http://arxiv.org/abs/2403.00554