有向拓扑及其在并发计算理论中的应用

工具

查询更多基金项目 | 智能选刊推荐

该负责人其他项目

• 费托合成单相碳化铁催化剂体系CO₂生成和调控机制研究（国自然，刘兴武，2025）
• 费托合成单相铁碳物相调控机制及其本征反应性能研究（国自然，刘兴武，2021）
• 算法洛瓦兹局部引理：冲破Shearer边界的束缚（国自然，刘兴武，2020）
• FexM（M = B、C、N、Si、P）二元化合物催化剂设计及其费托合成反应性能研究（国自然，刘兴武，2018）
• 分布式决策问题的同步度研究（国自然，刘兴武，2011）

中国科学院计算技术研究所其他项目

• 《计算机研究与发展》学术期刊项目（国自然，侯丽珊，2025）
• 三维人-场景协同建模：基于世界模型的多模态理解与规划（国自然，侯瑞兵，2025）
• 基于2D-3D互优化的交互式数字人视频生成关键技术研究（国自然，唐帆，2025）
• 数据驱动的处理器逻辑自动设计（国自然，承书尧，2025）
• 基于内容的论文信息传播（国自然，李刚，2025）
• 高性能、高可移植的混合并行模型跨设备迁移技术研究（国自然，李明真，2025）
• 基于自动生成规则的张量扩展指令生成（国自然，毕钧，2025）
• 面向开放场景的多域兼容学习（国自然，王子泰，2025）

计算机科学的基础理论学科其他项目

• 算法洛瓦兹局部引理：冲破Shearer边界的束缚（国自然，刘兴武，2020）
• 面向多业态多用户边缘车载云服务的任务安全卸载与可靠调度系统研究（国自然，任爽，2020）
• 参数近似算法（国自然，郭炅，2020）
• 交互式定理证明工具和证明自动化技术研究（国自然，詹博华，2020）
• 基于指数时间假设的纳什均衡算法与复杂性研究（国自然，刘正阳，2020）
• 命题公式的结构熵在信息传播算法求解SAT问题中的应用研究（国自然，王晓峰，2020）
• 面向完整性和可用性的智能合约形式化分析与修复方法研究（国自然，李希萌，2020）
• 基于知识图谱表示的多模态数据特征提取与融合研究（国自然，高岭，2020）

相关期刊推荐

该学科领域可投稿的高影响期刊：

• ACM Computing Surveys（IF 30.400，JCR Q1）
• Nature Machine Intelligence（IF 29.800，JCR Q1）
• IEEE Transactions on Pattern Analysis and Machine Intelligence（IF 20.400，JCR Q1）
• Nature Computational Science（IF 20.300，JCR Q1）
• Journal of Big Data（IF 10.800，JCR Q1）