实时环境下概率程序的符号验证方法及其参数化扩展

工具

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

该负责人其他项目

• 重复频率弱光触发下非线性光电导开关的时间抖动特性及其调控研究（国自然，徐鸣，2022）
• 量子马尔可夫模型上的符号验证方法及其扩展研究（国自然，徐鸣，2022）
• 瑶族“古法制鼓”传统技艺的保护与传承研究（国社科，徐鸣，2021）
• 高度仿生多级结构碳纳米管粘附材料的制备及其在多种环境应用下的粘附机制研究（国自然，徐鸣，2019）
• kHz弱光触发下非线性光电导开关的高倍增效应调控和击穿机理研究（国自然，徐鸣，2018）
• 碳纳米管干胶超高/低温下的粘附性能研究（国自然，徐鸣，2015）
• 基于整体性治理的地方政府市场监管体制改革研究（国社科，徐鸣，2014）
• 碳纳米管分布形态对复合材料宏观性能的影响及强化机制的研究（国自然，徐鸣，2014）

华东师范大学其他项目

• 显隐式策略双驱动的场景关联人物动作生成技术研究（国自然，龚靖渝，2025）
• 社会情感动态变化的计算神经机制：基于人际关系认知的预期编码模型（国自然，高晓雪，2025）
• 大模型驱动的广告内容分析、创作与效果预测：基于多技术融合的方法与应用（国自然，马雪静，2025）
• 基于植物源RNA编辑因子的新型精准胞嘧啶编辑器开发与应用（国自然，邱昱皓，2025）
• 基于光-原子强耦合级联量子放大过程的精密测量研究（国自然，袁春华，2025）
• 基于人类认知对齐的群体决策社会模拟研究及其应用（国自然，苌琦，2025）
• 中红外上转换压缩超快成像（国自然，秦瑞阳，2025）
• 基于编码的密码体制中Goppa码的相关问题研究（国自然，甘春雨，2025）

计算复杂性与符号计算学科其他项目

• 非线性传播模型解析近似解的并行符号算法研究（国自然，林晔智，2019）
• 理想插值算子的离散逼近研究及其应用（国自然，姜雪，2019）
• 基于图论的多项式系统求解（国自然，牟晨琪，2019）
• Serre的相关猜想与多维矩阵的Serre约化研究（国自然，刘金旺，2019）
• 微分差分代数的相交理论与高效消元算法（国自然，李伟，2019）
• k-d-CSP模型的解空间结构和无回溯算法研究（国自然，徐伟，2018）
• 环的Gr？bner性质及多元多项式矩阵的分解与等价问题研究（国自然，李冬梅，2018）
• 参数Groebner系统的算法研究及其在化学系统中的应用（国自然，马晓栋，2018）

相关期刊推荐

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

• 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）