软件形式化验证专题

1. 软件形式化验证专题前言*
2. 基于SVM的多项式循环程序秩函数生成*
3. 非交互式Petri网可覆盖性验证的高效实现*
4. 基于实时自动机的连续时段演算的验证*
5. 面向实时数据的CPS一体化建模方法 *
6. 一种同步语言多线程代码自动生成工具*
7. 同步数据流语言可信编译器Vélus与L2C的比较*
8. 具有多传感器的CPS系统的攻击检测*
9. 有关时间自动机重置的若干问题的计算复杂性*

模式识别与人工智能

1. 汉语篇章理解研究综述*
2. 受限玻尔兹曼机研究综述*
3. 基于对抗式神经网络的多维度情绪回归*

系统软件与软件技术

1. 软件开发活动数据集的层次化、多版本化方法*
2. 基于Jalangi的广告代码调用路径追踪*

数据库技术

1. 知识图谱数据管理研究综述*
2. 一种基于最大公共子图的社交网络对齐方法*

计算机图形学与计算机辅助设计

1. 人类面部属性估计研究:综述*
2. 采用改进Levenberg-Marquardt法的快速弹性运动估计*