Computational Metabolomics : Identification , Interpretation , Imaging

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. Seminar December 3–8, 2017 – http://www.dagstuhl.de/17491 1998 ACM Subject Classification J.3 Life and Medical Sciences

[1]  Colin Runciman,et al.  Extrapolate: generalizing counterexamples of functional test properties , 2017, IFL.

[2]  Alex Groce,et al.  One test to rule them all , 2017, ISSTA.

[3]  Hongyu Zhang,et al.  Learning to Prioritize Test Programs for Compiler Testing , 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE).

[4]  Lu Zhang,et al.  An Empirical Comparison of Compiler Testing Techniques , 2016, 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).

[5]  Ta'id Holmes,et al.  Ming: Model- and View-Based Deployment and Adaptation of Cloud Datacenters , 2016, CLOSER.

[6]  Lu Zhang,et al.  Test Case Prioritization for Compilers: A Text-Vector Based Approach , 2016, 2016 IEEE International Conference on Software Testing, Verification and Validation (ICST).

[7]  John Regehr,et al.  Provably correct peephole optimizations with alive , 2015, PLDI.

[8]  Christoph G. Schütz,et al.  Multilevel Business Processes - Modeling and Data Analysis , 2015 .

[9]  Colin Atkinson,et al.  Enhancing classic transformation languages to support multi-level modeling , 2013, Software & Systems Modeling.

[10]  Francesco Zappa Nardelli,et al.  Compiler testing via a theory of sound optimisations in the C11/C++11 memory model , 2013, PLDI.

[11]  E. Guerra,et al.  Domain-Specific Textual Meta-Modelling Languages for Model Driven Engineering , 2012, ECMFA.

[12]  Xuejun Yang,et al.  Test-case reduction for C compiler bugs , 2012, PLDI.

[13]  Julia L. Lawall,et al.  Documenting and automating collateral evolutions in linux device drivers , 2008, Eurosys '08.

[14]  W. Gareth J. Howells,et al.  SiTra: simple transformations in Java , 2006, MoDELS'06.

[15]  Dirk Draheim,et al.  A type system for reflective program generators , 2005, GPCE'05.

[16]  Dirk Draheim,et al.  Generative programming for C# , 2005, SIGP.

[17]  Dirk Draheim,et al.  The schema evolution and data migration framework of the environmental mass database IMIS , 2004, Proceedings. 16th International Conference on Scientific and Statistical Database Management, 2004..

[18]  Wil M. P. van der Aalst,et al.  Inheritance of workflows: an approach to tackling problems related to change , 2002 .