Issue

Dagstuhl Reports, Volume 5, Issue 11

Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.5.11
Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue
Abstract
Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue
Cite as

Dagstuhl Reports, Volume 5, Issue 11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{DagRep.5.11,
  title =	{{Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11},
  URN =		{urn:nbn:de:0030-drops-58051},
  doi =		{10.4230/DagRep.5.11},
  annote =	{Keywords: Dagstuhl Reports, Volume 5, Issue 11, November 2015, Complete Issue}
}
Document
Front Matter
DOI: 10.4230/DagRep.5.11.i
Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015
Abstract
Table of Contents, Frontmatter
Cite as

Dagstuhl Reports, Volume 5, Issue 11, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{DagRep.5.11.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.i},
  URN =		{urn:nbn:de:0030-drops-58042},
  doi =		{10.4230/DagRep.5.11.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 11, 2015}
}
Document
DOI: 10.4230/DagRep.5.11.1
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)

Authors: Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis

Abstract
This report documents the programme and the outcome of Dagstuhl Seminar 15451 "Verification of Evolving Graph Structures". The aim was to bring together researchers from different communities (shape analysis, separation logic, graph transformation, verification of infinite-state systems) who are interested in developing techniques for the analysis of graph manipulations, i.e., methods that are able to handle the challenges that arise in current verification problems. Apart from scientific talks, the programme also included four tutorial talks and four working groups, which are summarized in this report.
Cite as

Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, and Viktor Vafeiadis. Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). In Dagstuhl Reports, Volume 5, Issue 11, pp. 1-28, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{azizabdulla_et_al:DagRep.5.11.1,
  author =	{Aziz Abdulla, Parosh and Gadducci, Fabio and K\"{o}nig, Barbara and Vafeiadis, Viktor},
  title =	{{Verification of Evolving Graph Structures (Dagstuhl Seminar 15451)}},
  pages =	{1--28},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Aziz Abdulla, Parosh and Gadducci, Fabio and K\"{o}nig, Barbara and Vafeiadis, Viktor},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.1},
  URN =		{urn:nbn:de:0030-drops-57614},
  doi =		{10.4230/DagRep.5.11.1},
  annote =	{Keywords: dynamic systems, graph transformation, graphs, heap analysis, separation logic, shape analysis, static analysis, verification}
}
Document
DOI: 10.4230/DagRep.5.11.29
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)

Authors: Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller

Abstract
This report documents the program and the outcomes of Dagstuhl Perspectives Workshop 15452 "Artifact Evaluation for Publications". This Perspectives Workshop conveyed several stakeholders in artifact evaluation from different communities to assess how artifact evaluation is working and make recommendations to the computer systems research community about several issues with the process.
Cite as

Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, and Andreas Zeller. Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452). In Dagstuhl Reports, Volume 5, Issue 11, pp. 29-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{childers_et_al:DagRep.5.11.29,
  author =	{Childers, Bruce R. and Fursin, Grigori and Krishnamurthi, Shriram and Zeller, Andreas},
  title =	{{Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452)}},
  pages =	{29--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Childers, Bruce R. and Fursin, Grigori and Krishnamurthi, Shriram and Zeller, Andreas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.29},
  URN =		{urn:nbn:de:0030-drops-57620},
  doi =		{10.4230/DagRep.5.11.29},
  annote =	{Keywords: Computer systems, artifacts, reproducibility, archive}
}
Document
DOI: 10.4230/DagRep.5.11.36
Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461)

Authors: André Bruhn, Atsushi Imiya, Ales Leonardis, and Tomas Pajdla

Abstract
The vision-based autonomous driving and navigation of vehicles has a long history. In 2013, Daimler succeeded autonomous driving on a public drive way. Today, the Curiosity mars rover is sending video views from Mars to Earth. Computer vision plays a key role in advanced driver assistance systems (ADAS) as well as in exploratory and service robotics. Continuing topics of interest in computer vision are scene and environmental understanding using single- and multiple-camera systems, which are fundamental techniques for autonomous driving, navigation in unknown environments and remote visual exploration. Therefore, we strictly focuses on mathematical, geometrical and computational aspects of autonomous vehicles and autonomous vehicular technology which make use of computer vision and pattern recognition as the central component for autonomous driving and navigation and remote exploration.
Cite as

