Dagstuhl Reports, Volume 8, Issue 3



Thumbnail PDF

Event

Dagstuhl Seminars 18101, 18102, 18111, 18112, 18121, 18122

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 8, Issue 3, March 2018, Complete Issue

Abstract
Dagstuhl Reports, Volume 8, Issue 3, March 2018, Complete Issue

Cite as

Dagstuhl Reports, Volume 8, Issue 3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

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

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Volume 8, Issue 3, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{DagRep.8.3.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 3, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.i},
  URN =		{urn:nbn:de:0030-drops-97386},
  doi =		{10.4230/DagRep.8.3.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 8, Issue 3, 2018}
}
Document
Scheduling (Dagstuhl Seminar 18101)

Authors: Magnús M. Halldórson, Nicole Megow, and Clifford Stein


Abstract
This report documents the program and outcomes of the Dagstuhl Seminar 18101 "Scheduling" in March 2018. The seminar brought together algorithmically oriented researchers from two communities with interests in resource management: (i) the scheduling community and (ii) the networking and distributed computing community. The primary objective of the seminar was to expose each community to the important problems and techniques from the other community, and to facilitate dialog and collaboration between researchers.

Cite as

Magnús M. Halldórson, Nicole Megow, and Clifford Stein. Scheduling (Dagstuhl Seminar 18101). In Dagstuhl Reports, Volume 8, Issue 3, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{halldorson_et_al:DagRep.8.3.1,
  author =	{Halld\'{o}rson, Magn\'{u}s M. and Megow, Nicole and Stein, Clifford},
  title =	{{Scheduling (Dagstuhl Seminar 18101)}},
  pages =	{1--20},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Halld\'{o}rson, Magn\'{u}s M. and Megow, Nicole and Stein, Clifford},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.1},
  URN =		{urn:nbn:de:0030-drops-92942},
  doi =		{10.4230/DagRep.8.3.1},
  annote =	{Keywords: scheduling, optimization, approximation algorithms}
}
Document
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102)

Authors: Roberto Cominetti, Tobias Harks, Carolina Osorio, and Britta Peis


Abstract
Traffic assignment models are crucial for traffic planners to be able to predict traffic distributions, especially, in light of possible changes of the infrastructure, e.g., road constructions, traffic light controls, etc. The starting point of the seminar was the observation that there is a trend in the transportation community (science as well as industry) to base such predictions on complex computer-based simulations that are capable of resolving many elements of a real transportation system. On the other hand, within the past few years, the theory of dynamic traffic assignments in terms of equilibrium existence and equilibrium computation has not matured to the point matching the model complexity inherent in simulations. In view of the above, this interdisciplinary seminar brought together leading scientists in the areas traffic simulations, algorithmic game theory and dynamic traffic assignment as well as people from industry with strong scientific background who identified possible ways to bridge the described gap.

Cite as

Roberto Cominetti, Tobias Harks, Carolina Osorio, and Britta Peis. Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102). In Dagstuhl Reports, Volume 8, Issue 3, pp. 21-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{cominetti_et_al:DagRep.8.3.21,
  author =	{Cominetti, Roberto and Harks, Tobias and Osorio, Carolina and Peis, Britta},
  title =	{{Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 18102)}},
  pages =	{21--38},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Cominetti, Roberto and Harks, Tobias and Osorio, Carolina and Peis, Britta},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.21},
  URN =		{urn:nbn:de:0030-drops-92954},
  doi =		{10.4230/DagRep.8.3.21},
  annote =	{Keywords: Algorithm and complexity of traffic equilibrium computation, dynamic traffic assignment models, Simulation and network optimization}
}
Document
Loop Optimization (Dagstuhl Seminar 18111)

Authors: Sebastian Hack, Paul H. J. Kelly, and Christian Lengauer


Abstract
This report documents the programme of Dagstuhl Seminar 18111 "Loop Optimization". The seminar brought together experts from three areas: (1) model-based loop optimization, chiefly, in the polyhedron model, (2) rewriting and program transformation, and (3) metaprogramming and symbolic evaluation. Its aim was to review the 20+ years of progress since the Dagstuhl Seminar 9616 "Loop Parallelization" in 1996 and identify the challenges that remain.

Cite as

Sebastian Hack, Paul H. J. Kelly, and Christian Lengauer. Loop Optimization (Dagstuhl Seminar 18111). In Dagstuhl Reports, Volume 8, Issue 3, pp. 39-59, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{hack_et_al:DagRep.8.3.39,
  author =	{Hack, Sebastian and Kelly, Paul H. J. and Lengauer, Christian},
  title =	{{Loop Optimization (Dagstuhl Seminar 18111)}},
  pages =	{39--59},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Hack, Sebastian and Kelly, Paul H. J. and Lengauer, Christian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.39},
  URN =		{urn:nbn:de:0030-drops-92960},
  doi =		{10.4230/DagRep.8.3.39},
  annote =	{Keywords: Autotuning, dependence analysis, just-in-time (JIT), loop parallelization, parallel programming, polyhedron model}
}
Document
Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112)

