Issue

Dagstuhl Reports, Volume 13, Issue 9

Thumbnail PDF

Publication Details

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

Access Numbers

Documents

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

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

Copy BibTex To Clipboard

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

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

Copy BibTex To Clipboard

@Article{DagRep.13.9.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 13, Issue 9, 2023}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.i},
  URN =		{urn:nbn:de:0030-drops-198197},
  doi =		{10.4230/DagRep.13.9.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
DOI: 10.4230/DagRep.13.9.1
Multiobjective Optimization on a Budget (Dagstuhl Seminar 23361)

Authors: Richard Allmendinger, Carlos M. Fonseca, Serpil Sayin, Margaret M. Wiecek, and Michael Stiglmayr

Abstract
The Dagstuhl Seminar 23361 Multiobjective Optimization on a Budget carried on a series of seven previous Dagstuhl Seminars (04461, 06501, 09041, 12041, 15031, 18031, 20031) focused on Multiobjective Optimization. The original goal of this series has been to strengthen the links between the Evolutionary Multiobjective Optimization (EMO) and the Multiple Criteria Decision Making (MCDM) communities, two of the largest communities concerned with multiobjective optimization today. This seminar particularly focused on the case where the approaches from both communities may be challenged by limited resources. This report documents the program and the outcomes of Dagstuhl Seminar 23361 "Multiobjective Optimization on a Budget". Three major types of resource limitations were highlighted during the seminar: methodological, technical and human related. The effect of these limitations on optimization and decision-making quality, as well as methods to quantify and mitigate this influence, were considered in different working groups.
Cite as

Richard Allmendinger, Carlos M. Fonseca, Serpil Sayin, Margaret M. Wiecek, and Michael Stiglmayr. Multiobjective Optimization on a Budget (Dagstuhl Seminar 23361). In Dagstuhl Reports, Volume 13, Issue 9, pp. 1-68, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{allmendinger_et_al:DagRep.13.9.1,
  author =	{Allmendinger, Richard and Fonseca, Carlos M. and Sayin, Serpil and Wiecek, Margaret M. and Stiglmayr, Michael},
  title =	{{Multiobjective Optimization on a Budget (Dagstuhl Seminar 23361)}},
  pages =	{1--68},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Allmendinger, Richard and Fonseca, Carlos M. and Sayin, Serpil and Wiecek, Margaret M. and Stiglmayr, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.1},
  URN =		{urn:nbn:de:0030-drops-198207},
  doi =		{10.4230/DagRep.13.9.1},
  annote =	{Keywords: evolutionary algorithms, expensive optimization, few-shot learning, machine learning, optimization, simulation}
}
Document
DOI: 10.4230/DagRep.13.9.69
Decision-Making Techniques for Smart Semiconductor Manufacturing (Dagstuhl Seminar 23362)

Authors: Hans Ehm, John Fowler, Lars Mönch, and Daniel Schorn

Abstract
In September 2023 the Dagstuhl Seminar 23362 explored the needs of the semiconductor industry for novel decision-making techniques and the related information systems to empower flexible decisions for smart production. The seminar participants also spent time identifying requirements for a simulation testbed which allows for assessing smart planning and control decisions in the semiconductor industry. The Executive Summary describes the process of the seminar and discusses key findings and areas for future research regarding these topics. Abstracts of presentations given during the seminar and the output of breakout sessions are collected in further sections.
Cite as

