搜索结果: 1-3 共查到“可计算性理论 2020”相关记录3条 . 查询时间(0.771 秒)
由中国科学院院士和中国工程院院士评选的2020年中国十大科技进展新闻1月20日在京揭晓。北京大学应用物理与技术研究中心陈默涵研究员及其学生路登辉(北京大学工学院2019级工程力学硕士)与合作团队共同完成的研究成果“机器学习模拟上亿原子:中美团队获2020高性能计算应用领域最高奖项戈登贝尔奖”入选。在美国当地时间2020年11月19日举行的全球高性能计算、网络、存储和分析大会(SC20)中,团队凭借...
近日,计算机学院于戈教授研究团队的论文“Powerlog: A High Performance Datalog System with Automatic Conversion for Recursive Aggregate Data Processing”被数据库顶级会议SIGMOD 2020接收。