智能机器人(扩展)
Intelligent Robotics (Extended)
计算机辅助验证
Computer-Aided Verification
复杂自适应系统(扩展)
Complex Adaptive Systems (Extended)
机器学习与智能数据分析(扩展)
Machine Learning and Intelligent Data Analysis (Extended)
分布式并行计算(扩展)
Distributed and Parallel Computing (Extended)
人工智能与机器学习的数学基础
Mathematical Foundations of Artificial Intelligence and Machine Learning
研究技能、评估方法和统计
Research Skills, Evaluation Methods, and Statistics