关肇直系统科学讲座

关肇直系统科学讲座是为纪念系统所首任所长关肇直先生而设立,每年邀请国内外知名教授访问系统科学研究所并作学术报告,报告内容涉及系统控制、数学机械化、系统运筹与管理、统计与科学计算、复杂系统及某些近代数学分支。

D-Finite Functions

A Model-Agnostic Graph Neural Network for Integrating Local and Global Information

Some Arithmetic Aspects of Hyperbolicity

Period integrals reconsidered from mathematical logic

模型驱动的复杂安全攸关嵌入式系统形式设计理论及开发环境

Do Insurers Listen to Earnings Conference Calls? Evidence from the Corporate Bond Market

System reliability modelling and analysis: past, present and future