理论计算机科学

作品数：59被引量：30H指数：3
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：林伟沈恩绍严士健许进潘林强更多>>
相关机构：中国计算机学会哈尔滨师范大学华中科技大学上海交通大学更多>>
相关期刊：《哲学动态》《计算机研究与发展》《软件学报》《国外科技新书评介》更多>>
相关基金：国家自然科学基金上海市重点科学建设项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
2025CCF全国理论计算机科学学术年会征稿
《计算机科学与探索》2025年第5期1341-1341,共1页
CCF全国理论计算机科学学术年会(National Conference of Theoretical Computer Science,NCTCS)已成为国内理论计算机科学最主要的学术平台之一。至今,NCTCS已在全国二十多个地区成功举办,为理论计算机科学及相关领域的研究学者提供一...
关键词：理论计算机科学 NCTCS CCF 学术年会 
计算机理论大师的遗憾
《环球人物》2024年第23期96-97,共2页尼克 
蔡廷是一名犹太裔美国理论计算机科学家,生于1947年。他从小就是天才,就读的纽约布朗克斯科学高中贡献了9位诺贝尔奖获得者、2位图灵奖获得者。蔡廷18岁就发表关于自动机时钟同步文章。高中毕业后,他进入号称“穷人的哈佛”的纽约城市...
关键词：理论计算机科学 理论大师 诺贝尔奖获得者 冯诺依曼 时钟同步 自动机 戴维斯 图灵奖 
图灵奖获得者JOHN HOPCROFT教授将出席CNCC2024作特邀报告
《计算机科学》2024年第9期282-282,共1页
John Hopcroft教授,这位在计算机科学界熠熠生辉的名字,不仅是中国科学院外籍院士,还同时荣膺美国国家科学院、工程院以及艺术与科学院三院院士的崇高荣誉!他的研究深耕于理论计算机科学领域,成就斐然,包括1986年的ACM图灵奖、2010年的I...
关键词：美国国家科学院 理论计算机科学 图灵奖 特邀报告 成就斐然 美国工程院 
2024年图灵奖获得者艾维·维格森
《高等数学研究》2024年第3期41-41,共1页林伟 
2024年图灵奖被普林斯顿高等研究院教授艾维·维格森(Avi Wigderson)摘得,以表彰其在计算理论的基础性贡献,包括重塑人类对计算中随机性作用的理解,以及数十年来在理论计算机科学领域的领导地位.维格森教授是首个同时拿下数学和计算机...
关键词：理论计算机科学 图灵奖 格森 随机性 获得者 
算法险峰的攀登者——记香港大学计算机科学系副教授黄志毅
《科学中国人》2023年第12期52-55,共4页王芳 户万 
哪怕是没有攀登的日子,香港大学(简称“港大”)计算机科学系副教授黄志毅的思绪也会围绕着“岩点”--思考如何完美地调动指尖、脚掌、身体核心,想象动作的姿态与前后的衔接。热爱攀岩,很大程度上因为这项运动与他从事的事业--理论计算...
关键词：计算机科学系 香港大学 理论计算机科学 不确定信息 攀岩 异曲同工 优化问题 
南京大学计算机科学与技术系教授栗师 为近似算法突破贡献技术模型
《中国高新科技》2023年第23期20-21,共2页萧磊 
凭借非凡的计算速度和准确度,计算机大大拓展了人类的思考能力。凭借强大的计算能力,人类已经可以在一定程度上破译生命的密码,也可以破译思想的基因。那么,计算机是如何做到这些的呢?要准确地回答这个问题离不开以南京大学计算机科学...
关键词：计算机科学与技术 理论计算机科学 南京大学 近似算法 思考能力 算法设计 计算能力 破译 
图灵奖得主John Hopcroft说:人才是信息时代的黄金
《科学生活》2023年第11期87-87,共1页无 
“当下,世界正处于信息时代的巨大变革之中,人才将会成为国家发展的关键资源,地位犹如曾经的石油、黄金、农业。优先发展教育、大力投入教育的国家将成为这个时代的强国。”10月25日晚,世界著名理论计算机科学家、教育家、图灵奖获得者...
关键词：理论计算机科学 图灵奖 报告厅 信息时代 人才培养 优先发展教育 中美高等教育 of 
电子科技大学计算机(网安)学院算法与逻辑团队在Information and Computation上发表研究成果
《信息网络安全》2023年第10期38-38,共1页
近日,电子科技大学计算机科学与工程学院(网络空间安全学院)算法与逻辑团队2021级博士生彭俊强以第一作者身份在CCF理论计算机科学领域A类期刊Information and Computation(I&C)上发表题为“Further Improvements for SAT in Terms of F...
关键词：理论计算机科学 网络空间安全 电子科技大学 计算复杂性 计算机科学与工程 SAT问题 作者身份 第二作者 
2021年Abel奖获得者László Lovász和Avi Wigderson访谈录(Ⅰ)
《数学译林》2022年第1期18-28,共11页BjФrn Ian Dundas Christian F.Skau 陆柱家(译) 童欣(校) 
Dundas&Skau(以下简写为"D&S"):Lovász(罗瓦兹)教授,Wigderson(威格森)教授.首先,我们要祝贺你们成为2021年Abel(阿贝尔)奖的获得者.我们引用Abel委员会的颁奖词:“表彰他们对理论计算机科学和离散数学的基础性贡献,以及他们在将它们...
关键词：现代数学 阿贝尔 理论计算机科学 颁奖词 数学的基础性 
2021年数学界最高荣誉阿贝尔奖揭晓
《高等数学研究》2021年第5期32-32,共1页林伟 
2021年数学界最高荣誉阿贝尔奖授予理论计算机和离散数学领域科学家匈牙利的洛瓦兹和美国的维格森.理论计算机科学研究的是计算的能力和局限,包含了两个互补的子学科,一个是算法设计,另一个是计算复杂性.前者涉及到为大量的计算问题开...
关键词：阿贝尔奖 离散数学 理论计算机科学 计算复杂性 算法设计 数学界 算法效率 计算机 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部