Mitsubishi Electric RD Centre Europe Rennes 35708 France;
Structural unit test; Automatic stub generation; Genetic algorithms; Abstract Interpretation; Concolic test generation; Bounded Model Checking;
机译:用户界面的形式分析和自动生成:方法,方法和算法
机译:使用遗传算法结合的偏最小二乘方法对结构多样的化合物对重组CYP 3A4活性的抑制作用的QSAR分析。
机译:基于遗传算法的多级自动阈值快速图像分割
机译:快速,自动,近乎完全的结构单元测试生成结合遗传算法和形式方法
机译:自动生成快速矩阵乘法算法
机译:快速自动结构跟踪算法(FAST)通过形态结构对神经元进行大规模定量分析
机译:线性模型预测控制验证的实验:内部点法算法的自动生成和正式验证
机译:用快速遗传算法求解蛋白质结构预测问题(通过检测二级结构将快速遗传算法扩展到中等大小的肽)