Convection cells; Weather forecasting; Aviation meteorology; Convection currents; Convection clouds; Air currents; Flight conditions; Lightning; Verification; Statistical methods;
机译:使用Meteosat影像的地中海盆地中尺度对流系统的自动临近预报系统。第二部分:验证统计
机译:协作嵌入式系统的策略逻辑使用策略逻辑对协作嵌入式系统进行规范和验证
机译:印度半岛雨影区季风季节对比中对流,对流启动和对流增强类别中云细胞的统计特征
机译:整合计划建模,设计和验证的理论和技术,将UNU-IICT在验证软件挑战的协作研究中定位研究
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:一项对来自所有随机对照rt-PA与对照的随机试验的参与者数据进行协作荟萃分析的前瞻性方案的详细信息:脑卒中溶栓研究人员协作荟萃分析的统计分析计划
机译:Meteosat Imagery的地中海盆地Mesoscale对流系统自动漫游系统。第二部分:核查统计