基础数学系学术报告Determinacy of infinite games and automata on infinite wordsWenjuan LiBeijing Institute of Mathematical Science and Applications报告时间:16:00-17:00,2024-01-12(星期五)报告地点: 沙河主E404 报告摘要:The Gale-Stewart game, a two-player turn-based infinite game with perfect information, has been intensively studied in descriptive set theory in the past several decades, mai...
北航数学论坛学术报告Two topics in reverse mathematicsKazuyuki TanakaBeijing Institute of Mathematical Science and Applications报告时间:15:00-16:00,2024-01-12(星期五)报告地点: 沙河主E404 报告摘要:Reverse mathematics is a foundational program which aims for answering the following questions: What set existence axioms are needed to prove theorems of ordinary mathematics? Among others, the ...
应用数学系学术报告--- 分析与偏微分方程讨论班(2023秋季第34讲)On principal eigenvalues for some elliptic operators with large drift刘爽 (北京理工大学)时间:2024年1月9日(周二)下午16:00-17:00地点: 沙河主楼E606摘要: In this talk, we will discuss the principal eigenvalue of some linear elliptic operators with drift. We provide a refined description of the asymptotic behavior for the principal eig...
数学学院学术报告--- 分析与偏微分方程讨论班(2023秋季第33讲)肖杰 教授(加拿大纽芬兰纪念大学)时间:2024年1月5日(周五)上午8:30-9:30 地点:#腾讯会议:509-766-8696 会议密码:654321点击链接直接加入会议:https://meeting.tencent.com/p/5097668696 摘要: This talk will address a paper joint with Fanheng Xu, which utilizes not only the mean curvature but also the scalar curvature as well as the Penrose-...
北航数学论坛学术报告Elucidating principles of efficient and reliable computations: from neurons to circuits臧蕴亮(天津大学医学工程与转化医学研究院)报告时间:2024年1月2日 (星期二) 下午报告地点: 沙河主E602 下午 2:00—4:00报告摘要:A neural circuit can process information efficiently and reliably. However, we know little about the neuronal principles underlying the efficient computations in the ...
数学科学学院学术报告--- 分析与偏微分方程讨论班(2023秋季第32讲)Stability of incompressible Euler flows on a rotating sphere王国栋 (大连理工大学)时间:2024年1月5日(周五)上午10:00-11:00地点:#腾讯会议:813-381-823点击链接直接加入会议:https://meeting.tencent.com/dm/hbZevMqpfMpX摘要: The focus of this talk is the stability of certain steady/traveling solutions, particularly the Rossby-Haurwitz wa...