尤里斯·哈特马尼斯

✍ dations ◷ 2025-06-28 04:45:13 #1928年出生,在世人物,图灵奖获得者,美国计算机科学家,拉脱维亚计算机科学家,康乃尔大学教师,加州理工学院校友,美国国家工程院院士,美国国家科学院院士,美国计

尤里斯·哈特马尼斯 (英语:Juris Hartmanis,1928年7月5日-)是一名美国杰出的理论计算机科学家。康奈尔大学计算机科学的一名教授。

1993年,他与理查德·斯特恩斯一起因在计算复杂性理论取得的杰出贡献而获得图灵奖。

相关

  • 受精卵受精卵(zygote、合子)在发育生物学中用来描述生物的第一阶段,此时它只是一个单细胞。这个词也会被较为宽松地运用于经过最初几分裂后的细胞,虽然严格地讲这一阶段应称为卵裂球(分
  • 乡间别墅契克斯(Chequers),又名契克斯阁(Chequers Court),是一所位于英格兰白金汉郡艾尔斯伯里(Aylesbury)东南方,埃尔斯加堡(Ellesborough)附近,奇尔特恩丘陵(Chiltern Hills)山脚的庄园宅第(count
  • 塞内加尔华人,在塞内加尔人口虽少但正不断增长,主要是由20世纪80年代抵达的中华人民共和国移民组成。在八十年代起,中华人民共和国移民开始诠进入塞内加尔。塞内加尔总统阿布杜·迪乌夫
  • 共轭酸共轭酸碱对(conjugate pairs)根据酸碱质子理论,一分子或离子 X− (以负一价离子为例)的共轭酸是该分子或离子得到一个质子后的产物 HX,而 X− 则为 HX 的共轭碱,X−和 HX 组成一
  • 太阳质量太阳质量(符号为M☉)是天文学上用于表示恒星、星团或星系等大型天体质量的质量单位,定义为太阳的质量,约为2×1030千克,表示为:1个太阳质量是地球质量的333000倍。太阳质量也可以
  • 电子稳定程序电子稳定程序,亦称车身动态稳定系统(英语:Electronic Stability Program,德语:Elektronisches Stabilitätsprogramm,常缩写为ESP®),又称电子稳定控制系统(Electronic Stability Con
  • 鬼镇鬼镇(英语:Ghost town),又称鬼城,是指一整个因为经济、环境种种因素,而被荒废、放弃居住的城镇。在美国西部与西伯利亚存在许多鬼城。中文有“废墟”一词相当接近鬼城的说法,但废墟
  • 霍华德·弗洛里,弗洛里男爵霍华德·华特·弗洛里,弗洛里男爵,OM,FRS(英语:Howard Walter Florey, Baron Florey,1898年9月24日-1968年2月21日),澳大利亚药理学家,由于对盘尼西林的研究而与恩斯特·伯利斯·柴恩
  • 英国联邦汽车英国联邦汽车(UK Commonwealth Automobile CO., LTD),总部位于英国伦敦,主力纯电动车研发,在插电式纯电动车领域取得进展, 公司拥有法拉利汽车的研发团队。英国联邦汽车旗下有Ecov
  • 专家组报告专家组报告(Panel Report)是世界贸易组织争端解决机制裁决的一个环节。通常而言,在世界贸易组织成员之间发生贸易纠纷时,世界贸易组织将设立独立的专家组(Panel)来审理争端。专家