Dagstuhl Reports, Volume 9, Issue 5



Thumbnail PDF

Publication Details


Access Numbers

Documents

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

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

Cite as

Dagstuhl Reports, Volume 9, Issue 5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

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

Abstract
Dagstuhl Reports, Table of Contents, Volume 9, Issue 5, 2019

Cite as

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


Copy BibTex To Clipboard

@Article{DagRep.9.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 9, Issue 5, 2019}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.i},
  URN =		{urn:nbn:de:0030-drops-114577},
  doi =		{10.4230/DagRep.9.5.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)

Authors: Thorsten Berger, Marsha Chechik, Timo Kehrer, and Manuel Wimmer


Abstract
Effectively managing versions and variants of software systems are among the main challenges of software engineering. Over the last decades, two large research fields, Software Configuration Management (SCM) and Software Product Line Engineering (SPLE), have focused on addressing the version and the variant management, respectively. Yet, large-scale systems require addressing both challenges in a unified way. The SCM community regularly faces the need to support variants, while SPLE needs versioning support. However, neither community has been successful in producing unified version and variant management techniques that are effective in practice. This seminar aimed at establishing a body of knowledge of version and variant management techniques. Together with industrial practitioners, we invited researchers from both fields to conceive an ontology of SCM and SPLE concepts, to identify open problems, and to elicit and synthesize practitioners' challenges and requirements. These outcomes provided the basis to create a research agenda, research infrastructure, and working groups, and finally, to establish a benchmark for evaluating future research results. As such, the seminar enabled research on enhanced version and variant management techniques that will ultimately be adopted in practice.

Cite as

Thorsten Berger, Marsha Chechik, Timo Kehrer, and Manuel Wimmer. Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191). In Dagstuhl Reports, Volume 9, Issue 5, pp. 1-30, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{berger_et_al:DagRep.9.5.1,
  author =	{Berger, Thorsten and Chechik, Marsha and Kehrer, Timo and Wimmer, Manuel},
  title =	{{Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)}},
  pages =	{1--30},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{Berger, Thorsten and Chechik, Marsha and Kehrer, Timo and Wimmer, Manuel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.1},
  URN =		{urn:nbn:de:0030-drops-113793},
  doi =		{10.4230/DagRep.9.5.1},
  annote =	{Keywords: software configuration management, versioning, variability management, software product lines, empirical evaluation}
}
Document
Visual Analytics for Sets over Time and Space (Dagstuhl Seminar 19192)

Authors: Sara Irina Fabrikant, Silvia Miksch, and Alexander Wolff


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19192 "Visual Analytics for Sets over Time and Space", which brought together 29 researchers working on visualization (i) from a theoretical point of view (graph drawing, computational geometry, and cognition), (ii) from a temporal point of view (visual analytics and information visualization over time, HCI), and (iii) from a space-time point of view (cartography, GIScience). The goal of the seminar was to identify specific theoretical and practical problems that need to be solved in order to create dynamic and interactive set visualizations that take into account time and space, and to begin working on these problems. The first 1.5 days were reserved for overview presentations from representatives of the different communities, for presenting open problems, and for forming interdisciplinary working groups that will focus on some of the identified open problems as a group. There were three survey talks, ten short talks, and one panel with three contributors. The remaining three days consisted of open mic sessions, working-group meetings, and progress reports. Five working groups were formed that investigated several of the open research questions. Abstracts of the talks and a report from each working group are included in this report.

Cite as

Sara Irina Fabrikant, Silvia Miksch, and Alexander Wolff. Visual Analytics for Sets over Time and Space (Dagstuhl Seminar 19192). In Dagstuhl Reports, Volume 9, Issue 5, pp. 31-56, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{fabrikant_et_al:DagRep.9.5.31,
  author =	{Fabrikant, Sara Irina and Miksch, Silvia and Wolff, Alexander},
  title =	{{Visual Analytics for Sets over Time and Space (Dagstuhl Seminar 19192)}},
  pages =	{31--56},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{Fabrikant, Sara Irina and Miksch, Silvia and Wolff, Alexander},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.31},
  URN =		{urn:nbn:de:0030-drops-113806},
  doi =		{10.4230/DagRep.9.5.31},
  annote =	{Keywords: Geovisualization, graph drawing, information visualization, set visualization, visual analytics}
}
Document
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)

Authors: Luc De Raedt, Richard Evans, Stephen H. Muggleton, and Ute Schmid


Abstract
In this report the program and the outcomes of Dagstuhl Seminar 19202 "Approaches and Applications of Inductive Programming" is documented. After a short introduction to the state of the art to inductive programming research, an overview of the introductory tutorials, the talks, program demonstrations, and the outcomes of discussion groups is given.

Cite as

Luc De Raedt, Richard Evans, Stephen H. Muggleton, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202). In Dagstuhl Reports, Volume 9, Issue 5, pp. 58-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{deraedt_et_al:DagRep.9.5.58,
  author =	{De Raedt, Luc and Evans, Richard and Muggleton, Stephen H. and Schmid, Ute},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)}},
  pages =	{58--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{De Raedt, Luc and Evans, Richard and Muggleton, Stephen H. and Schmid, Ute},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.58},
  URN =		{urn:nbn:de:0030-drops-113810},
  doi =		{10.4230/DagRep.9.5.58},
  annote =	{Keywords: Enduser programming, Explainable AI, Human-like computing, Inductive logic programming, Probabilistic programming}
}
Document
Enumeration in Data Management (Dagstuhl Seminar 19211)

