@Article{DagRep.9.1, title = {{Dagstuhl Reports, Volume 9, Issue 1, January 2019, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1}, URN = {urn:nbn:de:0030-drops-112057}, doi = {10.4230/DagRep.9.1}, annote = {Keywords: Dagstuhl Reports, Volume 9, Issue 1, January 2019, Complete Issue} } @Article{DagRep.9.1.i, title = {{Dagstuhl Reports, Table of Contents, Volume 9, Issue 1, 2019}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.i}, URN = {urn:nbn:de:0030-drops-112068}, doi = {10.4230/DagRep.9.1.i}, annote = {Keywords: Table of Contents, Frontmatter} } @Article{moens_et_al:DagRep.9.1.1, author = {Moens, Marie-Francine and Specia, Lucia and Tuytelaars, Tinne}, title = {{Joint Processing of Language and Visual Data for Better Automated Understanding (Dagstuhl Seminar 19021)}}, pages = {1--27}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, editor = {Moens, Marie-Francine and Specia, Lucia and Tuytelaars, Tinne}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.1}, URN = {urn:nbn:de:0030-drops-105673}, doi = {10.4230/DagRep.9.1.1}, annote = {Keywords: multimodal learning, representation learning, computer vision, natural language processing, machine learning} } @Article{gradel_et_al:DagRep.9.1.28, author = {Gr\"{a}del, Erich and Kolaitis, Phokion G. and Kontinen, Juha and Vollmer, Heribert}, title = {{Logics for Dependence and Independence (Dagstuhl Seminar 19031)}}, pages = {28--46}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, editor = {Gr\"{a}del, Erich and Kolaitis, Phokion G. and Kontinen, Juha 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.9.1.28}, URN = {urn:nbn:de:0030-drops-105682}, doi = {10.4230/DagRep.9.1.28}, annote = {Keywords: dependence logic, mathematical logic, computational complexity, finite model theory, game theory} } @Article{aucher_et_al:DagRep.9.1.47, author = {Aucher, Guillaume and Egr\'{e}, Paul and Kern-Isberner, Gabriele and Poggliesi, Francesca}, title = {{Conditional Logics and Conditional Reasoning: New Joint Perspectives (Dagstuhl Seminar 19032)}}, pages = {47--66}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, editor = {Aucher, Guillaume and Egr\'{e}, Paul and Kern-Isberner, Gabriele and Poggliesi, Francesca}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.47}, URN = {urn:nbn:de:0030-drops-105693}, doi = {10.4230/DagRep.9.1.47}, annote = {Keywords: Commonsense reasoning, conditionals, correspondence theory, proof theory, psychology of reasoning} } @Article{fomin_et_al:DagRep.9.1.67, author = {Fomin, Fedor V. and Marx, D\'{a}niel and Saurabh, Saket and Zehavi, Meirav}, title = {{New Horizons in Parameterized Complexity (Dagstuhl Seminar 19041)}}, pages = {67--87}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, editor = {Fomin, Fedor V. and Marx, D\'{a}niel and Saurabh, Saket and Zehavi, Meirav}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.67}, URN = {urn:nbn:de:0030-drops-105706}, doi = {10.4230/DagRep.9.1.67}, annote = {Keywords: Intractability, Parameterized Complexity} } @Article{camenisch_et_al:DagRep.9.1.88, author = {Camenisch, Jan and K\"{u}sters, Ralf and Lysyanskaya, Anna and Scafuro, Alessandra}, title = {{Practical Yet Composably Secure Cryptographic Protocols (Dagstuhl Seminar 19042)}}, pages = {88--103}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, editor = {Camenisch, Jan and K\"{u}sters, Ralf and Lysyanskaya, Anna and Scafuro, Alessandra}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.88}, URN = {urn:nbn:de:0030-drops-105710}, doi = {10.4230/DagRep.9.1.88}, annote = {Keywords: applied cryptography, cryptographic protocols, practical protocols, provably secure protocols, security models, universally composability} } @Article{brodal_et_al:DagRep.9.1.104, author = {Brodal, Gerth St{\o}lting and Meyer, Ulrich Carsten and Nebel, Bernhard E. and Sedgewick, Robert}, title = {{Data Structures for the Cloud and External Memory Data (Dagstuhl Seminar 19051)}}, pages = {104--124}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, editor = {Brodal, Gerth St{\o}lting and Meyer, Ulrich Carsten and Nebel, Bernhard E. and Sedgewick, Robert}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.104}, URN = {urn:nbn:de:0030-drops-105722}, doi = {10.4230/DagRep.9.1.104}, annote = {Keywords: algorithms, big data, cloud computing, data structures, external memory methods, large data sets, web-scale} } @Article{muller_et_al:DagRep.9.1.125, author = {M\"{u}ller, Meinard and G\'{o}mez, Emilia and Yang, Yi-Hsun}, title = {{Computational Methods for Melody and Voice Processing in Music Recordings (Dagstuhl Seminar 19052)}}, pages = {125--177}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {1}, editor = {M\"{u}ller, Meinard and G\'{o}mez, Emilia and Yang, Yi-Hsun}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.9.1.125}, URN = {urn:nbn:de:0030-drops-105732}, doi = {10.4230/DagRep.9.1.125}, annote = {Keywords: Acoustics of singing, audio signal processing, machine learning, music composition and performance, music information retrieval, music perception and cognition, music processing, singing voice processing, sound source separation, user interaction and interfaces} }