Issue
Dagstuhl Reports, Volume 4, Issue 2
-
Part of:
Volume:
Dagstuhl Reports, Volume 4
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2014-06-30
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports4
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 4, Issue 2, February 2014, Complete Issue
Abstract
Dagstuhl Reports, Volume 4, Issue 2, February 2014, Complete Issue
Cite as
Dagstuhl Reports, Volume 4, Issue 2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 4, Issue 2, 2014
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 4, Issue 2, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar
14061 "Statistical Techniques for Translating to Morphologically Rich
Languages". The seminar took place in February 2014. The purpose of the seminar was to allow disparate communities working on problems related to morphologically rich languages to meet to discuss an important research problem,
translation to morphologically rich languages. While statistical techniques for machine translation have made significant progress in the last 20 years, results for translating to morphologically rich languages are still mixed versus previous generation rule-based systems, so this is a critical and timely topic. Current research in statistical techniques for translating to morphologically rich languages varies greatly in the amount of linguistic knowledge used and the form of this linguistic knowledge. This varies most strongly by target language, for instance the resources currently used for
translating to Czech are very different from those used for translating to German. The seminar met a pressing need to discuss the issues involved in these translation tasks in a more broad venue than the ACL Workshops on Machine Translation, which are primarily attended by statistical machine translation researchers. The report describes the introductory material presented to the group, the organization of break-out discussion groups by topic, and the results of the seminar.
Cite as
Alexander M. Fraser, Kevin Knight, Philipp Koehn, Helmut Schmid, and Hans Uszkoreit. Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061). In Dagstuhl Reports, Volume 4, Issue 2, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14062 "The Pacemaker Challenge: Developing Certifiable Medical Devices". The aim of the seminar was to bring together leading researchers and industrial partners of this field; the seminary ended up with 24 participants from 8 countries: Canada, Denmark, France, The Unites States, Germany, United Kingdom, Brazil. Through a series of presentations, discussions, and working group meetings, the seminar attempted to get a general view of the field of medical devices and certification issues through the pacemaker challenge.
The seminar brought together, on the one hand, researchers from the different notations and various tools. The main outcome of the seminar is the exchange of information between different groups and the project of a book.
Cite as
Dominique Méry, Bernhard Schätz, and Alan Wassyng. The Pacemaker Challenge: Developing Certifiable Medical Devices (Dagstuhl Seminar 14062). In Dagstuhl Reports, Volume 4, Issue 2, pp. 17-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
Graph Modification Problems (Dagstuhl Seminar 14071)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14071 "Graph Modification Problems". The seminar was held from February 9 to February 14, 2014. This report contains abstracts for presentations about the recent
developments on algorithms and structural results for graph modification problems, as well as related areas. Furthermore, the report contains a summary of open problems in this area of research.
Cite as
Hans L. Bodlaender, Pinar Heggernes, and Daniel Lokshtanov. Graph Modification Problems (Dagstuhl Seminar 14071). In Dagstuhl Reports, Volume 4, Issue 2, pp. 38-59, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
New Perspectives in Shape Analysis (Dagstuhl Seminar 14072)
Abstract
Over the last decade, it has become increasingly affordable to digitize 2D and 3D shape information using multiple modalities, such as (video) cameras, image-based reconstruction systems, laser-range scanners, or depth cameras. If these dense models can be processed and described in an efficient and informative way, they can be used in applications, such as ergonomic design, virtual shopping, scientific and medical visualization, realistic simulation, photo-realistic rendering, the design of natural user interfaces, and semantic scene understanding.
Traditionally, the notion of shape has been studied either by analyzing projections of shapes in images or by analyzing a sparse set of marker positions on 3D shapes. Typical tasks in 2D shape analysis include segmenting objects in images and tracking objects across a sequence of images, and typical tasks in 3D shape analysis include reconstructing the three-dimensional object depth from input images and identifying corresponding points on different 3D models. The analysis and processing of shape data becomes especially challenging because of the increasing amount of data captured by sensors used to acquire shapes, and because modern applications such as natural user interfaces require real-time processing of the input shapes.
Meeting these challenges requires models of shape analysis that are compact and informative, thereby allowing the development of algorithms that can process large datasets efficiently. To achieve these goals, interdisciplinary approaches are needed that use concepts from a variety of research areas, including numerical computing, differential geometry, deformable shape modeling, sparse data representation, and machine learning. On the algorithmic side, many shape analysis tasks are modeled using partial differential equations, which can be solved using tools from the field of numerical computing. The fields of differential geometry and deformable shape modeling have recently begun to influence shape analysis methods. Furthermore, tools from the field of sparse representations, which aim to describe input data using a compressible representation with respect to a set of carefully selected basis elements, have the potential to significantly reduce the amount of data that needs to be processed in shape analysis tasks. The related field of machine learning offers similar potential.
This seminar brought together 28 researchers from North America and Europe engaged in recent and upcoming developments in shape analysis who view these challenges from different perspectives and who together discussed the pressing open problems and novel solutions to them.
Cite as
Michael Breuß, Alfred M. Bruckstein, Petros Maragos, and Stefanie Wuhrer. New Perspectives in Shape Analysis (Dagstuhl Seminar 14072). In Dagstuhl Reports, Volume 4, Issue 2, pp. 60-78, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
Robots Learning from Experiences (Dagstuhl Seminar 14081)
Abstract
This report documents the programme and the outcomes of Dagstuhl Seminar 14081 "Robots Learning from Experiences". The report begins with a summary comprising information about the seminar topics, the programme, important discussion points, and conclusions. The main body of the report consists of the abstracts of 25 presentations given at the seminar, and of four reports about discussion groups.
Cite as
Anthony G. Cohn, Bernd Neumann, Alessandro Saffiotti, and Markus Vincze. Robots Learning from Experiences (Dagstuhl Seminar 14081). In Dagstuhl Reports, Volume 4, Issue 2, pp. 79-109, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
Visualization and Processing of Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 14082)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14082 "Visualization and Processing of Higher Order Descriptors for Multi-Valued Data". The seminar gathered 26 senior and younger researchers from various countries in the unique atmosphere offered by Schloss Dagstuhl. The focus of the seminar was to discuss modern and emerging methods for analysis and visualization of tensor and higher order descriptors from medical imaging and engineering applications. Abstracts of the talks are collected in this report.
Cite as
Bernhard Burgeth, Ingrid Hotz, Anna Vilanova Bartroli, and Carl-Fredrik Westin. Visualization and Processing of Higher Order Descriptors for Multi-Valued Data (Dagstuhl Seminar 14082). In Dagstuhl Reports, Volume 4, Issue 2, pp. 110-128, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 14091)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14091 "Data Structures and Advanced Models of Computation on Big Data". In today's computing environment vast amounts of data are processed, exchanged and analyzed. The manner in which information is stored profoundly influences the efficiency of these operations over the data. In spite of the maturity of the field many data structuring problems are still open, while new ones arise due to technological advances.
The seminar covered both recent advances in the "classical" data structuring topics as well as new models of computation adapted to modern architectures, scientific studies that reveal the need for such models, applications where large data sets play a central role, modern computing platforms for very large data, and new data structures for large data in modern architectures.
The extended abstracts included in this report contain both recent state of the art advances and lay the foundation for new directions within data structures research.
Cite as
Alejandro López-Ortiz, Ulrich Carsten Meyer, and Robert Sedgewick. Data Structures and Advanced Models of Computation on Big Data (Dagstuhl Seminar 14091). In Dagstuhl Reports, Volume 4, Issue 2, pp. 129-149, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}
Document
Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092)
Abstract
The seminar on Digital Evidence and Forensic Readiness provided the space for interdisciplinary discussions on clearly defined critical aspects of engineering issues, evaluation and processes for secure digital evidence and forensic readiness. A large gap exists between the state-of-the-art in IT security and best-practice procedures for digital evidence. Experts from IT and law used this seminar to develop a common view on what exactly can be considered secure and admissible digital evidence.
In addition to sessions with all participants, a separation of participants for discussing was arranged. The outcome of these working sessions was used in the general discussion to work on a common understanding of the topic. The results of the seminar will lead to new technological developments as well as to new legal views to this points and to a change of organizational measures using ICT. Finally, various open issues and research topics have been identified. In addition to this report, open research issues will also be published in the form of a manifesto on digital evidence.
One possible definition for Secure Digital Evidence was proposed by Rudolph et al. at the Eighth Annual IFIP WG 11.9 International Conference on Digital Forensics 2012. It states that a data record can be considered secure if it was created authentically by a device for which the following holds:
- The device is physically protected to ensure at least tamper-evidence.
- The data record is securely bound to the identity and status of the device (including running software and configuration) and to all other relevant parameters (such as time, temperature, location, users involved, etc.)
- The data record has not been changed after creation.
Digital Evidence according to this definition comprises the measured value and additional information on the state of the measurement device. This additional information on the state of the measurement device aims to document the operation environment providing evidence that can help lay the foundation for
admissibility.
This definition provided one basis of discussion at the seminar and was compared to other approaches to forensic readiness.
Additional relevant aspects occur in the forensic readiness of mobile device, cloud computing and services. Such scenarios are already very frequent but will come to full force in the near future.
The interdisciplinary Dagstuhl seminar on digital evidence and forensic readiness has provided valuable input to the discussion on the future of various types of evidence and it has build the basis for acceptable and sound rules for the assessment of digital evidences. Furthermore, it has established new links between experts from four continents and thus has set the foundations for new interdisciplinary and international co-operations.
Cite as
Glenn S. Dardick, Barbara Endicott-Popovsky, Pavel Gladyshev, Thomas Kemmerich, and Carsten Rudolph. Digital Evidence and Forensic Readiness (Dagstuhl Seminar 14092). In Dagstuhl Reports, Volume 4, Issue 2, pp. 150-190, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@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-dev.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}
}