@Article{DagRep.5.8,
  title =	{{Dagstuhl Reports, Volume 5, Issue 8, August 2015, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.8},
  URN =		{urn:nbn:de:0030-drops-56929},
  doi =		{10.4230/DagRep.5.8},
  annote =	{Keywords: Dagstuhl Reports, Volume 5, Issue 8, August 2015, Complete Issue}
}
@Article{DagRep.5.8.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 5, Issue 8, 2015}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.8.i},
  URN =		{urn:nbn:de:0030-drops-56911},
  doi =		{10.4230/DagRep.5.8.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 8, 2015}
}
@Article{kranzlmuller_et_al:DagRep.5.8.1,
  author =	{Kranzlm\"{u}ller, Dieter and Rountree, Barry L.},
  title =	{{Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342)}},
  pages =	{1--8},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  editor =	{Kranzlm\"{u}ller, Dieter and Rountree, Barry L.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.8.1},
  URN =		{urn:nbn:de:0030-drops-56757},
  doi =		{10.4230/DagRep.5.8.1},
  annote =	{Keywords: Exascale computing, Energy efficiency, Power awareness, Scalability}
}
@Article{aebersold_et_al:DagRep.5.8.9,
  author =	{Aebersold, Rudolf and Kohlbacher, Oliver and Vitek, Olga},
  title =	{{Computational Mass Spectrometry (Dagstuhl Seminar 15351)}},
  pages =	{9--33},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  editor =	{Aebersold, Rudolf and Kohlbacher, Oliver and Vitek, Olga},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.8.9},
  URN =		{urn:nbn:de:0030-drops-56765},
  doi =		{10.4230/DagRep.5.8.9},
  annote =	{Keywords: computational mass spectrometry, proteomics, metabolomics, bioinformatics}
}
@Article{chakrabarty_et_al:DagRep.5.8.34,
  author =	{Chakrabarty, Krishnendu and Ho, Tsung-Yi and Wille, Robert},
  title =	{{Design of Microfluidic Biochips (Dagstuhl Seminar 15352)}},
  pages =	{34--53},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  editor =	{Chakrabarty, Krishnendu and Ho, Tsung-Yi and Wille, Robert},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.8.34},
  URN =		{urn:nbn:de:0030-drops-56776},
  doi =		{10.4230/DagRep.5.8.34},
  annote =	{Keywords: cyber-physical integration, microfluidic biochip, computer aided design, hardware and software co-design, test, verification}
}
@Article{hein_et_al:DagRep.5.8.54,
  author =	{Hein, Matthias and Lugosi, Gabor and Rosasco, Lorenzo},
  title =	{{Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361)}},
  pages =	{54--73},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  editor =	{Hein, Matthias and Lugosi, Gabor and Rosasco, Lorenzo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.8.54},
  URN =		{urn:nbn:de:0030-drops-56783},
  doi =		{10.4230/DagRep.5.8.54},
  annote =	{Keywords: learning theory, non-smooth optimization (convex and non-convex), signal processing}
}
@Article{gabbay_et_al:DagRep.5.8.74,
  author =	{Gabbay, Dov M. and Giacomin, Massimiliano and Liao, Beishui and van der Torre, Leendert},
  title =	{{Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)}},
  pages =	{74--89},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{8},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.8.74},
  URN =		{urn:nbn:de:0030-drops-56792},
  doi =		{10.4230/DagRep.5.8.74},
  annote =	{Keywords: Argumentation, Non-monotonic Logic, Multi-Agent Systems}
}