Volume 3, Issue 8, August 2013

Reinforcement Learning (Dagstuhl Seminar 13321) Peter Auer, Marcus Hutter, and Laurent Orseau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1

The Critical Internet Infrastructure (Dagstuhl Seminar 13322) Georg Carle, Jochen Schiller, Steve Uhlig, Walter Willinger, and Matthias Wählisch

27

Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time (Dagstuhl Seminar 13331) Thore Husfeldt, Ramamohan Paturi, Gregory B. Sorkin, and Ryan Williams . . . . . 40 Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341) Rafael Accorsi, Jason Crampton, Michael Huth, and Stefanie Rinderle-Ma . . . . . . .

73

ICT Strategies for Bridging Biology and Precision Medicine (Dagstuhl Perspectives Workshop 13342) Jonas S. Almeida, Andreas Dress, Titus Kühne, and Laxmi Parida . . . . . . . . . . . . . . .

87

Coding Theory (Dagstuhl Seminar 13351) Hans-Andrea Loeliger, Emina Soljanin, and Judy Walker . . . . . . . . . . . . . . . . . . . . . . . . 136 Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352) David S. Ebert, Brian D. Fisher, and Petra Isenberg . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151

D a g s t u h l R e p or t s , Vo l . 3 , I s s u e 8

ISSN 2192-5283

ISSN 2192-5283 Published online and open access by Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany. Online available at http://www.dagstuhl.de/dagrep Publication date December, 2013

Aims and Scope The periodical Dagstuhl Reports documents the program and the results of Dagstuhl Seminars and Dagstuhl Perspectives Workshops. In principal, for each Dagstuhl Seminar or Dagstuhl Perspectives Workshop a report is published that contains the following: an executive summary of the seminar program and the fundamental results,

Bibliographic information published by the Deutsche an overview of the talks given during the seminar Nationalbibliothek (summarized as talk abstracts), and The Deutsche Nationalbibliothek lists this publicasummaries from working groups (if applicable). tion in the Deutsche Nationalbibliografie; detailed This basic framework can be extended by suitable bibliographic data are available in the Internet at contributions that are related to the program of the http://dnb.d-nb.de. seminar, e.g. summaries from panel discussions or open problem sessions. License This work is licensed under a Creative Commons Attribution 3.0 Unported license: CC-BY. In brief, this license authorizes each Editorial Board Susanne Albers and everybody to share (to copy, distribute and transmit) the work under the followBernd Becker ing conditions, without impairing or restricting the Karsten Berns authors’ moral rights: Stephan Diehl Attribution: The work must be attributed to its authors. Hannes Hartenstein The copyright is retained by the corresponding authors.

Stephan Merz Bernhard Mitschang Bernhard Nebel Han La Poutré Bernt Schiele Nicole Schweikardt Raimund Seidel Michael Waidner Reinhard Wilhelm (Editor-in-Chief )

Editorial Office Marc Herbstritt (Managing Editor) Jutka Gasiorowski (Editorial Assistance) Thomas Schillo (Technical Assistance) Contact Schloss Dagstuhl – Leibniz-Zentrum für Informatik Dagstuhl Reports, Editorial Office Oktavie-Allee, 66687 Wadern, Germany [email protected] Digital Object Identifier: 10.4230/DagRep.3.8.i

www.dagstuhl.de/dagrep