#计算

2021-6-19 22:36
数学困惑:KurtGödel(图片在1935年向他展示)图片:图片联盟 关于开创性的性能,曾经撕裂了数学 - 并最终建立了理论计算机科学。客人贡献。 今年,我们庆祝KurtGödel的突破性工作成立90周年,其成立了1931年的现代理论计算机科学和人工智能理论(AI)。戈德尔通过学术界派遣冲击波,因为他......
2021-6-19 6:46
我的旅程于1987年与C64一起开始,我的基本建造了第一个游戏。 在90' s,pascal成了我的伴侣,Amiga 500和PC-at遵循。 1997年,我切换到Linux,我的CS研究来自Perl和Java。 从2006年起,我创立了几个基于Rails和Ruby的初创公司 - 仍然是我最喜欢的。 Java......
2021-6-11 17:23
每一个现在,我最终不得不向怀疑的人解释为什么他们的节目如何对待他们摄取的数字。通过IEEE 754和双打,人们似乎认为可以毫不可热地添加一堆数字和平均值,并获得可靠的准确结果。 事实上,现在的事情比曾经20年前的事情更好。但是,给予足够的数字和足够的操作,仍然可以陷入有趣的不准确性。这是生活中的一个事实,而不是地球......
2021-6-9 21:19
在云计算服务提供商停电后,周二早上的网站速度迅速下降。互联网用户无法访问主要新闻网点,电子商务平台,甚至政府网站。每个人从亚马逊到纽约时报到白宫受到影响。 凌晨6:30左右,很快就表示,它向问题应用了“修复”,而且许多网站似乎在9点et截至9点左右工作。尽管如此,中断突出了支持互联网的基础设施的基础设施 - 尤其是......
2021-6-5 17:53
Quantum Computers,凭借创造新材料和解决棘手的数学问题的承诺,是许多物理学家的梦想。现在,他们正在慢慢接近世界各地的许多实验室的可行实现。但掌握仍有巨大挑战。一个中央是稳定量子位的构造 - 量子计算的基本单元,称为#34; qubit"对于短的 - 可以联网。在一项在自然材料上发表的研究中,由......
2021-6-5 17:53
这是一个演示文稿计算着色器,为什么和方式。 我介绍了Compute着色器的概念,采用其他访问计算能力的其他方式的权衡
2021-6-5 7:50
U.K.本周政府和IBM本周宣布了5亿英镑(29750万美元)的人工智能(AI)和量子计算合作,希望在田野中制定新的发现和开发可持续技术,从生命科学到制造业。 该计划将聘请60名科学家,并为实习生和学生提供IBM研究的主持和U.K.的科学和技术设施委员会(STFC)在德意斯伯里,德斯伯里,柴郡的Hartree Ce......
2021-5-5 20:44
自Ipython笔记本发射以来,今年标志着十年。开源工具,现称为jupyter笔记本,已成为一个非常受欢迎的数据科学套件,其中包含数百万笔记本电脑,存入GitHub代码共享网站。 计算笔记本在单个文档中组合代码,结果,文本和图像,产生了Mathematica软件包的斯蒂芬Wolfram,称为“计算论文”。以及是否使......
Uncomputable Numbers(www.cantorsparadise.com)
2021-4-28 11:13
正如Georg Cantor度过了19世纪的最后一个季度,研究了从他的对角论的发明中出现的不可数套装,普林斯顿大学的研究人员将花费20世纪30年代,研究对未计算的数量的影响(Soare,2013)。特别是,历史突出了两个男人,阿隆佐教堂和艾伦的贡献。 Alonzo Church(1903-1995)是一位美国数......
Landauer's Principle(en.wikipedia.org)
2021-4-24 3:26
跳转到导航跳转以搜索Landauer' S原理是一种物理原则,与计算能耗的较低理论极限有关。它持有该"任何逻辑上不可逆转的信息操纵,例如误差或两个计算路径的合并,必须伴随着信息的非信息自由度的相应熵增加 - 处理设备或其环境" [1] 句子的另一种方法是兰德拉德的原则是,如果观察者丢失关于物......
2021-4-19 22:1
我决定看看我是否只能使用15世纪可以使用的技术制作合适的凹面镜,其目的是从乐透绘画(即54厘米的焦距)计算我们计算的规格的“镜面镜头”直径2.5厘米)。虽然大多数人都自动假设一个“镜子”必须由玻璃制成,但我从金属中制作了这些。金属比玻璃更柔软,因此更容易研磨,并且完成后,表面自动反射,而不需要涂层。 图1显示了我......
2021-4-18 18:34
悉尼大学学生Pablo Bonilla,21岁,他的第一个出版过夜的学术论文,它可能永远改变了计算的形状。 Pablo Bonilla' S的代码抓住了美国大学和科技巨头亚马逊的研究人员的兴趣 该代码是对已经研究过20年的一小部分修改 博尼拉先生于15岁完成了HSC级数学,并被邀请参加悉尼大学项目 作......
2021-4-13 2:59
影子已经落在比赛中,以检测一种新型量子粒子,马太基亚美食家,可以为量子计算机。作为在这一领域工作的人,我担心,在一系列虚假开始之后,马太基亚领域的大部分是愚弄自己。尚未确认尚未被视为检测到Majorana颗粒的几个关键实验,最初被认为是突破。最近的一个案件以大自然的缩写缩回(见大自然591,354-355; 2021......
2021-4-7 22:5
本报告是IDES42与Golub资本社会影响实验室之间的合作的产品,以推进机器学习的实际应用对行为科学政策和现场实验。 本报告的内容旨在寻求更多观众,寻求了解如何了解机器学习如何为行为设计,因果推断和实验增加新技术。 非常感谢施密特期货和阿尔弗雷德P. Sloan基金会,为这一创新合作和研究的慷慨贡献。 本报告以R......
2021-3-29 0:11
下载PDF摘要:我们在1920年在MosesSchönfinkel发明了现代化的计算介绍,并提出了各种新的结果和思想组合者。我们探索用SmallCombinator表达获得的行为的频谱,显示出各种分析和不断化的方法。我们讨论了评估策略以及代表所有可能策略的多道系统的影响。我们展示了最近的基本物理模型中引入的因果图如何......
Reversible Computing(en.wikipedia.org)
2021-3-1 2:12
跳转至导航跳转至搜索可逆计算是一种计算模型,其中计算过程在某种程度上是时间可逆的。在使用从抽象机的一种状态到另一种状态的确定性转换的计算模型中,可逆性的必要条件是,从(非零概率)状态到其后继项的映射关系必须是一对一的。可逆计算是非常规计算的一种形式。 为此,有两种特别重要的密切相关的可逆性类型:物理可逆性和逻辑......
2021-2-24 21:29
Warning: Can only detect less than 5000 characters Warning: Can only detect less than 5000 characters 我的想法是,对于大多数非程序员来说,在通用计算战争中打架的最好方法是在鼓励言论自由和使用通用计算的平台和网络上阅读......
2021-2-21 7:51
下载PDF摘要:仅在20年前才售出了第一部移动照相手机,当时用手机拍照是很奇怪的事,而在网上共享照片是闻所未闻的。如今,智能手机比手机更像相机。这怎么发生的?这种转变是由于计算机摄影技术的进步而实现的。包括机器学习在内的现代算法和计算技术的进步改变了摄影规则,为摄影带来了新的捕获,后处理,存储和共享模式。在本文中,我......
2021-2-17 23:2
加利福尼亚州奥克兰市—去年,亚马逊云计算部门的杰出高管兼出色的企业博客作者杰夫·巴尔(Jeff Barr)庆祝自己的60岁生日时,科里·奎因(Corey Quinn)感到惊讶:音乐录影带嘲笑了亚马逊的业务。 “杰夫,你能给我写一篇入门博客文章吗?”一位卡通亚马逊经纪人唱着比利·乔尔(Billy Joel)的《钢琴人......
2021-1-16 17:15
有时,解决问题的Python方法会随着时间而改变。随着Python的发展,用Python方式计算列表项的方式也是如此。 我们来看一下计算事物在列表中出现的次数的不同技术。在分析这些技术时,我们只会关注代码样式。稍后我们会担心性能。 我们需要一些历史背景来理解这些不同的技术。幸运的是,我们生活在__future__......
2020-12-26 0:35
Gerald Jay Sussman是MIT的Panasonic EE教授。 Sussman是MIT计算机科学教科书“计算机程序的结构和解释”的合著者(与Hal Abelson和Julie Sussman一起)。 萨斯曼(Sussman)为人工智能做出了许多重要贡献,他的前学生盖伊·斯蒂尔·小(Guy L. Stee......
2020-12-16 5:2
在此博客文章中,我们将分解张量计算库的实际含义以及它们之间的区别。我们将详细介绍一些流行的库,最后以当代张量计算库为背景对Theano的未来进行观察。 我对张量计算库(或计算图库,或符号代数库,或当今它们正在推销的任何内容)感到困惑。 我最初被介绍给PyTorch和TensorFlow,并且在没有其他参考的情况下......
2020-12-12 17:48
LWN订户已为您提供以下仅订阅的内容。 成千上万的订户依靠LWN获得Linux和自由软件社区的最佳消息。 如果您喜欢本文,请考虑接受右侧的试用版。 感谢您访问LWN.net! 免费试用LWN 1个月:无需付款或信用卡。 立即激活您的试用订阅,并查看为什么成千上万的读者订阅LWN.net。 毫无疑问,通用计算为世界......
2020-12-10 15:41
我们认为过去半个世纪中最重要的统计思想是:反事实因果推理,基于自举和基于仿真的推理,超参数化模型和正则化,多层模型,通用计算算法,自适应决策分析,鲁棒推理和探索性数据分析。这八个想法代表了根据我们的经验和对文学的了解而进行的分类,未按时间顺序或重要性顺序列出。它们是独立的概念,涵盖了统计方面不同的有用和一般的发展。我......
2020-12-8 4:18
我坚决解决激光问题。您是否正在遭受两极分化的社会和生活在贫困线以下的快速增长的人口的困扰?好吧,我有激光来解决您的所有问题。 好吧,也许不行。但是,在量子计算方面,我坚信激光是未来。我怀疑当前的架构类似于Colossus或ENIAC:它们本身就是突破,但不是未来。我公认的偏见是,未来是光明的。一篇新论文为我的观点提......
2020-12-6 4:31
到目前为止,在本系列文章中,我们已经研究了梯度下降的一般原理,以及如何计算前馈神经网络中每一层的反向传播,然后概括了一下CNN中不同类型层的反向传播。 现在,我们将退后一步,从更一般的意义上来看反向传播-通过计算图。通过这一过程,我们将大致了解框架如何计算其 我们将使用LSTM单元作为激励示例-继续对IMDB评论......
2020-11-29 6:37
我想到的一些计算机想法让我很喜欢思考并写下来。请参阅该系列的其他页面。 读取使用糟糕名称的代码很痛苦。我们可以通过收集对等的贡献和投票名称来改进编写的代码。 每个人都共享相同代码库的基于Web的框架代码库。允许人们进行优化,使每个人同时受益。 应用程序宣传它们可以被搜索。激活系统范围的搜索时,将为每......
2020-11-25 14:15
想象一下玛莎(Martha),一个八十岁的老人,他独立生活并使用轮椅。她家中的所有物品都进行了数字分类;所有传感器和控制对象的设备均已启用Internet;她家的电子地图已与对象地图合并。当玛莎(Martha)从她的卧室移到厨房时,灯光会打开,环境温度也会随之调整。如果她的猫越过椅子,椅子将变慢。当她到达厨房时,桌子......
2020-11-10 4:44
假设我正在为我的两个朋友在泽西城排队时点玉米煎饼,并想要计算我点的总价: 在这样编写的电子表格中跟踪数据流有点令人困惑,所以我希望您不介意将其表示为图形的等价图: 我们把El Farolito超级素食玉米煎饼的价格四舍五入到8美元,所以假设每个玉米煎饼的送货费用仍然只有2美元,那么我们两个玉米煎饼的总价看起来将是20......
2020-11-4 15:30
宾夕法尼亚州大学公园。-随着传统计算的进步放缓,新的计算形式脱颖而出。在宾夕法尼亚州立大学,一组工程师正试图开创一种模拟大脑神经网络效率的计算方式,同时利用大脑的模拟特性。 现代计算机是数字化的,由两种状态组成,即开-关或一加零。模拟计算机和大脑一样,有许多可能的状态。这是打开或关闭电灯开关和将调光开关调到不同照明量......