@Article{DagRep.1.7,
  title =	{{Dagstuhl Reports, Volume 1, Issue 7, July 2011, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{7},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.7},
  URN =		{urn:nbn:de:0030-drops-33143},
  doi =		{10.4230/DagRep.1.7},
  annote =	{Keywords: Dagstuhl Reports, Volume 1, Issue 7, July 2011, Complete Issue}
}
@Article{DagRep.1.7.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 1, Issue 7, 2011}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{7},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.7.i},
  URN =		{urn:nbn:de:0030-drops-33132},
  doi =		{10.4230/DagRep.1.7.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
@Article{lames_et_al:DagRep.1.7.1,
  author =	{Lames, Martin and McGarry, Tim and Nebel, Bernhard and Roemer, Karen},
  title =	{{Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271)}},
  pages =	{1--22},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{7},
  editor =	{Lames, Martin and McGarry, Tim and Nebel, Bernhard and Roemer, Karen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.7.1},
  URN =		{urn:nbn:de:0030-drops-32769},
  doi =		{10.4230/DagRep.1.7.1},
  annote =	{Keywords: Sport, Neural networks, Dynamical systems, Robotics, Coaching}
}
@Article{bjorner_et_al:DagRep.1.7.23,
  author =	{Bjorner, Nikolaj and Nieuwenhuis, Robert and Veith, Helmut and Voronkov, Andrei},
  title =	{{Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)}},
  pages =	{23--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{7},
  editor =	{Bjorner, Nikolaj and Nieuwenhuis, Robert and Veith, Helmut and Voronkov, Andrei},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.7.23},
  URN =		{urn:nbn:de:0030-drops-32775},
  doi =		{10.4230/DagRep.1.7.23},
  annote =	{Keywords: Hardware and Software Verification, Bio-analysis, Satisfiability Modulo Theories, Dynamic Symbolic Execution, Interpolants}
}
@Article{alvarez_et_al:DagRep.1.7.36,
  author =	{Alvarez, R. Michael and Benaloh, Josh and Rosen, Alon and Ryan, Peter Y. A.},
  title =	{{Verifiable Elections and the Public (Dagstuhl Seminar 11281)}},
  pages =	{36--52},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{7},
  editor =	{Alvarez, R. Michael and Benaloh, Josh and Rosen, Alon and Ryan, Peter Y. A.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.7.36},
  URN =		{urn:nbn:de:0030-drops-33086},
  doi =		{10.4230/DagRep.1.7.36},
  annote =	{Keywords: Electronic voting, Internet voting, voter verification, verifiable elections}
}
@Article{hein_et_al:DagRep.1.7.53,
  author =	{Hein, Matthias and Lugosi, Gabor and Rosasco, Lorenzo and Smale, Steve},
  title =	{{Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291)}},
  pages =	{53--69},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2011},
  volume =	{1},
  number =	{7},
  editor =	{Hein, Matthias and Lugosi, Gabor and Rosasco, Lorenzo and Smale, Steve},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.1.7.53},
  URN =		{urn:nbn:de:0030-drops-33093},
  doi =		{10.4230/DagRep.1.7.53},
  annote =	{Keywords: learning theory, machine learning, sparsity, high-dimensional geometry, manifold learning, online learning}
}