Dagstuhl Reports, Volume 11, Issue 4



Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 11, Issue 4, May 2021, Complete Issue

Abstract
Dagstuhl Reports, Volume 11, Issue 4, April 2021, Complete Issue

Cite as

Dagstuhl Reports, Volume 11, Issue 4, pp. 1-95, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

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

Abstract
Dagstuhl Reports, Table of Contents, Volume 11, Issue 4, 2021

Cite as

Dagstuhl Reports, Volume 11, Issue 4, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@Article{DagRep.11.4.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 11, Issue 4, 2021}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2021},
  volume =	{11},
  number =	{4},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.4.i},
  URN =		{urn:nbn:de:0030-drops-154203},
  doi =		{10.4230/DagRep.11.4.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Computational Geometry (Dagstuhl Seminar 21181)

Authors: Siu-Wing Cheng, Anne Driemel, and Jeff M. Phillips


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 21181 "Computational Geometry". The seminar was held from May 2 to May 7, 2021. Because of COVID, the seminar was held online in a virtual manner, and 36 participants from various countries attended it. New advances and directions in computational geometry were presented and discussed. The report collects the abstracts of talks and open problems presented in the seminar.

Cite as

Siu-Wing Cheng, Anne Driemel, and Jeff M. Phillips. Computational Geometry (Dagstuhl Seminar 21181). In Dagstuhl Reports, Volume 11, Issue 4, pp. 1-19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@Article{cheng_et_al:DagRep.11.4.1,
  author =	{Cheng, Siu-Wing and Driemel, Anne and Phillips, Jeff M.},
  title =	{{Computational Geometry (Dagstuhl Seminar 21181)}},
  pages =	{1--19},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2021},
  volume =	{11},
  number =	{4},
  editor =	{Cheng, Siu-Wing and Driemel, Anne and Phillips, Jeff M.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.4.1},
  URN =		{urn:nbn:de:0030-drops-147963},
  doi =		{10.4230/DagRep.11.4.1},
  annote =	{Keywords: algorithms, computational geometry, Computational topology, data structures, Discrete geometry}
}
Document
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)

Authors: Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid


Abstract
In this report the program and the outcomes of Dagstuhl Seminar 21192 "Approaches and Applications of Inductive Programming" is documented. The goal of inductive programming (IP) is to induce computer programs from data, typically input/output examples of a desired program. IP interests researchers from many areas of computer science, including machine learning, automated reasoning, program verification, and software engineering. Furthermore, IP contributes to research outside computer science, notably in cognitive science, where IP can help build models of human inductive learning and contribute methods for intelligent tutor systems. Building on the success of previous IP Dagstuhl seminars (13502, 15442, 17382, and 19202), the goal of this new edition of the seminar is to focus on IP methods which integrate learning and reasoning, scaling up IP methods to be applicable to more complex real world problems, and to further explore the potential of IP for explainable artificial intelligence (XAI), especially for interactive learning. The extended abstracts included in this report show recent advances in IP research. The included short report of the outcome of the discussion sessions additionally point out interesting interrelation between different aspects and possible new directions for IP.

Cite as

Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). In Dagstuhl Reports, Volume 11, Issue 4, pp. 20-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@Article{cropper_et_al:DagRep.11.4.20,
  author =	{Cropper, Andrew and De Raedt, Luc and Evans, Richard and Schmid, Ute},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)}},
  pages =	{20--33},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2021},
  volume =	{11},
  number =	{4},
  editor =	{Cropper, Andrew and De Raedt, Luc and Evans, Richard 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.11.4.20},
  URN =		{urn:nbn:de:0030-drops-147975},
  doi =		{10.4230/DagRep.11.4.20},
  annote =	{Keywords: Interpretable Machine Learning, Explainable Artificial Intelligence, Interactive Learning, Human-like Computing, Inductive Logic Programming}
}
Document
Serverless Computing (Dagstuhl Seminar 21201)

Authors: Cristina Abad, Ian T. Foster, Nikolas Herbst, and Alexandru Iosup


Abstract
In the backbone of our digital society, cloud computing enables an efficient, utility-like ecosystem of developing, composing, and providing software services. Responding to a trend to make cloud computing services more accessible, fine-grained, and affordable, serverless computing has gained rapid adoption in practice, and garnered much interest from both industry and academia. However successful, serverless computing manifests today the opportunities and challenges of emerging technology: a rapidly growing field but scattered vision, plenty of new technologies but no coherent approach to design solutions from them, many simple applications but no impressive advanced solution, the emergence of a cloud continuum (resources from datacenters to the edge) but no clear path to leverage it efficiently, and overall much need but also much technical complexity. Several related but disjoint fields, notably software and systems engineering, parallel and distributed systems, and system and performance analysis and modeling, aim to address these opportunities and challenges. Excellent collaboration between these fields in the next decade will be critical in establishing serverless computing as a viable technology. We organized this Dagstuhl seminar to bring together researchers, developers, and practitioners across disciplines in serverless computing, to develop a vision and detailed answers to the timely and relevant, open challenges related to the following topics: - Topic 1: design decisions for serverless systems, platforms, and ecosystems, - Topic 2: software engineering of serverless applications, but also systems, platforms, and ecosystems - Topic 3: applications and domain requirements for serverless computing, - Topic 4: evaluation of serverless solutions, and beyond (privacy, cyber-physical systems, etc.). In this document, we report on the outcomes of Dagstuhl Seminar 21201 "Serverless Computing" by integrating diverse views and synthesizing a shared vision for the next decade of serverless computing.

Cite as

Cristina Abad, Ian T. Foster, Nikolas Herbst, and Alexandru Iosup. Serverless Computing (Dagstuhl Seminar 21201). In Dagstuhl Reports, Volume 11, Issue 4, pp. 34-93, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@Article{abad_et_al:DagRep.11.4.34,
  author =	{Abad, Cristina and Foster, Ian T. and Herbst, Nikolas and Iosup, Alexandru},
  title =	{{Serverless Computing (Dagstuhl Seminar 21201)}},
  pages =	{34--93},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2021},
  volume =	{11},
  number =	{4},
  editor =	{Abad, Cristina and Foster, Ian T. and Herbst, Nikolas and Iosup, Alexandru},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.11.4.34},
  URN =		{urn:nbn:de:0030-drops-147982},
  doi =		{10.4230/DagRep.11.4.34},
  annote =	{Keywords: Cloud computing, Cloud continuum, data-driven, design patterns, DevOps, experimentation, model-driven, serverless computing, simulation, software architecture, systems management, vision}
}

Filters