Issue

Dagstuhl Reports, Volume 1, Issue 7

Thumbnail PDF

Event

  • Dagstuhl Seminars 11271, 11272, 11281, 11291

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.1.7
Dagstuhl Reports, Volume 1, Issue 7, July 2011, Complete Issue
Abstract
Dagstuhl Reports, Volume 1, Issue 7, July 2011, Complete Issue
Cite as

Dagstuhl Reports, Volume 1, Issue 7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@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}
}
Document
Front Matter
DOI: 10.4230/DagRep.1.7.i
Dagstuhl Reports, Table of Contents, Volume 1, Issue 7, 2011
Abstract
Table of Contents, Frontmatter
Cite as

Dagstuhl Reports, Volume 1, Issue 7, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@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}
}
Document
DOI: 10.4230/DagRep.1.7.1
Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271)

Authors: Martin Lames, Tim McGarry, Bernhard Nebel, and Karen Roemer

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 11271 ``Computer Science in Sport - Special emphasis: Football''. There were five sessions over the course of three days focusing on separate specific aspects on the relevance, applications and current issues pertaining to computer science in sport. The first session on the first day was about RoboCup -- the history, types of games and robots used, and the current topics relevant to machine learning, tracking and planning. The second session on the first day was a miscellaneous session, which looked at broad topics ranging from hardware devices for mobile coaching, uses of positional data in football, rehabilitation methodologies and games for learning. The second day started with a session on modelling sports as dynamical systems combined with the use of neural networks in performance analysis as well as theoretical issues in human movement science. In the afternoon of the second day the session was on topics in computer science specifically relevant to coaches, in which six different people presented. The final day of the conference hosted a session on computer science ``behind the scenes'' of major sports broadcasters and other media. The sessions were attended by academics, graduate students, coaches, performance analysts and athletes.
Cite as

Martin Lames, Tim McGarry, Bernhard Nebel, and Karen Roemer. Computer Science in Sport - Special emphasis: Football (Dagstuhl Seminar 11271). In Dagstuhl Reports, Volume 1, Issue 7, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@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}
}
Document
DOI: 10.4230/DagRep.1.7.23
Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272)

Authors: Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 11272 "Decision Procedures in Soft, Hard and Bio-ware (Follow Up)". It was held as a follow-on for a seminar 10161, of the same title, that took place in late April 2010 during the initial eruption of Eyjafjallajökull. In spite of the travel disruptions caused by the eruption of the volcano, the original seminar received a respectable turnout by European, mainly German and Italian participants. Unfortunately, the eruption hindered participation from overseas or even more distant parts of Europe. This caused the seminar to cover only part of the original objective. The follow-on seminar focused on the remaining objectives, in particular to bio-ware and constraint solving methods.
Cite as

Nikolaj Bjorner, Robert Nieuwenhuis, Helmut Veith, and Andrei Voronkov. Decision Procedures in Soft, Hard and Bio-ware - Follow Up (Dagstuhl Seminar 11272). In Dagstuhl Reports, Volume 1, Issue 7, pp. 23-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@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}
}
Document
DOI: 10.4230/DagRep.1.7.36
Verifiable Elections and the Public (Dagstuhl Seminar 11281)

Authors: R. Michael Alvarez, Josh Benaloh, Alon Rosen, and Peter Y. A. Ryan

Abstract
This report documents the program of Dagstuhl Seminar 11281 ``Verifiable Elections and the Public''. This seminar brought together leading researchers from computer and social science, policymakers, and representatives of industry to present new research, develop new interdisciplinary approaches for studying election technologies, and to determine ways to bridge the gap between research and practice.
Cite as

R. Michael Alvarez, Josh Benaloh, Alon Rosen, and Peter Y. A. Ryan. Verifiable Elections and the Public (Dagstuhl Seminar 11281). In Dagstuhl Reports, Volume 1, Issue 7, pp. 36-52, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@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}
}
Document
DOI: 10.4230/DagRep.1.7.53
Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291)

Authors: Matthias Hein, Gabor Lugosi, Lorenzo Rosasco, and Steve Smale

Abstract
The main goal of the seminar ``Mathematical and Computational Foundations of Learning Theory'' was to bring together experts from computer science, mathematics and statistics to discuss the state of the art in machine learning broadly construed and identify and formulate the key challenges in learning which have to be addressed in the future. This Dagstuhl seminar was one of the first meetings to cover the full broad range of facets of modern learning theory. The meeting was very successful and all participants agreed that such a meeting should take place on a regular basis.
Cite as

Matthias Hein, Gabor Lugosi, Lorenzo Rosasco, and Steve Smale. Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 11291). In Dagstuhl Reports, Volume 1, Issue 7, pp. 53-69, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@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}
}

Filters

  • Authors
  • A
  • Alvarez, R. Michael
  • B
  • Benaloh, Josh
  • Bjorner, Nikolaj
  • H
  • Hein, Matthias
  • L
  • Lames, Martin
  • Lugosi, Gabor
  • M
  • McGarry, Tim
  • N
  • Nebel, Bernhard
  • Nieuwenhuis, Robert
  • R
  • Roemer, Karen
  • Rosasco, Lorenzo
  • Rosen, Alon
  • Ryan, Peter Y. A.
  • S
  • Smale, Steve
  • V
  • Veith, Helmut
  • Voronkov, Andrei

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact