@Article{DagRep.4.9, title = {{Dagstuhl Reports, Volume 4, Issue 9, September 2014, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9}, URN = {urn:nbn:de:0030-drops-48984}, doi = {10.4230/DagRep.4.9}, annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 9, September 2014, Complete Issue} } @Article{DagRep.4.9.i, title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 9, 2014}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.i}, URN = {urn:nbn:de:0030-drops-48977}, doi = {10.4230/DagRep.4.9.i}, annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 4, Issue 9, 2014} } @Article{gauger_et_al:DagRep.4.9.1, author = {Gauger, Nicolas R. and Giles, Michael and Gunzburger, Max and Naumann, Uwe}, title = {{Adjoint Methods in Computational Science, Engineering, and Finance (Dagstuhl Seminar 14371)}}, pages = {1--29}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {Gauger, Nicolas R. and Giles, Michael and Gunzburger, Max and Naumann, Uwe}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.1}, URN = {urn:nbn:de:0030-drops-48817}, doi = {10.4230/DagRep.4.9.1}, annote = {Keywords: continuous adjoints, discrete adjoints, high-performance scientific computing,algorithmic differentiation} } @Article{balcan_et_al:DagRep.4.9.30, author = {Balcan, Marina-Florina and Manthey, Bodo and R\"{o}glin, Heiko and Roughgarden, Tim}, title = {{Analysis of Algorithms Beyond the Worst Case (Dagstuhl Seminar 14372)}}, pages = {30--49}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {Balcan, Marina-Florina and Manthey, Bodo and R\"{o}glin, Heiko and Roughgarden, Tim}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.30}, URN = {urn:nbn:de:0030-drops-48829}, doi = {10.4230/DagRep.4.9.30}, annote = {Keywords: analysis of algorithms, probabilistic analysis, smoothed analysis, approximation stability, machine learning} } @Article{davilagarcez_et_al:DagRep.4.9.50, author = {d'Avila Garcez, Artur and Gori, Marco and Hitzler, Pascal and Lamb, Lu{\'\i}s C.}, title = {{Neural-Symbolic Learning and Reasoning (Dagstuhl Seminar 14381)}}, pages = {50--84}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {d'Avila Garcez, Artur and Gori, Marco and Hitzler, Pascal and Lamb, Lu{\'\i}s C.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.50}, URN = {urn:nbn:de:0030-drops-48843}, doi = {10.4230/DagRep.4.9.50}, annote = {Keywords: Neural-symbolic computation, deep learning, image understanding, lifelong machine learning, natural language understanding, ontology learning} } @Article{agrawal_et_al:DagRep.4.9.85, author = {Agrawal, Manindra and Kabanets, Valentine and Thierauf, Thomas and Umans, Christopher}, title = {{Algebra in Computational Complexity (Dagstuhl Seminar 14391)}}, pages = {85--105}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {Agrawal, Manindra and Kabanets, Valentine and Thierauf, Thomas and Umans, Christopher}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.85}, URN = {urn:nbn:de:0030-drops-48851}, doi = {10.4230/DagRep.4.9.85}, annote = {Keywords: Computational Complexity, lower bounds, approximazation, pseudo-randomness, derandomization, circuits} } @Article{preneel_et_al:DagRep.4.9.106, author = {Preneel, Bart and Rogaway, Phillip and Ryan, Mark D. and Ryan, Peter Y. A.}, title = {{Privacy and Security in an Age of Surveillance (Dagstuhl Perspectives Workshop 14401)}}, pages = {106--123}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {Preneel, Bart and Rogaway, Phillip and Ryan, Mark D. and Ryan, Peter Y. A.}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.106}, URN = {urn:nbn:de:0030-drops-48882}, doi = {10.4230/DagRep.4.9.106}, annote = {Keywords: Big data, encryption, mass surveillance, privacy} } @Article{hartig_et_al:DagRep.4.9.124, author = {H\"{a}rtig, Hermann and Matsuoka, Satoshi and Mueller, Frank and Reinefeld, Alexander}, title = {{Resilience in Exascale Computing (Dagstuhl Seminar 14402)}}, pages = {124--139}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {9}, editor = {H\"{a}rtig, Hermann and Matsuoka, Satoshi and Mueller, Frank and Reinefeld, Alexander}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.9.124}, URN = {urn:nbn:de:0030-drops-48898}, doi = {10.4230/DagRep.4.9.124}, annote = {Keywords: Exascale computing, resilience, fault tolerance, manycore computers, operating systems, micro kernels, work-load balancing, checkpointing} }