机译:隐藏式计算数学验证
National Institue of Aerospace, 144 Research Drive, Hampton, VA 23666, USA;
computer algebra; automated reasoning; real analysis;
机译:化学反应机理的反应阶段计算分析:隐藏的中间体和隐藏的过渡态
机译:验证作为服务(VAAS):在低计算开销时计量,计费验证和消费资源的消耗资源的可信多功能服务,以增强云可用性
机译:带有验证外包的计算委派:好奇的验证者
机译:排队论描述具有资源虚拟化和通过类似配置的虚拟服务器进行模型验证的计算系统的自适应数学模型
机译:隐藏式混合动力系统安全控制的开发和多车实验室的验证。
机译:用于IPMC执行器的多体模拟器:数学模型有限差分方案快速数值算法和验证
机译:隐藏式计算数学验证
机译:用于计算模型构建,验证和验证的人群行为数据的数学捕获。