部门:部门
1969年,托尼·霍尔(Tony Hoare)在《计算机编程的公理基础》(An Axiomatic Basis for Computer Programming)中提到了数学的确定性、极大的依赖和信心。回想起来,对“数学确定性”的希望是理想化的,并不是完全现实的……
Moshe Y. Vardi
第5页
部门:计算机方面的职业道路:计算机使我能够……
创新的学习方法使人们能够获得在当今职场中至关重要的技能。
维多利亚霍尔特
第7页
部门:编辑信
2021年1月的两栏通信: Michael a . Cusumano的《技术战略与管理》和Thomas Haigh的《历史反思》与工程专业形成了鲜明的对比。
CACM员工
页8 - 9
部门:BLOG@CACM
John Arquilla考虑了海底网络战争的前景,而Judi Fusco, Pati Ruiz和Jeremy Roschelle讨论了如何在教育中建立公平的应用需要强调增强智能。
约翰·阿基拉,朱迪·弗斯科,帕蒂·鲁伊斯,杰里米·罗谢尔
10 - 12页
专栏:新闻
经过验证的编码技术使用数学证明来确保代码是无错误和抗黑客的。这种方法能给软件带来革命吗?
塞缪尔·格林加德
页13 - 15
物联网可以在没有硬件或消耗性电源的情况下蓬勃发展。
以斯帖Shein
16—18页
机器人、无人机和无人驾驶技术正在推动供应链革命。
保罗是
19 - 21页
Charles M. Geschke帮助创造了现代计算世界,在这个世界里,漂亮的排版和富有表现力的艺术图形就像数字和文本一样,是大多数用户体验中不可或缺的一部分。
Simson Garfinkel, Eugene H. Spafford
22页
专栏:从法律上讲
否认Oracle对谷歌索赔的多因素理由。
帕梅拉·萨缪尔森
26页
列:隐私
用如厕话说明隐私概念。
洛丽·费斯·克拉诺
页-
专栏:计算伦理
引导技术的伦理和社会影响。
Solon Barocas, Asia J. Biega, Margarita Boyarskaya, Kate Crawford, Hal Daumé III, Miroslav Dudík, Benjamin Fish, Mary L. Gray, Brent Hecht, Alexandra Olteanu, Forough Poursabzi-Sangdeh, Luke Stark, Jennifer Wortman Vaughan, Hanna Wallach, Marion Zepf
页面30 -
专栏:观点
差别隐私并不是解决所有隐私问题的灵丹妙药。
Josep Domingo-Ferrer, David Sánchez, Alberto Blanco-Justicia
页面到三十五
获得开发人员珍视的实用技能、知识和经验。
Diomidis卢卡雷利
页面36-38
企业必须解决在日益减少的劳动力供应中聘用和留住高技能员工的困难。
特拉维斯·布鲁,詹妮弗·莫里茨
页面39-41
部分:练习
框架虽然功能强大,但并不适合所有人。
克里斯·诺克尔伯格,布拉德·霍克斯
页面42-49
与Theo Schlossnagle, Justin Sheehy和Chris McCubbin的讨论。
Theo Schlossnagle, Justin Sheehy, Chris McCubbin
页面50-56
部分:图灵讲座
神经网络如何学习完成诸如识别物体或理解语言等困难任务所需的丰富的内部表示呢?
Yoshua Bengio, Yann Lecun, Geoffrey Hinton
58 - 65页
章节:投稿文章
包括老年人作为数字社会的完全利益相关者。
Bran Knowles, Vicki L. Hanson, Yvonne Rogers, Anne Marie Piper, Jenny Waycott, Nigel Davies, Aloha Hufana Ambe, Robin N. Brewer, Debaleena Chattopadhyay, Marianne Dee, David Frohlich, Marisela Gutierrez-Lopez, Ben jellen, Amanda Lazar, Radoslaw Nielek, Belén Barros Pena, Abi Roper, Mark Schlager, Britta Schulte, Irene Ye Yuan
66 - 71页
PDIs正在成为增强灵活工作安排的替代社会技术基础设施。
Mohammad Hossein Jarrahi, Gemma Newlands, Brian Butler, Saiph Savage, Christoph Lutz, Michael Dunn, Steve Sawyer
72 - 79页
章节:评论文章
用电脑谈论地点对目前的人工智能构成了一系列挑战。
斯蒂芬·温特,蒂莫西·鲍德温,马丁·托姆科,约翰·伦兹,维尔纳·库恩,玛丽亚·瓦萨达尼
82 - 88页
章节:研究亮点
Vasileios Tsoutsouras等人的“使用维函数合成从传感器数据中推导方程”,解决了发现物理量之间的关系的关键问题,使用维…
斯Sankaranarayanan领导
90页
我们提出了一种新的方法,我们称之为维度函数合成,用于推导一个物理系统中多个信号之间关系的模型函数。
Vasileios Tsoutsouras, Sam Willis, Phillip Stanley-Marbell
91 - 99页
安雅·费尔德曼等人的《封锁的一年》详细介绍了COVID-19大流行期间互联网流量的变化。
詹妮弗·范顿
100页
我们回顾了新冠肺炎大流行的第一年对互联网流量的影响,以分析其表现。
Anja Feldmann, Oliver Gasser, Franziska Lichtblau, Enric Pujol, Ingmar Poese, Christoph Dietzel, Daniel Wagner, Matthias Wichtlhuber, Juan Tapiador, Narseo Vallina-Rodriguez, Oliver holhlfeld, Georgios Smaragdakis
101 - 108页
列:最后一个字节
寻找难以捉摸的最短路径。
丹尼斯沙沙村
112页