Hans Ehm, John Fowler, Lars Mönch, and Daniel Schorn. Decision-Making Techniques for Smart Semiconductor Manufacturing (Dagstuhl Seminar 23362). In Dagstuhl Reports, Volume 13, Issue 9, pp. 69-102, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{ehm_et_al:DagRep.13.9.69,
  author =	{Ehm, Hans and Fowler, John and M\"{o}nch, Lars and Schorn, Daniel},
  title =	{{Decision-Making Techniques for Smart Semiconductor Manufacturing (Dagstuhl Seminar 23362)}},
  pages =	{69--102},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Ehm, Hans and Fowler, John and M\"{o}nch, Lars and Schorn, Daniel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.69},
  URN =		{urn:nbn:de:0030-drops-198216},
  doi =		{10.4230/DagRep.13.9.69},
  annote =	{Keywords: analytics, modeling, semiconductor manufacturing, simulation, smart manufacturing}
}
Document
DOI: 10.4230/DagRep.13.9.103
Roadmap for Responsible Robotics (Dagstuhl Seminar 23371)

Authors: Michael Fisher, Marija Slavkovik, Anna Dobrosovestnova, and Nick Schuster

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23371 "Roadmap for Responsible Robotics". The seminar was concerned with robots across all their forms, particularly autonomous robots capable of making their own decisions and taking their own actions without direct human oversight. The seminar brought together experts in computer science, robotics, engineering, philosophy, cognitive science, human-robot interactions, as well as representatives of the industry, with the aim of contributing to the steps towards ethical and responsible robotic systems as initiated by actors such as the European Robotics Research Network (EURON), the European Union’s REELER, and others. We discussed topics including: "Why do autonomous robots warrant distinct normative considerations?", "Which stakeholders are, or should be, involved in the development and deployment of robotic systems, and how do we configure their responsibilities?", "What are the principal tenets of responsible robotics beyond commonly associated themes, namely trust, fairness, predictability and understandability?". Through intensive discussions of these and other related questions, motivated by the various values at stake as robotic systems become increasingly present and impactful in human life, this interdisciplinary group identified a set of interrelated priorities to guide future research and regulatory efforts. The resulting roadmap aimed to ensure that robotic systems co-evolve with human societies so as to advance, rather than undermine, human agency and humane values.
Cite as

Michael Fisher, Marija Slavkovik, Anna Dobrosovestnova, and Nick Schuster. Roadmap for Responsible Robotics (Dagstuhl Seminar 23371). In Dagstuhl Reports, Volume 13, Issue 9, pp. 103-115, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{fisher_et_al:DagRep.13.9.103,
  author =	{Fisher, Michael and Slavkovik, Marija and Dobrosovestnova, Anna and Schuster, Nick},
  title =	{{Roadmap for Responsible Robotics (Dagstuhl Seminar 23371)}},
  pages =	{103--115},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Fisher, Michael and Slavkovik, Marija and Dobrosovestnova, Anna and Schuster, Nick},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.103},
  URN =		{urn:nbn:de:0030-drops-198223},
  doi =		{10.4230/DagRep.13.9.103},
  annote =	{Keywords: Robotics, Responsibility, Trust, Fairness, Predictability, Understandability, Ethics}
}
Document
DOI: 10.4230/DagRep.13.9.116
Human-Centered Approaches for Provenance in Automated Data Science (Dagstuhl Seminar 23372)

Authors: Anamaria Crisan, Lars Kotthoff, Marc Streit, and Kai Xu

Abstract
The scope of automated machine learning (AutoML) technology has extended beyond its initial boundaries of model selection and hyperparameter tuning and towards end-to-end development and refinement of data science pipelines. These advances, both theoretical and realized, make the tools of data science more readily available to domain experts that rely on low- or no-code tooling options to analyze and make sense of their data. To ensure that automated data science technologies are applied both effectively and responsibly, it becomes increasingly urgent to carefully audit the decisions made both automatically and with guidance from humans. This Dagstuhl Seminar examines human-centered approaches for provenance in automated data science. While prior research concerning provenance and machine learning exists, it does not address the expanded scope of automated approaches and the consequences of applying such techniques at scale to the population of domain experts. In addition, most of the previous works focus on the automated part of this process, leaving a gap on the support for the sensemaking tasks users need to perform, such as selecting the datasets and candidate models and identifying potential causes for poor performance. The seminar brought together experts from across provenance, information visualization, visual analytics, machine learning, and human-computer interaction to articulate the user challenges posed by AutoML and automated data science, discuss the current state of the art, and propose directions for new research. More specifically, this seminar: - articulates the state of the art in AutoML and automated data science for supporting the provenance of decision making, - describes the challenges that data scientists and domain experts face when interfacing with automated approaches to make sense of an automated decision, - examines the interface between data-centric, model-centric, and user-centric models of provenance and how they interact with automated techniques, and - encourages exploration of human-centered approaches; for example leveraging visualization.
Cite as

