艾伦·爱默生

✍ dations ◷ 2025-01-11 11:18:40 #艾伦·爱默生

艾伦·爱默生(英语:Ernest Allen Emerson,1954年6月2日-)是一名美国德克萨斯州大学奥斯汀分校计算机科学家和荣誉教授。2007年,他与爱德蒙·克拉克和约瑟夫·斯发基斯一起因在model checking(英语:Model checking)取得的杰出贡献而获得图灵奖。

Template:Kanellakis Award laureates

相关

  • 尘螨科Hyporder 无气门小目 Astigmata尘螨科(学名:Pyroglyphidae)是恙螨目甲螨亚目无气门小目之下的一个科,包括有19个属,56个物种。 旧属尘螨总科((Pyroglyphoidea),今属Analgoidea总科。
  • 高气压高气压是指一个气压高于周边地区的区域,是为反气旋。在北半球高气压区域内的空气作顺时针方向旋转,在南半球则逆时针方向。高气压区一般风力比较小,空气下沉。通过绝热过程下沉
  • 六三罢工1919年6月3日,北京军阀政府大规模逮捕爱国学生引起了上海等各地工人的爱国大罢工。1919年5月4日由北京学生发起,迅速发展到全国各地的五四爱国运动是一次空前伟大的反帝反封建
  • 颈动脉痛颈动脉综合症是一种颈动脉单侧(一侧)分叉附近压痛为特征的综合征。它最早由Temple Fay于1927年描述。软骨异常的最常见原因可能是偏头痛,然后通常是可自愈性的。常见的偏头痛治
  • 安妮·恩莱特安妮·恩莱特(英语:Anne Enright, 1962年10月11日-)爱尔兰作家。她毕业于东英吉利亚大学创意写作课程。她与她的丈夫和孩子住在威克洛郡布瑞。她出版了散文,短篇小说,非小说书籍与
  • 位移贴图置换贴图是使用高度图将经过纹理化的表面上实际几何点位置沿着表面法线根据保存在纹理中的数值进行移位的技术,这是与凹凸贴图、法线贴图以及视差贴图不同的技术。多年以来,置
  • 公园路后制公司公园路后期制作公司(英语:Park Road Post)是新西兰的一家电影后期制作公司,属于维塔工作室;其场地位于威灵顿郊区的美丽华(英语:Miramar, New Zealand)。曾参与多部电影的后制工作,包
  • 星舰笑传2《星舰笑传2》(英文:Trekkies 2)是一部由罗杰·尼加导演的美国纪录片,主要讲述《星际旅行》系列的影迷活动,是《星舰笑传》的续集。2003年,《星舰笑传2》正式开拍,在《星际旅行:下一
  • 中国生物多样性保护与绿色发展基金会中国生物多样性保护与绿色发展基金会是中华人民共和国全国性公募基金会,是中国科学技术协会主管的社会团体,简称中国绿发会、绿会,1985年成立。胡德平曾任理事长,现为党委书记。
  • 天秤座23天秤座 23(英语:23 Librae)是位于天秤座的一颗黄矮星,距离太阳大约83.7光年。天秤座 23的质量大约是1.05太阳质量,半径是太阳的1.25倍。根据视差测量,天秤座23距离地球85光年(26秒差距)。光谱分类为G5 V,其中的亮度等级“V”代表这颗星是一颗正在进行热核聚变的主序星。其有效温度约为5,585 K,因此被归类为G型主序星。这颗星的年龄介乎于84至111亿年之间,比太阳年老近一倍。天秤座23比太阳稍大,其质量约为太阳的107%,而半径则约为太阳的125%。这颗星内除氢和氦的元素丰度