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

Dagstuhl reports最新文献

筛选
英文 中文
Scalable Handling of Effects (Dagstuhl Seminar 21292) 可扩展的效果处理(Dagstuhl研讨会21292)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.6.54
Danel Ahman, Amal Ahmed, S. Lindley, Andreas Rossberg
{"title":"Scalable Handling of Effects (Dagstuhl Seminar 21292)","authors":"Danel Ahman, Amal Ahmed, S. Lindley, Andreas Rossberg","doi":"10.4230/DagRep.11.6.54","DOIUrl":"https://doi.org/10.4230/DagRep.11.6.54","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"54-81"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70434886","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
Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391) 算法、组合学和逻辑中的稀疏性(Dagstuhl Seminar 21391)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.8.115
D. Král, Michal Pilipczuk, S. Siebertz, Blair D. Sullivan
{"title":"Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar 21391)","authors":"D. Král, Michal Pilipczuk, S. Siebertz, Blair D. Sullivan","doi":"10.4230/DagRep.11.8.115","DOIUrl":"https://doi.org/10.4230/DagRep.11.8.115","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"115-128"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435133","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
Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users (Dagstuhl Seminar 21262) 车辆间通讯-从边缘支援到弱势道路使用者(Dagstuhl Seminar 21262)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.5.89
Ana Aguiar, O. Altintas, F. Dressler, G. Karlsson
{"title":"Inter-Vehicular Communication - From Edge Support to Vulnerable Road Users (Dagstuhl Seminar 21262)","authors":"Ana Aguiar, O. Altintas, F. Dressler, G. Karlsson","doi":"10.4230/DagRep.11.5.89","DOIUrl":"https://doi.org/10.4230/DagRep.11.5.89","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 21262 “Inter-Vehicular Communication – From Edge Support to Vulnerable Road Users”. Looking back at the last decade, one can observe enormous progress in the domain of vehicular networking. In this growing community, many ongoing activities focus on the design of communication protocols to support safety applications, intelligent navigation, and many others. We shifted the focus from basic networking principles to open challenges in edge computing support and, as a novel aspect, on how to integrate so called vulnerable road users (VRU) into the picture. Seminar June 28, 2021 – http://www.dagstuhl.de/21262 2012 ACM Subject Classification Networks → Network dynamics; Networks → Cyber-physical networks; Networks → Network reliability","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"89-96"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435198","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
Representing and Solving Spatial Problems (Dagstuhl Seminar 21492) 表示和解决空间问题(Dagstuhl Seminar 21492)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.11.1
Pedro Cabalar, Zoe Falomir, Paulo E. Santos, T. Tenbrink
{"title":"Representing and Solving Spatial Problems (Dagstuhl Seminar 21492)","authors":"Pedro Cabalar, Zoe Falomir, Paulo E. Santos, T. Tenbrink","doi":"10.4230/DagRep.11.11.1","DOIUrl":"https://doi.org/10.4230/DagRep.11.11.1","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"1-55"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435218","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
Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381) 会话代理作为可信赖自治系统(Trust-CA) (Dagstuhl Seminar 21381)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.8.76
E. Law, Asbjørn Følstad, J. Grudin, B. Schuller
{"title":"Conversational Agent as Trustworthy Autonomous System (Trust-CA) (Dagstuhl Seminar 21381)","authors":"E. Law, Asbjørn Følstad, J. Grudin, B. Schuller","doi":"10.4230/DagRep.11.8.76","DOIUrl":"https://doi.org/10.4230/DagRep.11.8.76","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 21381 “Conversational Agent as Trustworthy Autonomous System (Trust-CA)”. First, we present the abstracts of the talks delivered by the Seminar’s attendees. Then we report on the origin and process of our six breakout (working) groups. For each group, we describe its contributors, goals and key questions, key insights, and future research. The themes of the groups were derived from a pre-Seminar survey, which also led to a list of suggested readings for the topic of trust in conversational agents. The list is included in this report for references.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"76-114"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435497","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}
引用次数: 4
Scalable Data Structures (Dagstuhl Seminar 21071) 可扩展数据结构(Dagstuhl研讨会21071)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.1.1
G. Brodal, J. Iacono, M. Nebel, V. Ramachandran
{"title":"Scalable Data Structures (Dagstuhl Seminar 21071)","authors":"G. Brodal, J. Iacono, M. Nebel, V. Ramachandran","doi":"10.4230/DagRep.11.1.1","DOIUrl":"https://doi.org/10.4230/DagRep.11.1.1","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 21071 \"Scalable Data Structure\". Even if the field of data structures is quite mature, new trends and limitations in computer hardware together with the ever-increasing amounts of data that need to be processed raise new questions with respect to efficiency and continuously challenge the existing models of computation. Thermal and electrical power constraints have caused technology to reach \"the power wall\" with stagnating single processor performance, meaning that all nontrivial applications need to address scalability with multiple processors, a memory hierarchy and other communication challenges. Scalable data structures are pivotal to this process since they form the backbone of the algorithms driving these applications. The extended abstracts included in this report contain both recent state of the art advances and lay the foundation for new directions within data structures research.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"1-23"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70434707","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
Compute-First Networking (Dagstuhl Seminar 21243) 计算优先网络(Dagstuhl Seminar 21243)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.5.54
J. Crowcroft, P. Eardley, D. Kutscher, E. Schooler
{"title":"Compute-First Networking (Dagstuhl Seminar 21243)","authors":"J. Crowcroft, P. Eardley, D. Kutscher, E. Schooler","doi":"10.4230/DagRep.11.5.54","DOIUrl":"https://doi.org/10.4230/DagRep.11.5.54","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"54-75"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435175","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
Multi-Level Graph Representation for Big Data Arising in Science Mapping (Dagstuhl Seminar 21152) 科学制图中大数据的多层次图表示(Dagstuhl Seminar 21152)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.3.1
K. Börner, S. Kobourov
{"title":"Multi-Level Graph Representation for Big Data Arising in Science Mapping (Dagstuhl Seminar 21152)","authors":"K. Börner, S. Kobourov","doi":"10.4230/DagRep.11.3.1","DOIUrl":"https://doi.org/10.4230/DagRep.11.3.1","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 21152 “Multi-Level Graph Representation for Big Data Arising in Science Mapping.” The seminar brought together researchers coming from information visualization, psychology, cognitive science, human-computer interaction, graph drawing, computational geometry, and cartography with interests in the “science of science” to discuss novel graph mining and layout algorithms and their application to the development of science mapping standards and services. Due to the pandemic, this was a “hybrid” event with only 5 in-person participants and 25 by-zoom participants from over ten different countries and at least five different time-zones. There were three overview talks and four special presentations (evening webinars) from different communities represented in the seminar. Abstracts of these talks and presentations are collected in this report. Three working groups formed around open research problems related to the seminar topic and we report about their findings. Seminar April 11–16, 2021 – http://www.dagstuhl.de/21152 2012 ACM Subject Classification Theory of computation → Design and analysis of algorithms; Human-centered computing → Visualization design and evaluation methods","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"1-15"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435287","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}
引用次数: 1
Towards Climate-Friendly Internet Research (Dagstuhl Seminar 21272) 迈向气候友好型互联网研究(Dagstuhl Seminar 21272)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.6.14
Vaibhav Bajpai, O. Hohlfeld, J. Crowcroft, Srinivasan Keshav
{"title":"Towards Climate-Friendly Internet Research (Dagstuhl Seminar 21272)","authors":"Vaibhav Bajpai, O. Hohlfeld, J. Crowcroft, Srinivasan Keshav","doi":"10.4230/DagRep.11.6.14","DOIUrl":"https://doi.org/10.4230/DagRep.11.6.14","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"11 1","pages":"14-37"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435317","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}
引用次数: 4
Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442) 确保数据库管理系统的可靠性和健壮性(Dagstuhl Seminar 21442)
Dagstuhl reports Pub Date : 2021-01-01 DOI: 10.4230/DagRep.11.10.20
Alexander Böhm, M. Christakis, Eric Lo, Manuel Rigger
{"title":"Ensuring the Reliability and Robustness of Database Management Systems (Dagstuhl Seminar 21442)","authors":"Alexander Böhm, M. Christakis, Eric Lo, Manuel Rigger","doi":"10.4230/DagRep.11.10.20","DOIUrl":"https://doi.org/10.4230/DagRep.11.10.20","url":null,"abstract":"The goal of this seminar was to bring together researchers and practitioners from various domains such as of databases, automatic testing, and formal methods to build a common ground and to explore possibilities for systematically improving the state of the art in database management system engineering. The outcome of the seminar was a joint understanding of the specific intricacies of building stateful system software, as well as the identification of several areas of future work. In particular, we believe that database system engineering can both be significantly improved by adopting additional verification techniques and testing tools, and can provide important feedback and additional challenges (e.g. related to state management) to neighboring domains.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"49 1","pages":"20-35"},"PeriodicalIF":0.0,"publicationDate":"2021-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70434588","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}
引用次数: 3
首页 上一页
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学术官方微信