@Article{DagRep.7.5,
  title =	{{Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5},
  URN =		{urn:nbn:de:0030-drops-84336},
  doi =		{10.4230/DagRep.7.5},
  annote =	{Keywords: Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue}
}
@Article{DagRep.7.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{5},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.i},
  URN =		{urn:nbn:de:0030-drops-84326},
  doi =		{10.4230/DagRep.7.5.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017}
}
@Article{dietzfelbinger_et_al:DagRep.7.5.1,
  author =	{Dietzfelbinger, Martin and Mitzenmacher, Michael and Pagh, Rasmus and Woodruff, David P. and Aum\"{u}ller, Martin},
  title =	{{Theory and Applications of Hashing (Dagstuhl Seminar 17181)}},
  pages =	{1--21},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Dietzfelbinger, Martin and Mitzenmacher, Michael and Pagh, Rasmus and Woodruff, David P. and Aum\"{u}ller, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.1},
  URN =		{urn:nbn:de:0030-drops-82788},
  doi =		{10.4230/DagRep.7.5.1},
  annote =	{Keywords: connections to complexity theory, data streaming applications, hash function construction and analysis, hashing primitives, information retrieval applications, locality-sensitive hashing, machine learning applications}
}
@Article{doerr_et_al:DagRep.7.5.22,
  author =	{Doerr, Carola and Igel, Christian and Thiele, Lothar and Yao, Xin},
  title =	{{Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)}},
  pages =	{22--55},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Doerr, Carola and Igel, Christian and Thiele, Lothar 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.7.5.22},
  URN =		{urn:nbn:de:0030-drops-82797},
  doi =		{10.4230/DagRep.7.5.22},
  annote =	{Keywords: algorithms and complexity, evolutionary algorithms, machine learning, optimization, soft computing}
}
@Article{besold_et_al:DagRep.7.5.56,
  author =	{Besold, Tarek R. and d'Avila Garcez, Artur and Lamb, Luis C.},
  title =	{{Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192)}},
  pages =	{56--83},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Besold, Tarek R. and d'Avila Garcez, Artur and Lamb, Luis C.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.56},
  URN =		{urn:nbn:de:0030-drops-82803},
  doi =		{10.4230/DagRep.7.5.56},
  annote =	{Keywords: Deep Learning, Human-like computing, Multimodal learning, Natural language processing, Neural-symbolic integration}
}
@Article{belta_et_al:DagRep.7.5.84,
  author =	{Belta, Calin A. and Majumdar, Rupak and Zamani, Maijid and Rungger, Matthias},
  title =	{{Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)}},
  pages =	{84--96},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Belta, Calin A. and Majumdar, Rupak and Zamani, Maijid and Rungger, Matthias},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.84},
  URN =		{urn:nbn:de:0030-drops-82813},
  doi =		{10.4230/DagRep.7.5.84},
  annote =	{Keywords: Cyber-physical systems, formal synthesis, reactive synthesis, discrete event systems, dynamical systems and control}
}
@Article{brinkmann_et_al:DagRep.7.5.97,
  author =	{Brinkmann, Andr\'{e} and Mohror, Kathryn and Yu, Weikuan},
  title =	{{Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202)}},
  pages =	{97--139},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Brinkmann, Andr\'{e} and Mohror, Kathryn and Yu, Weikuan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.97},
  URN =		{urn:nbn:de:0030-drops-82820},
  doi =		{10.4230/DagRep.7.5.97},
  annote =	{Keywords: High Performance Computing, I/O and Storage, Object Stores, User-level Storage Systems}
}
@Article{chen_et_al:DagRep.7.5.140,
  author =	{Chen, Falai and Dokken, Chen and Grandine, Thomas A. and Morin, G\'{e}raldine},
  title =	{{Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221)}},
  pages =	{140--168},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Chen, Falai and Dokken, Chen and Grandine, Thomas A. and Morin, G\'{e}raldine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.140},
  URN =		{urn:nbn:de:0030-drops-82838},
  doi =		{10.4230/DagRep.7.5.140},
  annote =	{Keywords: additive manufacturing, computer graphics, design optimization, geometric modeling, geometry, geometry processing, isogeometric analysis, shape design}
}
@Article{borovicagajic_et_al:DagRep.7.5.169,
  author =	{Borovica-Gajic, Renata and Graefe, Goetz and Lee, Allison},
  title =	{{Robust Performance in Database Query Processing (Dagstuhl Seminar 17222)}},
  pages =	{169--180},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Borovica-Gajic, Renata and Graefe, Goetz and Lee, Allison},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.169},
  URN =		{urn:nbn:de:0030-drops-82845},
  doi =		{10.4230/DagRep.7.5.169},
  annote =	{Keywords: Robust Query Performance, Database Management Systems, Adaptive Query Processing, Query Optimization, Query Execution, Updates, Parallelism, Data Skew}
}