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

Dagstuhl reports最新文献

筛选
英文 中文
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
Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371) 计算复杂性中的代数和解析方法(Dagstuhl Seminar 22371)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.9.41
M. Bläser, Valentine Kabanets, Ronen Shaltiel, J. Torán
{"title":"Algebraic and Analytic Methods in Computational Complexity (Dagstuhl Seminar 22371)","authors":"M. Bläser, Valentine Kabanets, Ronen Shaltiel, J. Torán","doi":"10.4230/DagRep.12.9.41","DOIUrl":"https://doi.org/10.4230/DagRep.12.9.41","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"41-59"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436835","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
3D Morphable Models and Beyond (Dagstuhl Seminar 22121) 三维变形模型及超越(Dagstuhl研讨会22121)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.3.97
James A. D. Gardner, B. Egger, William Smith, C. Theobalt, Stefanie Wuhrer
{"title":"3D Morphable Models and Beyond (Dagstuhl Seminar 22121)","authors":"James A. D. Gardner, B. Egger, William Smith, C. Theobalt, Stefanie Wuhrer","doi":"10.4230/DagRep.12.3.97","DOIUrl":"https://doi.org/10.4230/DagRep.12.3.97","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"97-116"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436266","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
Differential Equations and Continuous-Time Deep Learning (Dagstuhl Seminar 22332) 微分方程和连续时间深度学习(Dagstuhl Seminar 22332)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.8.20
D. Duvenaud, Markus Heinonen, Michael Tiemann, M. Welling
{"title":"Differential Equations and Continuous-Time Deep Learning (Dagstuhl Seminar 22332)","authors":"D. Duvenaud, Markus Heinonen, Michael Tiemann, M. Welling","doi":"10.4230/DagRep.12.8.20","DOIUrl":"https://doi.org/10.4230/DagRep.12.8.20","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"20-30"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436612","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
Computational Models of Human-Automated Vehicle Interaction (Dagstuhl Seminar 22102) 人-自动车辆交互计算模型(Dagstuhl Seminar 22102)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.3.15
C. Janssen, Martin Baumann, Antti Oulasvirta, Shamsi T. Iqbal, Luisa Heinrich
{"title":"Computational Models of Human-Automated Vehicle Interaction (Dagstuhl Seminar 22102)","authors":"C. Janssen, Martin Baumann, Antti Oulasvirta, Shamsi T. Iqbal, Luisa Heinrich","doi":"10.4230/DagRep.12.3.15","DOIUrl":"https://doi.org/10.4230/DagRep.12.3.15","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"15-81"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436237","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
Visualization Empowerment: How to Teach and Learn Data Visualization (Dagstuhl Seminar 22261) 可视化授权:如何教和学习数据可视化(Dagstuhl研讨会22261)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.6.83
B. Bach, M. Carpendale, Uta Hinrichs, Samuel Huron
{"title":"Visualization Empowerment: How to Teach and Learn Data Visualization (Dagstuhl Seminar 22261)","authors":"B. Bach, M. Carpendale, Uta Hinrichs, Samuel Huron","doi":"10.4230/DagRep.12.6.83","DOIUrl":"https://doi.org/10.4230/DagRep.12.6.83","url":null,"abstract":"Data visualization is becoming an important asset for a data-literate, informed, and critical society. Despite the variety of existing resources to teach theories and practical skills in this domain, little is known about 1) how learning processes in the context of visualization unfold and 2) best practices for engaging and teaching data visualization to diverse audiences and in different contexts. This Dagstuhl Seminar invited practitioners, researchers, and teachers from the areas of visualization, design, education and cognitive psychology to explore these questions from multiple perspectives. Through a range of practical activities, talks, and discussions, we have begun characterizing and classifying teaching methodologies. We have redacted a pedagogical manifesto, and started formalizing the concept of improvisation with visualization in the context of teaching and learning. We have also interrogated creativity as an important aspect of visualization teaching and learning and explored links between data physicalization and visualization teaching activities. Across these different themes, we have begun to map out the challenges of visualization teaching and learning and the opportunities for research and practice in this area. Seminar","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"83-111"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436344","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}
引用次数: 5
Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341) 异构系统的功率和能量感知计算(PEACHES) (Dagstuhl Seminar 22341)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.8.31
K. Eder, Timo Hönig, D. Mossé, Max Plauth, M. H. Kirkeby
{"title":"Power and Energy-Aware Computing on Heterogeneous Systems (PEACHES) (Dagstuhl Seminar 22341)","authors":"K. Eder, Timo Hönig, D. Mossé, Max Plauth, M. H. Kirkeby","doi":"10.4230/DagRep.12.8.31","DOIUrl":"https://doi.org/10.4230/DagRep.12.8.31","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"31-59"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436623","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
Transparent Quantitative Research as a User Interface Problem (Dagstuhl Seminar 22392) 透明定量研究作为用户界面问题(Dagstuhl Seminar 22392)
Dagstuhl reports Pub Date : 2022-01-01 DOI: 10.4230/DagRep.12.9.220
Chat Wacharamanotham, Yvonne Jansen, Amelia A. McNamara, K. Hornbæk, J. Robertson, Lahari Goswami
{"title":"Transparent Quantitative Research as a User Interface Problem (Dagstuhl Seminar 22392)","authors":"Chat Wacharamanotham, Yvonne Jansen, Amelia A. McNamara, K. Hornbæk, J. Robertson, Lahari Goswami","doi":"10.4230/DagRep.12.9.220","DOIUrl":"https://doi.org/10.4230/DagRep.12.9.220","url":null,"abstract":"The replication crises in many scientific fields galvanize movements toward Open Science. Within this movement is a push for increasing research transparency. Although researchers in the areas of Human–Computer Interaction (HCI) and Visualization (VIS) face these challenges, they have methodological expertise to study, design, and evaluate innovations that could help improve research transparency. This Dagstuhl Seminar gathers HCI and VIS researchers and those from adjacent fields such as statistics and psychology to discuss challenges in promoting and adopting research transparency, create prototypes of potential solutions, and receive feedback from policy influencers in the research community. This seminar fostered seeds for future initiatives and collaboration toward improving research transparency in HCI, VIS, and other scientific fields. Seminar September 25–30, 2022 – http://www.dagstuhl.de/22392","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"220-234"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436825","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学术文献互助群
群 号：604180095
Book学术官方微信