为什么被审评单位和审评委员会都付出了巨大的努力,但学术单位的审评却收效甚微?我认为有三个主要原因。
摩西·y瓦迪
第5页
在某种程度上,大的想法是组织原则,它们指向有用的研究、开发和工程的方向。有趣的是,这些简单陈述的目标也可能促进商业模式的发展。
文顿·g·瑟夫
第7页
部门:给编辑的信
计算思维技能对于计算应用程序构造者和一般的计算用户有多重要?
CACM员工
8页
部门:BLOG@CACM
Jeannette Wing认为计算思维的扩散,而Dan Stanzione则希望将更多的高性能计算从业者带到SC16。
珍妮特·m·温,丹·斯坦齐恩
第10 - 11页
专栏:新闻
图同构的一个理论突破让复杂性专家兴奋不已,但它会带来任何实际的改进吗?
尼尔·萨维奇
12 - 14页
最新的机器学习技术帮助高能物理学家处理大型强子对撞机产生的海量数据。
玛丽娜Krakovsky
15 - 16页
计算机研究协会致力于量化计算机科学本科入学人数激增的程度和原因。
劳伦斯·m·费雪
页17 - 18
新的应用程序帮助个人对抗交通和停车罚单。
基思·柯克帕特里克
19 - 21页
专栏:法律上来说
评估最近一项重要的设计专利侵权法院判决。
帕梅拉·萨缪尔森
第22 - 24页
专栏:历史的反思
他1963年的综合数据存储为后来所有的数据库管理系统树立了模板。
托马斯·黑格
25 - 30页
专栏:计算伦理
考虑到大数据分析的出现,重新思考传统的研究伦理。
雅各布·梅特卡夫
页33节
专栏:观点
一项防止人工智能系统被误认为人类的法律提案。
托比·沃尔什
页面34-37
寻求一个基于市场的解决方案,以解决一个人不合理地无法获取其私人信息的问题。
尤里·古里维奇,埃菲姆·胡迪斯,珍妮特·m·温
页面38-42
部分:练习
公认的智慧并不总是正确的。
萨钦日期
页面44-51
减少浪费,鼓励实验,让每个人都快乐。
托马斯·a·Limoncelli
页面52-57
将统计技术应用于运营数据。
海因里希·哈特曼
58 - 66页
部分:文章的贡献
可满足性模理论求解器可以帮助自动搜索可观察软件错误的根本原因。
Abhik Roychoudhury, Satish Chandra
68 - 77页
谷歌的单块存储库为世界各地成千上万的开发人员提供了一个通用的真相来源。
Rachel Potvin, Josh Levenberg
78 - 87页
普遍常数λ,即多米诺的生长常数(如俄罗斯方块),被严格证明大于4。
吉尔·巴雷凯,GÜnter Rote,米拉·沙拉
88 - 95页
部分:评论文章
如今的社交机器人非常复杂,有时甚至具有威胁性。事实上,它们的存在会危及网络生态系统和我们的社会。
埃米利奥·费拉拉,奥努尔·瓦罗尔,克莱顿·戴维斯,菲利波·门泽,亚历山德罗·弗拉米尼
96 - 104页
部分:研究亮点
在“概率定理证明”中,Gogate和Domingos提出了如何通过从分支点的子集合中采样,将PTP转化为一个快速近似算法。
亨利·考茨,帕拉格·辛格拉
106页
近年来提出了许多一阶逻辑与概率相结合的表示方案。我们提出了第一种方法,它具有图形模型推理和一阶定理证明的全部能力…
Vibhav Gogate, Pedro Domingos
107 - 115页
在“Mesa:谷歌广告系统的地理复制在线数据仓库”中描述的Mesa系统所解决的挑战是每天产生数十亿次点击的谷歌广告规模的报告。
山姆·马登
116页
Mesa是一个高度可扩展的分析数据仓库系统,存储与谷歌的互联网广告业务相关的关键测量数据。本文介绍了Mesa系统,并报道了该系统的性能和规模。
Ashish Gupta,范阳,Jason Govig, Adam Kirsch, Kelvin Chan, Kevin Lai, Shuo Wu, Sandeep Dhoot, Abhilash Rajesh Kumar, Ankur Agiwal, Sanjay Bhansali, Mingsheng Hong, Jamie Cameron, Masood Siddiqi, David Jones, Jeff Shute, Andrey Gubarev, Shivakumar Venkataraman, Divyakant Agrawal
117 - 125页
专栏:最后一个字节
一群人围坐在你的餐桌旁,只有一张空椅子。每个人的名字都以不同的字母开头:a、B、C……因为你喜欢拼图,你要求他们重新排列自己…
丹尼斯沙沙村
128页