ACM通信
部门:部门
部门:编辑的信
所在部门:计算机领域的职业道路
部门:BLOG@CACM
专栏:新闻
列:安全
专栏:法律和技术
列:教育
专栏:观点
部分:练习
部分:文章的贡献
部分:评论文章
部分:研究亮点
专栏:最后一个字节
三难困境机构和ACM
三方冲突出现在专业协会，如ACM，有成员，选举官员和常设工作人员。协调这三个群体的利益可能是一项挑战。部门:编辑的信
对“瓦尔迪的见解”的回应
Moshe Vardi的专栏，“机构三难困境和ACM”，歪曲了ACM的开放获取模式的一些决定和行动。所在部门:计算机领域的职业道路
促进可持续发展，帮助服务不足的社区
可持续发展是威胁人类的最大挑战。联合国联合国的可持续发展目标促进解决这一威胁。通过一系列偶然的事件，计算机使我能够加入这场战斗。.．.部门:BLOG@CACM
教其他老师如何更好地教授CS
Mark Guzdial分享了他如何评估其他计算机科学教师的努力。专栏:新闻
一个令人满意的结果
将几十年前的几何猜想作为一个可满足性问题来表述，为它的最终解决打开了大门。捕捉到假货
将神经网络应用于图像有助于识别假冒商品。近地轨道交通警察
谁将成为轨道物体的空间交通管制员?列:安全
值得信赖的科学计算
解决当前数据共享限制背后的信任问题。专栏:法律和技术
软件专业人员，渎职法，和道德规范
追求计算机专业人士的专业地位。列:教育
CS不插电还是编程课?
也许更合适的问题是“为什么不两者兼而有之”?专栏:观点
理解法律与法治:加强计算机科学课程的请求
为什么法律对计算机科学家和其他人很重要。远程软件工程的10个最佳实践
关注远程软件工程师生产力的人为因素。老实说
试图纠正两种相互排斥的计算功率比较方法-编码和模拟。部分:练习
云中的飞地
法律考虑和更广泛的影响电池一天
近距离观察使便携式电子产品成为可能的技术。部分:文章的贡献
实现内部防御
如何通过建立信任的企业文化来避免内部网络攻击。HCDA:从计算思维到广义思维范式
随着计算新纪元的出现，我们的基本思维模式也必须随之出现。无服务器计算是什么，应该成为什么:云计算的下一阶段
无服务器计算所代表的进化，塑造它的经济力量，为什么它会失败，以及它可能如何实现其潜力。部分:评论文章
自动机理论模
符号自动机更好地平衡了自动机在实践中的实现方式。部分:研究亮点
技术视角:迈向图同构问题的逻辑步骤
在“有界秩宽图的同构、Canonization和可定义性”中，Grohe和Neuen证明了Weisfeiler-Leman算法在其普通形式中解决了有界秩宽图的同构问题。有界秩宽图的同构、规范化和可定义性
本文研究了有界秩宽的图类的同构问题和密切相关的图规范化问题，以及图类的逻辑可定义性和描述复杂性。技术视角:稳健统计解决新问题
Ilias Diakonikolas等人的“鲁棒性满足算法”，代表了在高维稳健统计方面长期而富有成效的工作的开始。满足鲁棒性算法
我们给出了第一个估计高维高斯函数参数的有效算法，该算法可以容忍与维数无关的常数阶畸变。专栏:最后一个字节
