HTML Export for Dagstuhl Reports, Volume 7, Issue 5

Copy to Clipboard Download

<h2>Dagstuhl Reports, Volume 7, Issue 5, </h2>
<ul>
<li>
    <span class="title">Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5">10.4230/DagRep.7.5</a>
</li>
<li>
    <span class="title">Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.i">10.4230/DagRep.7.5.i</a>
</li>
<li>
    <span class="authors">Martin Dietzfelbinger, Michael Mitzenmacher, Rasmus Pagh, David P. Woodruff, and Martin Aumüller</span>
    <span class="title">Theory and Applications of Hashing (Dagstuhl Seminar 17181)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.1">10.4230/DagRep.7.5.1</a>
</li>
<li>
    <span class="authors">Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao</span>
    <span class="title">Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.22">10.4230/DagRep.7.5.22</a>
</li>
<li>
    <span class="authors">Tarek R. Besold, Artur d&#039;Avila Garcez, and Luis C. Lamb</span>
    <span class="title">Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.56">10.4230/DagRep.7.5.56</a>
</li>
<li>
    <span class="authors">Calin A. Belta, Rupak Majumdar, Maijid Zamani, and Matthias Rungger</span>
    <span class="title">Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.84">10.4230/DagRep.7.5.84</a>
</li>
<li>
    <span class="authors">André Brinkmann, Kathryn Mohror, and Weikuan Yu</span>
    <span class="title">Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.97">10.4230/DagRep.7.5.97</a>
</li>
<li>
    <span class="authors">Falai Chen, Chen Dokken, Thomas A. Grandine, and Géraldine Morin</span>
    <span class="title">Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.140">10.4230/DagRep.7.5.140</a>
</li>
<li>
    <span class="authors">Renata Borovica-Gajic, Goetz Graefe, and Allison Lee</span>
    <span class="title">Robust Performance in Database Query Processing (Dagstuhl Seminar 17222)</span>
    <a class="doi" href="https://doi.org/10.4230/DagRep.7.5.169">10.4230/DagRep.7.5.169</a>
</li>
</ul>

The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.

Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode