Dagstuhl Reports, Volume 12, Issue 5



Thumbnail PDF

Event

Dagstuhl Seminars 22181, 22182, 22191, 22192, 22201, 22202, 22221, 22222

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 12, Issue 5, May 2022, Complete Issue

Abstract
Dagstuhl Reports, Volume 12, Issue 5, May 2019, Complete Issue

Cite as

Dagstuhl Reports, Volume 12, Issue 5, pp. 1-232, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{DagRep.12.5,
  title =	{{Dagstuhl Reports, Volume 12, Issue 5, May 2022, Complete Issue}},
  pages =	{1--232},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5},
  URN =		{urn:nbn:de:0030-drops-174392},
  doi =		{10.4230/DagRep.12.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 12, Issue 5, May 2019, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 12, Issue 5, 2022

Abstract
Dagstuhl Reports, Table of Contents, Volume 12, Issue 5, 2022

Cite as

Dagstuhl Reports, Volume 12, Issue 5, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{DagRep.12.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 12, Issue 5, 2022}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.i},
  URN =		{urn:nbn:de:0030-drops-174405},
  doi =		{10.4230/DagRep.12.5.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Computational Metabolomics: From Spectra to Knowledge (Dagstuhl Seminar 22181)

Authors: Corey Broeckling, Timothy Ebbels, Ewy Mathé, Nicola Zamboni, and Cecilia Wieder


Abstract
The fourth edition of the Computational Metabolomics seminars, Dagstuhl Seminar 22181, brought together a wide range of computational and experimental experts to share state-of-the art methodologies and push our collective understanding of how to interpret and maximise insight of metabolomic data. With increasing amounts of metabolomic data being generated, including large-scale epidemiological studies, and increasing sensitivity of instrumentation, development of sophisticated and robust computational solutions is required. Further, community agreement on which data standards should be used and which data sets are most apt for benchmarking computational tools is needed in the field. Building upon the previous successful formats of previous seminars (17491, 15492, and 20051) on this topic, attendees gathered each morning to collectively agree on the number of sessions and topics to discuss. A summary of the daily sessions were shared amongst all participants after dinner during each day’s final formal session. Further, informal evening sessions were spontaneously created to further dive into specific topics. As with past seminars, this format was very well received and enabled all participants to weigh in. Of particular note, this seminar was delayed and travel was complicated due to the pandemic. Despite these setbacks, this seminar brought together a balanced number of previous and new, seasoned and early career participants. All participants were active in these discussions, and a true sense of renewed energy ensued from the seminar. This report provides highlights of formal and informal evening sessions, including future anticipated research directions rooted from this seminar. Possible future workshops, such as a next phase of this Computational Metabolomics Dagstuhl seminar in late 2023 or 2024 were also discussed and will be applied for.

Cite as

Corey Broeckling, Timothy Ebbels, Ewy Mathé, Nicola Zamboni, and Cecilia Wieder. Computational Metabolomics: From Spectra to Knowledge (Dagstuhl Seminar 22181). In Dagstuhl Reports, Volume 12, Issue 5, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{broeckling_et_al:DagRep.12.5.1,
  author =	{Broeckling, Corey and Ebbels, Timothy and Math\'{e}, Ewy and Zamboni, Nicola and Wieder, Cecilia},
  title =	{{Computational Metabolomics: From Spectra to Knowledge (Dagstuhl Seminar 22181)}},
  pages =	{1--16},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Broeckling, Corey and Ebbels, Timothy and Math\'{e}, Ewy and Zamboni, Nicola and Wieder, Cecilia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.1},
  URN =		{urn:nbn:de:0030-drops-174410},
  doi =		{10.4230/DagRep.12.5.1},
  annote =	{Keywords: bioinformatics, cheminformatics, computational mass spectrometry, metabolite identification, computational metabolomics, machine learning, data integration, pathway analysis}
}
Document
Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182)

Authors: Josu Ceberio Uribe, Benjamin Doerr, Carsten Witt, and Vicente P. Soloviev


Abstract
The Dagstuhl seminar 22182 Estimation-of-Distribution Algorithms: Theory and Practice on May 2-6, 2022 brought together 19 international experts in estimation-of-distribution algorithms (EDAs). Their research ranged from a theoretical perspective, e.g., runtime analysis on synthetic problems, to an applied perspective, e.g., solutions of industrial optimization problems with EDAs. This report documents the program and the outcomes of the seminar.

Cite as

Josu Ceberio Uribe, Benjamin Doerr, Carsten Witt, and Vicente P. Soloviev. Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182). In Dagstuhl Reports, Volume 12, Issue 5, pp. 17-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{uribe_et_al:DagRep.12.5.17,
  author =	{Uribe, Josu Ceberio and Doerr, Benjamin and Witt, Carsten and Soloviev, Vicente P.},
  title =	{{Estimation-of-Distribution Algorithms: Theory and Applications (Dagstuhl Seminar 22182)}},
  pages =	{17--36},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Uribe, Josu Ceberio and Doerr, Benjamin and Witt, Carsten and Soloviev, Vicente P.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.17},
  URN =		{urn:nbn:de:0030-drops-174421},
  doi =		{10.4230/DagRep.12.5.17},
  annote =	{Keywords: estimation-of-distribution algorithms, heuristic search and optimization, machine learning, probabilistic model building}
}
Document
Visual Text Analytics (Dagstuhl Seminar 22191)

