搜尋結果
阿迪·萨莫尔——密码学领军人物. 栏目： iis7百科 时间：2019-11-22 11:30. Adi Shamir博士出生于以色列特拉维夫。. 他于1973年在特拉维夫大学获得数学学士学位，并分别于1975年和1977年在以色列的魏兹曼科学研究所获得了计算机科学的硕士学位和博士学位。. 他的博士 ...
2019年11月18日 · 第一种是使用浮点算术子例程在定点算术组件上实现浮点运算。 最早的浮点算术子例程由1970年图灵奖获得者Wilkinson在图灵设计的ACE计算机上实现。 冯·诺伊曼（von Neumann）提出了第二种方法，该方法在定点数上添加了“比例因子”，使其成为实用的浮点数。 这种方法很巧妙，但是比例因子的设置已成为程序员的头疼问题，因为有时操作的中间结果和最终结果难以准确估算，因此比例因子选择得太小，导致计算上溢；比例因子选择过多，会影响操作的准确性。 后来，巴克斯和他的同事赫里克（Herrick）开发了一个名为Speedcoding的软件，该软件根据问题自动解决并修复了缩放系数。 这两种方法都通过软件实现浮点运算。
理查德·费曼当时就想到如果用量子系统所构成的计算机来模拟量子现象则运算时间可大幅度减少，从而量子计算机的概念诞生了，这被认为是最早量子计算机的思想。 各国都在深入研究这“量子计算机” 1.2000年10月开始，日本为期5年的量子计算与信息计划，重点研究量子计算和量子通讯的复杂性、设计新的量子算法、开发健壮的量子电路、找出量子自控的有用特性以及开发量子计算模拟器。 2.2007年，加拿大DWave公司成功研制出一台具有16昆比特的“猎户星座”量子计算机，并于2008年2月13日和2月15日分别在美国加州和加拿大温哥华展示他们的量子计算机。 3.2009年11月15日，美国国家标准技术研究院研制出可处理两个昆比特数据的量子计算机。
2019年11月21日 · 魏茨曼科学研究学院数学博士。 在斯坦福大学做博士后时转而研究计算机科学。 由于程序的行为是一种动态现象，其状态是随着时间的推移而不断改变的 ，而这种改变又可能反过来影响其外部环境。 并发反应式程序的这种持续的动态行为无法用经典逻辑描述，由著名的逻辑学家霍恩 (A．Hom)于1951年提出，因而用他的名字命名的至多包含一个正文字的Hom子句所组成的霍恩逻辑也不能描述。 而伯努利的PLTL则凭着它的极强的表达能力，填补了这一空白，成为研究并发程序尤其是持续不终止的反应式程序 (如操作系统，网络通信协议等)的强有力的形式化工具，可充分表达程序的安全性、活性和事件的优先性等，成为程序规约 (specification)、验证 (verification)等的有力工具。
2021年9月19日 · Hierarchical Softmax. Hierarchical Softmax的思想是利用哈夫曼树。. 这里和逻辑回归做多分类是一样的。. 1. 逻辑回归的多分类. One VS Rest. 将class1看作正样本，其他全部看作负样本，训练第一个分类器C1；. 接着将class2看作正样本，其他类型（包括class1）全部看作负 ...
2019年11月19日 · 栏目： iis7百科 时间：2019-11-19 09:38. Juris Hartmanis是美国杰出的理论计算机科学家。. 康奈尔大学计算机科学教授。. 哈特马尼斯是拉脱维亚人，生于1928年。. 二战期间，为躲避战火，哈特马尼斯一家人背井离乡，沦为“流民” (displaced person)。. 1993年，他和 ...
2019年12月13日 · 杰弗里·欣顿（Jeffrey Hinton），1947年12月6日，英国出生，计算机科学和认知心理学领域的研究员。. 以神经网络研究而闻名。. 目前在多伦多大学和Google任职。. 欣顿目前是多伦多大学特聘教授，以他的人工神经网络而出名，被称为“神经网络之父 ...