Authors: Po-Ling Loh, Arya Mazumdar, Dimitris Papailiopoulos, and Rüdiger Urbanke


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18112, "Coding Theory for Inference, Learning and Optimization." Coding theory has recently found new applications in areas such as distributed machine learning, dimension reduction, and variety of statistical problems involving estimation and inference. In machine learning applications that use large-scale data, it is desirable to communicate the results of distributed computations in an efficient and robust manner. In dimension reduction applications, the pseudorandom properties of algebraic codes may be used to construct projection matrices that are deterministic and facilitate algorithmic efficiency. Finally, relationships that have been forged between coding theory and problems in theoretical computer science, such as k-SAT or the planted clique problem, lead to a new interpretation of the sharp thresholds encountered in these settings in terms of thresholds in channel coding theory. The aim of this Dagstuhl Seminar was to draw together researchers from industry and academia that are working in coding theory, particularly in these different (and somewhat disparate) application areas of machine learning and inference. The discussions and collaborations facilitated by this seminar were intended to spark new ideas about how coding theory may be used to improve and inform modern techniques for data analytics.

Cite as

Po-Ling Loh, Arya Mazumdar, Dimitris Papailiopoulos, and Rüdiger Urbanke. Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112). In Dagstuhl Reports, Volume 8, Issue 3, pp. 60-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{loh_et_al:DagRep.8.3.60,
  author =	{Loh, Po-Ling and Mazumdar, Arya and Papailiopoulos, Dimitris and Urbanke, R\"{u}diger},
  title =	{{Coding Theory for Inference, Learning and Optimization (Dagstuhl Seminar 18112)}},
  pages =	{60--73},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Loh, Po-Ling and Mazumdar, Arya and Papailiopoulos, Dimitris and Urbanke, R\"{u}diger},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.60},
  URN =		{urn:nbn:de:0030-drops-92977},
  doi =		{10.4230/DagRep.8.3.60},
  annote =	{Keywords: Coding theory, Distributed optimization, Machine learning, Threshold phenomena}
}
Document
Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)

Authors: Nils Jansen, Joost-Pieter Katoen, Pusmeet Kohli, and Jan Kretinsky


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18121 "Machine Learning and Model Checking Join Forces". This Dagstuhl Seminar brought together researchers working in the fields of machine learning and model checking. It helped to identify new research topics on the one hand and to help with current problems on the other hand.

Cite as

Nils Jansen, Joost-Pieter Katoen, Pusmeet Kohli, and Jan Kretinsky. Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121). In Dagstuhl Reports, Volume 8, Issue 3, pp. 74-93, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{jansen_et_al:DagRep.8.3.74,
  author =	{Jansen, Nils and Katoen, Joost-Pieter and Kohli, Pusmeet and Kretinsky, Jan},
  title =	{{Machine Learning and Model Checking Join Forces (Dagstuhl Seminar 18121)}},
  pages =	{74--93},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Jansen, Nils and Katoen, Joost-Pieter and Kohli, Pusmeet and Kretinsky, Jan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.74},
  URN =		{urn:nbn:de:0030-drops-92988},
  doi =		{10.4230/DagRep.8.3.74},
  annote =	{Keywords: artificial intelligence, cyber-physical systems, formal methods, formal verification, logics, machine learning, model checking, quantitative verification, safety-critical systems}
}
Document
Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)

Authors: Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18122 "Automatic Quality Assurance and Release". The main goal of this seminar was to bridge the knowledge divide on how researchers and industry professionals reason about and implement DevOps for automatic quality assurance. Through the seminar, we have built up a common understanding of DevOps tools and practices, but we have also identified major academic and educational challenges for this field of research.

Cite as

Bram Adams, Benoit Baudry, Sigrid Eldh, and Andy Zaidman. Automatic Quality Assurance and Release (Dagstuhl Seminar 18122). In Dagstuhl Reports, Volume 8, Issue 3, pp. 94-127, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{adams_et_al:DagRep.8.3.94,
  author =	{Adams, Bram and Baudry, Benoit and Eldh, Sigrid and Zaidman, Andy},
  title =	{{Automatic Quality Assurance and Release (Dagstuhl Seminar 18122)}},
  pages =	{94--127},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{8},
  number =	{3},
  editor =	{Adams, Bram and Baudry, Benoit and Eldh, Sigrid and Zaidman, Andy},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.3.94},
  URN =		{urn:nbn:de:0030-drops-92994},
  doi =		{10.4230/DagRep.8.3.94},
  annote =	{Keywords: DevOps, automated quality assurance, Continuous Integration, Continuous Deployment, software testing}
}

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