关肇直系统科学讲座

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

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

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

System reliability modelling and analysis: past, present and future

Volumetric Representations: the Geometric Modeling of the Next Generation

Income Interdependence in the UK Multi-Regional Economy

A Deep Generative Approach to Conditional Learning

Bayesian regression for group testing data