Issue
Dagstuhl Reports, Volume 5, Issue 8
-
Part of:
Volume:
Dagstuhl Reports, Volume 5
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2016-01-19
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports5
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 5, Issue 8, August 2015, Complete Issue
Abstract
Dagstuhl Reports, Volume 5, Issue 8, August 2015, Complete
Issue
Cite as
Dagstuhl Reports, Volume 5, Issue 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{DagRep.5.8,
title = {{Dagstuhl Reports, Volume 5, Issue 8, August 2015, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8},
URN = {urn:nbn:de:0030-drops-56929},
doi = {10.4230/DagRep.5.8},
annote = {Keywords: Dagstuhl Reports, Volume 5, Issue 8, August 2015, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 5, Issue 8, 2015
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 5, Issue 8, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{DagRep.5.8.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 5, Issue 8, 2015}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8.i},
URN = {urn:nbn:de:0030-drops-56911},
doi = {10.4230/DagRep.5.8.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 8, 2015}
}
Document
Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342)
Abstract
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15342 "Power-Bounded HPC Performance Optimization". The workshop consists of two parts. In part one, our international panel of experts in facilities, schedulers, runtime systems, operating systems, processor architectures and applications provided thought-provoking and details insights into open problems in each of their fields with respect to the workshop topic. These problems must be resolved in order to achieve a useful power-constrainted exascale system, which operates at the highest performance within a given power bound. In part two, the participants split up in three groups, trying to address certain specific subtopics as identified during the expert plenaries. These subtopics have been discussed in more detail, followed by plenary sessions to compare and synthesize the findings into an overall picture. As a result, the workshop identified three major problems, which need to be solved on the way to power-bounded HPC performance optimization.
Cite as
Dieter Kranzlmüller and Barry L. Rountree. Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342). In Dagstuhl Reports, Volume 5, Issue 8, pp. 1-8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{kranzlmuller_et_al:DagRep.5.8.1,
author = {Kranzlm\"{u}ller, Dieter and Rountree, Barry L.},
title = {{Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342)}},
pages = {1--8},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {8},
editor = {Kranzlm\"{u}ller, Dieter and Rountree, Barry L.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8.1},
URN = {urn:nbn:de:0030-drops-56757},
doi = {10.4230/DagRep.5.8.1},
annote = {Keywords: Exascale computing, Energy efficiency, Power awareness, Scalability}
}
Document
Computational Mass Spectrometry (Dagstuhl Seminar 15351)
Abstract
Following in the steps of high-throughput sequencing, mass spectrometry (MS) has become established as a key analytical technique for large-scale studies of complex biological mixtures. MS-based experiments generate datasets of increasing complexity and size, and the rate of production of these datasets has exceeded Moore’s law. In recent years we have witnessed the growth of computational approaches to coping with this data deluge.
The seminar 'Computational Mass Spectrometry' brought together mass spectrometrists, statisticians, computer scientists and biologists to discuss where the next set of computational and statistical challenges lie. The participants discussed emerging areas of research such as how to investigate questions in systems biology with the design and analysis of datasets both large in memory usage and number of features and include measurements from multiple ‘omics technologies.
Cite as
Rudolf Aebersold, Oliver Kohlbacher, and Olga Vitek. Computational Mass Spectrometry (Dagstuhl Seminar 15351). In Dagstuhl Reports, Volume 5, Issue 8, pp. 9-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{aebersold_et_al:DagRep.5.8.9,
author = {Aebersold, Rudolf and Kohlbacher, Oliver and Vitek, Olga},
title = {{Computational Mass Spectrometry (Dagstuhl Seminar 15351)}},
pages = {9--33},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {8},
editor = {Aebersold, Rudolf and Kohlbacher, Oliver and Vitek, Olga},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8.9},
URN = {urn:nbn:de:0030-drops-56765},
doi = {10.4230/DagRep.5.8.9},
annote = {Keywords: computational mass spectrometry, proteomics, metabolomics, bioinformatics}
}
Document
Design of Microfluidic Biochips (Dagstuhl Seminar 15352)
Abstract
Advances in microfluidic technologies have led to the emergence of biochip devices for automating laboratory procedures in biochemistry and molecular biology. Corresponding systems are revolutionizing a diverse range of applications, e.g.~air quality studies, point-of-care clinical diagnostics, drug discovery, and DNA sequencing -- with an increasing market. However, this continued growth depends on advances in chip integration and design-automation tools. Thus, there is a need to deliver the same level of Computer-Aided Design (CAD) support to the biochip designer that the semiconductor industry now takes for granted. The goal of the seminar was to bring together experts in order to present and to develop new ideas and concepts for design automation algorithms and tools for microfluidic biochips.
This report documents the program and the outcomes of this endeavor.
Cite as
Krishnendu Chakrabarty, Tsung-Yi Ho, and Robert Wille. Design of Microfluidic Biochips (Dagstuhl Seminar 15352). In Dagstuhl Reports, Volume 5, Issue 8, pp. 34-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{chakrabarty_et_al:DagRep.5.8.34,
author = {Chakrabarty, Krishnendu and Ho, Tsung-Yi and Wille, Robert},
title = {{Design of Microfluidic Biochips (Dagstuhl Seminar 15352)}},
pages = {34--53},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {8},
editor = {Chakrabarty, Krishnendu and Ho, Tsung-Yi and Wille, Robert},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8.34},
URN = {urn:nbn:de:0030-drops-56776},
doi = {10.4230/DagRep.5.8.34},
annote = {Keywords: cyber-physical integration, microfluidic biochip, computer aided design, hardware and software co-design, test, verification}
}
Document
Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361)
Abstract
Machine learning has become a core field in computer science. Over
the last decade the statistical machine learning approach has been successfully applied in many areas such as bioinformatics, computer vision, robotics and information retrieval. The main reasons for the success of machine learning are its strong theoretical foundations and its
multidisciplinary approach integrating aspects of computer science, applied mathematics, and statistics among others. The goal of the seminar was to bring together again experts from computer science, mathematics and statistics to discuss the state of the art in machine learning and identify and formulate the key challenges in learning which have to be addressed in the future.
The main topics of this seminar were:
- Interplay between Optimization and Learning,
- Learning Data Representations.
Cite as
Matthias Hein, Gabor Lugosi, and Lorenzo Rosasco. Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361). In Dagstuhl Reports, Volume 5, Issue 8, pp. 54-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{hein_et_al:DagRep.5.8.54,
author = {Hein, Matthias and Lugosi, Gabor and Rosasco, Lorenzo},
title = {{Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361)}},
pages = {54--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {8},
editor = {Hein, Matthias and Lugosi, Gabor and Rosasco, Lorenzo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8.54},
URN = {urn:nbn:de:0030-drops-56783},
doi = {10.4230/DagRep.5.8.54},
annote = {Keywords: learning theory, non-smooth optimization (convex and non-convex), signal processing}
}
Document
Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)
Abstract
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15362 "Present and Future of Formal Argumentation".
The goal of this Dagstuhl Perspectives Workshop was to gather the world leading experts in formal argumentation in order to develop a SWOT (Strength, Weaknesses, Opportunities, Threats)
analysis of the current state of the research in this field and to draw accordingly some strategic lines to ensure its successful development in the future.
A critical survey of the field has been carried out through individual presentations and collective discussions.
Moreover, working group activity lead to identify several open problems in argumentation.
Cite as
Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre. Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362). In Dagstuhl Reports, Volume 5, Issue 8, pp. 74-89, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)
Copy BibTex To Clipboard
@Article{gabbay_et_al:DagRep.5.8.74,
author = {Gabbay, Dov M. and Giacomin, Massimiliano and Liao, Beishui and van der Torre, Leendert},
title = {{Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362)}},
pages = {74--89},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2016},
volume = {5},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.8.74},
URN = {urn:nbn:de:0030-drops-56792},
doi = {10.4230/DagRep.5.8.74},
annote = {Keywords: Argumentation, Non-monotonic Logic, Multi-Agent Systems}
}