-
11 May
Immersed Virtual Element Methods for Maxwell Interface Problems in Three Dimensions
时间：2022-05-11 8:30-9:30
报告人: Long Chen（University of California at Irvine）
-
11 May
Applied Mathematics Seminar——Interference Relation-Guided SMT Solving for Multi-Threaded Program Verification
时间：2022-05-11 10:00-11:00
报告人: Fei He（Tsinghua University）
-
20 Apr
Two-temperature Navier-Stokes equations for a polyatomic gas and their boundary conditions
时间：2022-04-20 15:00-16:00
报告人: Kazuo Aoki (Kyoto University)
-
20 Apr
机器学习实验室博士生系列论坛（第二十六期）——Understanding Unsupervised Reinforcement Learning
时间：2022-04-20 15:10-16:10
报告人: Hao Jin (PKU)
-
19 Apr
CAM seminar——Quantum algorithms for Hamiltonian simulation with unbounded operators
时间：2022-04-19 10:30-11:30
报告人: Di Fang（University of California, Berkeley）
-
14 Apr
Robustness Analysis for DNNs from the Perspective of Model Learning
时间：2022-04-14 10:00-11:00
报告人: Pengfei Yang (Institute of Software, Chinese Academy of Sciences)
-
12 Apr
CAM seminar——Model reduction for complicated two-phase flow problems based on the Onsager variational principle
时间：2022-04-12 10:30-11:30
报告人: 许现民（中科院计算数学与科学工程计算研究所）
-
06 Apr
机器学习实验室博士生系列论坛（第二十五期）——A Review of Combinatorial Optimization with Deep Reinforcement Learning
时间：2022-04-06 15:10-16:10
报告人: Erdong Wang (PKU)
-
23 Mar
机器学习实验室博士生系列论坛（第二十四期）——Stochastic Approximation: A Statistical Perspective.
时间：2022-03-23 15:10-16:10
报告人: Jiadong Liang (PKU)
-
17 Mar
Information Sciences Seminar——基于在线验证的实时系统运行时安全监控与控制生成
时间：2022-03-17 10:00-11:00
报告人: Lei Bu (Nanjing University）