André Bruhn, Atsushi Imiya, Ales Leonardis, and Tomas Pajdla. Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461). In Dagstuhl Reports, Volume 5, Issue 11, pp. 36-61, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{bruhn_et_al:DagRep.5.11.36,
  author =	{Bruhn, Andr\'{e} and Imiya, Atsushi and Leonardis, Ales and Pajdla, Tomas},
  title =	{{Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461)}},
  pages =	{36--61},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Bruhn, Andr\'{e} and Imiya, Atsushi and Leonardis, Ales and Pajdla, Tomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.36},
  URN =		{urn:nbn:de:0030-drops-57639},
  doi =		{10.4230/DagRep.5.11.36},
  annote =	{Keywords: Vision-based autonomous driving and navigation, Exploratory rovers, Dynamic 3D scene understanding, Simultaneous localization and mapping, On-board algorithms}
}
Document
DOI: 10.4230/DagRep.5.11.62
The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462)

Authors: Wolfram Burgard, Uwe Franke, Markus Enzweiler, and Mohan Trivedi

Abstract
This report documents the Dagstuhl Seminar 15462 "The Mobile Revolution - Machine Intelligence for Autonomous Vehicles". The seminar has discussed the state-of-the-art and provided a consistent vision on the topic of intelligent autonomous vehicles. It has served as a communication platform between the various sub-communities involved, by bringing together key persons in industry and academia in their respective fields. Additionally, relations between different disciplines of intelligent transportation systems have be identified and exploited. The seminar has allowed its participants to bridge the gap between foundational research and real-world applications by identifying further research directions and initiating interdisciplinary collaborations.
Cite as

Wolfram Burgard, Uwe Franke, Markus Enzweiler, and Mohan Trivedi. The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462). In Dagstuhl Reports, Volume 5, Issue 11, pp. 62-70, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{burgard_et_al:DagRep.5.11.62,
  author =	{Burgard, Wolfram and Franke, Uwe and Enzweiler, Markus and Trivedi, Mohan},
  title =	{{The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462)}},
  pages =	{62--70},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Burgard, Wolfram and Franke, Uwe and Enzweiler, Markus and Trivedi, Mohan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.62},
  URN =		{urn:nbn:de:0030-drops-57646},
  doi =		{10.4230/DagRep.5.11.62},
  annote =	{Keywords: autonomous driving, digital maps, environment perception, machine intelligence, robotics, situation awareness, traffic safety}
}
Document
DOI: 10.4230/DagRep.5.11.71
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)

Authors: Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang

Abstract
The seminar focused on satisfiability checking for combinations of first-order logic and subclasses thereof with arithmetic theories in a very liberal sense, also covering quantifiers and parameters. It gathered members of the two communities of symbolic computation (or computer algebra) and satisfiability checking (including satisfiability modulo theories). Up-to-now, these two communities have been working quite independently. We are confident that the seminar will initiate cross-fertilization of both fields and bring improvements for both satisfiability checking and symbolic computation, and for their applications.
Cite as

Erika Ábrahám, Pascal Fontaine, Thomas Sturm, and Dongming Wang. Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). In Dagstuhl Reports, Volume 5, Issue 11, pp. 71-89, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{abraham_et_al:DagRep.5.11.71,
  author =	{\'{A}brah\'{a}m, Erika and Fontaine, Pascal and Sturm, Thomas and Wang, Dongming},
  title =	{{Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471)}},
  pages =	{71--89},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{\'{A}brah\'{a}m, Erika and Fontaine, Pascal and Sturm, Thomas and Wang, Dongming},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.71},
  URN =		{urn:nbn:de:0030-drops-57657},
  doi =		{10.4230/DagRep.5.11.71},
  annote =	{Keywords: algorithmic algebra, arithmetic, automated reasoning, decision procedures, quantifier elimination, satisfiability checking, SMT solving, symbolic comp}
}
Document
DOI: 10.4230/DagRep.5.11.90
Programming with "Big Code" (Dagstuhl Seminar 15472)

Authors: William W. Cohen, Charles Sutton, and Martin T. Vechev

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15472 "Programming with "Big Code"". "Big Code" is a term used to refer to the increasing availability of the millions of programs found in open source repositories such as GitHub, BitBucket, and others. With this availability, an opportunity appears in developing new kinds of statistical programming tools that learn and leverage the effort that went into building, debugging and testing the programs in "Big Code" in order to solve various important and interesting programming challenges. Developing such statistical tools however requires deep expertise across multiple areas of computer science including machine learning, natural language processing, programming languages and software engineering. Because of its highly inter-disciplinary nature, the seminar involved top experts from these fields who have worked on or are interested in the area. The seminar was successful in familiarizing the participants with recent developments in the area, bringing new understanding to different communities and outlining future research directions.
Cite as

William W. Cohen, Charles Sutton, and Martin T. Vechev. Programming with "Big Code" (Dagstuhl Seminar 15472). In Dagstuhl Reports, Volume 5, Issue 11, pp. 90-102, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{cohen_et_al:DagRep.5.11.90,
  author =	{Cohen, William W. and Sutton, Charles and Vechev, Martin T.},
  title =	{{Programming with "Big Code" (Dagstuhl Seminar 15472)}},
  pages =	{90--102},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Cohen, William W. and Sutton, Charles and Vechev, Martin T.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.90},
  URN =		{urn:nbn:de:0030-drops-57665},
  doi =		{10.4230/DagRep.5.11.90},
  annote =	{Keywords: machine learning, natural language processing, programming languages, software engineering, statistical programming tools}
}
Document
DOI: 10.4230/DagRep.5.11.103
Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481)

