中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

浏览/检索结果: 共5条,第1-5条 帮助

条数/页: 排序方式:
Synthesizing Nested Ranking Functions for Loop Programs via SVM 会议论文  OAI收割
Shenzhen, China, November 5, 2019 - November 9, 2019
作者:  
Li, Yi;  Sun, Xuechao;  Li, Yong;  Turrini, Andrea;  Zhang, Lijun
  |  收藏  |  浏览/下载:14/0  |  提交时间:2020/02/18
Multi-Coupled Numerical Analysis of Advanced Lean Burn Injection Systems 会议论文  OAI收割
ASME, 2014
Andrea Giusti; Antonio Andreini; Cosimo Bianchini; Bruno Facchini; Fabio Turrini; Gianluca Caciolli
收藏  |  浏览/下载:13/0  |  提交时间:2015/01/05
Multi-Coupled Numerical Analysis of Advanced Lean Burn Injection Systems 会议论文  OAI收割
2014
作者:  
Cosimo Bianchini;  Bruno Facchini;  Fabio Turrini;  Gianluca Caciolli;  Andrea Giusti
  |  收藏  |  浏览/下载:6/0  |  提交时间:2015/01/05
IscasMc: A web-based probabilistic model checker 会议论文  OAI收割
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Hahn, Ernst Moritz (1); Li, Yi (2); Schewe, Sven (3); Turrini, Andrea (1); Zhang, Lijun (1)
  |  收藏  |  浏览/下载:25/0  |  提交时间:2014/12/16
Thermoacoustic Analysis of a Full Annular Lean Burn Aero-Engine Combustor 会议论文  OAI收割
ASME, San Antonio,Texas,USA, 2013
Andrea Giusti; Antonio Andreini; Bruno Facchini; Ignazio Vitale; Fabio Turrini
收藏  |  浏览/下载:12/0  |  提交时间:2013/11/25