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

Dagstuhl reports最新文献

筛选
英文 中文
Urban Mobility Analytics (Dagstuhl Seminar 22162) 城市交通分析(Dagstuhl Seminar 22162)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.4.26
D. Jonietz, Monika Sester, K. Stewart, S. Winter, M. Tomko, Yanan Xin
{"title":"Urban Mobility Analytics (Dagstuhl Seminar 22162)","authors":"D. Jonietz, Monika Sester, K. Stewart, S. Winter, M. Tomko, Yanan Xin","doi":"10.4230/DagRep.12.4.26","DOIUrl":"https://doi.org/10.4230/DagRep.12.4.26","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"26-53"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436319","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
Interactive Visualization for Fostering Trust in ML (Dagstuhl Seminar 22351) 交互式可视化促进ML中的信任(Dagstuhl Seminar 22351)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.8.103
Polo Chau, Alex Endert, Daniel A. Keim, Daniela Oelke
{"title":"Interactive Visualization for Fostering Trust in ML (Dagstuhl Seminar 22351)","authors":"Polo Chau, Alex Endert, Daniel A. Keim, Daniela Oelke","doi":"10.4230/DagRep.12.8.103","DOIUrl":"https://doi.org/10.4230/DagRep.12.8.103","url":null,"abstract":"The use of artificial intelligence continues to impact a broad variety of domains, application areas, and people. However, interpretability, understandability, responsibility, accountability, and fairness of the algorithms’ results – all crucial for increasing humans’ trust into the systems – are still largely missing. The purpose of this seminar is to understand how these components factor into the holistic view of trust. Further, this seminar seeks to identify design guidelines and best practices for how to build interactive visualization systems to calibrate trust.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"103-116"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436602","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
Rational Design of RiboNucleic Acids (Dagstuhl Seminar 22381) 核糖核酸的合理设计(Dagstuhl Seminar 22381)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.9.121
Sven Findeiss, C. Flamm, Yann Ponty
{"title":"Rational Design of RiboNucleic Acids (Dagstuhl Seminar 22381)","authors":"Sven Findeiss, C. Flamm, Yann Ponty","doi":"10.4230/DagRep.12.9.121","DOIUrl":"https://doi.org/10.4230/DagRep.12.9.121","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"121-149"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436697","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
Visual Text Analytics (Dagstuhl Seminar 22191) 视觉文本分析(Dagstuhl Seminar 22191)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.5.37
Christopher Collins, Antske Fokkens, A. Kerren, C. Weaver, Angelos Chatzimparmpas
{"title":"Visual Text Analytics (Dagstuhl Seminar 22191)","authors":"Christopher Collins, Antske Fokkens, A. Kerren, C. Weaver, Angelos Chatzimparmpas","doi":"10.4230/DagRep.12.5.37","DOIUrl":"https://doi.org/10.4230/DagRep.12.5.37","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"37-91"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436710","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
Machine Learning for Science: Bridging Data-Driven and Mechanistic Modelling (Dagstuhl Seminar 22382) 科学中的机器学习:桥接数据驱动和机制建模(Dagstuhl Seminar 22382)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.9.150
Philipp Berens, Kyle Cranmer, Neil D. Lawrence, U. V. Luxburg, Jessica Montgomery
{"title":"Machine Learning for Science: Bridging Data-Driven and Mechanistic Modelling (Dagstuhl Seminar 22382)","authors":"Philipp Berens, Kyle Cranmer, Neil D. Lawrence, U. V. Luxburg, Jessica Montgomery","doi":"10.4230/DagRep.12.9.150","DOIUrl":"https://doi.org/10.4230/DagRep.12.9.150","url":null,"abstract":"This report documents the programme and the outcomes of Dagstuhl Seminar 22382 “Machine Learning for Science: Bridging Data-Driven and Mechanistic Modelling”. Today’s scientific challenges are characterised by complexity. Interconnected natural, technological, and human systems are influenced by forces acting across time- and spatial-scales, resulting in complex interactions and emergent behaviours. Understanding these phenomena – and leveraging scientific advances to deliver innovative solutions to improve society’s health, wealth, and well-being – requires new ways of analysing complex systems. The transformative potential of AI stems from its widespread applicability across disciplines, and will only be achieved through integration across research domains. AI for science is a rendezvous point. It brings together expertise from AI and application domains; combines modelling knowledge with engineering know-how; and relies on collaboration across disciplines and between humans and machines. Alongside technical advances, the next wave of progress in the field will come from building a community of machine learning researchers, domain experts, citizen scientists, and engineers working together to design and deploy effective AI tools. This report summarises the discussions from the seminar and provides a roadmap to suggest how different communities can collaborate to deliver a new wave of progress in AI and its application for scientific discovery.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"150-199"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436743","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
Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421) 去中心化金融技术的安全性(Dagstuhl Seminar 22421)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.10.129
Arthur Gervais, Marie Vasek
{"title":"Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421)","authors":"Arthur Gervais, Marie Vasek","doi":"10.4230/DagRep.12.10.129","DOIUrl":"https://doi.org/10.4230/DagRep.12.10.129","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"129-142"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435407","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 a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432) 迈向学术论证的统一模式(Dagstuhl Seminar 22432)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.10.175
Khalid Al Khatib, A. Waard, Dayne Freitag, Iryna Gurevych, Yufang Hou, Harrisen Scells
{"title":"Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432)","authors":"Khalid Al Khatib, A. Waard, Dayne Freitag, Iryna Gurevych, Yufang Hou, Harrisen Scells","doi":"10.4230/DagRep.12.10.175","DOIUrl":"https://doi.org/10.4230/DagRep.12.10.175","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"175-206"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435448","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
Principles of Contract Languages (Dagstuhl Seminar 22451) 合同语言原则(Dagstuhl Seminar 22451)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.11.1
D. Gurov, Reiner Hähnle, M. Huisman, Giles Reger, Christian Lidström
{"title":"Principles of Contract Languages (Dagstuhl Seminar 22451)","authors":"D. Gurov, Reiner Hähnle, M. Huisman, Giles Reger, Christian Lidström","doi":"10.4230/DagRep.12.11.1","DOIUrl":"https://doi.org/10.4230/DagRep.12.11.1","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"1-27"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435579","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
Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051) 有限和算法模型理论(Dagstuhl研讨会22051)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.1.101
Albert Atserias, Christoph Berkholz, K. Etessami, Joanna Ochremiak
{"title":"Finite and Algorithmic Model Theory (Dagstuhl Seminar 22051)","authors":"Albert Atserias, Christoph Berkholz, K. Etessami, Joanna Ochremiak","doi":"10.4230/DagRep.12.1.101","DOIUrl":"https://doi.org/10.4230/DagRep.12.1.101","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"101-118"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435683","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 Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052) 编程错误信息的人为因素影响(Dagstuhl Seminar 22052)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.1.119
Brett A. Becker, Paul Denny, J. Siegmund, A. Stefik
{"title":"The Human Factors Impact of Programming Error Messages (Dagstuhl Seminar 22052)","authors":"Brett A. Becker, Paul Denny, J. Siegmund, A. Stefik","doi":"10.4230/DagRep.12.1.119","DOIUrl":"https://doi.org/10.4230/DagRep.12.1.119","url":null,"abstract":"The impacts of many human factors on how people program are poorly understood and present significant challenges for work on improving programmer productivity and effective techniques for teaching and learning programming. Programming error messages are one factor that is particularly problematic, with a documented history of evidence dating back over 50 years. Such messages, commonly called compiler error messages, present difficulties for programmers with diverse demographic backgrounds. It is generally agreed that these messages could be more effective for all users, making this an obvious and high-impact area to target for improving programming outcomes. This report documents the program and the outputs of Dagstuhl Seminar 22052, “The Human Factors Impact of Programming Error Messages”, which explores this problem. In total, 11 on-site participants and 17 remote participants engaged in intensive collaboration during the seminar, including discussing past and current research, identifying gaps, and developing ways to move forward collaboratively to address these challenges.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"119-130"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435728","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
首页 上一页 下一页 尾页
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学术官方微信