@Article{DagRep.5.4,
title = {{Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4},
URN = {urn:nbn:de:0030-drops-56699},
doi = {10.4230/DagRep.5.4},
annote = {Keywords: Dagstuhl Reports, Volume 5, Issue 4, April 2015, Complete Issue}
}
@Article{DagRep.5.4.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.i},
URN = {urn:nbn:de:0030-drops-56688},
doi = {10.4230/DagRep.5.4.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 4, 2015}
}
@Article{hutchison_et_al:DagRep.5.4.1,
author = {Hutchison, David and Nahrstedt, Klara and Sch\"{o}ller, Marcus and Spiecker gen. D\"{o}hmann, Indra and Tauber, Markus},
title = {{Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151)}},
pages = {1--17},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
editor = {Hutchison, David and Nahrstedt, Klara and Sch\"{o}ller, Marcus and Spiecker gen. D\"{o}hmann, Indra and Tauber, Markus},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.1},
URN = {urn:nbn:de:0030-drops-52725},
doi = {10.4230/DagRep.5.4.1},
annote = {Keywords: Resilience, security, privacy, legal aspects, networked systems, organisations, society}
}
@Article{darrell_et_al:DagRep.5.4.18,
author = {Darrell, Trevor and Kloft, Marius and Pontil, Massimiliano and R\"{a}tsch, Gunnar and Rodner, Erik},
title = {{Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152)}},
pages = {18--55},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
editor = {Darrell, Trevor and Kloft, Marius and Pontil, Massimiliano and R\"{a}tsch, Gunnar and Rodner, Erik},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.18},
URN = {urn:nbn:de:0030-drops-53497},
doi = {10.4230/DagRep.5.4.18},
annote = {Keywords: machine learning, computer vision, computational biology, transfer learning, domain adaptation}
}
@Article{lengauer_et_al:DagRep.5.4.56,
author = {Lengauer, Christian and Bolten, Matthias and Falgout, Robert D. and Schenk, Olaf},
title = {{Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161)}},
pages = {56--75},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
editor = {Lengauer, Christian and Bolten, Matthias and Falgout, Robert D. and Schenk, Olaf},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.56},
URN = {urn:nbn:de:0030-drops-53503},
doi = {10.4230/DagRep.5.4.56},
annote = {Keywords: Code generation, domain-specific languages, exascale computing, high-performance computing, massive parallelism, multigrid, partial differential equations, program optimization, program parallelization, stencil codes}
}
@Article{clelandhuang_et_al:DagRep.5.4.76,
author = {Cleland-Huang, Jane and Rayadurgam, Sanjai and M\"{a}der, Patrick and Sch\"{a}fer, Wilhelm},
title = {{Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162)}},
pages = {76--97},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
editor = {Cleland-Huang, Jane and Rayadurgam, Sanjai and M\"{a}der, Patrick and Sch\"{a}fer, Wilhelm},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.76},
URN = {urn:nbn:de:0030-drops-53518},
doi = {10.4230/DagRep.5.4.76},
annote = {Keywords: safety-critical software development, assurance cases, software and systems traceability}
}
@Article{biere_et_al:DagRep.5.4.98,
author = {Biere, Armin and Ganesh, Vijay and Grohe, Martin and Nordstr\"{o}m, Jakob and Williams, Ryan},
title = {{Theory and Practice of SAT Solving (Dagstuhl Seminar 15171)}},
pages = {98--122},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
editor = {Biere, Armin and Ganesh, Vijay and Grohe, Martin and Nordstr\"{o}m, Jakob and Williams, Ryan},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.98},
URN = {urn:nbn:de:0030-drops-53520},
doi = {10.4230/DagRep.5.4.98},
annote = {Keywords: SAT, Boolean SAT solvers, SAT solving, conflict-driven clause learning, Gr\"{o}bner bases, pseudo-Boolean solvers, proof complexity, computational complexity, parameterized complexity}
}
@Article{barthe_et_al:DagRep.5.4.123,
author = {Barthe, Gilles and Gordon, Andrew D. and Katoen, Joost-Pieter and McIver, Annabelle},
title = {{Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181)}},
pages = {123--141},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
editor = {Barthe, Gilles and Gordon, Andrew D. and Katoen, Joost-Pieter and McIver, Annabelle},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.123},
URN = {urn:nbn:de:0030-drops-53536},
doi = {10.4230/DagRep.5.4.123},
annote = {Keywords: Bayesian networks, differential privacy, machine learning, probabilistic programs, security, semantics, static analysis, verification}
}
@Article{cofer_et_al:DagRep.5.4.142,
author = {Cofer, Darren and Klein, Gerwin and Slind, Konrad and Wiels, Virginie},
title = {{Qualification of Formal Methods Tools (Dagstuhl Seminar 15182)}},
pages = {142--159},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2015},
volume = {5},
number = {4},
editor = {Cofer, Darren and Klein, Gerwin and Slind, Konrad and Wiels, Virginie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.4.142},
URN = {urn:nbn:de:0030-drops-53543},
doi = {10.4230/DagRep.5.4.142},
annote = {Keywords: Dependable systems, Certification, Qualification, Formal methods, Verification tools}
}
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