2015年11月,计算界因László Babai证明了图同构问题的消息而议论纷纷。如果Babai的结果经得起检验,它很可能成为理论领域最著名的结果之一。
摩西·y瓦迪
第5页
在应用程序的本机模式实现和基于浏览器的实现之间需要进行权衡。
文顿·g·瑟夫
第7页
部门:给编辑的信
关于“禁止杀人机器人的案例”(2015年12月)关于致命自主武器系统的争论,双方似乎都同意武器“一旦被激活,将能够选择和打击目标……
CACM员工
页8 - 9
部门:BLOG@CACM
Mark Guzdial发出“行动呼吁”,鼓励高中提供计算机科学原理的先修课程,并鼓励学生参加。
马克Guzdial
12 - 13页
专栏:新闻
机器人正在被教导在受损时进行头脑风暴以寻找替代方案。
克里斯•爱德华兹
页15 - 17日
网络专家分享了他们对可能摧毁互联网的攻击和事故的最大担忧。
洛根Kugler
18 - 20页
斯诺登的爆料迫使变革,但Facebook(和其他公司)抵制。
汤姆·盖勒
页面研讨会
ACM表彰了42名成员,他们在数据管理、语音语言处理、机器人和密码学等领域对计算的发展和应用做出了重大贡献。
CACM员工
24页
专栏:经济和业务方面
寻求更好地理解数字转型。
彼得·埃文斯,拉胡尔·巴索勒
页面的代谢途径
专栏:隐私和安全
随着技术的进步,我们必须学习什么来支持隐私要求?
卡尔后备军人
页面29-31
列:教育
在国家层面影响计算机科学教育。
Rick Adrion, Renee Fall, Barbara Ericson, Mark Guzdial
页面尺码
专栏:Kode恶性
提交,以及总结图表的美感。
乔治诉Neville-Neil
页面35-36
专栏:观点
从研究领域转向现实世界的商业应用。
Satish Chandra, Suresh Thummalapenta, Saurabh Sinha
页面37-39
考虑到一个远不止收集电话元数据的有争议的话题。
赫伯特•林
页面40-42
部分:练习
大数据使得通用模式变得更加必要。
r·v·古哈,丹·布里克利,史蒂夫·麦克白
页面44-51
增加对系统正确性信心的从业者指南。
Caitie麦
页面52-55
一个来自计算新闻的观点。
尼古拉斯Diakopoulos
56 - 62页
部分:文章的贡献
这个由近1亿张照片和视频组成的公开数据集对所有人都是免费和合法的。
Bart Thomee, David A. Shamma, Gerald Friedland, Benjamin Elizalde, Karl Ni, Douglas Poland, Damian Borth, Li- jia Li
64 - 73页
节:图灵讲座
事实证明,骑车穿越美国不仅仅是构建系统软件的一个方便的比喻。
迈克尔Stonebraker
74 - 83页
部分:文章的贡献
来自电话互动的数据可以帮助解决客户的投诉,并预测他们未来的购买行为。
沈俊平,高俊杰,S. Fister,徐海英
84 - 90页
部分:评论文章
数据库研究人员将大数据描绘为一个决定性的挑战。要充分利用眼前的巨大机遇,就需要专注于五个研究领域。
Daniel Abadi, Rakesh Agrawal, Anastasia Ailamaki, Magdalena Balazinska, Philip A. Bernstein, Michael J. Carey, Surajit Chaudhuri, Jeffrey Dean, AnHai Doan, Michael J. Franklin, Johannes Gehrke, Laura M. Haas, Alon Y. Halevy, Joseph M. Hellerstein, Yannis E. Ioannidis, H. V. Jagadish, Donald Kossmann, Samuel Madden, Sharad Mehrotra, Tova Milo, Jeffrey F. Naughton, Raghu Ramakrishnan, Volker Markl, Christopher Olston, Beng Chin Ooi, Christopher Ré, Dan Suciu, Michael Stonebraker, Todd Walter,
92 - 99页
部分:研究亮点
在《匹诺曹:近乎实用的可验证计算》中描述的系统完善了Gennaro等人的一个重要理论进展。这两个作品在速度、通用性和功能性方面都有了显著的改进……
迈克尔·米岑马赫,贾斯汀·塞勒
102页
我们将介绍匹诺曹(Pinocchio),这是一种仅依靠密码假设有效验证一般计算的构建系统。
布莱恩·帕诺,乔恩·豪厄尔,克雷格·金特里,玛丽安娜·瑞科娃
103 - 112页
《随机规划优化》一书的作者开发了一种随机搜索技术,并将其应用于规划优化。
苏米特Gulwani
113页
通过将转换正确性的约束编码为成本函数中的项,并使用马尔可夫链蒙特卡罗采样器来探索所有可能的代码序列的空间,我们能够生成积极优化的…
Eric Schkufza, Rahul Sharma, Alex Aiken
114 - 122页
专栏:最后一个字节
社交网络有时会让我们变得比我们应该成为的更多。
肯•麦克劳德
页128 - ff