Dagstuhl Reports, Volume 7, Issue 12



Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue

Abstract
Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue

Cite as

Dagstuhl Reports, Volume 7, Issue 12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{DagRep.7.12,
  title =	{{Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12},
  URN =		{urn:nbn:de:0030-drops-97330},
  doi =		{10.4230/DagRep.7.12},
  annote =	{Keywords: Dagstuhl Reports, Volume 7, Issue 12, December 2017, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Volume 7, Issue 12, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{DagRep.7.12.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.i},
  URN =		{urn:nbn:de:0030-drops-97329},
  doi =		{10.4230/DagRep.7.12.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 12, 2017}
}
Document
Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491)

Authors: Theodore Alexandrov, Sebastian Böcker, Pieter Dorrestein, and Emma Schymanski


Abstract
Metabolites are key players in almost all biological processes, and play various functional roles providing energy, building blocks, signaling, communication, and defense. Metabolites serve as clinical biomarkers for detecting medical conditions such as cancer; small molecule drugs account for 90% of prescribed therapeutics. Complete understanding of biological systems requires detecting and interpreting the metabolome in time and space. 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 metabolite mixtures. MS-based experiments generate datasets of increasing complexity and size. The Dagstuhl Seminar on Computational Metabolomics brought together leading experts from the experimental (analytical chemistry and biology) and the computational (computer science and bioinformatics) side, to foster the exchange of expertise needed to advance computational metabolomics. The focus was on a dynamic schedule with overview talks followed by break-out sessions, selected by the participants, covering the whole experimental-computational continuum in mass spectrometry. Particular focus in this seminar was given to imaging mass spectrometry techniques that integrate a spacial component into the analysis, ranging in scale from single cells to organs and organisms.

Cite as

Theodore Alexandrov, Sebastian Böcker, Pieter Dorrestein, and Emma Schymanski. Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491). In Dagstuhl Reports, Volume 7, Issue 12, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{alexandrov_et_al:DagRep.7.12.1,
  author =	{Alexandrov, Theodore and B\"{o}cker, Sebastian and Dorrestein, Pieter and Schymanski, Emma},
  title =	{{Computational Metabolomics: Identification, Interpretation, Imaging (Dagstuhl Seminar 17491)}},
  pages =	{1--17},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Alexandrov, Theodore and B\"{o}cker, Sebastian and Dorrestein, Pieter and Schymanski, Emma},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.1},
  URN =		{urn:nbn:de:0030-drops-86740},
  doi =		{10.4230/DagRep.7.12.1},
  annote =	{Keywords: algorithms, bioinformatics, cheminformatics, computational mass spectrometry, computational metabolomics, databases, imaging mass spectrometry}
}
Document
Multi-Level Modelling (Dagstuhl Seminar 17492)

Authors: João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17492 "Multi-Level Modelling". This seminar brought together researchers and industry practitioners from the fields of conceptual modeling, ontologies, and formal foundations to discuss and share the benefits of Multi-Level Modelling (MLM), to develop an agreement on MLM terminology and scope, and to drive future research directions in MLM. Some foundational presentations were given by the seminar organizers to ground the discussions and provide an initial set of open questions which would lead to the formation of the working groups. In addition, six industry representatives gave talks explaining the needs, challenges, utility, and possible issues with adoption of MLM in industry. Based on the original seminar goals, the talks, and the resulting discussions, four working groups were established to investigate: the formal and ontological "Foundations"of MLM; promising "Applications" and potential evaluation criteria for MLM methods; the "Dynamic Aspects" of MLM, such as processes and behaviour; and, the use of and impact on "Model Transformations" in the context of MLM.

Cite as

João Paulo A. Almeida, Ulrich Frank, and Thomas Kühne. Multi-Level Modelling (Dagstuhl Seminar 17492). In Dagstuhl Reports, Volume 7, Issue 12, pp. 18-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{almeida_et_al:DagRep.7.12.18,
  author =	{Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas},
  title =	{{Multi-Level Modelling (Dagstuhl Seminar 17492)}},
  pages =	{18--49},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Almeida, Jo\~{a}o Paulo A. and Frank, Ulrich and K\"{u}hne, Thomas},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.18},
  URN =		{urn:nbn:de:0030-drops-86758},
  doi =		{10.4230/DagRep.7.12.18},
  annote =	{Keywords: metamodeling, multi-level modeling}
}
Document
Testing and Verification of Compilers (Dagstuhl Seminar 17502)

Authors: Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang


Abstract
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took place during December 10 to 13, 2017, which we provide as a resource for researchers who are interested in understanding the state of the art and open problems in this field, and applying them to this and other areas.

Cite as

Junjie Chen, Alastair F. Donaldson, Andreas Zeller, and Hongyu Zhang. Testing and Verification of Compilers (Dagstuhl Seminar 17502). In Dagstuhl Reports, Volume 7, Issue 12, pp. 50-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@Article{chen_et_al:DagRep.7.12.50,
  author =	{Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu},
  title =	{{Testing and Verification of Compilers (Dagstuhl Seminar 17502)}},
  pages =	{50--65},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{12},
  editor =	{Chen, Junjie and Donaldson, Alastair F. and Zeller, Andreas and Zhang, Hongyu},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.12.50},
  URN =		{urn:nbn:de:0030-drops-86763},
  doi =		{10.4230/DagRep.7.12.50},
  annote =	{Keywords: code generation, compiler testing, compiler verification, program analysis, program optimization}
}

Filters