Authors: Daniel Archambault, Tobias Hoßfeld, and Helen C. Purchase

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15481 "Evaluation in the Crowd: Crowdsourcing and Human-Centred Experiments". Human-centred empirical evaluations play important roles in the fields of human-computer interaction, visualization, graphics, multimedia, and psychology. The advent of crowdsourcing platforms, such as Amazon Mechanical Turk or Microworkers, has provided a revolutionary methodology to conduct human-centred experiments. Through such platforms, experiments can now collect data from hundreds, even thousands, of participants from a diverse user community over a matter of weeks, greatly increasing the ease with which we can collect data as well as the power and generalizability of experimental results. However, such an experimental platform does not come without its problems: ensuring participant investment in the task, defining experimental controls, and understanding the ethics behind deploying such experiments en-masse. The major interests of the seminar participants were focused in different working groups on (W1) Crowdsourcing Technology, (W2) Crowdsourcing Community, (W3) Crowdsourcing vs. Lab, (W4) Crowdsourcing & Visualization, (W5) Crowdsourcing & Psychology, (W6) Crowdsourcing & QoE Assessment.
Cite as

Daniel Archambault, Tobias Hoßfeld, and Helen C. Purchase. Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481). In Dagstuhl Reports, Volume 5, Issue 11, pp. 103-126, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{archambault_et_al:DagRep.5.11.103,
  author =	{Archambault, Daniel and Ho{\ss}feld, Tobias and Purchase, Helen C.},
  title =	{{Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481)}},
  pages =	{103--126},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Archambault, Daniel and Ho{\ss}feld, Tobias and Purchase, Helen C.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.103},
  URN =		{urn:nbn:de:0030-drops-57676},
  doi =		{10.4230/DagRep.5.11.103},
  annote =	{Keywords: Crowdsourcing; Human Computation; Crowdsourcing Design, Mechanisms, Engineering; Practical Experience; Computer Graphics; Applied Perception; HCI; Visualization}
}
Document
DOI: 10.4230/DagRep.5.11.127
Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)

Authors: Ada Diaconescu, Stepehn Marsh, Jeremy Pitt, Wolfgang Reif, and Jan-Philipp Steghöfer

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15482 "Social Concepts in Self-organising Systems". The seminar brought together researchers from computer sciences (in particular from the fields of multi-agent systems and self-organisation) and from social sciences to discuss the impact of the use of social concepts in technical systems as well as the interaction between technical and social systems. In an engaging and interactive setting, the problem was illuminated from a technical as well as a philosophical and legal point of view. The talks, discussions, and working groups identified a growing body of work in the field, a number of interesting and promising research avenues, as well as a set of open issues for future investigation.
Cite as

Ada Diaconescu, Stepehn Marsh, Jeremy Pitt, Wolfgang Reif, and Jan-Philipp Steghöfer. Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482). In Dagstuhl Reports, Volume 5, Issue 11, pp. 127-150, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{diaconescu_et_al:DagRep.5.11.127,
  author =	{Diaconescu, Ada and Marsh, Stepehn and Pitt, Jeremy and Reif, Wolfgang and Stegh\"{o}fer, Jan-Philipp},
  title =	{{Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482)}},
  pages =	{127--150},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Diaconescu, Ada and Marsh, Stepehn and Pitt, Jeremy and Reif, Wolfgang and Stegh\"{o}fer, Jan-Philipp},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.127},
  URN =		{urn:nbn:de:0030-drops-57954},
  doi =		{10.4230/DagRep.5.11.127},
  annote =	{Keywords: computational justice, multi-agent sytems, norms, organic computing, reputation, self-organisation, social capital, socio-technical systems, sociologically-inspired computing, trust}
}
Document
DOI: 10.4230/DagRep.5.11.151
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)

Authors: Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, and Todd Mytkowicz

