搜索结果: 1-3 共查到“可计算性理论 2020”相关记录3条 . 查询时间(1.656 秒)
由中国科学院院士和中国工程院院士评选的2020年中国十大科技进展新闻1月20日在京揭晓。北京大学应用物理与技术研究中心陈默涵研究员及其学生路登辉（北京大学工学院2019级工程力学硕士）与合作团队共同完成的研究成果“机器学习模拟上亿原子：中美团队获2020高性能计算应用领域最高奖项戈登贝尔奖”入选。在美国当地时间2020年11月19日举行的全球高性能计算、网络、存储和分析大会（SC20）中，团队凭借...
2021年1月11日，中国计算机学会（China Computer Federation, CCF）公布了2020年“CCF杰出教育奖”名单。合肥工业大学计算机与信息学院李廉教授因其在中国高等教育发展方面的杰出贡献被CCF奖励委员会授予2020年“CCF杰出教育奖”。“CCF杰出教育奖”是全国一级学会中国计算机学会授予的崇高荣誉，在学术教育界被认定为权威的荣誉和重要的职业成就。“CCF杰出教育奖”...
近日，计算机学院于戈教授研究团队的论文“Powerlog: A High Performance Datalog System with Automatic Conversion for Recursive Aggregate Data Processing”被数据库顶级会议SIGMOD 2020接收。