Abstract interpretation; Data obfuscation; Program semantics; Program transformation;
机译:SmartData 4.0:大数据的正式描述框架
机译:SmartData 4.0:大数据的正式描述框架
机译:从形式代数规范验证抽象数据类型实现的创新教学工具
机译:摘要基于解释的数据混淆的正式描述
机译:基于抽象数据类型模型扩展的实时系统的正式规范
机译:使用混淆规避技术的带有恶意软件的受感染主机的内存快照数据集
机译:“菲利普斯数据的卡尔内尔回归”摘要:经济学家认为菲利普斯曲线显示了通货膨胀与产出比率(失业率)之间的正(负)关系,可以从总需求 - 聚集供应设备中绘制出来。该文表明,菲利普斯曲线要求对总供给和总需求曲线的形式进行不太可能的限制。在这种情况下,将通货膨胀和能力利用数据作为估算潜在正式模型的基础是不恰当的。因此,本文使用非参数,数据驱动的方法来描述数据。核心回归的这种方法表明菲利普斯样本中的通货膨胀 - 失业关联在全球范围内是负面的,但在特定的失业范围内是不规则的。