Abstract
Computing has entered the era of approximation, in which hardware and software generate and reason about estimates. Navigation applications turn maps and location estimates from hardware GPS sensors into driving directions; speech recognition turns an analog signal into a likely sentence; search turns queries into information; network protocols deliver unreliable messages; and recent advances promise that approximate hardware and software will trade result quality for energy efficiency. Millions of people already use software which computes with and reasons about approximate/probabilistic data daily. These complex systems require sophisticated algorithms to deliver accurate answers quickly, at scale, and with energy efficiency, and approximation is often the only way to meet these competing goals. Despite their ubiquity, economic significance, and societal impact, building such applications is difficult and requires expertise across the system stack, in addition to statistics and application-specific domain knowledge. Non-expert developers need tools and expertise to help them design, code, and verify these complex systems. The aim of this seminar was to bring together academic and industrial researchers from the areas of probabilistic model checking, quantitative software analysis, probabilistic programming, and approximate computing to share their recent progress, identify challenges in computing with estimates, and foster collaboration with the goal of helping non-expert developers design, code, and verify modern approximate and probabilistic systems.
Cite as

Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, and Todd Mytkowicz. Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). In Dagstuhl Reports, Volume 5, Issue 11, pp. 151-179, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{filieri_et_al:DagRep.5.11.151,
  author =	{Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd},
  title =	{{Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491)}},
  pages =	{151--179},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{Filieri, Antonio and Kwiatkowska, Marta and Misailovic, Sasa and Mytkowicz, Todd},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.151},
  URN =		{urn:nbn:de:0030-drops-58008},
  doi =		{10.4230/DagRep.5.11.151},
  annote =	{Keywords: approximation, model checking, performance, probability, program analysis, systems, verification}
}
Document
DOI: 10.4230/DagRep.5.11.180
Computational Metabolomics (Dagstuhl Seminar 15492)

Authors: Sebastian Böcker, Juho Rousu, and Emma Schymanski

Abstract
he Dagstuhl Seminar 15492 on Computational Metabolomics brought together leading experimental (analytical chemistry and biology) and computational (computer science and bioinformatics) experts with the aim to foster the exchange of expertise needed to advance computational metabolomics. The focus was on a dynamic schedule with overview talks followed by breakout sessions, selected by the participants, covering the whole experimental-computational continuum in mass spectrometry, as well as the use of metabolomics data in applications. A general observation was that metabolomics is in the state that genomics was 20 years ago and that while the availability of data is holding back progress, several good initiatives are present. The importance of small molecules to life should be communicated properly to assist initiating a global metabolomics initiative, such as the Human Genome project. Several follow-ups were discussed, including workshops, hackathons, joint paper(s) and a new Dagstuhl Seminar in two years to follow up on this one.
Cite as

Sebastian Böcker, Juho Rousu, and Emma Schymanski. Computational Metabolomics (Dagstuhl Seminar 15492). In Dagstuhl Reports, Volume 5, Issue 11, pp. 180-192, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)

Copy BibTex To Clipboard

@Article{bocker_et_al:DagRep.5.11.180,
  author =	{B\"{o}cker, Sebastian and Rousu, Juho and Schymanski, Emma},
  title =	{{Computational Metabolomics (Dagstuhl Seminar 15492)}},
  pages =	{180--192},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{11},
  editor =	{B\"{o}cker, Sebastian and Rousu, Juho and Schymanski, Emma},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.11.180},
  URN =		{urn:nbn:de:0030-drops-58016},
  doi =		{10.4230/DagRep.5.11.180},
  annote =	{Keywords: algorithms, bioinformatics, cheminformatics, computational mass spectrometry, computational metabolomics, databases}
}

Filters

  • Authors
  • A
  • Ábrahám, Erika
  • Archambault, Daniel
  • Aziz Abdulla, Parosh
  • B
  • Böcker, Sebastian
  • Bruhn, André
  • Burgard, Wolfram
  • C
  • Childers, Bruce R.
  • Cohen, William W.
  • D
  • Diaconescu, Ada
  • E
  • Enzweiler, Markus
  • F
  • Filieri, Antonio
  • Fontaine, Pascal
  • Franke, Uwe
  • Fursin, Grigori
  • G
  • Gadducci, Fabio
  • H
  • Hoßfeld, Tobias
  • I
  • Imiya, Atsushi
  • K
  • König, Barbara
  • Krishnamurthi, Shriram
  • Kwiatkowska, Marta
  • L
  • Leonardis, Ales
  • M
  • Marsh, Stepehn
  • Misailovic, Sasa
  • Mytkowicz, Todd
  • P
  • Pajdla, Tomas
  • Pitt, Jeremy
  • Purchase, Helen C.
  • R
  • Reif, Wolfgang
  • Rousu, Juho
  • S
  • Schymanski, Emma
  • Steghöfer, Jan-Philipp
  • Sturm, Thomas
  • Sutton, Charles
  • T
  • Trivedi, Mohan
  • V
  • Vafeiadis, Viktor
  • Vechev, Martin T.
  • W
  • Wang, Dongming
  • Z
  • Zeller, Andreas

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
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact