Issue
Dagstuhl Reports, Volume 13, Issue 7
-
Part of:
Volume:
Dagstuhl Reports, Volume 13
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2024-03-08
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 13, Issue 7, July 2023, Complete Issue
Abstract
Dagstuhl Reports, Volume 13, Issue 7, July 2023, Complete Issue
Cite as
Dagstuhl Reports, Volume 13, Issue 7, pp. 1-190, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{DagRep.13.7,
title = {{Dagstuhl Reports, Volume 13, Issue 7, July 2023, Complete Issue}},
pages = {1--190},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7},
URN = {urn:nbn:de:0030-drops-197717},
doi = {10.4230/DagRep.13.7},
annote = {Keywords: Dagstuhl Reports, Volume 13, Issue 7, July 2023, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 13, Issue 7, 2023
Abstract
Dagstuhl Reports, Table of Contents, Volume 13, Issue 7, 2023
Cite as
Dagstuhl Reports, Volume 13, Issue 7, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{DagRep.13.7.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 13, Issue 7, 2023}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.i},
URN = {urn:nbn:de:0030-drops-197723},
doi = {10.4230/DagRep.13.7.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Human in the (Process) Mines (Dagstuhl Seminar 23271)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23271, "Human in the (process) mines". The seminar dealt with topics that are at the intersection of process mining and visual analytics, and can potentially contribute to both areas. Process mining is a discipline blending data science concepts with business process management. It utilizes event data recorded by IT systems for a variety of tasks, including the automated discovery of graphical process models, conformance checking between data and models, enhancement of process models with additional analytic information, run-time monitoring of processes and operational support. Ultimately, the purpose of process mining is to make sense of event data and answer business and domain-related questions to support domain-specific goals. Visual Analytics, defined as "the science of analytical reasoning facilitated by interactive visual interfaces," is a multidisciplinary approach, integrating aspects of data mining and knowledge discovery, information visualization, human-computer interaction, and cognitive science to support humans in making sense of various kinds of data. While these two research disciplines face similar challenges in different contexts, there have been few interactions and cross-fertilization efforts between the respective communities so far. This Dagstuhl Seminar is intended to bring together researchers from both communities and foster joint research efforts and collaborations to advance both fields and enrich future approaches to be developed.
Cite as
Claudio Di Ciccio, Silvia Miksch, Pnina Soffer, Barbara Weber, and Giovanni Meroni. Human in the (Process) Mines (Dagstuhl Seminar 23271). In Dagstuhl Reports, Volume 13, Issue 7, pp. 1-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{diciccio_et_al:DagRep.13.7.1,
author = {Di Ciccio, Claudio and Miksch, Silvia and Soffer, Pnina and Weber, Barbara and Meroni, Giovanni},
title = {{Human in the (Process) Mines (Dagstuhl Seminar 23271)}},
pages = {1--33},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Di Ciccio, Claudio and Miksch, Silvia and Soffer, Pnina and Weber, Barbara and Meroni, Giovanni},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.1},
URN = {urn:nbn:de:0030-drops-197731},
doi = {10.4230/DagRep.13.7.1},
annote = {Keywords: human in the loop, process mining, visual analytics}
}
Document
Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23272 "Epistemic and Topological Reasoning in Distributed Systems." The seminar brought together experts in combinatorial topology and epistemic logic interested in distributed systems, with the aim of exploring the directions that the recent interaction between those approaches can take, identifying challenges and opportunities.
Cite as
Armando Castañeda, Hans van Ditmarsch, Roman Kuznets, Yoram Moses, and Ulrich Schmid. Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272). In Dagstuhl Reports, Volume 13, Issue 7, pp. 34-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{castaneda_et_al:DagRep.13.7.34,
author = {Casta\~{n}eda, Armando and van Ditmarsch, Hans and Kuznets, Roman and Moses, Yoram and Schmid, Ulrich},
title = {{Epistemic and Topological Reasoning in Distributed Systems (Dagstuhl Seminar 23272)}},
pages = {34--65},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Casta\~{n}eda, Armando and van Ditmarsch, Hans and Kuznets, Roman and Moses, Yoram and Schmid, Ulrich},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.34},
URN = {urn:nbn:de:0030-drops-197742},
doi = {10.4230/DagRep.13.7.34},
annote = {Keywords: combinatorial topology, distributed systems, epistemic logic, multi-agent systems, interpreted systems, dynamic epistemic logic, simplicial semantics, knowledge-based approach, distributed computing}
}
Document
Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23281 "Theoretical Advances and Emerging Applications in Abstract Interpretation."
Abstract Interpretation (AI) is a theory of the approximation of program semantics. Since its introduction in the 70s, it lead to insights into theoretical research in semantics, a rich and robust mathematical framework to discuss about semantic approximation and program analysis, and the design of effective program analysis tools that are now routinely used in this industry. The seminar brought together academic and industrial partners to assess the state of the art in AI as well as discuss its future. It considered its foundational aspects, connections with other formal methods, emergent applications, user needs in program verification, tool design and evaluation, as well as educational aspects and community management. Its goal was to collect new ideas and new perspectives on all these aspects of AI in order to pave the way for new applications.
Cite as
Arie Gurfinkel, Isabella Mastroeni, Antoine Miné, Peter Müller, and Anna Becchi. Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281). In Dagstuhl Reports, Volume 13, Issue 7, pp. 66-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{gurfinkel_et_al:DagRep.13.7.66,
author = {Gurfinkel, Arie and Mastroeni, Isabella and Min\'{e}, Antoine and M\"{u}ller, Peter and Becchi, Anna},
title = {{Theoretical Advances and Emerging Applications in Abstract Interpretation (Dagstuhl Seminar 23281)}},
pages = {66--95},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Gurfinkel, Arie and Mastroeni, Isabella and Min\'{e}, Antoine and M\"{u}ller, Peter and Becchi, Anna},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.66},
URN = {urn:nbn:de:0030-drops-197759},
doi = {10.4230/DagRep.13.7.66},
annote = {Keywords: abstract domains, abstract interpretation, program semantics, program verification, static program analysis}
}
Document
Parameterized Approximation: Algorithms and Hardness (Dagstuhl Seminar 23291)
Abstract
Parameterization and approximation are two established approaches of coping with intractability in combinatorial optimization. In this Dagstuhl Seminar, we studied parameterized approximation as a relatively new algorithmic paradigm that combines these two popular research areas. In particular, we analyzed the solution quality (approximation ratio) as well as the running time of an algorithm in terms of a parameter that captures the "complexity" of a problem instance.
While the field has grown and yielded some promising results, our understanding of the area is rather ad-hoc compared to our knowledge in approximation or parameterized algorithms alone. In this seminar, we brought together researchers from both communities in order to bridge this gap by accommodating the exchange and unification of scientific knowledge.
Cite as
Karthik C. S., Parinya Chalermsook, Joachim Spoerhase, Meirav Zehavi, and Martin Herold. Parameterized Approximation: Algorithms and Hardness (Dagstuhl Seminar 23291). In Dagstuhl Reports, Volume 13, Issue 7, pp. 96-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{c.s._et_al:DagRep.13.7.96,
author = {C. S., Karthik and Chalermsook, Parinya and Spoerhase, Joachim and Zehavi, Meirav and Herold, Martin},
title = {{Parameterized Approximation: Algorithms and Hardness (Dagstuhl Seminar 23291)}},
pages = {96--107},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {C. S., Karthik and Chalermsook, Parinya and Spoerhase, Joachim and Zehavi, Meirav and Herold, Martin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.96},
URN = {urn:nbn:de:0030-drops-197764},
doi = {10.4230/DagRep.13.7.96},
annote = {Keywords: approximation algorithms, Hardness of approximation, Parameterized algorithms}
}
Document
SportsHCI (Dagstuhl Seminar 23292)
Abstract
This report presents the work developed by 22 researchers and academics from across the world gathered for a week in Schloss Dagstuhl, Saarland, Germany, to discuss the future of interactive systems designed to support sport and exercise activity, a field called Sports HCI. Firstly, we present the activities developed day by day, from attendee’s presentations to concrete community actions. Secondly, we show in detail the talks presented by the attendees, the interactivity and demo sessions, the discussion sessions, and the implications of the discussed topics to the Sports HCI field. Finally, we present the Sports HCI design pathways that attendees proposed based on the daily activities developed throughout the seminar. Ultimately, we hope this report inspires and motivates other Dagstuhl seminar proposals interested in the exciting field of HCI.
Cite as
Florian `Floyd' Mueller, Carine Lallemand, Dennis Reidsma, Elise van den Hoven, and Maria F. Montoya. SportsHCI (Dagstuhl Seminar 23292). In Dagstuhl Reports, Volume 13, Issue 7, pp. 108-151, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{mueller_et_al:DagRep.13.7.108,
author = {Mueller, Florian `Floyd' and Lallemand, Carine and Reidsma, Dennis and van den Hoven, Elise and Montoya, Maria F.},
title = {{SportsHCI (Dagstuhl Seminar 23292)}},
pages = {108--151},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Mueller, Florian `Floyd' and Lallemand, Carine and Reidsma, Dennis and van den Hoven, Elise and Montoya, Maria F.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.108},
URN = {urn:nbn:de:0030-drops-197773},
doi = {10.4230/DagRep.13.7.108},
annote = {Keywords: SportsHCI, Embodiment, Wearables, Mobile Computing}
}
Document
Computational Proteomics (Dagstuhl Seminar 23301)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23301 "Computational Proteomics". This seminar was built around three topics: the increasingly widespread use, and continously increasing promise of advanced machine learning approaches in proteomics; the highly exciting, yet fiendishly complicated, field of single cell proteomics, and the development of novel computational methods to analyse the highly challenging data obtained from the glycoproteome. These three topics fuelled three parallel breakout sessions, which ran in parallel at any given time throughout the seminar. A fourth, cross-cutting breakout session was created during the seminar as well, which dealt with the standardisation efforts in proteomics data, and explored the possibilities to upgrade these standards to better cope with the increasing demands being put on the relevant data storage and dissemination formats. This report comprises an Executive Summary of the Dagstuhl Seminar, which describes the overall seminar structure together with the key take-away messages for each of the three topics. This is followed by the abstracts, comprising three introduction talks, one for each topic, which were intended to whet the participants' appetite for each topic, while also introducing an expert perspective on the current challenges and opportunities in that topic. Along with the topic talks, two ad-hoc talks were presented during the seminar as well, and their abstracts are provided next. Moreover, each breakout session also comes with its own abstract, which provides insights into its discussions and relevant outcomes throughout the seminar.
Cite as
Rebekah Gundry, Lennart Martens, and Magnus Palmblad. Computational Proteomics (Dagstuhl Seminar 23301). In Dagstuhl Reports, Volume 13, Issue 7, pp. 152-165, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{gundry_et_al:DagRep.13.7.152,
author = {Gundry, Rebekah and Martens, Lennart and Palmblad, Magnus},
title = {{Computational Proteomics (Dagstuhl Seminar 23301)}},
pages = {152--165},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Gundry, Rebekah and Martens, Lennart and Palmblad, Magnus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.152},
URN = {urn:nbn:de:0030-drops-197788},
doi = {10.4230/DagRep.13.7.152},
annote = {Keywords: bioinformatics, glycoproteomics, machine learning, mass spectrometry, proteomics, single cell proteomics}
}
Document
Software Architecture and Machine Learning (Dagstuhl Seminar 23302)
Abstract
This report documents the program and outcomes of Dagstuhl Seminar 23302, "Software Architecture and Machine Learning". We summarize the goals and format of the seminar, results from the breakout groups, key definitions relevant to machine learning-enabled systems that were discussed, and the research roadmap that emerged from the discussions during the seminar. The report also includes the abstracts of the talks presented at the seminar and summaries of open discussions.
Cite as
Grace A. Lewis, Henry Muccini, Ipek Ozkaya, Karthik Vaidhyanathan, Roland Weiss, and Liming Zhu. Software Architecture and Machine Learning (Dagstuhl Seminar 23302). In Dagstuhl Reports, Volume 13, Issue 7, pp. 166-188, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{lewis_et_al:DagRep.13.7.166,
author = {Lewis, Grace A. and Muccini, Henry and Ozkaya, Ipek and Vaidhyanathan, Karthik and Weiss, Roland and Zhu, Liming},
title = {{Software Architecture and Machine Learning (Dagstuhl Seminar 23302)}},
pages = {166--188},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {13},
number = {7},
editor = {Lewis, Grace A. and Muccini, Henry and Vaidhyanathan, Karthik and Weiss, Roland and Zhu, Liming},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.7.166},
URN = {urn:nbn:de:0030-drops-197793},
doi = {10.4230/DagRep.13.7.166},
annote = {Keywords: Architecting ML-enabled Systems, ML for Software Architecture, Software Architecture for ML, Machine Learning, Software Architecture, Software Engineering}
}