Authors: Christopher Collins, Antske Fokkens, Andreas Kerren, Chris Weaver, and Angelos Chatzimparmpas


Abstract
Text data is one of the most abundant types of data available, produced every day across all domains of society. Understanding the contents of this data can support important policy decisions, help us understand society and culture, and improve business processes. While machine learning techniques are growing in their power for analyzing text data, there is still a clear role for human analysis and decision-making. This seminar explored the use of visual analytics applied to text data as a means to bridge the complementary strengths of people and computers. The field of visual text analytics applies visualization and interaction approaches which are tightly coupled to natural language processing systems to create analysis processes and systems for examining text and multimedia data. During the seminar, interdisciplinary working groups of experts from visualization, natural language processing, and machine learning examined seven topic areas to reflect on the state of the field, identify gaps in knowledge, and create an agenda for future cross-disciplinary research. This report documents the program and the outcomes of Dagstuhl Seminar 22191 "Visual Text Analytics".

Cite as

Christopher Collins, Antske Fokkens, Andreas Kerren, Chris Weaver, and Angelos Chatzimparmpas. Visual Text Analytics (Dagstuhl Seminar 22191). In Dagstuhl Reports, Volume 12, Issue 5, pp. 37-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{collins_et_al:DagRep.12.5.37,
  author =	{Collins, Christopher and Fokkens, Antske and Kerren, Andreas and Weaver, Chris and Chatzimparmpas, Angelos},
  title =	{{Visual Text Analytics (Dagstuhl Seminar 22191)}},
  pages =	{37--91},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Collins, Christopher and Fokkens, Antske and Kerren, Andreas and Weaver, Chris and Chatzimparmpas, Angelos},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.37},
  URN =		{urn:nbn:de:0030-drops-174432},
  doi =		{10.4230/DagRep.12.5.37},
  annote =	{Keywords: Information visualization, visual text analytics, visual analytics, text visualization, explainable ML for text analytics, language models, text mining, natural language processing}
}
Document
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 22192)

Authors: Martin Gairing, Carolina Osorio, Britta Peis, David Watling, and Katharina Eickhoff


Abstract
Traffic assignment models are crucial for transport planners to be able to predict the congestion, environmental and social impacts of transport policies, for example in the light of possible changes to the infrastructure, to the transport services offered, or to the prices charged to travellers. The motivation for this series of seminars - of which this seminar was the third - is the prevalence in the transportation community of basing such predictions on complex computer-based simulations that are capable of resolving many elements of a real systems, while on the other hand, the theory of dynamic traffic assignments (in terms of equilibrium existence, computability and efficiency) had not matured to the point matching the model complexity inherent in simulations. Progress has been made on this issue in the first two seminars (Dagstuhl Seminar 15412 and 18102), by bringing together leading scientists in the areas of traffic simulation, algorithmic game theory and dynamic traffic assignment. We continued this process this seminar. Moreover, we started to address the growing real-life challenge of new kinds of 'mobility service' emerging, before the tools are available to incorporate them in such planning models. These services include intelligent/dynamic ride-sharing and car-sharing, through to fully autonomous vehicles, provided potentially by a variety of competing operators.

Cite as

