关肇直系统科学讲座

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

A Testing Method for Inferring Microbial Networks Using Compositional Data

Asymptotic behaviour of the saturation degree

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

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