发布求助
文献互助 智能选刊 最新文献

ACM SIGACT News最新文献

筛选
英文 中文
Technical Report Column 技术报告专栏
ACM SIGACT News Pub Date : 2021-12-20 DOI: 10.1145/3510382.3510388
D. Kelley
{"title":"Technical Report Column","authors":"D. Kelley","doi":"10.1145/3510382.3510388","DOIUrl":"https://doi.org/10.1145/3510382.3510388","url":null,"abstract":"Welcome to the Technical Reports Column. If your institution publishes technical reports that you'd like to have included here, please contact me at the email address above.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"65 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128267461","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The Book Review Column 书评专栏
ACM SIGACT News Pub Date : 2021-12-20 DOI: 10.1145/3510382.3510384
Frederic Green
{"title":"The Book Review Column","authors":"Frederic Green","doi":"10.1145/3510382.3510384","DOIUrl":"https://doi.org/10.1145/3510382.3510384","url":null,"abstract":"The first two reviews in this column draw from the \"SpringerBriefs\" series, dedicated to compact summaries of cutting-edge research in a variety of fields. The first is from SpringerBriefs in Physics, the second from SpringerBriefs in Applied Sciences and Technology. We close with a review about algorithms in the context of the modern world.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"52 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128706940","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Review of A Short Course in Computational Geometry and Topology by Herbert Edelsbrunner 《计算几何与拓扑学短期课程回顾》，作者:Herbert Edelsbrunner
ACM SIGACT News Pub Date : 2021-12-20 DOI: 10.1145/3510382.3510386
Abdulai Gassama, Frederic Green
{"title":"Review of A Short Course in Computational Geometry and Topology by Herbert Edelsbrunner","authors":"Abdulai Gassama, Frederic Green","doi":"10.1145/3510382.3510386","DOIUrl":"https://doi.org/10.1145/3510382.3510386","url":null,"abstract":"Computational geometry and topology are huge branches of mathematics. Focussing on concepts that lead to computation is one strategy to provide a concrete conceptual basis for ideas that hold in a more general context. Indeed, this short book gives an introduction to a surprisingly broad range of ideas that can serve as a good introduction to geometry and topology (even broadly conceived) for undergraduates.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125376792","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Distributed Computing Column 84 分布式计算
ACM SIGACT News Pub Date : 2021-12-20 DOI: 10.1145/3510382.3510393
Dan Alistarh
{"title":"Distributed Computing Column 84","authors":"Dan Alistarh","doi":"10.1145/3510382.3510393","DOIUrl":"https://doi.org/10.1145/3510382.3510393","url":null,"abstract":"Overview. In this column, we combine traditional content for the December edition, namely a perspective on the paper which received the 2021 Dijkstra Award, but we also depart of from tradition, by not having our traditional articles covering the PODC and/or DISC proceedings.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126892777","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Perspective on "CCS Expressions, Finite State Processes, and Three Problems of Equivalence" “CCS表达式、有限状态过程和三个等价问题”的观点
ACM SIGACT News Pub Date : 2021-12-20 DOI: 10.1145/3510382.3510394
E. Bartocci, M. A. Bender
{"title":"A Perspective on \"CCS Expressions, Finite State Processes, and Three Problems of Equivalence\"","authors":"E. Bartocci, M. A. Bender","doi":"10.1145/3510382.3510394","DOIUrl":"https://doi.org/10.1145/3510382.3510394","url":null,"abstract":"With the publication of the Kannellakis-Smolka 1983 PODC paper, Kanellakis and Smolka pioneered the development of efficient algorithms for deciding behavioral equivalence of concurrent and distributed processes, especially bisimulation equivalence. Bisimulation is the cornerstone of the process-algebraic approach to modeling and verifying concurrent and distributed systems. They also presented complexity results that showed certain behavioral equivalences are computationally intractable. Collectively, their results founded the subdiscipline of algorithmic process theory, and established the associated bridges between the European research community, whose focus at the time was on process theory, and that of the US, with a rich tradition in algorithm design and computational complexity, but to whom process theory was largely unknown.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"96 Suppl D 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-12-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123788847","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Database Theory Column Report on PODS 2021 数据库理论专栏报告PODS 2021
ACM SIGACT News Pub Date : 2021-10-17 DOI: 10.1145/3494656.3494669
R. Pichler
{"title":"Database Theory Column Report on PODS 2021","authors":"R. Pichler","doi":"10.1145/3494656.3494669","DOIUrl":"https://doi.org/10.1145/3494656.3494669","url":null,"abstract":"The 40th edition of the ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS) was held from June 20 to June 25, 2021, in Xi'an, Shaanxi, China. Due to the COVID-19 pandemic, it was organized in hybrid mode, with a local event primarily targeting the Chinese data management community and as a virtual (on- line) conference for the international community. As in previous years, the symposium was held jointly with the ACM International Conference on Management of Data (SIGMOD). PODS focuses on theoretical aspects of data management systems, and the co-location with SIGMOD stimulates interaction between theory-oriented and system-oriented research.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"189 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122926153","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Worlds to Die Harder For Open Oracle Questions for the 21st Century 21世纪开放的Oracle问题的世界将更加艰难
ACM SIGACT News Pub Date : 2021-10-17 DOI: 10.1145/3494656.3494663
L. Fortnow
{"title":"Worlds to Die Harder For Open Oracle Questions for the 21st Century","authors":"L. Fortnow","doi":"10.1145/3494656.3494663","DOIUrl":"https://doi.org/10.1145/3494656.3494663","url":null,"abstract":"Most of the interesting open problems about relationships between complexity classes have either been resolved or have relativizable worlds in both directions. We discuss some remaining open questions, updating questions from a similar 1995 survey of Hemaspaandra, Ramachandra and Zimand and adding a few new problems.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129523631","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Review of Mathematics and Computation by Avi Wigderson 《数学与计算》，作者:Avi Wigderson
ACM SIGACT News Pub Date : 2021-10-17 DOI: 10.1145/3494656.3494659
Frederic Green
{"title":"Review of Mathematics and Computation by Avi Wigderson","authors":"Frederic Green","doi":"10.1145/3494656.3494659","DOIUrl":"https://doi.org/10.1145/3494656.3494659","url":null,"abstract":"Mathematics and computation are inextricably entangled3. We couldn't do one without the other. The need to calculate can be traced to early human history, and mathematics developed in large part to enable computation. And computation is necessary to propel mathematics. One often loses sight of the fact that the great mathematicians of the past were also prodigious computers: For example, Gauss, Kummer and the other great pioneers of number theory did vast amounts of computation to arrive at or reinforce many of their insights.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"58 7","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120912543","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Five Ways Not To Fool Yourself 不要欺骗自己的五种方法
ACM SIGACT News Pub Date : 2021-10-17 DOI: 10.1145/3494656.3494668
T. Harris
{"title":"Five Ways Not To Fool Yourself","authors":"T. Harris","doi":"10.1145/3494656.3494668","DOIUrl":"https://doi.org/10.1145/3494656.3494668","url":null,"abstract":"Performance experiments are often used to show that a new system is better than an old system, and to quantify how much faster it is, or how much more efficient it is in the use of some resource. Frequently, these experiments come toward the end of a project and - at times - seem to be conducted more with the aim of selling the system rather than providing understanding of the reasons for the differences in performance or the scenarios in which similar improvements might be expected. Mistrust in published performance numbers follows from the suspicion that we measure what we have already optimized.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121327048","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Distributed Computing Column 83 Five Ways Not To Fool Yourself 不要欺骗自己的五种方法
ACM SIGACT News Pub Date : 2021-10-17 DOI: 10.1145/3494656.3494667
Dan Alistarh
{"title":"Distributed Computing Column 83 Five Ways Not To Fool Yourself","authors":"Dan Alistarh","doi":"10.1145/3494656.3494667","DOIUrl":"https://doi.org/10.1145/3494656.3494667","url":null,"abstract":"Overview. In this edition of the column, we have a very interesting and instructive contribution from Tim Harris (Microsoft, Cambridge, UK), whose goal is to provide a systematic overview of practical, \"hands-on\" techniques for the correct performance evaluation of a complex distributed system.","PeriodicalId":387985,"journal":{"name":"ACM SIGACT News","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122242324","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信