Dagstuhl reports最新文献

{"title":"Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)","authors":"Olaf Beyersdorff, Armin Biere, Vijay Ganesh, J. Nordström, A. Oertel","doi":"10.4230/DagRep.12.10.84","DOIUrl":"https://doi.org/10.4230/DagRep.12.10.84","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"84-105"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435568","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}

{"title":"Vertex Partitioning in Graphs: From Structure to Algorithms (Dagstuhl Seminar 22481)","authors":"M. Chudnovsky, Neeldhara Misra, D. Paulusma, Oliver Schaudt, A. Agrawal","doi":"10.4230/DagRep.12.11.109","DOIUrl":"https://doi.org/10.4230/DagRep.12.11.109","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 22481 “Vertex Partitioning in Graphs: From Structure to Algorithms”, which was held from 27 November to 2 December 2023. The report contains abstracts for presentations about recent structural and algorithmic developments for a variety of vertex partitioning problems. It also contains a collection of open problems which were posed during the seminar. Seminar","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"109-123"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435632","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}

{"title":"Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 22042)","authors":"F. Kargl, Ioannis Krontiris, A. Weimerskirch, I. Williams","doi":"10.4230/DagRep.12.1.83","DOIUrl":"https://doi.org/10.4230/DagRep.12.1.83","url":null,"abstract":"This report documents the program and the outcomes of Dagstuhl Seminar 22042 “Privacy Protection of Automated and Self-Driving Vehicles”. The Seminar reviewed existing privacy-enhancing technologies, standards, tools, and frameworks for protecting personal information in the context of automated and self-driving vehicles (AVs). We specifically focused on where such existing techniques clash with requirements of an AV and its data processing and identified the major road blockers on the way to deployment of privacy protection in AVs from a legal, technical, business and ethical perspective. Therefore, the seminar took an interdisciplinary approach involving autonomous and connected driving, privacy protection, and legal data protection experts. This report summarizes the discussions and findings during the seminar, includes the abstracts of talks, and includes a report from the working groups. This talk opened the seminar with an overview over the field of automotive privacy and how it developed over the years. We started from early works on Car-to-Everything (C2X) and discussed how privacy was considered an important requirement from day one. From this perspective, C2X is an excellent example of privacy-by-design and privacy-by-default. We introduced how changing pseudonyms were designed as a mechanism to protect privacy and prevent location tracking, also highlighting its limitations and the need to balance and trade-off technical privacy against effort and efficiency of applications. As an example, we looked into tracking attacks that can easily reconstruct a vehicle’s path from anonymous position samples (if they are available with sufficiently high resolution).","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"17 1","pages":"83-100"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435805","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}

{"title":"Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182)","authors":"Josu Ceberio Uribe, Benjamin Doerr, C. Witt, Vicente P. Soloviev","doi":"10.4230/DagRep.12.5.17","DOIUrl":"https://doi.org/10.4230/DagRep.12.5.17","url":null,"abstract":"The Dagstuhl seminar 22182 Estimation-of-Distribution Algorithms: Theory and Practice on May 2–6","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"17-36"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435882","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}

{"title":"Framing in Communication: From Theories to Computation (Dagstuhl Seminar 22131)","authors":"Katarzyna Budzynska, C. Reed, Manfred Stede, Benno Stein, Zhang He","doi":"10.4230/DagRep.12.3.117","DOIUrl":"https://doi.org/10.4230/DagRep.12.3.117","url":null,"abstract":"Framing has become recognised as a powerful communication strategy for winning debates and shaping opinions and decisions. Entman defines framing as an action of selecting “some aspects of a perceived reality and make them more salient in a communicating text, in such a way as to promote a particular problem definition, causal interpretation, moral evaluation, and/or treatment recommendation for the item described”. Instead of engaging in costly and difficult exchanges of argument and counter-argument, a politician or a journalist can then try to reframe a dialogue on, for example, fracking from economic benefits to environmental hazards, or a dialogue on abortion from pro-life to pro-choice. Introduced in 1960’s sociology, framing has been imported into communication sciences and media studies as an attempt to address the ways in which news is reported and, thus, a way in which to tackle manipulation and fake news. The topic has spread to other disciplines such as psychology, philosophy, semantics, pragmatics, political science, journalism, and, most recently – to computational linguistics and artificial intelligence. This seminar aims to pave the way to synthesising definitions developed in these theoretically and empirically driven areas and then to operationalise them in computational and applied areas by means of cross-disciplinary hands-on exchanges in facilitated discussions. Our goal is to support the development of innovative technologies, which can help us to quantify framing phenomena, to study framing at scale, and to deploy computational techniques in order to intervene against malicious attempts to influence opinions and decisions of the general public. for humans to fill in by reading between the lines, but where computational systems struggle. We identify the relevance of commonsense knowledge and showcase that by including such knowledge resources in downstream computational argumentation tasks we can improve system performance. We then show that background knowledge a system uses to make such implicit knowledge explicit in arguments can be generated in natural languages – which helps to make the process transparent and controllable. where a number of seed words are derived from Luhmann’s books that are discriminative of each individual system compared to the others. This is done with the goal of transfersing a trained model from the domain of Luhmann’s books to more generic text domains, such as Wikipedia, news articles, or other scientific articles. Our approach shows promising results, indicating that a classification of text into social systems is indeed possible. This may give rise to quantitative analyses of social systems in social sciences, supporting social scientists in their daily work.","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"35 1","pages":"117-140"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436173","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}

{"title":"Graph Embeddings: Theory meets Practice (Dagstuhl Seminar 22132)","authors":"Martin Grohe, Stephan Günnemann, S. Jegelka, Christopher Morris","doi":"10.4230/DagRep.12.3.141","DOIUrl":"https://doi.org/10.4230/DagRep.12.3.141","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"141-155"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436182","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}

{"title":"Digital Twins for Cyber-Physical Systems Security (Dagstuhl Seminar 22171)","authors":"Alvaro A. Cárdenas-Mora, S. Nadjm-Tehrani, E. Weippl, Matthias Eckhart","doi":"10.4230/DagRep.12.4.54","DOIUrl":"https://doi.org/10.4230/DagRep.12.4.54","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"54-71"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436330","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}

{"title":"Eat-IT: Towards Understanding Interactive Technology and Food (Dagstuhl Seminar 22272)","authors":"F. Mueller, Marianna Obrist, Soh Kim, M. Inami, Jialin Deng","doi":"10.4230/DagRep.12.7.19","DOIUrl":"https://doi.org/10.4230/DagRep.12.7.19","url":null,"abstract":"Eating is a basic human need while technology is transforming the way we cook and eat food. For example, see the internet-connected Thermomix cooking appliance, desserts using virtual reality headsets, projection mapping on dinner plates and 3D-printed food in Michelin-star restaurants. Especially within the field of Human-Computer Interaction (HCI), there is a growing interest in understanding the design of technology to support the eating experience. There is a realization that technology can both be instrumentally beneficial (e.g. improving health through better food choices) as well as experientially beneficial (e.g. enriching eating experiences). Computational technology can make a significant contribution here, as it allows to, for example, present digital data through food (drawing from visualization techniques and fabrication advances such as 3D-food printing); facilitate technology-augmented behaviour change to promote healthier eating choices; employ big data across suppliers to help choose more sustainable produce (drawing on IoT kitchen appliances); use machine learning to predictively model eating behaviour; employ mixed-reality to facilitate novel eating experiences; and turn eating into a spectacle through robots that support cooking and serving actions. The aim of this Dagstuhl seminar called “Eat-IT” was to discuss these opportunities and challenges by bringing experts and stakeholders with different backgrounds from academia and industry together to formulate actionable strategies on how interactive food can benefit from computational technology yet not distract from the eating experience itself. With this seminar, we wanted to enable a healthy and inclusive debate on the interwoven future of food and computational technology","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"19-40"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436453","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}

{"title":"Current and Future Challenges in Knowledge Representation and Reasoning (Dagstuhl Seminar 22282)","authors":"J. Delgrande, Birte Glimm, T. Meyer, M. Truszczynski, Milene Santos Teixeira, F. Wolter","doi":"10.4230/DagRep.12.7.62","DOIUrl":"https://doi.org/10.4230/DagRep.12.7.62","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"12 1","pages":"62-79"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70436539","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}

{"title":"Mobility Data Science (Dagstuhl Seminar 22021)","authors":"M. Mokbel, M. Sakr, Li Xiong, Andreas Züfle, J. Almeida, T. Anderson, Walid G. Aref, G. Andrienko, N. Andrienko, Yang Cao, Sanjay Chawla, R. Cheng, Panos K. Chrysanthis, Xiqi Fei, Gabriel Ghinita, A. Graser, D. Gunopulos, C. Jensen, Joon-Sook Kim, Kyoung-Sook Kim, Peer Kröger, J. Krumm, Johannes Lauer, A. Magdy, M. Nascimento, S. Ravada, M. Renz, Dimitris Sacharidis, C. Shahabi, F. Salim, Mohamed Sarwat, Maxime Schoemans, B. Speckmann, E. Tanin, Y. Theodoridis, K. Torp, Goce Trajcevski, M. V. Kreveld, C. Wenk, Martin Werner, Raymond Chi-Wing Wong, Song Wu, Jianqiu Xu, Moustafa Youssef, Demetris Zeinalipour, Mengxuan Zhang, E. Zimányi","doi":"10.4230/DagRep.12.1.1","DOIUrl":"https://doi.org/10.4230/DagRep.12.1.1","url":null,"abstract":"","PeriodicalId":91064,"journal":{"name":"Dagstuhl reports","volume":"38 1","pages":"1-34"},"PeriodicalIF":0.0,"publicationDate":"2022-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"70435672","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}