• 已选条件：
  • × 51.1|73.1
  • × ERROR ANALYSIS
 全选  【符合条件的数据共：5条】

1 Multivariate Normality of Cartesian Frame Covariances: Evaluation and Operational Significance [科技报告]

作者:Lechtenberg, Travis F

发布日期:2019

关键词:CARTESIAN COORDINATES;COLLISION AVOIDANCE;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：4 下载：3  ]    

2 IKOS: Sound Static Program Analysis [科技报告]

作者:Arthaud, Maxime

发布日期:2019

关键词:C++ (PROGRAMMING LANGUAGE);COST ANALYSIS;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]    

3 Multivariate Normality of Cartesian-Framed Covariances: Evaluation and Operational Significance [科技报告]

作者:Lechtenberg, Travis F

发布日期:2019

关键词:CARTESIAN COORDINATES;COLLISION AVOIDANCE;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：1 下载：3  ]    

4 Integrating Realizability Checking in FRET [科技报告]

作者:Kooi, David, Mavridou, Anastasia

发布日期:2019

关键词:ALGORITHMS;AUTOMATIC PILOTS;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

5 Quantum Gate-Model Approaches to Exact and Approximate Optimization [科技报告]

作者:Hadfield, Stuart

发布日期:2019

关键词:ALGORITHMS;CIRCUITS;...

发布机构:

预览  |  原文链接  |  全文  [ 浏览：2 下载：1  ]