科言猫
学术研究的AI总结
首页
文献互助
订阅
我的收藏
科研工具
选题分析
论文总结
专利管理
未登录
返回
期刊详情
T
THEORETICAL COMPUTER SCIENCE, NCTCS 2025
IF
论文数
6
被引数
相关解读
0
订阅
期刊论文
6
相关解读
0
期刊论文
6
发表时间
发表时间
IF
被引数
Spiking Neural Network Based on Bidirectional Variational Anomaly Detection for Knowledge Tracing
基于双向变分异常检测的知识追踪脉冲神经网络
THEORETICAL COMPUTER SCIENCE, NCTCS 2025
IF
0
2026-01-01
0
PRE
AI
Hu, Jinru; Chen, Mingkun; Zhu, Yige; Chen, Jianrui
分享
收藏
PSVM-MR: A Parallel Support Vector Machine Algorithm Based on MapReduce
PSVM-MR:一种基于MapReduce的并行支持向量机算法
THEORETICAL COMPUTER SCIENCE, NCTCS 2025
IF
0
2026-01-01
0
PRE
AI
Guo, Bin-bin; Mao, Yimin; Yaser, A.; Chandrasekaran, Neelakandan; Kang, Le; Li, Wenhao; Miao, Decheng
分享
收藏
The State Transition Self-learning Framework Based on Generalized Intuitionistic Fuzzy Kripke Structure
基于广义直觉模糊克里普克结构的状态转换自学习框架
THEORETICAL COMPUTER SCIENCE, NCTCS 2025
IF
0
2026-01-01
0
PRE
AI
He, Yuxuan; Yang, Chao
分享
收藏
Semi-online Scheduling Problem of Two Identical Machines with Delayed Discount
两台相同机器的半在线调度问题与延迟折扣
THEORETICAL COMPUTER SCIENCE, NCTCS 2025
IF
0
2026-01-01
0
PRE
AI
Luo, Qingyu; Yang, Yaru
分享
收藏
A Truthful Resource Allocation and Task Offloading Mechanism of Internet of Vehicles Edge Computing Based on Joint Optimization
基于联合优化的车联网边缘计算的资源分配与任务卸载机制
THEORETICAL COMPUTER SCIENCE, NCTCS 2025
IF
0
2026-01-01
0
PRE
AI
He, Xing; Pi, Hongyu; Liu, Xi; Yang, Xutao
分享
收藏
Sequential Equivalence Checking for Specialized IR via Instrumentation-Based Symbolic Execution
通过基于插桩的符号执行对专用中间表示进行顺序等价性检查
THEORETICAL COMPUTER SCIENCE, NCTCS 2025
IF
0
2026-01-01
0
PRE
AI
Cheng, Zi; Zhang, LeFei
分享
收藏