Authors: Endre Boros, Benny Kimelfeld, Reinhard Pichler, and Nicole Schweikardt


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19211 "Enumeration in Data Management". The goal of the seminar was to bring together researchers from various fields of computer science, including the Databases, Computational Logic, and Algorithms communities, and establish the means of collaboration towards considerable progress on the topic. Specifically, we aimed at understanding the recent developments, identifying the important open problems, and initiating collaborative efforts towards solutions thereof. In addition, we aimed to build and disseminate a toolkit for data-centric enumeration problems, including algorithmic techniques, proof techniques, and important indicator problems. Towards the objectives, the seminar included tutorials on the topic, invited talks, presentations of open problems, working groups on the open problems, discussions on platforms to compile the community knowledge, and the construction of various skeletons of such compilations.

Cite as

Endre Boros, Benny Kimelfeld, Reinhard Pichler, and Nicole Schweikardt. Enumeration in Data Management (Dagstuhl Seminar 19211). In Dagstuhl Reports, Volume 9, Issue 5, pp. 89-109, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{boros_et_al:DagRep.9.5.89,
  author =	{Boros, Endre and Kimelfeld, Benny and Pichler, Reinhard and Schweikardt, Nicole},
  title =	{{Enumeration in Data Management (Dagstuhl Seminar 19211)}},
  pages =	{89--109},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{Boros, Endre and Kimelfeld, Benny and Pichler, Reinhard and Schweikardt, Nicole},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.89},
  URN =		{urn:nbn:de:0030-drops-113822},
  doi =		{10.4230/DagRep.9.5.89},
  annote =	{Keywords: constant delay, databases, dynamic complexity, enumeration, polynomial delay, query evaluation}
}
Document
Topology, Computation and Data Analysis (Dagstuhl Seminar 19212)

Authors: Michael Kerber, Vijay Natarajan, and Bei Wang


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19212 "Topology, Computation and Data Analysis". The seminar brought together researchers with mathematical and computational backgrounds in addressing emerging directions within computational topology for data analysis in practice. This seminar was designed to be a followup event after a very successful Dagstuhl Seminar (17292; July 2017). The list of topics and participants were updated to keep the discussions diverse, refreshing, and engaging. This seminar facilitated close interactions among the attendees with the aim of accelerating the convergence between mathematical and computational thinking in the development of theories and scalable algorithms for data analysis.

Cite as

Michael Kerber, Vijay Natarajan, and Bei Wang. Topology, Computation and Data Analysis (Dagstuhl Seminar 19212). In Dagstuhl Reports, Volume 9, Issue 5, pp. 110-131, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{kerber_et_al:DagRep.9.5.110,
  author =	{Kerber, Michael and Natarajan, Vijay and Wang, Bei},
  title =	{{Topology, Computation and Data Analysis (Dagstuhl Seminar 19212)}},
  pages =	{110--131},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{Kerber, Michael and Natarajan, Vijay and Wang, Bei},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.110},
  URN =		{urn:nbn:de:0030-drops-113832},
  doi =		{10.4230/DagRep.9.5.110},
  annote =	{Keywords: computational topology, topological data analysis, Topology based visualization}
}
Document
Control of Networked Cyber-Physical Systems (Dagstuhl Seminar 19222)

Authors: John S. Baras, Sandra Hirche, Kay Römer, and Klaus Wehrle


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 19222 "Control of Networked Cyber-Physical Systems". Such systems typically operate under very tight timing constraints and at the same time witness an ever-increasing complexity in both size and the amount of information needed to main controllability. Yet, the development of control systems and of communication/computation infrastructures has traditionally been decoupled, so that valuable insights from the respective other domain could not be used towards the joint goal of keeping cyber-physical systems (CPS) controllable. In order to overcome this "black box" thinking, the seminar brought together researchers from the key communities involved in the development of CPS. In a series of impulse talks and plenary discussions, the seminar reviewed the current start-of-the-art in CPS research and identified promising research directions that may benefit from closer cooperation between the communication and control communities.

Cite as

John S. Baras, Sandra Hirche, Kay Römer, and Klaus Wehrle. Control of Networked Cyber-Physical Systems (Dagstuhl Seminar 19222). In Dagstuhl Reports, Volume 9, Issue 5, pp. 132-141, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{baras_et_al:DagRep.9.5.132,
  author =	{Baras, John S. and Hirche, Sandra and R\"{o}mer, Kay and Wehrle, Klaus},
  title =	{{Control of Networked Cyber-Physical Systems (Dagstuhl Seminar 19222)}},
  pages =	{132--141},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{9},
  number =	{5},
  editor =	{Baras, John S. and Hirche, Sandra and R\"{o}mer, Kay and Wehrle, Klaus},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.5.132},
  URN =		{urn:nbn:de:0030-drops-113847},
  doi =		{10.4230/DagRep.9.5.132},
  annote =	{Keywords: Control Theory, Cyber-Physical Systems, Latency, Network Architecture}
}

Filters