Dagstuhl Reports, Volume 14, Issue 2



Thumbnail PDF

Event

Dagstuhl Seminars 24061, 24062, 24071, 24072, 24081, 24082, 24091, 24092

Publication Details

  • published at: 2024-07-30
  • Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 14, Issue 2, February 2024, Complete Issue

Abstract
Dagstuhl Reports, Volume 14, Issue 2, February 2024, Complete Issue

Cite as

Dagstuhl Reports, Volume 14, Issue 2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{DagRep.14.2,
  title =	{{Dagstuhl Reports, Volume 14, Issue 2, February 2024, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2},
  URN =		{urn:nbn:de:0030-drops-204967},
  doi =		{10.4230/DagRep.14.2},
  annote =	{Keywords: Dagstuhl Reports, Volume 14, Issue 2, February 2024, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 14, Issue 2, 2024

Abstract
Dagstuhl Reports, Table of Contents, Volume 14, Issue 2, 2024

Cite as

Dagstuhl Reports, Volume 14, Issue 2, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{DagRep.14.2.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 14, Issue 2, 2024}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.i},
  URN =		{urn:nbn:de:0030-drops-204973},
  doi =		{10.4230/DagRep.14.2.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Are Knowledge Graphs Ready for the Real World? Challenges and Perspective (Dagstuhl Seminar 24061)

Authors: David Chaves-Fraga, Oscar Corcho, Anastasia Dimou, Maria-Esther Vidal, Ana Iglesias-Molina, and Dylan Van Assche


Abstract
This report documents the program and results of the Dagstuhl Seminar 24061 "Are Knowledge Graphs Ready for the Real World? Challenges and Perspectives". The seminar focused on gaining a better understanding of the open challenges required for the development of Knowledge Graph ecosystems. The seminar focused on four different topics: access control and privacy in decentralized knowledge graphs, knowledge graph construction lifecycle, software methods for improving KG implementation, and a new wave of knowledge engineers and their expected skills. By focusing on these relevant research topics, the seminar aimed to reflect on KGs from a more fundamental computer science perspective. It brought together interdisciplinary researchers from academia and industry to discuss foundations, concepts, and implementations that will pave the way for the next generation of KGs ready for real-world use.

Cite as

David Chaves-Fraga, Oscar Corcho, Anastasia Dimou, Maria-Esther Vidal, Ana Iglesias-Molina, and Dylan Van Assche. Are Knowledge Graphs Ready for the Real World? Challenges and Perspective (Dagstuhl Seminar 24061). In Dagstuhl Reports, Volume 14, Issue 2, pp. 1-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{chavesfraga_et_al:DagRep.14.2.1,
  author =	{Chaves-Fraga, David and Corcho, Oscar and Dimou, Anastasia and Vidal, Maria-Esther and Iglesias-Molina, Ana and Van Assche, Dylan},
  title =	{{Are Knowledge Graphs Ready for the Real World? Challenges and Perspective (Dagstuhl Seminar 24061)}},
  pages =	{1--70},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{Chaves-Fraga, David and Corcho, Oscar and Dimou, Anastasia and Vidal, Maria-Esther and Iglesias-Molina, Ana and Van Assche, Dylan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.1},
  URN =		{urn:nbn:de:0030-drops-204983},
  doi =		{10.4230/DagRep.14.2.1},
  annote =	{Keywords: access control and privacy, federated query processing, intelligent knowledge graph management, programming paradigms for knowledge graphs, semantic data integration}
}
Document
Beyond-Planar Graphs: Models, Structures and Geometric Representations (Dagstuhl Seminar 24062)

Authors: Vida Dujmović, Seok-Hee Hong, Michael Kaufmann, János Pach, and Henry Förster


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 24062 "Beyond-Planar Graphs: Models, Structures and Geometric Representations". The seminar investigated beyond-planar graphs, in particular, their combinatorial and topological structures, computational complexity and algorithmics for recognition, geometric representations, and their applications to real-world network visualization. Compared to the previous two editions of the seminar, we focus more on aspects of combinatorics and geometry. The program consists of four invited talks on beyond planar graphs, open problem session, problem solving sessions and progress report sessions. Specific open problems include questions regarding the combinatorial structures and topology (e.g., k^+-real face graphs, beyond upward planar graphs, sparse universal geometric graphs, local-crossing-critical graphs), the geometric representations (e.g., constrained outer string graphs, rerouting curves on surface), and applications. The details of the invited talks and progress reports from each working groups are included in this report.

Cite as

Vida Dujmović, Seok-Hee Hong, Michael Kaufmann, János Pach, and Henry Förster. Beyond-Planar Graphs: Models, Structures and Geometric Representations (Dagstuhl Seminar 24062). In Dagstuhl Reports, Volume 14, Issue 2, pp. 71-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{dujmovic_et_al:DagRep.14.2.71,
  author =	{Dujmovi\'{c}, Vida and Hong, Seok-Hee and Kaufmann, Michael and Pach, J\'{a}nos and F\"{o}rster, Henry},
  title =	{{Beyond-Planar Graphs: Models, Structures and Geometric Representations (Dagstuhl Seminar 24062)}},
  pages =	{71--94},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{Dujmovi\'{c}, Vida and Hong, Seok-Hee and Kaufmann, Michael and Pach, J\'{a}nos and F\"{o}rster, Henry},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.71},
  URN =		{urn:nbn:de:0030-drops-204999},
  doi =		{10.4230/DagRep.14.2.71},
  annote =	{Keywords: Combinatorial geometry, Graph algorithm, Graph drawing, Graph theory, Network visualization}
}
Document
Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)

Authors: Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Ničković, and Filip Cano


Abstract
This report documents the program and the outcomes of the Dagstuhl Seminar "Safety Assurance for Autonomous Mobility" (24071). The seminar brought together an interdisciplinary group of researchers and practitioners from the fields of formal methods, cyber-physical systems, and artificial intelligence, with a common interest in autonomous mobility. Through a series of talks, working groups, and open problem discussions, participants explored the challenges and opportunities associated with ensuring the safety of autonomous systems in various domains, including industrial automation, automotive, railways, and aerospace. Key topics addressed included the need for industrial-grade autonomous products to operate reliably in safety-critical environments, highlighting the lack of standardized procedures for obtaining safety certifications for AI-based systems. Recent advancements in the verification and validation (V&V) of autonomous mobility systems were presented, focusing on requirements verification, testing, certification, and correct-by-design approaches. Overall, the seminar provided a comprehensive overview of the current state and future directions in safe autonomous mobility, emphasizing the need for interdisciplinary collaboration and innovation to address the complex challenges in this rapidly evolving field.

Cite as

Jyotirmoy Deshmukh, Bettina Könighofer, Dejan Ničković, and Filip Cano. Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071). In Dagstuhl Reports, Volume 14, Issue 2, pp. 95-119, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{deshmukh_et_al:DagRep.14.2.95,
  author =	{Deshmukh, Jyotirmoy and K\"{o}nighofer, Bettina and Ni\v{c}kovi\'{c}, Dejan and Cano, Filip},
  title =	{{Safety Assurance for Autonomous Mobility (Dagstuhl Seminar 24071)}},
  pages =	{95--119},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{Deshmukh, Jyotirmoy and K\"{o}nighofer, Bettina and Ni\v{c}kovi\'{c}, Dejan and Cano, Filip},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.95},
  URN =		{urn:nbn:de:0030-drops-205009},
  doi =		{10.4230/DagRep.14.2.95},
  annote =	{Keywords: aerospace, automotive, autonomy, formal methods, railway}
}
Document
Triangulations in Geometry and Topology (Dagstuhl Seminar 24072)

Authors: Maike Buchin, Jean Cardinal, Arnaud de Mesmay, Jonathan Spreer, and Alex He


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar "Triangulations in Geometry and Topology" (24072). The seminar was held from February 12 to February 16, 2024, gathered 31 participants, and started with four introductory talks and an open problem session. Then the participants spread into small groups to work on open problems on diverse topics including reconfiguration of geometric shapes, geodesics on triangulated surfaces, distances in flip graphs, geometric cycles and algorithms in 3-manifold topology.

Cite as

Maike Buchin, Jean Cardinal, Arnaud de Mesmay, Jonathan Spreer, and Alex He. Triangulations in Geometry and Topology (Dagstuhl Seminar 24072). In Dagstuhl Reports, Volume 14, Issue 2, pp. 120-163, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{buchin_et_al:DagRep.14.2.120,
  author =	{Buchin, Maike and Cardinal, Jean and de Mesmay, Arnaud and Spreer, Jonathan and He, Alex},
  title =	{{Triangulations in Geometry and Topology (Dagstuhl Seminar 24072)}},
  pages =	{120--163},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{Buchin, Maike and Cardinal, Jean and de Mesmay, Arnaud and Spreer, Jonathan and He, Alex},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.120},
  URN =		{urn:nbn:de:0030-drops-205017},
  doi =		{10.4230/DagRep.14.2.120},
  annote =	{Keywords: computational geometry, geometric topology, triangulations}
}
Document
Computational Approaches to Strategy and Tactics in Sports (Dagstuhl Seminar 24081)

Authors: Ulf Brefeld, Jesse Davis, Laura de Jong, and Stephanie Kovalchik


Abstract
One of the most challenging and interesting aspects in sports are Strategy and Tactics. In this interdisciplinary Dagstuhl Seminar, we aimed to develop a computational understanding of these concepts in an interdisciplinary setting with researchers and practitioners from Machine Learning, Statistics, and Sports. The seminar was organized around the themes "Discovery", "Evaluation", and "Communication" that were introduced with tutorial and overview style talks about the key concepts to facilitate a common ground among researchers with different backgrounds. These were augmented by more in-depth presentations on specific problems or techniques. Besides several topical discussions in larger groups, there were two panel discussions dealing with differences between individual and team sports and bringing computational analytics into practice, respectively.

Cite as

Ulf Brefeld, Jesse Davis, Laura de Jong, and Stephanie Kovalchik. Computational Approaches to Strategy and Tactics in Sports (Dagstuhl Seminar 24081). In Dagstuhl Reports, Volume 14, Issue 2, pp. 164-181, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{brefeld_et_al:DagRep.14.2.164,
  author =	{Brefeld, Ulf and Davis, Jesse and de Jong, Laura and Kovalchik, Stephanie},
  title =	{{Computational Approaches to Strategy and Tactics in Sports (Dagstuhl Seminar 24081)}},
  pages =	{164--181},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{Brefeld, Ulf and Davis, Jesse and de Jong, Laura and Kovalchik, Stephanie},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.164},
  URN =		{urn:nbn:de:0030-drops-205023},
  doi =		{10.4230/DagRep.14.2.164},
  annote =	{Keywords: AI, machine learning, sports, team, athletes, strategy, tactics}
}
Document
AI for Social Good (Dagstuhl Seminar 24082)

Authors: Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, and Jacopo Margutti


Abstract
Progress in the field of Artificial intelligence (AI) and machine learning (ML) has not slowed down in recent years. Long-standing challenges like Go have fallen and the technology has entered daily use via the vision, speech or translation capabilities in billions of smartphones. The pace of research progress shows no signs of slowing down, and demand for talent is unprecedented. AI for Social Good in general is trying to ensure that the social good does not become an afterthought, but that society benefits as a whole. In this Dagstuhl Seminar, which can be considered a follow-up edition of Dagstuhl Seminars 19082 and 22091 with the same title, we brought together AI and machine learning researchers with non-governmental organisations (NGOs), as they already pursue a social good goal, have rich domain knowledge, and vast networks with (non-)governmental actors in developing countries. Such collaborations benefit both sides: on the one hand, the new techniques can help with prediction, data analysis, modelling, or decision making. On the other hand, the NGOs’ domains contain many non-standard conditions, like missing data, side-effects, or multiple competing objectives, all of which are fascinating research challenges in themselves. And of course, publication impact is substantially enhanced when a method has real-world impact. In this seminar, researchers and practitioners from diverse areas of machine learning joined stakeholders from a range of NGOs to spend a week together. We first pursued an improved understanding of each side’s challenges and established a common language, via presentations and discussion groups. Building on this foundation, we organised a hackathon around some existing technical questions within the NGOs to scope the applicability of AI methods and seed collaborations. Finally, we discussed topics that cut across the AI for social good field, such as how to properly evaluate AI models that are used for good.

Cite as

Claudia Clopath, Ruben De Winne, Mohammad Emtiyaz Khan, and Jacopo Margutti. AI for Social Good (Dagstuhl Seminar 24082). In Dagstuhl Reports, Volume 14, Issue 2, pp. 182-190, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{clopath_et_al:DagRep.14.2.182,
  author =	{Clopath, Claudia and De Winne, Ruben and Khan, Mohammad Emtiyaz and Margutti, Jacopo},
  title =	{{AI for Social Good (Dagstuhl Seminar 24082)}},
  pages =	{182--190},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{Clopath, Claudia and De Winne, Ruben and Khan, Mohammad Emtiyaz and Margutti, Jacopo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.182},
  URN =		{urn:nbn:de:0030-drops-205036},
  doi =		{10.4230/DagRep.14.2.182},
  annote =	{Keywords: artificial intelligence, interdisciplinary, machine learning, non-governmental organizations, social good}
}
Document
Reflections on Pandemic Visualization (Dagstuhl Seminar 24091)

Authors: Daniel Archambault, Fintan McGee, Nicolás Reinoso-Schiller, Tatiana von Landesberger, and Simone Scheithauer


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar "Reflections on Pandemic Visualization" (24091). The fight against COVID-19 has highlighted the crucial role of data visualization and analytics, prompting significant innovations and collaborations. This Dagstuhl Seminar brought together experts from various fields to reflect on the lessons learned. The aim is to document and disseminate these insights, enhancing preparedness for future global health crises.

Cite as

Daniel Archambault, Fintan McGee, Nicolás Reinoso-Schiller, Tatiana von Landesberger, and Simone Scheithauer. Reflections on Pandemic Visualization (Dagstuhl Seminar 24091). In Dagstuhl Reports, Volume 14, Issue 2, pp. 191-205, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{archambault_et_al:DagRep.14.2.191,
  author =	{Archambault, Daniel and McGee, Fintan and Reinoso-Schiller, Nicol\'{a}s and von Landesberger, Tatiana and Scheithauer, Simone},
  title =	{{Reflections on Pandemic Visualization (Dagstuhl Seminar 24091)}},
  pages =	{191--205},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{Archambault, Daniel and McGee, Fintan and Reinoso-Schiller, Nicol\'{a}s and von Landesberger, Tatiana and Scheithauer, Simone},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.191},
  URN =		{urn:nbn:de:0030-drops-205043},
  doi =		{10.4230/DagRep.14.2.191},
  annote =	{Keywords: Epidemiology, Pandemic, Preparedness, Visualisation}
}
Document
Applied and Combinatorial Topology (Dagstuhl Seminar 24092)

Authors: Paweł Dłotko, Dmitry Feichtner-Kozlov, Anastasios Stefanou, Yusu Wang, and Jan F Senge


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 24092 "Applied and Combinatorial Topology". The last twenty years of rapid development of Topological Data Analysis (TDA) have shown the need to analyze the shape of data to better understand the data. Since an explosion of new ideas in 2000’ including those of Persistent Homology and Mapper Algorithms, the community rushed to solve detailed theoretical questions related to the existing invariants. However, topology and geometry still have much to offer to the data science community. New tools and techniques are within reach, waiting to be brought over the fence to enrich our understanding and potential to analyze data. At the same time, the fields of Discrete Morse Theory (DMT) and Combinatorial Topology (CT) are developed in parallel with no strong connection to data-intensive TDA or to other statistical pipelines (e.g. machine learning). This Dagstuhl Seminar brought together a number of experts in Discrete Morse Theory, Combinatorial Topology, Topological Data Analysis, and Statistics to (i) enhance the existing interactions between these fields on the one hand, and (ii) discuss the possibilities of adopting new invariants from algebra, geometry, and topology; in particular inspired by continuous and discrete Morse theory and combinatorial topology; to analyze and better understand the notion of shape of the data. The different talks in the seminar included both introductory talks as well as current research expositions and proved fruitful for the open problem and break-out sessions. The topics that were discussed included 1) algorithmic aspects for efficient computation as well as Morse theoretic approximations 2) topological information gain of multiparameter persistence 3) understanding the magnitude function and its relation to graph problems.

Cite as

Paweł Dłotko, Dmitry Feichtner-Kozlov, Anastasios Stefanou, Yusu Wang, and Jan F Senge. Applied and Combinatorial Topology (Dagstuhl Seminar 24092). In Dagstuhl Reports, Volume 14, Issue 2, pp. 206-239, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)


Copy BibTex To Clipboard

@Article{dlotko_et_al:DagRep.14.2.206,
  author =	{D{\l}otko, Pawe{\l} and Feichtner-Kozlov, Dmitry and Stefanou, Anastasios and Wang, Yusu and Senge, Jan F},
  title =	{{Applied and Combinatorial Topology (Dagstuhl Seminar 24092)}},
  pages =	{206--239},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{14},
  number =	{2},
  editor =	{D{\l}otko, Pawe{\l} and Feichtner-Kozlov, Dmitry and Stefanou, Anastasios and Wang, Yusu and Senge, Jan F},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.2.206},
  URN =		{urn:nbn:de:0030-drops-205059},
  doi =		{10.4230/DagRep.14.2.206},
  annote =	{Keywords: Applied Topology, Topological Data Analysis, Discrete Morse Theory, Combinatorial Topology, Statistics}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail