Issue

Dagstuhl Reports, Volume 13, Issue 6

Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.13.6
Dagstuhl Reports, Volume 13, Issue 6, June 2023, Complete Issue
Abstract
Dagstuhl Reports, Volume 13, Issue 6, June 2023, Complete Issue
Cite as

Dagstuhl Reports, Volume 13, Issue 6, pp. 1-124, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{DagRep.13.6,
  title =	{{Dagstuhl Reports, Volume 13, Issue 6, June 2023, Complete Issue}},
  pages =	{1--124},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{6},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6},
  URN =		{urn:nbn:de:0030-drops-196347},
  doi =		{10.4230/DagRep.13.6},
  annote =	{Keywords: Dagstuhl Reports, Volume 13, Issue 6, June 2023, Complete Issue}
}
Document
Front Matter
DOI: 10.4230/DagRep.13.6.i
Dagstuhl Reports, Table of Contents, Volume 13, Issue 6, 2023
Abstract
Dagstuhl Reports, Table of Contents, Volume 13, Issue 6, 2023
Cite as

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

Copy BibTex To Clipboard

@Article{DagRep.13.6.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 13, Issue 6, 2023}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{6},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6.i},
  URN =		{urn:nbn:de:0030-drops-196352},
  doi =		{10.4230/DagRep.13.6.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
DOI: 10.4230/DagRep.13.6.1
Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)

Authors: Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, and Bahare Salmani

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23241 "Scalable Analysis of Probabilistic Models and Programs". The seminar brought together researchers from probabilistic graphical models, verification of probabilistic programming languages, and probabilistic planning. The communities bring vastly different perspectives on the methods and goals of inference under uncertainty. In this seminar, we worked towards a common understanding of how the different angles yield subtle differences in the problem statements and how the different methods provide different strengths and weaknesses. The report describes the different areas, the activities during the seminar including hot topics that were vividly discussed, and an overview of the technical talks.
Cite as

Sebastian Junges, Joost-Pieter Katoen, Scott Sanner, Guy Van den Broeck, and Bahare Salmani. Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241). In Dagstuhl Reports, Volume 13, Issue 6, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{junges_et_al:DagRep.13.6.1,
  author =	{Junges, Sebastian and Katoen, Joost-Pieter and Sanner, Scott and Van den Broeck, Guy and Salmani, Bahare},
  title =	{{Scalable Analysis of Probabilistic Models and Programs (Dagstuhl Seminar 23241)}},
  pages =	{1--21},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{6},
  editor =	{Junges, Sebastian and Katoen, Joost-Pieter and Sanner, Scott and Van den Broeck, Guy and Salmani, Bahare},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6.1},
  URN =		{urn:nbn:de:0030-drops-196362},
  doi =		{10.4230/DagRep.13.6.1},
  annote =	{Keywords: model counting, probabilistic inference, probabilistic model checking, probabilistic planning, probabilistic programs}
}
Document
DOI: 10.4230/DagRep.13.6.22
Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242)

Authors: Frank Kargl, Ioannis Krontiris, Jason Millar, André Weimerskirch, and Kevin Gomez

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23242 "Privacy Protection of Automated and Self-Driving Vehicles". While privacy for connected vehicles has been considered for many years, automated and autonomous vehicles (AV) technology is still in its infancy and the privacy and data protection aspects for AVs are not well addressed. Their capabilities pose new challenges to privacy protection, given the large sensor arrays that collect data in public spaces and the integration of AI technology. During the seminar, several keynote presentations highlighted the research challenges from different perspectives, i.e. legal, ethical, and technological. It was also discussed extensively why vehicles need to make dynamic assessments of trust as an enabling factor for the secure communication and data sharing with other vehicles, but without increasing any privacy risks. Then, the main objective of the seminar was to produce a research road-map to address the major road-blockers in making progress on the way to deployment of privacy protection in automated and autonomous vehicles. First, the group identified six common scenarios of Cooperative, Connected and Automated Mobility (CCAM) during development and product life-cycle, and analyzed the privacy implications for each scenario. Second, it formulated the need to have a methodology to determine the cost-benefit trade-offs between privacy and other criteria like financial, usability, or safety. Third, it identified existing tools, frameworks, and PETs, and potential modifications that are needed to support the automotive industry and automotive scenarios. Finally, the group explored the interplay between privacy and trust, by elaborating on different trust properties based on performance, on ethical aspects, and on user acceptance.
Cite as

