Dagstuhl Reports, Volume 5, Issue 8



Thumbnail PDF

Event

Dagstuhl Seminars 15342 (Perspectives Workshop), 15351, 15352, 15361

Publication Details


Access Numbers

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.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.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)

Authors: Dieter Kranzlmüller and Barry L. Rountree


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.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)

Authors: Rudolf Aebersold, Oliver Kohlbacher, and Olga Vitek


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.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)

Authors: Krishnendu Chakrabarty, Tsung-Yi Ho, and Robert Wille


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.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)

Authors: Matthias Hein, Gabor Lugosi, and Lorenzo Rosasco


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.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)

Authors: Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, and Leendert van der Torre


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.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}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail