理论计算机科学

1. 取定s的严格d-正则随机(3,2s)-SAT问题的可满足临界∗

系统软件与软件工程

1. 领域驱动设计模式的收益与挑战:系统综述∗
2. 软件缺陷自动修复技术综述∗
3. 面向关键字流图的相似程序间测试用例的重用∗
4. 基于程序层次树的日志打印位置决策方法∗
5. 基于日志挖掘的微服务测试集缩减技术∗

模式识别与人工智能

1. 基于局部搜索的并行扩展规则推理方法∗
2. 面向图像场景转换的改进型生成对抗网络∗
3. 基于多核CPU的表约束并行传播模式研究∗
4. 基于多通道特征和自注意力的情感分类方法∗
5. 一种协同过滤式零次学习方法∗

数据库技术

1. 碎片化家谱数据的融合技术∗

计算机网络与信息安全

1. 强安全模型下TLS1.3协议的形式化分析与优化∗
2. 一种高效低能耗移动数据采集与无线充电策略∗
3. 抗随机数后门攻击的密码算法∗
4. 基于卷积神经网络的低嵌入率空域隐写分析∗
5. 融合多种特征的恶意URL检测方法∗
6. 抗量子计算的多变量盲签名方案∗

计算机体系结构

1. 神威太湖之光上分子动力学模拟的性能优化∗
2. 一种基于两级缓存的协同缓存机制∗