Frank Kargl, Ioannis Krontiris, Jason Millar, André Weimerskirch, and Kevin Gomez. Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242). In Dagstuhl Reports, Volume 13, Issue 6, pp. 22-54, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{kargl_et_al:DagRep.13.6.22,
  author =	{Kargl, Frank and Krontiris, Ioannis and Millar, Jason and Weimerskirch, Andr\'{e} and Gomez, Kevin},
  title =	{{Privacy Protection of Automated and Self-Driving Vehicles (Dagstuhl Seminar 23242)}},
  pages =	{22--54},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{6},
  editor =	{Kargl, Frank and Krontiris, Ioannis and Millar, Jason and Weimerskirch, Andr\'{e} and Gomez, Kevin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6.22},
  URN =		{urn:nbn:de:0030-drops-196375},
  doi =		{10.4230/DagRep.13.6.22},
  annote =	{Keywords: Automotive Security and Privacy, Privacy and Data Protection, Cooperative Connected and Automated Mobility}
}
Document
DOI: 10.4230/DagRep.13.6.55
Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251)

Authors: Anne Auger, Peter A. N. Bosman, Pascal Kerschke, Darrell Whitley, and Lennart Schäpermeier

Abstract
This report documents the program and outcomes of the Dagstuhl Seminar 23251 "Challenges in Benchmarking Optimization Heuristics". In the domain of optimization heuristics, a stable basis for fairly evaluating the performance of optimization algorithms and other solution approaches - commonly referred to as "benchmarking" - is fundamental to ensuring steady scientific progress. Although many pitfalls are well known in the community, the development of sound benchmarking protocols is slow, and the adoption of community-wide recognized and implementable standards requires lasting and joint efforts among research groups. This seminar brought together people from diverse backgrounds and fostered discussions among different optimization communities, focusing on how to cope with "horse racing papers", landscape analysis techniques for understanding problem instances, and discussions about the overarching goals of benchmarking.
Cite as

Anne Auger, Peter A. N. Bosman, Pascal Kerschke, Darrell Whitley, and Lennart Schäpermeier. Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251). In Dagstuhl Reports, Volume 13, Issue 6, pp. 55-80, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{auger_et_al:DagRep.13.6.55,
  author =	{Auger, Anne and Bosman, Peter A. N. and Kerschke, Pascal and Whitley, Darrell and Sch\"{a}permeier, Lennart},
  title =	{{Challenges in Benchmarking Optimization Heuristics (Dagstuhl Seminar 23251)}},
  pages =	{55--80},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{6},
  editor =	{Auger, Anne and Bosman, Peter A. N. and Kerschke, Pascal and Whitley, Darrell and Sch\"{a}permeier, Lennart},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6.55},
  URN =		{urn:nbn:de:0030-drops-196383},
  doi =		{10.4230/DagRep.13.6.55},
  annote =	{Keywords: benchmarking, design of search heuristics, optimization, real-world applications, understanding problem complexity}
}
Document
DOI: 10.4230/DagRep.13.6.81
Inclusive Data Visualization (Dagstuhl Seminar 23252)

Authors: Bongshin Lee, Kim Marriott, Danielle Szafir, and Gerhard Weber

Abstract
Data plays an increasingly important role in our lives, and data visualization pervades our world as a means not only to analyze and explore data but also to identify and communicate insights. Most existing data visualizations, however, remain out of reach for many people with disabilities as they are designed on implicit assumptions about people’s sensory, cognitive, and motor abilities. With an aim to tackle the significant equity issues posed by inaccessible data and data visualization, this Dagstuhl Seminar brought together researchers and practitioners from relevant fields, including visualization, accessibility, human-computer interaction, and health informatics. Five - both remote and in-person - invited talks gave participants an opportunity to understand barriers and challenges people with various disabilities currently face. With lightning talks and demos, participants shared their experiences and research relevant to inclusive data visualization. In addition, through brainstorming and discussion in break-out sessions combined with short report back presentations, participants identified research challenges and opportunities for inclusive data visualization.
Cite as

Bongshin Lee, Kim Marriott, Danielle Szafir, and Gerhard Weber. Inclusive Data Visualization (Dagstuhl Seminar 23252). In Dagstuhl Reports, Volume 13, Issue 6, pp. 81-105, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{lee_et_al:DagRep.13.6.81,
  author =	{Lee, Bongshin and Marriott, Kim and Szafir, Danielle and Weber, Gerhard},
  title =	{{Inclusive Data Visualization (Dagstuhl Seminar 23252)}},
  pages =	{81--105},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{6},
  editor =	{Lee, Bongshin and Marriott, Kim and Szafir, Danielle and Weber, Gerhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6.81},
  URN =		{urn:nbn:de:0030-drops-196399},
  doi =		{10.4230/DagRep.13.6.81},
  annote =	{Keywords: Data Visualization, Information Visualization, Accessibility, Data Access, Human-Computer Interaction, Human-Data Interaction}
}
Document
DOI: 10.4230/DagRep.13.6.106
SAT Encodings and Beyond (Dagstuhl Seminar 23261)

Authors: Marijn J. H. Heule, Inês Lynce, Stefan Szeider, and Andre Schidler

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23261 "SAT Encodings and Beyond." The seminar facilitated an intense examination and discussion of current results and challenges related to encodings for SAT and related solving paradigms. The seminar featured presentations and group work that provided theoretical, practical, and industrial viewpoints. The goal was to foster more profound insights and advancements in encoding techniques, which are pivotal in enhancing solvers' efficiency.
Cite as

Marijn J. H. Heule, Inês Lynce, Stefan Szeider, and Andre Schidler. SAT Encodings and Beyond (Dagstuhl Seminar 23261). In Dagstuhl Reports, Volume 13, Issue 6, pp. 106-122, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{heule_et_al:DagRep.13.6.106,
  author =	{Heule, Marijn J. H. and Lynce, In\^{e}s and Szeider, Stefan and Schidler, Andre},
  title =	{{SAT Encodings and Beyond (Dagstuhl Seminar 23261)}},
  pages =	{106--122},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{6},
  editor =	{Heule, Marijn J. H. and Lynce, In\^{e}s and Szeider, Stefan and Schidler, Andre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.13.6.106},
  URN =		{urn:nbn:de:0030-drops-196409},
  doi =		{10.4230/DagRep.13.6.106},
  annote =	{Keywords: constraint propagation, lower and upper bounds, problem formulation, propositional satisfiability, symmetry breaking}
}

Filters

  • Authors
  • A
  • Auger, Anne
  • B
  • Bosman, Peter A. N.
  • G
  • Gomez, Kevin
  • H
  • Heule, Marijn J. H.
  • J
  • Junges, Sebastian
  • K
  • Kargl, Frank
  • Katoen, Joost-Pieter
  • Kerschke, Pascal
  • Krontiris, Ioannis
  • L
  • Lee, Bongshin
  • Lynce, Inês
  • M
  • Marriott, Kim
  • Millar, Jason
  • S
  • Salmani, Bahare
  • Sanner, Scott
  • Schäpermeier, Lennart
  • Schidler, Andre
  • Szafir, Danielle
  • Szeider, Stefan
  • V
  • Van den Broeck, Guy
  • W
  • Weber, Gerhard
  • Weimerskirch, André
  • Whitley, Darrell

  • Subjects
  • Computing methodologies
  • Computing methodologies → Planning under uncertainty
  • Computing methodologies → Probabilistic reasoning
  • Computing methodologies → Search methodologies
  • General and reference
  • General and reference → Empirical studies
  • Human-centered computing
  • Human-centered computing → Accessibility
  • Human-centered computing → Human computer interaction (HCI)
  • Human-centered computing → Interaction design
  • Human-centered computing → Visualization
  • Security and privacy
  • Security and privacy → Human and societal aspects of security and privacy
  • Security and privacy → Privacy protections
  • Security and privacy → Privacy-preserving protocols
  • Theory of computation
  • Theory of computation → Automated reasoning
  • Theory of computation → Constraint and logic programming
  • Theory of computation → Discrete optimization
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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact