Issue
Dagstuhl Reports, Volume 14, Issue 6
-
Part of:
Volume:
Dagstuhl Reports, Volume 14
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 24231, 24232, 24241, 24242, 24251, 24261, 24271, 24272Publication Details
- published at: 2024-12-19
- 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 14, Issue 6, June 2024, Complete Issue
Abstract
Dagstuhl Reports, Volume 14, Issue 6, June 2024, Complete Issue
Cite as
Dagstuhl Reports, Volume 14, Issue 6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{DagRep.14.6,
title = {{Dagstuhl Reports, Volume 14, Issue 6, June 2024, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6},
URN = {urn:nbn:de:0030-drops-227359},
doi = {10.4230/DagRep.14.6},
annote = {Keywords: Dagstuhl Reports, Volume 14, Issue 6, June 2024, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 14, Issue 6, 2024
Abstract
Dagstuhl Reports, Table of Contents, Volume 14, Issue 6, 2024
Cite as
Dagstuhl Reports, Volume 14, Issue 6, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{DagRep.14.6.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 14, Issue 6, 2024}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.i},
URN = {urn:nbn:de:0030-drops-227263},
doi = {10.4230/DagRep.14.6.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Stochastic Games (Dagstuhl Seminar 24231)
Abstract
The Dagstuhl Seminar on Stochastic Games brought together leading researchers and practitioners in the field to discuss recent advances, challenges, and future directions. The seminar featured a series of tutorials, invited talks, and contributed talks, which provided a comprehensive overview of the latest developments in Markov decision processes, reinforcement learning, and stochastic game theory. The seminar fostered lively discussions during open problem sessions and working groups, culminating in a collaborative exploration of open questions and potential research directions.
Cite as
Nathanaël Fijalkow, Jan Kretinsky, Ann Nowé, and Gabriel Bathie. Stochastic Games (Dagstuhl Seminar 24231). In Dagstuhl Reports, Volume 14, Issue 6, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{fijalkow_et_al:DagRep.14.6.1,
author = {Fijalkow, Nathana\"{e}l and Kretinsky, Jan and Now\'{e}, Ann and Bathie, Gabriel},
title = {{Stochastic Games (Dagstuhl Seminar 24231)}},
pages = {1--18},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Fijalkow, Nathana\"{e}l and Kretinsky, Jan and Now\'{e}, Ann and Bathie, Gabriel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.1},
URN = {urn:nbn:de:0030-drops-227344},
doi = {10.4230/DagRep.14.6.1},
annote = {Keywords: Algorithmic Game Theory, Algorithms, Optimisation, Reinforcement Learning, Stochastic Games}
}
Document
Designing Computers' Control Over Our Bodies (Dagstuhl Seminar 24232)
Abstract
The classical human-computer interaction (HCI) model characterised interactions as predominantly user-directed, with the computer acting as a responder to human commands. This paradigm had been foundational, yet contemporary research pivoted towards more reciprocal roles, where the machine not only responded but also asserted control. This emerging domain, characterised by technologies such as electrical muscle stimulation, galvanic vestibular stimulation, and exoskeletons, introduced a new dynamic - computational control over the human body. Such technologies offered significant benefits, like enhanced safety in autonomous vehicles and increased mobility through autonomous exoskeletons. However, these advancements also ushered in ethical, psychological, and physical concerns, paralleling earlier fears associated with technologies that aimed to control human psychology.
The absence of a structured theoretical framework to articulate and evaluate the experiences of being controlled by a machine was evident, as was a comprehensive understanding of how to design such interactions responsibly. This Dagstuhl Seminar sought to bridge these gaps by convening experts from academia and industry. The seminar explored multidisciplinary approaches to the design challenges and societal implications of computational control over the human body. Through collaborative discourse, the event aimed to foster a deeper understanding of this complex interaction paradigm, contributing towards a more humane technological future by integrating diverse insights and expertise.
Cite as
Nadia Bianchi-Berthouze, Mar Gonzalez-Franco, Florian `Floyd' Mueller, Misha Sra, and Rakesh Patibanda. Designing Computers' Control Over Our Bodies (Dagstuhl Seminar 24232). In Dagstuhl Reports, Volume 14, Issue 6, pp. 19-51, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{bianchiberthouze_et_al:DagRep.14.6.19,
author = {Bianchi-Berthouze, Nadia and Gonzalez-Franco, Mar and Mueller, Florian `Floyd' and Sra, Misha and Patibanda, Rakesh},
title = {{Designing Computers' Control Over Our Bodies (Dagstuhl Seminar 24232)}},
pages = {19--51},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Bianchi-Berthouze, Nadia and Gonzalez-Franco, Mar and Mueller, Florian `Floyd' and Sra, Misha and Patibanda, Rakesh},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.19},
URN = {urn:nbn:de:0030-drops-227331},
doi = {10.4230/DagRep.14.6.19},
annote = {Keywords: Body, Control, Human-Computer Integration, Human-Computer Interaction, HCI, Computational Control, Electrical Muscle Stimulation, Galvanic Vestibular Stimulation, Exoskeletons, Ethics, Design Framework}
}
Document
Geometric modeling: Challenges for Additive Manufacturing, Design and Analysis (Dagstuhl Seminar 24241)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 24241 "Geometric modeling: Challenges for Additive Manufacturing, Design and Analysis". The seminar has returned to the on-site participants only format. On-site participation is essential for establishing a good dialogue between participants. The industry participation was higher than in previous events. Many of the participants were newcomers that brought new ideas and life into the discussions. This report summarizes the seminar communications by providing the abstracts of the talks which present recent results in geometric modeling and its applications. Organized scientific exchanges were structured into three working groups that each provided a report included in this document. The working group reports highlight new and future challenges within Geometric Modeling in general, and its use within Additive Manufacturing, Isogeometric Analysis, and Design Optimization.
Cite as
Tor Dokken, Xiaohong Jia, Géraldine Morin, Elissa Ross, and Zoë Marschner. Geometric modeling: Challenges for Additive Manufacturing, Design and Analysis (Dagstuhl Seminar 24241). In Dagstuhl Reports, Volume 14, Issue 6, pp. 52-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{dokken_et_al:DagRep.14.6.52,
author = {Dokken, Tor and Jia, Xiaohong and Morin, G\'{e}raldine and Ross, Elissa and Marschner, Zo\"{e}},
title = {{Geometric modeling: Challenges for Additive Manufacturing, Design and Analysis (Dagstuhl Seminar 24241)}},
pages = {52--83},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Dokken, Tor and Jia, Xiaohong and Morin, G\'{e}raldine and Ross, Elissa and Marschner, Zo\"{e}},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.52},
URN = {urn:nbn:de:0030-drops-227323},
doi = {10.4230/DagRep.14.6.52},
annote = {Keywords: Additive Manufacturing, Computer Graphics, Computer-Aided Design, Design Optimization, Geometric Modeling, Geometry, Geometry Processing, Isogeometric Analysis, Shape Design}
}
Document
Computational Analysis and Simulation of the Human Voice (Dagstuhl Seminar 24242)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 24242 "Computational Analysis and Simulation of the Human Voice", which was held from the 9th to the 14th of June, 2024. The seminar addressed key issues for a better understanding of the human voice by focusing on four main areas: voice analysis, visualisation techniques, simulation methods, and data analysis with machine learning. There has been enormous progress in recent years in all these fields. The seminar brought together a number of experts from fields as diverse as computer science, logopedics and phoniatrics, clinicians, acoustics and audio engineering, electronics, musicology, speech and hearing sciences, physics and mathematics. The schedule was quite flexible, including inspirational talks in the main areas, interactive working groups, sharing of conclusions and discussions, presentation of successes and failures to learn from, and a large number of free talks that emerged throughout the days. The variety of topics and participants created a highly enriching environment from which novel proposals for future research and collaboration emerged, as well as the collective writing of a paper on the state of the art and future perspectives in human voice research.
Cite as
Sten Ternström, Nathalie Henrich Bernardoni, Peter Birkholz, Oriol Guasch, and Amelia Gully. Computational Analysis and Simulation of the Human Voice (Dagstuhl Seminar 24242). In Dagstuhl Reports, Volume 14, Issue 6, pp. 84-107, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{ternstrom_et_al:DagRep.14.6.84,
author = {Ternstr\"{o}m, Sten and Bernardoni, Nathalie Henrich and Birkholz, Peter and Guasch, Oriol and Gully, Amelia},
title = {{Computational Analysis and Simulation of the Human Voice (Dagstuhl Seminar 24242)}},
pages = {84--107},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Ternstr\"{o}m, Sten and Bernardoni, Nathalie Henrich and Birkholz, Peter and Guasch, Oriol and Gully, Amelia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.84},
URN = {urn:nbn:de:0030-drops-227318},
doi = {10.4230/DagRep.14.6.84},
annote = {Keywords: voice science, voice analysis, voice simulation, visualization, big data, machine learning, clinical voice treatment}
}
Document
Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)
Abstract
Introductory courses on formal foundations of computer science - including basic courses on theoretical computer science (regular and context-free languages, computability theory, and complexity theory) as well as on logic in computer science (propositional and first-order logic, modeling, and algorithms for evaluation and satisfaction of formulas) - are a cornerstone of computer science curricula, yet many students struggle with their often theoretical contents. The recent influx of students in computer science, as well as the shift towards the inclusion of more online-based teaching ask for advanced teaching support systems that aid both students and instructors.
This Dagstuhl Seminar focussed on fostering discussion between researchers in computing education, builders of systems for teaching formal foundations, as well as instructors of these foundations in order to facilitate more robust research and development of systems to support teaching and learning of the formal foundations of computer science.
Cite as
Tiffany Barnes, Jan Vahrenhold, Thomas Zeume, and Florian Schmalstieg. Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251). In Dagstuhl Reports, Volume 14, Issue 6, pp. 108-129, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{barnes_et_al:DagRep.14.6.108,
author = {Barnes, Tiffany and Vahrenhold, Jan and Zeume, Thomas and Schmalstieg, Florian},
title = {{Teaching Support Systems for Formal Foundations of Computer Science (Dagstuhl Seminar 24251)}},
pages = {108--129},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Barnes, Tiffany and Vahrenhold, Jan and Zeume, Thomas and Schmalstieg, Florian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.108},
URN = {urn:nbn:de:0030-drops-227301},
doi = {10.4230/DagRep.14.6.108},
annote = {Keywords: artificial intelligence in education, computing education research, educational data mining, formal foundations of computer science, intelligent tutoring systems, user modeling and adaptive personalization, user studies}
}
Document
Computational Creativity for Game Development (Dagstuhl Seminar 24261)
Abstract
Developments in artificial intelligence are currently dominated by deep neural networks, trained on large data sets, which excel at pattern recognition. Variants of the "classic" deep neural networks have the ability to generate new data with statistical properties similar to the training set. Despite the impressive products of such creative artificial intelligence, the results are usually lacking in meaning. They contain mistakes that humans would avoid, and often produce content which is not functional. While the product of creative artificial intelligence can be used as a strong basis for humans to build upon, human intelligence and human creativity are almost always a necessary ingredient of the creative process. Moreover, the more relevant the meaning, purpose, and functionality of the product are, the less the creative process benefits from the involvement of artificial intelligence.
Game design and implementation are tasks which require a high amount of creativity, and which must lead to products which require a high amount of fine-tuned functionality. For example, a game "level" should not only look appealing, it should also be playable and it should be interesting to play. These are not features which can be acquired simply by "training on big data," which is what most developments in modern artificial intelligence are based on.
This report on Dagstuhl Seminar 24261 discusses to what extent modern artificial intelligence techniques can produce meaningful and functional game content.
Cite as
Duygu Cakmak, Setareh Maghsudi, Diego Perez Liebana, and Pieter Spronck. Computational Creativity for Game Development (Dagstuhl Seminar 24261). In Dagstuhl Reports, Volume 14, Issue 6, pp. 130-214, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{cakmak_et_al:DagRep.14.6.130,
author = {Cakmak, Duygu and Maghsudi, Setareh and Liebana, Diego Perez and Spronck, Pieter},
title = {{Computational Creativity for Game Development (Dagstuhl Seminar 24261)}},
pages = {130--214},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Cakmak, Duygu and Maghsudi, Setareh and Liebana, Diego Perez and Spronck, Pieter},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.130},
URN = {urn:nbn:de:0030-drops-227298},
doi = {10.4230/DagRep.14.6.130},
annote = {Keywords: artificial intelligence, computational creativity, computational intelligence, game design, game development}
}
Document
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 24271)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 24271 "Theory of Randomized Optimization Heuristics", which marks the twelfth installment of our biennial seminar series. This iteration saw a lot of discussion on important, yet rarely analyzed topics in the domain of heuristic optimization, such as mixed-integer problems, permutation spaces, and coevolution. Moreover, it aimed at unifying existing results by discussing mathematical tools (such as drift analysis), the structure of discrete problems, and a common framework for theoretical analysis and practical implementation. Last, more recent and important topics, such as constrained and multi-objective optimization, were a major part of the seminar. We had a vivid exchange in various breakout sessions and different talks, with a great mix of junior and senior participants, which was very positively received.
Cite as
Anne Auger, Tobias Glasmachers, Martin S. Krejca, Johannes Lengler, and Alexander Jungeilges. Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 24271). In Dagstuhl Reports, Volume 14, Issue 6, pp. 215-244, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{auger_et_al:DagRep.14.6.215,
author = {Auger, Anne and Glasmachers, Tobias and Krejca, Martin S. and Lengler, Johannes and Jungeilges, Alexander},
title = {{Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 24271)}},
pages = {215--244},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Auger, Anne and Glasmachers, Tobias and Krejca, Martin S. and Lengler, Johannes and Jungeilges, Alexander},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.215},
URN = {urn:nbn:de:0030-drops-227286},
doi = {10.4230/DagRep.14.6.215},
annote = {Keywords: Black-Box Optimization Heuristics, Evolution Strategies, Genetic and Evolutionary Algorithms, Runtime and Convergence Analysis, Stochastic Processes}
}
Document
A Game of Shadows: Effective Mastery Learning in the Age of Ubiquitous AI (Dagstuhl Seminar 24272)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 24272 "A Game of Shadows: Effective Mastery Learning in the Age of Ubiquitous AI". We focused during the seminar on exploring how generative AI can support mastery learning; breaking the problem into three main categories: operational, community focused, and curriculum and pedagogy focused. Our various talks explored these aspects.
Cite as
Nick Falkner, Juho Leinonen, Miranda C. Parker, Andrew Petersen, and Claudia Szabo. A Game of Shadows: Effective Mastery Learning in the Age of Ubiquitous AI (Dagstuhl Seminar 24272). In Dagstuhl Reports, Volume 14, Issue 6, pp. 245-262, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
Copy BibTex To Clipboard
@Article{falkner_et_al:DagRep.14.6.245,
author = {Falkner, Nick and Leinonen, Juho and Parker, Miranda C. and Petersen, Andrew and Szabo, Claudia},
title = {{A Game of Shadows: Effective Mastery Learning in the Age of Ubiquitous AI (Dagstuhl Seminar 24272)}},
pages = {245--262},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2024},
volume = {14},
number = {6},
editor = {Falkner, Nick and Leinonen, Juho and Parker, Miranda C. and Petersen, Andrew and Szabo, Claudia},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.14.6.245},
URN = {urn:nbn:de:0030-drops-227277},
doi = {10.4230/DagRep.14.6.245},
annote = {Keywords: chatgpt, computing education, llms, machine learning, mastery learning}
}