Published in: Dagstuhl Reports, Volume 12, Issue 2 (2022)
Meinard Müller, Rachel Bittner, Juhan Nam, Michael Krause, and Yigitcan Özer. Deep Learning and Knowledge Integration for Music Audio Analysis (Dagstuhl Seminar 22082). In Dagstuhl Reports, Volume 12, Issue 2, pp. 103-133, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@Article{muller_et_al:DagRep.12.2.103, author = {M\"{u}ller, Meinard and Bittner, Rachel and Nam, Juhan and Krause, Michael and \"{O}zer, Yigitcan}, title = {{Deep Learning and Knowledge Integration for Music Audio Analysis (Dagstuhl Seminar 22082)}}, pages = {103--133}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2022}, volume = {12}, number = {2}, editor = {M\"{u}ller, Meinard and Bittner, Rachel and Nam, Juhan and Krause, Michael and \"{O}zer, Yigitcan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.12.2.103}, URN = {urn:nbn:de:0030-drops-169333}, doi = {10.4230/DagRep.12.2.103}, annote = {Keywords: Audio signal processing, deep learning, knowledge representation, music information retrieval, user interaction and interfaces} }
Published in: LIPIcs, Volume 215, 13th Innovations in Theoretical Computer Science Conference (ITCS 2022)
Omar Fawzi, Alexander Müller-Hermes, and Ala Shayeghi. A Lower Bound on the Space Overhead of Fault-Tolerant Quantum Computation. In 13th Innovations in Theoretical Computer Science Conference (ITCS 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 215, pp. 68:1-68:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{fawzi_et_al:LIPIcs.ITCS.2022.68, author = {Fawzi, Omar and M\"{u}ller-Hermes, Alexander and Shayeghi, Ala}, title = {{A Lower Bound on the Space Overhead of Fault-Tolerant Quantum Computation}}, booktitle = {13th Innovations in Theoretical Computer Science Conference (ITCS 2022)}, pages = {68:1--68:20}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-217-4}, ISSN = {1868-8969}, year = {2022}, volume = {215}, editor = {Braverman, Mark}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2022.68}, URN = {urn:nbn:de:0030-drops-156649}, doi = {10.4230/LIPIcs.ITCS.2022.68}, annote = {Keywords: Fault-tolerant quantum computation, quantum error correction} }
Published in: OASIcs, Volume 96, 21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021)
Matthias Müller-Hannemann, Ralf Rückert, Alexander Schiewe, and Anita Schöbel. Towards Improved Robustness of Public Transport by a Machine-Learned Oracle. In 21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021). Open Access Series in Informatics (OASIcs), Volume 96, pp. 3:1-3:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@InProceedings{mullerhannemann_et_al:OASIcs.ATMOS.2021.3, author = {M\"{u}ller-Hannemann, Matthias and R\"{u}ckert, Ralf and Schiewe, Alexander and Sch\"{o}bel, Anita}, title = {{Towards Improved Robustness of Public Transport by a Machine-Learned Oracle}}, booktitle = {21st Symposium on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2021)}, pages = {3:1--3:20}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-213-6}, ISSN = {2190-6807}, year = {2021}, volume = {96}, editor = {M\"{u}ller-Hannemann, Matthias and Perea, Federico}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2021.3}, URN = {urn:nbn:de:0030-drops-148721}, doi = {10.4230/OASIcs.ATMOS.2021.3}, annote = {Keywords: Public Transportation, Timetabling, Machine Learning, Robustness} }
Published in: LIPIcs, Volume 158, 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020)
Niel de Beaudrap, Xiaoning Bian, and Quanlong Wang. Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities. In 15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020). Leibniz International Proceedings in Informatics (LIPIcs), Volume 158, pp. 11:1-11:23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2020)
@InProceedings{debeaudrap_et_al:LIPIcs.TQC.2020.11, author = {de Beaudrap, Niel and Bian, Xiaoning and Wang, Quanlong}, title = {{Fast and Effective Techniques for T-Count Reduction via Spider Nest Identities}}, booktitle = {15th Conference on the Theory of Quantum Computation, Communication and Cryptography (TQC 2020)}, pages = {11:1--11:23}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-146-7}, ISSN = {1868-8969}, year = {2020}, volume = {158}, editor = {Flammia, Steven T.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TQC.2020.11}, URN = {urn:nbn:de:0030-drops-120705}, doi = {10.4230/LIPIcs.TQC.2020.11}, annote = {Keywords: T-count, Parity-phase operations, Phase gadgets, Clifford hierarchy, ZX calculus} }
Published in: OASIcs, Volume 65, 18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2018)
Markus Friedrich, Matthias Müller-Hannemann, Ralf Rückert, Alexander Schiewe, and Anita Schöbel. Robustness as a Third Dimension for Evaluating Public Transport Plans. In 18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2018). Open Access Series in Informatics (OASIcs), Volume 65, pp. 4:1-4:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)
@InProceedings{friedrich_et_al:OASIcs.ATMOS.2018.4, author = {Friedrich, Markus and M\"{u}ller-Hannemann, Matthias and R\"{u}ckert, Ralf and Schiewe, Alexander and Sch\"{o}bel, Anita}, title = {{Robustness as a Third Dimension for Evaluating Public Transport Plans}}, booktitle = {18th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2018)}, pages = {4:1--4:17}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-096-5}, ISSN = {2190-6807}, year = {2018}, volume = {65}, editor = {Bornd\"{o}rfer, Ralf and Storandt, Sabine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2018.4}, URN = {urn:nbn:de:0030-drops-97097}, doi = {10.4230/OASIcs.ATMOS.2018.4}, annote = {Keywords: robustness, timetabling, vehicle schedules, delays} }
Published in: OASIcs, Volume 59, 17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2017)
Markus Friedrich, Matthias Müller-Hannemann, Ralf Rückert, Alexander Schiewe, and Anita Schöbel. Robustness Tests for Public Transport Planning. In 17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2017). Open Access Series in Informatics (OASIcs), Volume 59, pp. 6:1-6:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@InProceedings{friedrich_et_al:OASIcs.ATMOS.2017.6, author = {Friedrich, Markus and M\"{u}ller-Hannemann, Matthias and R\"{u}ckert, Ralf and Schiewe, Alexander and Sch\"{o}bel, Anita}, title = {{Robustness Tests for Public Transport Planning}}, booktitle = {17th Workshop on Algorithmic Approaches for Transportation Modelling, Optimization, and Systems (ATMOS 2017)}, pages = {6:1--6:16}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-042-2}, ISSN = {2190-6807}, year = {2017}, volume = {59}, editor = {D'Angelo, Gianlorenzo and Dollevoet, Twan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ATMOS.2017.6}, URN = {urn:nbn:de:0030-drops-78904}, doi = {10.4230/OASIcs.ATMOS.2017.6}, annote = {Keywords: robustness measure, timetabling, line planning, delays, passenger-orientation} }
Published in: Dagstuhl Seminar Proceedings, Volume 10461, Schematization in Cartography, Visualization, and Computational Geometry (2011)
Jason Dykes, Matthias Müller-Hannemann, and Alexander Wolff. 10461 Abstracts Collection and Summary – Schematization in Cartography, Visualization, and Computational Geometry. In Schematization in Cartography, Visualization, and Computational Geometry. Dagstuhl Seminar Proceedings, Volume 10461, pp. 1-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@InProceedings{dykes_et_al:DagSemProc.10461.1, author = {Dykes, Jason and M\"{u}ller-Hannemann, Matthias and Wolff, Alexander}, title = {{10461 Abstracts Collection and Summary – Schematization in Cartography, Visualization, and Computational Geometry}}, booktitle = {Schematization in Cartography, Visualization, and Computational Geometry}, pages = {1--36}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2011}, volume = {10461}, editor = {Jason Dykes and Mattias M\"{u}ller-Hannemann and Alexander Wolff}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10461.1}, URN = {urn:nbn:de:0030-drops-30859}, doi = {10.4230/DagSemProc.10461.1}, annote = {Keywords: Information visualization, geo-visualization, geographic information systems, cartography, graph drawing, VLSI layout, underground mining, cartographic generalization, schematization, building simplification, orthogonal graph drawing, octilinear layout, schematic maps, Steiner trees} }
Published in: Dagstuhl Seminar Proceedings, Volume 10141, Distributed Usage Control (2010)
Rafael Accorsi and Günter Müller. FORTES: Forensic Information Flow Analysis of Business Processes. In Distributed Usage Control. Dagstuhl Seminar Proceedings, Volume 10141, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{accorsi_et_al:DagSemProc.10141.4, author = {Accorsi, Rafael and M\"{u}ller, G\"{u}nter}, title = {{FORTES: Forensic Information Flow Analysis of Business Processes}}, booktitle = {Distributed Usage Control}, pages = {1--3}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {10141}, editor = {Sandro Etalle and Alexander Pretschner and Raiv S. Sandhu and Marianne Winslett}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10141.4}, URN = {urn:nbn:de:0030-drops-27167}, doi = {10.4230/DagSemProc.10141.4}, annote = {Keywords: Audit, Information flow analysis, business processes} }
Published in: Dagstuhl Seminar Proceedings, Volume 9461, Algorithms and Applications for Next Generation SAT Solvers (2010)
Markus Wedler, Evgeny Pavlenko, Alexander Dreyer, Frank Seelisch, Dominik Stoffel, Gert-Martin Greuel, and Wolfgang Kunz. Solving hard instances in QF-BV combining Boolean reasoning with computer algebra. In Algorithms and Applications for Next Generation SAT Solvers. Dagstuhl Seminar Proceedings, Volume 9461, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)
@InProceedings{wedler_et_al:DagSemProc.09461.4, author = {Wedler, Markus and Pavlenko, Evgeny and Dreyer, Alexander and Seelisch, Frank and Stoffel, Dominik and Greuel, Gert-Martin and Kunz, Wolfgang}, title = {{Solving hard instances in QF-BV combining Boolean reasoning with computer algebra}}, booktitle = {Algorithms and Applications for Next Generation SAT Solvers}, pages = {1--20}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2010}, volume = {9461}, editor = {Bernd Becker and Valeria Bertacoo and Rolf Drechsler and Masahiro Fujita}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09461.4}, URN = {urn:nbn:de:0030-drops-25096}, doi = {10.4230/DagSemProc.09461.4}, annote = {Keywords: SAT modulo Theory, Quantifier Free logic over fixed sized bitvectors; Computer Algebra} }
Published in: Dagstuhl Seminar Proceedings, Volume 8061, Types, Logics and Semantics for State (2008)
Sophia Drossopoulou, Adrian Francalanza, P. Müller, and Alexander J. Summers. A Unified Framework for Verification Techniques for Object Invariants. In Types, Logics and Semantics for State. Dagstuhl Seminar Proceedings, Volume 8061, pp. 1-25, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{drossopoulou_et_al:DagSemProc.08061.3, author = {Drossopoulou, Sophia and Francalanza, Adrian and M\"{u}ller, P. and Summers, Alexander J.}, title = {{A Unified Framework for Verification Techniques for Object Invariants}}, booktitle = {Types, Logics and Semantics for State}, pages = {1--25}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8061}, editor = {Amal Ahmed and Nick Benton and Martin Hofmann and Greg Morrisett}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08061.3}, URN = {urn:nbn:de:0030-drops-14278}, doi = {10.4230/DagSemProc.08061.3}, annote = {Keywords: Object invariants, visible states semantics, verification, sound} }
Feedback for Dagstuhl Publishing