Anamaria Crisan, Lars Kotthoff, Marc Streit, and Kai Xu. Human-Centered Approaches for Provenance in Automated Data Science (Dagstuhl Seminar 23372). In Dagstuhl Reports, Volume 13, Issue 9, pp. 116-136, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{crisan_et_al:DagRep.13.9.116,
  author =	{Crisan, Anamaria and Kotthoff, Lars and Streit, Marc and Xu, Kai},
  title =	{{Human-Centered Approaches for Provenance in Automated Data Science (Dagstuhl Seminar 23372)}},
  pages =	{116--136},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Crisan, Anamaria and Kotthoff, Lars and Streit, Marc and Xu, Kai},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.116},
  URN =		{urn:nbn:de:0030-drops-198236},
  doi =		{10.4230/DagRep.13.9.116},
  annote =	{Keywords: Dagstuhl Seminar, Provenance, AutoML, Data Science, Information Visualisation, Visual Analytics, Machine Learning, Human-Computer Interaction}
}
Document
DOI: 10.4230/DagRep.13.9.137
Visualization and the Humanities: Towards a Shared Research Agenda (Dagstuhl Seminar 23381)

Authors: Johanna Drucker, Mennatallah El-Assady, Uta Hinrichs, Florian Windhager, and Derya Akbaba

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 23381 "Visualization and the Humanities: Towards a Shared Research Agenda". The seminar was motivated by the fact that visualization has become a vital element in (digital) humanist research practices recently, while the value and impact of research at the intersection of visualization and the humanities is still widely debated and frequently contested from both sides. Visualization scholars critique the service-oriented focus on visualization as a tool to facilitate humanist research, which hampers the discovery of complementary and mutually enriching research perspectives for all fields involved. At the same time, humanists warn of visualizations' roots in the quantitative sciences which introduce non-trivial shifts in the topology of knowledge-power, creating epistemic, political, ethical, pedagogical, and cultural tensions. Building on advances in this young and highly interdisciplinary research area, the seminar discussed how to leverage synergies and how to build productively on tensions between methodologies at the intersection of visualization and (digital) humanities fields that span a vast spectrum of research philosophies and methods. The seminar thus brought together researchers and practitioners from the fields of visualization, computer science, the humanities, and design to reflect on existing research methods within visualization and the humanities, to identify tensions and synergies between the different fields, and to develop concrete avenues that address and leverage these.
Cite as

Johanna Drucker, Mennatallah El-Assady, Uta Hinrichs, Florian Windhager, and Derya Akbaba. Visualization and the Humanities: Towards a Shared Research Agenda (Dagstuhl Seminar 23381). In Dagstuhl Reports, Volume 13, Issue 9, pp. 137-165, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{drucker_et_al:DagRep.13.9.137,
  author =	{Drucker, Johanna and El-Assady, Mennatallah and Hinrichs, Uta and Windhager, Florian and Akbaba, Derya},
  title =	{{Visualization and the Humanities: Towards a Shared Research Agenda (Dagstuhl Seminar 23381)}},
  pages =	{137--165},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Drucker, Johanna and El-Assady, Mennatallah and Hinrichs, Uta and Windhager, Florian and Akbaba, Derya},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.137},
  URN =		{urn:nbn:de:0030-drops-198246},
  doi =		{10.4230/DagRep.13.9.137},
  annote =	{Keywords: Digital humanities, arts, humanities, methodology, research program, visualization}
}
Document
DOI: 10.4230/DagRep.13.9.166
The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)

Authors: Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, and Rémi Morvan

Abstract
The Dagstuhl Seminar 23391 "The Futures of Reactive Synthesis" held in September 2023 was meant to gather neighbouring communities on a joint goal: Reactive Synthesis. We identified five trends: neural-symbolic computation, template-based solving for constraint programming, symbolic algorithms, syntax-guided synthesis, and model learning; and the objective was to discuss the potential futures of the field.
Cite as

Nathanaël Fijalkow, Bernd Finkbeiner, Guillermo A. Pérez, Elizabeth Polgreen, and Rémi Morvan. The Futures of Reactive Synthesis (Dagstuhl Seminar 23391). In Dagstuhl Reports, Volume 13, Issue 9, pp. 166-184, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)

Copy BibTex To Clipboard

@Article{fijalkow_et_al:DagRep.13.9.166,
  author =	{Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi},
  title =	{{The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)}},
  pages =	{166--184},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2024},
  volume =	{13},
  number =	{9},
  editor =	{Fijalkow, Nathana\"{e}l and Finkbeiner, Bernd and P\'{e}rez, Guillermo A. and Polgreen, Elizabeth and Morvan, R\'{e}mi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.9.166},
  URN =		{urn:nbn:de:0030-drops-198259},
  doi =		{10.4230/DagRep.13.9.166},
  annote =	{Keywords: program synthesis, program verification, reactive synthesis, temporal synthesis}
}

Filters

  • Authors
  • A
  • Akbaba, Derya
  • Allmendinger, Richard
  • C
  • Crisan, Anamaria
  • D
  • Dobrosovestnova, Anna
  • Drucker, Johanna
  • E
  • Ehm, Hans
  • El-Assady, Mennatallah
  • F
  • Fijalkow, Nathanaël
  • Finkbeiner, Bernd
  • Fisher, Michael
  • Fonseca, Carlos M.
  • Fowler, John
  • H
  • Hinrichs, Uta
  • K
  • Kotthoff, Lars
  • M
  • Mönch, Lars
  • Morvan, Rémi
  • P
  • Pérez, Guillermo A.
  • Polgreen, Elizabeth
  • S
  • Sayin, Serpil
  • Schorn, Daniel
  • Schuster, Nick
  • Slavkovik, Marija
  • Stiglmayr, Michael
  • Streit, Marc
  • W
  • Wiecek, Margaret M.
  • Windhager, Florian
  • X
  • Xu, Kai

  • Subjects
  • Applied computing
  • Applied computing → Arts and humanities
  • Applied computing → Industry and manufacturing
  • Applied computing → Multi-criterion optimization and decision-making
  • Computer systems organization
  • Computer systems organization → Robotic autonomy
  • Computing methodologies
  • Computing methodologies → Artificial intelligence
  • Computing methodologies → Computational control theory
  • Computing methodologies → Machine learning
  • Computing methodologies → Modeling and simulation
  • Computing methodologies → Neural networks
  • Computing methodologies → Parallel programming languages
  • Computing methodologies → Search methodologies
  • Human-centered computing
  • Human-centered computing → Human computer interaction (HCI)
  • Human-centered computing → Visualization
  • Human-centered computing → Visualization design and evaluation methods
  • Human-centered computing → Visualization theory, concepts and paradigms
  • Information systems
  • Information systems → Data provenance
  • Mathematics of computing
  • Mathematics of computing → Evolutionary algorithms
  • Security and privacy
  • Security and privacy → Trust frameworks
  • Social and professional topics
  • Social and professional topics → Codes of ethics
  • Software and its engineering
  • Software and its engineering → Software verification and validation
  • Theory of computation
  • Theory of computation → Formal languages and automata theory
  • Theory of computation → Mathematical 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