【预告】学术报告（2021-11）5月24日报告——Adaptive hybridizable discontinuous Galerkin method for convection diffusion equations with application to optimal control

【预告】学术报告（2021-10）5月26日报告——面向人工智能新浪潮的视觉计算与应用

【预告】学术报告（2021-9）5月18日报告——Mathematica在证明不等式中的应用

【预告】学术报告（2021-8）5月13日报告——组合恒等式的机器证明

【预告】学术报告（2021-7）5月21日报告——智能科学计算(HCP+AI)在第一性原理分子动力学领域的应用

【预告】学术报告（2021-6）5月10日报告——基于深度关系学习的行人重识别研究

【预告】学术报告（2021-5）4月28日报告——类别注意控制定势在注意捕获中的作用

【预告】学术报告（2021-4）4月20日报告——任务趋动的智能计算

日前，我院韩苗苗博士及其合作者在图论领域杂志《Journal of Graph Theory》发表论文“Group Connectivity under3-Edge-Connectivity” 。为了研究图的整数流性质，Jaeger等人在1992年引入群连通的定义, 同时提出了对于两个同阶数不同构的交换群A和B, 图的A群连通性与B群连通性是否等价的问题。Husek et al（arXiv 2017, published in JGT2020）借助计算机辅助回答了群阶数为4的情形，他们证明存在2-边连通...

【预告】学术报告（2021-3）4月17日报告——地下水循环动力学的数学方法