Martin Gairing, Carolina Osorio, Britta Peis, David Watling, and Katharina Eickhoff. Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 22192). In Dagstuhl Reports, Volume 12, Issue 5, pp. 92-111, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{gairing_et_al:DagRep.12.5.92,
  author =	{Gairing, Martin and Osorio, Carolina and Peis, Britta and Watling, David and Eickhoff, Katharina},
  title =	{{Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 22192)}},
  pages =	{92--111},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Gairing, Martin and Osorio, Carolina and Peis, Britta and Watling, David and Eickhoff, Katharina},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.92},
  URN =		{urn:nbn:de:0030-drops-174441},
  doi =		{10.4230/DagRep.12.5.92},
  annote =	{Keywords: Algorithms and Complexity of traffic equilibrium computations, Dynamic traffic assignment models, Simulation and network optimization}
}
Document
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201)

Authors: Martin Grohe, Venkatesan Guruswami, Dániel Marx, and Stanislav Živný


Abstract
Constraint satisfaction has always played a central role in computational complexity theory; appropriate versions of CSPs are classical complete problems for most standard complexity classes. CSPs constitute a very rich and yet sufficiently manageable class of problems to give a good perspective on general computational phenomena. For instance, they help to understand which mathematical properties make a computational problem tractable (in a wide sense, e.g., polynomial-time solvable, non-trivially approximable, fixed-parameter tractable, or definable in a weak logic). In the last 15 years, research activity in this area has significantly intensified and hugely impressive progress was made. The Dagstuhl Seminar 22201 "The Constraint Satisfaction Problem: Complexity and Approximability" was aimed at bringing together researchers using all the different techniques in the study of the CSP so that they can share their insights obtained during the past four years. This report documents the material presented during the course of the seminar.

Cite as

Martin Grohe, Venkatesan Guruswami, Dániel Marx, and Stanislav Živný. The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201). In Dagstuhl Reports, Volume 12, Issue 5, pp. 112-130, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{grohe_et_al:DagRep.12.5.112,
  author =	{Grohe, Martin and Guruswami, Venkatesan and Marx, D\'{a}niel and \v{Z}ivn\'{y}, Stanislav},
  title =	{{The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 22201)}},
  pages =	{112--130},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Grohe, Martin and Guruswami, Venkatesan and Marx, D\'{a}niel and \v{Z}ivn\'{y}, Stanislav},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.112},
  URN =		{urn:nbn:de:0030-drops-174453},
  doi =		{10.4230/DagRep.12.5.112},
  annote =	{Keywords: Constraint satisfaction problem (CSP); Computational complexity; Hardness of approximation; Universal algebra; Semidefinite programming}
}
Document
Anticipatory Human-Machine Interaction (Dagstuhl Seminar 22202)

Authors: Jelmer Borst, Andreas Bulling, Cleotilde Gonzalez, and Nele Russwinkel


Abstract
Even after three decades of research on human-machine interaction (HMI), current systems still lack the ability to predict mental states of their users, i.e., they fail to understand users' intentions, goals, and needs and therefore cannot anticipate their actions. This lack of anticipation drastically restricts their capabilities to interact and collaborate effectively with humans. The goal of this Dagstuhl Seminar was to discuss the scientific foundations of a new generation of human-machine systems that anticipate, and proactively adapt to, human actions by monitoring their attention, behavior, and predicting their mental states. Anticipation might be realized by using mental models of tasks, specific situations and systems to build up expectations about intentions, goals, and mental states that gathered evidence can be tested against. The seminar provided an inter-disciplinary forum to discuss this emerging topic by bringing together - for the first time - researchers from a range of fields that are directly relevant but hitherto haven't met on this topic so far. This includes human-computer interaction, cognitive-inspired AI, machine learning, computational cognitive science, and social and decision sciences. We discussed theoretical foundations, key research challenges and opportunities, new computational methods, and future applications of anticipatory human-machine interaction.

Cite as

