@Article{DagRep.5.9,
title = {{Dagstuhl Reports, Volume 5, Issue 9, September 2015, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9},
URN = {urn:nbn:de:0030-drops-56957},
doi = {10.4230/DagRep.5.9},
annote = {Keywords: Dagstuhl Reports, Volume 5, Issue 9, September 2015, Complete Issue}
}
@Article{DagRep.5.9.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 5, Issue 9, 2015}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.i},
URN = {urn:nbn:de:0030-drops-56941},
doi = {10.4230/DagRep.5.9.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 9, 2015}
}
@Article{mosca_et_al:DagRep.5.9.1,
author = {Mosca, Michele and Roetteler, Martin and Sendrier, Nicolas and Steinwandt, Rainer},
title = {{Quantum Cryptanalysis (Dagstuhl Seminar 15371)}},
pages = {1--17},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Mosca, Michele and Roetteler, Martin and Sendrier, Nicolas and Steinwandt, Rainer},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.1},
URN = {urn:nbn:de:0030-drops-56825},
doi = {10.4230/DagRep.5.9.1},
annote = {Keywords: Cryptography, Quantum computing, Post-quantum cryptography, Quantum algorithms, Cryptanalysis, Computational algebra, Quantum circuit complexity, Quantum hardware and resource estimation}
}
@Article{bjorner_et_al:DagRep.5.9.18,
author = {Bjorner, Nikolaj S. and Blanchette, Jasmin Christian and Sofronie-Stokkermans, Viorica and Weidenbach, Christoph},
title = {{Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381)}},
pages = {18--37},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Bjorner, Nikolaj S. and Blanchette, Jasmin Christian and Sofronie-Stokkermans, Viorica and Weidenbach, Christoph},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.18},
URN = {urn:nbn:de:0030-drops-56830},
doi = {10.4230/DagRep.5.9.18},
annote = {Keywords: Automated Deduction, Program Verification, Certification}
}
@Article{duarte_et_al:DagRep.5.9.38,
author = {Duarte, Ricardo and Eskofier, Bj\"{o}rn and Rumpf, Martin and Wiemeyer, Josef},
title = {{Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to Training (Dagstuhl Seminar 15382)}},
pages = {38--56},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Duarte, Ricardo and Eskofier, Bj\"{o}rn and Rumpf, Martin and Wiemeyer, Josef},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.38},
URN = {urn:nbn:de:0030-drops-56844},
doi = {10.4230/DagRep.5.9.38},
annote = {Keywords: Modeling, Simulation, Machine Learning, Sports Science, Biomechanics, Sport Games, Training Adaptation}
}
@Article{hinrichs_et_al:DagRep.5.9.57,
author = {Hinrichs, Aicke and Traub, Joseph F. and Wozniakowski, Henryk and Yaroslavtseva, Larisa},
title = {{Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 15391)}},
pages = {57--76},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Hinrichs, Aicke and Traub, Joseph F. and Wozniakowski, Henryk and Yaroslavtseva, Larisa},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.57},
URN = {urn:nbn:de:0030-drops-56854},
doi = {10.4230/DagRep.5.9.57},
annote = {Keywords: High Dimensional Problems, Tractability, Random coefficients, Multilevel algorithms, computational stochastic processes, Compressed sensing, Learning theory}
}
@Article{brattka_et_al:DagRep.5.9.77,
author = {Brattka, Vasco and Kawamura, Akitoshi and Marcone, Alberto and Pauly, Arno},
title = {{Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392)}},
pages = {77--104},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Brattka, Vasco and Kawamura, Akitoshi and Marcone, Alberto and Pauly, Arno},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.77},
URN = {urn:nbn:de:0030-drops-56861},
doi = {10.4230/DagRep.5.9.77},
annote = {Keywords: Computability and complexity in analysis, computations on real numbers, reducibilities, descriptive complexity, computational complexity, reverse and constructive mathematics}
}
@Article{bojanczyk_et_al:DagRep.5.9.105,
author = {Bojanczyk, Mikolaj and Mahajan, Meena and Schwentick, Thomas and Vollmer, Heribert},
title = {{Circuits, Logic and Games (Dagstuhl Seminar 15401)}},
pages = {105--124},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Bojanczyk, Mikolaj and Mahajan, Meena and Schwentick, Thomas and Vollmer, Heribert},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.105},
URN = {urn:nbn:de:0030-drops-56872},
doi = {10.4230/DagRep.5.9.105},
annote = {Keywords: computational complexity theory, finite model theory, Boolean circuits, regular languages, finite monoids, Ehrenfeucht-Fraiss\'{e}-games}
}
@Article{danos_et_al:DagRep.5.9.125,
author = {Danos, Vincent and Koeppl, Heinz},
title = {{Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402)}},
pages = {125--138},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {9},
editor = {Danos, Vincent and Koeppl, Heinz},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.9.125},
URN = {urn:nbn:de:0030-drops-56887},
doi = {10.4230/DagRep.5.9.125},
annote = {Keywords: Self-assembly, molecular modeling, molecular dynamics, graph-rewriting grammars, self-organization, self-* systems, concurrency}
}
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
Feedback for Dagstuhl Publishing