算法设计与分析
Design and Analysis of Algorithms
自动化验证
Automated Verification
并行计算算法
Algorithms for Parallel Computing
现代计算机科学中的数值方法
Numerical Methods from Modern CS
面向计算机科学的数值方法
Numerical Methods FOR CS
离散事件系统:监督控制与诊断
Discrete-Event Systems: Supervisory Control and Diagnosis
混合与嵌入式系统基础
Foundations of Hybrid and Embedded Systems
嵌入式软件与系统专题
Topics in Embedded Software and Systems
分布式系统原理
Distributed Systems Principles
计算机系统性能评估
Performance Evaluation of Computer Systems
高级软件工程
Advanced Software Engineering
系统级故障诊断
System-Level Fault Diagnosis
软件工程专题
Topics in Software Engineering
模型集成计算
Model-Integrated Computing
计算机安全专题
Topics in Computer Security
软件工程高级专题
Advanced Topics in Software Engineering
医疗物联网
Internet of Medical Things
人工神经网络
Artificial Neural Networks
人机交互
Human-Computer Interaction
高级人工智能
Advanced Artificial Intelligence
高级机器学习
Advanced Machine Learning
智能学习环境
Intelligent Learning Environments
分布式人工智能
Distributed Artificial Intelligence
探索虚拟世界
Exploring Virtual Worlds
虚拟现实高级专题
Advanced Topics in VR
面向信息物理系统的人工智能
AI for Cyber-Physical Systems
智能外科机器人
Intelligent Surgical Robots
扩展数学规划
Extended Mathematical Programming
人机交互研究专题
HCI Research Topics
面向动力系统的机器学习
Machine Learning for Dynamical Systems
医学图像分析的开源编程
Open-source Programming for Medical Image Analysis
医学图像配准
Medical Image Registration
医学图像分析的开源编程
Open Source Programming for Medical Image Analysis
医学图像处理的开源编程
Open Source Programming for Medical Image Processing
硕士论文研究
Master's Thesis Research
负责任的科研行为
Responsible Conduct of Research
同行评审与发表讨论
Peer Review and Publication Discussion
导师/受训者与利益冲突讨论
Mentor/Trainee and COI Discussion
数据管理/科研不端讨论
Data Management/Research Misconduct Discussion
专题讨论
Special Topics Discussion