Jelmer Borst, Andreas Bulling, Cleotilde Gonzalez, and Nele Russwinkel. Anticipatory Human-Machine Interaction (Dagstuhl Seminar 22202). In Dagstuhl Reports, Volume 12, Issue 5, pp. 131-169, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{borst_et_al:DagRep.12.5.131,
  author =	{Borst, Jelmer and Bulling, Andreas and Gonzalez, Cleotilde and Russwinkel, Nele},
  title =	{{Anticipatory Human-Machine Interaction (Dagstuhl Seminar 22202)}},
  pages =	{131--169},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Borst, Jelmer and Bulling, Andreas and Gonzalez, Cleotilde and Russwinkel, Nele},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.131},
  URN =		{urn:nbn:de:0030-drops-174462},
  doi =		{10.4230/DagRep.12.5.131},
  annote =	{Keywords: Human-Computer Interaction, Anticipation, Collaboration, Collaborative Intelligence, Human-AI Teaming, Multi-Agent Simulation, Artificial Intelligence}
}
Document
Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221)

Authors: Annie Cuyt, Wen-shin Lee, Gerlind Plonka-Hoch, and Ferre Knaepkens


Abstract
Multi-exponential analysis might sound remote, but it touches our daily lives in many surprising ways, even if most people are unaware of how important it is. For example, a substantial amount of effort in signal processing and time series analysis is essentially dedicated to the analysis of multi-exponential functions. Multi- exponential analysis is also fundamental to several research fields and application domains that have been the subject of this Dagstuhl seminar: remote sensing, antenna design, digital imaging, all impacting some major societal or industrial challenges such as energy, transportation, space research, health and telecommunications. This Seminar connected stakeholders from seemingly separately developed fields: computational harmonic analysis, numerical linear algebra, computer algebra, nonlinear approximation theory, digital signal processing and their applications, in one and more variables.

Cite as

Annie Cuyt, Wen-shin Lee, Gerlind Plonka-Hoch, and Ferre Knaepkens. Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221). In Dagstuhl Reports, Volume 12, Issue 5, pp. 170-187, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{cuyt_et_al:DagRep.12.5.170,
  author =	{Cuyt, Annie and Lee, Wen-shin and Plonka-Hoch, Gerlind and Knaepkens, Ferre},
  title =	{{Exponential Analysis: Theoretical Progress and Technological Innovation (Dagstuhl Seminar 22221)}},
  pages =	{170--187},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Cuyt, Annie and Lee, Wen-shin and Plonka-Hoch, Gerlind and Knaepkens, Ferre},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.170},
  URN =		{urn:nbn:de:0030-drops-174473},
  doi =		{10.4230/DagRep.12.5.170},
  annote =	{Keywords: inverse problem, remote sensing, sparse interpolation, spectral analysis, structured matrices}
}
Document
Radical Innovation and Design for Connected and Automated Vehicles (Dagstuhl Seminar 22222)

Authors: Wendy Ju, Bastian Pfleging, and Andreas Riener


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 22222 "Radical Innovation and Design for Connected and Automated Vehicles". Automated driving will most likely be the next big change in individual mobility. While research is still primarily concerned with technical challenges of Automated Driving Systems (ADS), HCI researchers and designers already started to develop concepts on how to use privately owned ADS as a space for non-driving-related activities, going beyond what is possible today. There is, however, room to think about creative ways to use automated vehicles (AV) and connected technology towards the public interest beyond incremental changes, which is what we addressed in this seminar. We challenged the current generative/evaluative research approach for automated driving systems against a radical innovations attempt and questioned whether the current incremental research approach is appropriate for the development of future vehicles. As an integral part of the seminar we wanted participants to learn from each other and to disseminate each individual’s experience for boosting subsequent research by trying out different methods that support the "out of the box" thinking (e.g., brainwriting, bodystorming, focus groups, World Café, amongst others).

Cite as

Wendy Ju, Bastian Pfleging, and Andreas Riener. Radical Innovation and Design for Connected and Automated Vehicles (Dagstuhl Seminar 22222). In Dagstuhl Reports, Volume 12, Issue 5, pp. 188-230, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)


Copy BibTex To Clipboard

@Article{ju_et_al:DagRep.12.5.188,
  author =	{Ju, Wendy and Pfleging, Bastian and Riener, Andreas},
  title =	{{Radical Innovation and Design for Connected and Automated Vehicles (Dagstuhl Seminar 22222)}},
  pages =	{188--230},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2022},
  volume =	{12},
  number =	{5},
  editor =	{Ju, Wendy and Pfleging, Bastian and Riener, Andreas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.12.5.188},
  URN =		{urn:nbn:de:0030-drops-174480},
  doi =		{10.4230/DagRep.12.5.188},
  annote =	{Keywords: Racidal Innovation, Automated Driving, Future Mobility, Sustainability}
}

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