@Article{DagRep.4.2, title = {{Dagstuhl Reports, Volume 4, Issue 2, February 2014, Complete Issue}}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2}, URN = {urn:nbn:de:0030-drops-45971}, doi = {10.4230/DagRep.4.2}, annote = {Keywords: Dagstuhl Reports, Volume 4, Issue 2, February 2014, Complete Issue} } @Article{DagRep.4.2.i, title = {{Dagstuhl Reports, Table of Contents, Volume 4, Issue 2, 2014}}, pages = {i--ii}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.i}, URN = {urn:nbn:de:0030-drops-45966}, doi = {10.4230/DagRep.4.2.i}, annote = {Keywords: Table of Contents, Frontmatter} } @Article{fraser_et_al:DagRep.4.2.1, author = {Fraser, Alexander M. and Knight, Kevin and Koehn, Philipp and Schmid, Helmut and Uszkoreit, Hans}, title = {{Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061)}}, pages = {1--16}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {Fraser, Alexander M. and Knight, Kevin and Koehn, Philipp and Schmid, Helmut and Uszkoreit, Hans}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.1}, URN = {urn:nbn:de:0030-drops-45420}, doi = {10.4230/DagRep.4.2.1}, annote = {Keywords: Machine Translation, Statistical Machine Translation, Syntactic Parsing, Morphology, Machine Learning, Morphologically Rich Languages} } @Article{mery_et_al:DagRep.4.2.17, author = {M\'{e}ry, Dominique and Sch\"{a}tz, Bernhard and Wassyng, Alan}, title = {{The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)}}, pages = {17--37}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {M\'{e}ry, Dominique and Sch\"{a}tz, Bernhard and Wassyng, Alan}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.17}, URN = {urn:nbn:de:0030-drops-45436}, doi = {10.4230/DagRep.4.2.17}, annote = {Keywords: Embedded systems, Real-time systems, Medical devices, Model-driven development, Software certification, Validation \& verification, Formal methods} } @Article{bodlaender_et_al:DagRep.4.2.38, author = {Bodlaender, Hans L. and Heggernes, Pinar and Lokshtanov, Daniel}, title = {{Graph Modification Problems (Dagstuhl Seminar 14071)}}, pages = {38--59}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {Bodlaender, Hans L. and Heggernes, Pinar and Lokshtanov, Daniel}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.38}, URN = {urn:nbn:de:0030-drops-45443}, doi = {10.4230/DagRep.4.2.38}, annote = {Keywords: graphs, algorithms, graph modification, fixed parameter tractable, graph classes} } @Article{breu_et_al:DagRep.4.2.60, author = {Breu{\ss}, Michael and Bruckstein, Alfred M. and Maragos, Petros and Wuhrer, Stefanie}, title = {{New Perspectives in Shape Analysis (Dagstuhl Seminar 14072)}}, pages = {60--78}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {Breu{\ss}, Michael and Bruckstein, Alfred M. and Maragos, Petros and Wuhrer, Stefanie}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.60}, URN = {urn:nbn:de:0030-drops-45452}, doi = {10.4230/DagRep.4.2.60}, annote = {Keywords: shape analysis, mathematical morphology, shape reconstruction, sparsity, machine learning, numerical computing, level set methods, optimisation method} } @Article{cohn_et_al:DagRep.4.2.79, author = {Cohn, Anthony G. and Neumann, Bernd and Saffiotti, Alessandro and Vincze, Markus}, title = {{Robots Learning from Experiences (Dagstuhl Seminar 14081)}}, pages = {79--109}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {Cohn, Anthony G. and Neumann, Bernd and Saffiotti, Alessandro and Vincze, Markus}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.79}, URN = {urn:nbn:de:0030-drops-45465}, doi = {10.4230/DagRep.4.2.79}, annote = {Keywords: Learning, experiences, cognitive systems} } @Article{burgeth_et_al:DagRep.4.2.110, author = {Burgeth, Bernhard and Hotz, Ingrid and Vilanova Bartroli, Anna and Westin, Carl-Fredrik}, title = {{Visualization and Processing of Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 14082)}}, pages = {110--128}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {Burgeth, Bernhard and Hotz, Ingrid and Vilanova Bartroli, Anna and Westin, Carl-Fredrik}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.110}, URN = {urn:nbn:de:0030-drops-45470}, doi = {10.4230/DagRep.4.2.110}, annote = {Keywords: visualization, image processing, tensor fields, diffusion tensor imaging (DTI), diffusion MRI (dMRI), fiber tractography, higher-order, tensors, partial differential equations (PDEs), structural mechanics, solid mechanics} } @Article{lopezortiz_et_al:DagRep.4.2.129, author = {L\'{o}pez-Ortiz, Alejandro and Meyer, Ulrich Carsten and Sedgewick, Robert}, title = {{Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 14091)}}, pages = {129--149}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {L\'{o}pez-Ortiz, Alejandro and Meyer, Ulrich Carsten 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.4.2.129}, URN = {urn:nbn:de:0030-drops-45489}, doi = {10.4230/DagRep.4.2.129}, annote = {Keywords: data structures, big data, models of computation, I/O Model, sorting, quicksort, graph algorithms, hashing, compression, succinct data structures, trajectories, text search, GPU algorithms, MapReduce} } @Article{dardick_et_al:DagRep.4.2.150, author = {Dardick, Glenn S. and Endicott-Popovsky, Barbara and Gladyshev, Pavel and Kemmerich, Thomas and Rudolph, Carsten}, title = {{Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092)}}, pages = {150--190}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2014}, volume = {4}, number = {2}, editor = {Dardick, Glenn S. and Endicott-Popovsky, Barbara and Gladyshev, Pavel and Kemmerich, Thomas and Rudolph, Carsten}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.2.150}, URN = {urn:nbn:de:0030-drops-45490}, doi = {10.4230/DagRep.4.2.150}, annote = {Keywords: digital evidence, forensic readiness, mobile forensic, trusted computing, Cyberlaw} }