Dagstuhl Reports, Volume 3, Issue 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{DagRep.3.8,
title = {{Dagstuhl Reports, Volume 3, Issue 08, August 2013, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8},
URN = {urn:nbn:de:0030-drops-44073},
doi = {10.4230/DagRep.3.8},
annote = {Keywords: Dagstuhl Reports, Volume 3, Issue 08, August 2013, Complete Issue}
}
Dagstuhl Reports, Volume 3, Issue 8, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{DagRep.3.8.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 3, Issue 08, 2013}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.i},
URN = {urn:nbn:de:0030-drops-44064},
doi = {10.4230/DagRep.3.8.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Peter Auer, Marcus Hutter, and Laurent Orseau. Reinforcement Learning (Dagstuhl Seminar 13321). In Dagstuhl Reports, Volume 3, Issue 8, pp. 1-26, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{auer_et_al:DagRep.3.8.1,
author = {Auer, Peter and Hutter, Marcus and Orseau, Laurent},
title = {{Reinforcement Learning (Dagstuhl Seminar 13321)}},
pages = {1--26},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
editor = {Auer, Peter and Hutter, Marcus and Orseau, Laurent},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.1},
URN = {urn:nbn:de:0030-drops-43409},
doi = {10.4230/DagRep.3.8.1},
annote = {Keywords: Machine Learning, Reinforcement Learning, Markov Decision Processes, Planning}
}
Georg Carle, Jochen Schiller, Steve Uhlig, Walter Willinger, and Matthias Wählisch. The Critical Internet Infrastructure (Dagstuhl Seminar 13322). In Dagstuhl Reports, Volume 3, Issue 8, pp. 27-39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{carle_et_al:DagRep.3.8.27,
author = {Carle, Georg and Schiller, Jochen and Uhlig, Steve and Willinger, Walter and W\"{a}hlisch, Matthias},
title = {{The Critical Internet Infrastructure (Dagstuhl Seminar 13322)}},
pages = {27--39},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
editor = {Carle, Georg and Schiller, Jochen and Uhlig, Steve and Willinger, Walter and W\"{a}hlisch, Matthias},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.27},
URN = {urn:nbn:de:0030-drops-43416},
doi = {10.4230/DagRep.3.8.27},
annote = {Keywords: Internet, Backbone, Internet Services, Critical Infrastructure}
}
Thore Husfeldt, Ramamohan Paturi, Gregory B. Sorkin, and Ryan Williams. Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time (Dagstuhl Seminar 13331). In Dagstuhl Reports, Volume 3, Issue 8, pp. 40-72, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{husfeldt_et_al:DagRep.3.8.40,
author = {Husfeldt, Thore and Paturi, Ramamohan and Sorkin, Gregory B. and Williams, Ryan},
title = {{Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time (Dagstuhl Seminar 13331)}},
pages = {40--72},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
editor = {Husfeldt, Thore and Paturi, Ramamohan and Sorkin, Gregory B. and Williams, Ryan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.40},
URN = {urn:nbn:de:0030-drops-43422},
doi = {10.4230/DagRep.3.8.40},
annote = {Keywords: Algorithms, exponential time algorithms, exact algorithms, computational complexity, satisfiability}
}
Rafael Accorsi, Jason Crampton, Michael Huth, and Stefanie Rinderle-Ma. Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341). In Dagstuhl Reports, Volume 3, Issue 8, pp. 73-86, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{accorsi_et_al:DagRep.3.8.73,
author = {Accorsi, Rafael and Crampton, Jason and Huth, Michael and Rinderle-Ma, Stefanie},
title = {{Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341)}},
pages = {73--86},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
editor = {Accorsi, Rafael and Crampton, Jason and Huth, Michael and Rinderle-Ma, Stefanie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.73},
URN = {urn:nbn:de:0030-drops-43435},
doi = {10.4230/DagRep.3.8.73},
annote = {Keywords: Business Processes, Information Security, Compliance, Risk-Aware Processes, Service Compositions}
}
Jonas Almeida, Andreas Dress, Titus Kühne, and Laxmi Parida. ICT Strategies for Bridging Biology and Precision Medicine (Dagstuhl Perspectives Workshop 13342). In Dagstuhl Reports, Volume 3, Issue 8, pp. 87-135, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{almeida_et_al:DagRep.3.8.87,
author = {Almeida, Jonas and Dress, Andreas and K\"{u}hne, Titus and Parida, Laxmi},
title = {{ICT Strategies for Bridging Biology and Precision Medicine (Dagstuhl Perspectives Workshop 13342)}},
pages = {87--135},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
editor = {Almeida, Jonas and Dress, Andreas and K\"{u}hne, Titus and Parida, Laxmi},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.87},
URN = {urn:nbn:de:0030-drops-43447},
doi = {10.4230/DagRep.3.8.87},
annote = {Keywords: Systems biomedicine, precision medicine, healthcare-related information systems, biomedical workflow engines, medical cloud, patient participation, IC}
}
Hans-Andrea Loeliger, Emina Soljanin, and Judy L. Walker. Coding Theory (Dagstuhl Seminar 13351). In Dagstuhl Reports, Volume 3, Issue 8, pp. 136-150, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{loeliger_et_al:DagRep.3.8.136,
author = {Loeliger, Hans-Andrea and Soljanin, Emina and Walker, Judy L.},
title = {{Coding Theory (Dagstuhl Seminar 13351)}},
pages = {136--150},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
editor = {Loeliger, Hans-Andrea and Soljanin, Emina and Walker, Judy L.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.136},
URN = {urn:nbn:de:0030-drops-43458},
doi = {10.4230/DagRep.3.8.136},
annote = {Keywords: Coding theory, codes on graphs, polar codes, network coding, index coding, data distribution, cloud storage}
}
David S. Ebert, Brian D. Fisher, and Petra Isenberg. Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352). In Dagstuhl Reports, Volume 3, Issue 8, pp. 151-167, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
@Article{ebert_et_al:DagRep.3.8.151,
author = {Ebert, David S. and Fisher, Brian D. and Isenberg, Petra},
title = {{Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352)}},
pages = {151--167},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {3},
number = {8},
editor = {Ebert, David S. and Fisher, Brian D. and Isenberg, Petra},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.3.8.151},
URN = {urn:nbn:de:0030-drops-43463},
doi = {10.4230/DagRep.3.8.151},
annote = {Keywords: Interaction, visualization, visual analytics, cognitive science, psychology}
}