Issue
Dagstuhl Reports, Volume 7, Issue 12
-
Part of:
Volume:
Dagstuhl Reports, Volume 7
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2018-08-29
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports7
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 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-dev.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-dev.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)
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-dev.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)
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-dev.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)
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-dev.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}
}