Issue
Dagstuhl Reports, Volume 9, Issue 10
-
Part of:
Volume:
Dagstuhl Reports, Volume 9
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 19411, 19421, 19431, 19432, 19442, 19443Publication Details
- published at: 2020-02-26
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports9
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 9, Issue 10, October 2019, Complete Issue
Abstract
Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue
Cite as
Dagstuhl Reports, Volume 9, Issue 10, pp. 1-153, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{DagRep.9.10,
title = {{Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue}},
pages = {1--153},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10},
URN = {urn:nbn:de:0030-drops-119876},
doi = {10.4230/DagRep.9.10},
annote = {Keywords: Dagstuhl Reports, Volume 9, Issue 10, October 2019, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 9, Issue 10, 2019
Abstract
Dagstuhl Reports, Table of Contents, Volume 9, Issue 10, 2019
Cite as
Dagstuhl Reports, Volume 9, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{DagRep.9.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 9, Issue 10, 2019}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.i},
URN = {urn:nbn:de:0030-drops-119884},
doi = {10.4230/DagRep.9.10.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19411 "Social Agents for Teamwork and Group Interactions". It summarises the three talks that were held during the seminar on three different perspectives: the impact of robots in human teamwork, mechanisms to support group interactions in virtual settings, and affect analysis in human-robot group settings. It also details the considerations of six working groups covering the following topics: datasets, design, team dynamics, social cognition, scenarios, and social behaviours.
Cite as
Elisabeth André, Ana Paiva, Julie Shah, and Selma Šabanovic. Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411). In Dagstuhl Reports, Volume 9, Issue 10, pp. 1-46, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{andre_et_al:DagRep.9.10.1,
author = {Andr\'{e}, Elisabeth and Paiva, Ana and Shah, Julie and \v{S}abanovic, Selma},
title = {{Social Agents for Teamwork and Group Interactions (Dagstuhl Seminar 19411)}},
pages = {1--46},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
editor = {Andr\'{e}, Elisabeth and Paiva, Ana and Shah, Julie and \v{S}abanovic, Selma},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.1},
URN = {urn:nbn:de:0030-drops-118533},
doi = {10.4230/DagRep.9.10.1},
annote = {Keywords: Social Agents, Social Robotics, Multi-Agent Systems, Human-Agent Interaction, Groups and Teams}
}
Document
Quantum Cryptanalysis (Dagstuhl Seminar 19421)
Abstract
This seminar report documents the program and the outcomes of Dagstuhl Seminar 19421 "Quantum Cryptanalysis", which took place in October 2019. After outlining the motivation and organizational aspects of this particular seminar, abstracts of presentations that were given by participants are provided.
Cite as
Michele Mosca, Maria Naya-Plasencia, and Rainer Steinwandt. Quantum Cryptanalysis (Dagstuhl Seminar 19421). In Dagstuhl Reports, Volume 9, Issue 10, pp. 47-60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{mosca_et_al:DagRep.9.10.47,
author = {Mosca, Michele and Naya-Plasencia, Maria and Steinwandt, Rainer},
title = {{Quantum Cryptanalysis (Dagstuhl Seminar 19421)}},
pages = {47--60},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
editor = {Mosca, Michele and Naya-Plasencia, Maria and Steinwandt, Rainer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.47},
URN = {urn:nbn:de:0030-drops-118543},
doi = {10.4230/DagRep.9.10.47},
annote = {Keywords: computational algebra, post-quantum cryptography, quantum circuit complexity, quantum computing, standardization}
}
Document
Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431)
Abstract
This report documents the activities of Dagstuhl Seminar 19431 on Theory of Randomized Optimization Heuristics. 46 researchers from Europe, Australia, Asia, and North America have come together to discuss ongoing research. This tenth edition of the seminar series had three focus topics: (1) relation between optimal control and heuristic optimization, (2) benchmarking optimization heuristics, and (3) the interfaces between continuous and discrete optimization. Several breakout sessions have provided ample opportunity to brainstorm on recent developments in the research landscape, to discuss and solve open problems, and to kick-start new research initiatives.
Cite as
Carola Doerr, Carlos M. Fonseca, Tobias Friedrich, and Xin Yao. Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431). In Dagstuhl Reports, Volume 9, Issue 10, pp. 61-94, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{doerr_et_al:DagRep.9.10.61,
author = {Doerr, Carola and Fonseca, Carlos M. and Friedrich, Tobias and Yao, Xin},
title = {{Theory of Randomized Optimization Heuristics (Dagstuhl Reports 19431)}},
pages = {61--94},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
editor = {Doerr, Carola and Fonseca, Carlos M. and Friedrich, Tobias and Yao, Xin},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.61},
URN = {urn:nbn:de:0030-drops-118567},
doi = {10.4230/DagRep.9.10.61},
annote = {Keywords: algorithms and complexity, evolutionary algorithms, machine learning, optimization, soft computing}
}
Document
Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19432 "Analysis of Autonomous Mobile Collectives in Complex Physical Environments". Our working hypothesis for this seminar was that for systems of such complexity and criticality, the trustworthy certification and the successful operation in society will strongly benefit from the coordinated application of several rigorous engineering methods and formal analysis techniques. In this context, we discussed the state-of-the-art based on the working example of a Smart Farm. Our aim was to understand the practical challenges and the capabilities and limitations of recent formal modelling and analysis techniques when tackling these challenges, and to initiate a special research community on the verification of autonomous collectives.
Cite as
Mario Gleirscher, Anne E. Haxthausen, Martin Leucker, and Sven Linker. Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432). In Dagstuhl Reports, Volume 9, Issue 10, pp. 95-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{gleirscher_et_al:DagRep.9.10.95,
author = {Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven},
title = {{Analysis of Autonomous Mobile Collectives in Complex Physical Environments (Dagstuhl Seminar 19432)}},
pages = {95--116},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
editor = {Gleirscher, Mario and Haxthausen, Anne E. and Leucker, Martin and Linker, Sven},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.95},
URN = {urn:nbn:de:0030-drops-118579},
doi = {10.4230/DagRep.9.10.95},
annote = {Keywords: autonomous collectives, control engineering, formal verification, hybrid systems, uncertainty and risk}
}
Document
Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)
Abstract
Programming language advances have played an
important role in various areas of distributed systems research, including
consistency, communication, and fault tolerance, enabling automated reasoning
and performance optimization.
However, over the last few years, researchers focusing on this area
have been scattered across different communities such as
language design and implementation, (distributed) databases,
Big Data processing and IoT/edge computing -- resulting in limited interaction.
The goal of this seminar is to build a community of researchers interested in
programming language techniques for distributed systems and distributed data management,
share current research results and set up a common research agenda.
This report documents the program and the outcomes of Dagstuhl Seminar 19442 "Programming Languages for Distributed Systems and Distributed Data Management."
Cite as
Carla Ferreira, Philipp Haller, and Guido Salvaneschi. Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442). In Dagstuhl Reports, Volume 9, Issue 10, pp. 117-133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{ferreira_et_al:DagRep.9.10.117,
author = {Ferreira, Carla and Haller, Philipp and Salvaneschi, Guido},
title = {{Programming Languages for Distributed Systems and Distributed Data Management (Dagstuhl Seminar 19442)}},
pages = {117--133},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
editor = {Ferreira, Carla and Haller, Philipp and Salvaneschi, Guido},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.117},
URN = {urn:nbn:de:0030-drops-118586},
doi = {10.4230/DagRep.9.10.117},
annote = {Keywords: Programming Languages, Distributed Systems, Data Management}
}
Document
Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443)
Abstract
Phylogenetics is the study of ancestral relationships between species. Its central goal is the reconstruction and analysis of phylogenetic trees and networks. Even though research in phylogenetics is motivated by biological questions and applications, it heavily relies on mathematics and computer science.
Dagstuhl Seminar 19443 on Algorithms and Complexity in Phylogenetics aimed at bringing together researchers from phylogenetics and theoretical computer science to enable an exchange of expertise, facilitate interactions across both research areas, and establish new collaborations. This report documents the program and outcomes of the seminar. It contains an executive summary, abstracts of talks, short summaries of working groups, and a list of open problems that were posed during the seminar.
Cite as
Magnus Bordewich, Britta Dorn, Simone Linz, and Rolf Niedermeier. Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443). In Dagstuhl Reports, Volume 9, Issue 10, pp. 134-151, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
Copy BibTex To Clipboard
@Article{bordewich_et_al:DagRep.9.10.134,
author = {Bordewich, Magnus and Dorn, Britta and Linz, Simone and Niedermeier, Rolf},
title = {{Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443)}},
pages = {134--151},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2020},
volume = {9},
number = {10},
editor = {Bordewich, Magnus and Dorn, Britta and Linz, Simone and Niedermeier, Rolf},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.10.134},
URN = {urn:nbn:de:0030-drops-118590},
doi = {10.4230/DagRep.9.10.134},
annote = {Keywords: Approximation algorithms, Evolution, Parameterized algorithms, Phylogenetic trees and networks}
}