Issue
Dagstuhl Reports, Volume 3, Issue 12
-
Part of:
Volume:
Dagstuhl Reports, Volume 3
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2014-03-31
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports3
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 3, Issue 12, December 2013, Complete Issue
Abstract
Dagstuhl Reports, Volume 3, Issue 12, December 2013, Complete Issue
Cite as
Dagstuhl Reports, Volume 3, Issue 12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{DagRep.3.12,
title = {{Dagstuhl Reports, Volume 3, Issue 12, December 2013, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
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.3.12},
URN = {urn:nbn:de:0030-drops-45148},
doi = {10.4230/DagRep.3.12},
annote = {Keywords: Dagstuhl Reports, Volume 3, Issue 12, December 2013, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 3, Issue 12, 2013
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 3, Issue 12, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{DagRep.3.12.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 3, Issue 12, 2013}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
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.3.12.i},
URN = {urn:nbn:de:0030-drops-45134},
doi = {10.4230/DagRep.3.12.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Computational Mass Spectrometry (Dagstuhl Seminar 13491)
Abstract
The last decade has brought tremendous technological advances in mass spectrometry, which in turn have enabled new applications of mass spectrometry
in the life sciences. Proteomics, metabolomics, lipidomics, glycomics and related fields have gotten a massive boost, which also resulted in vastly increased amount of data produced and increased complexity of these data sets.
An efficient and accurate analysis of these data sets has become the key bottleneck in the field. The seminar 'Computational Mass Spectrometry' brought together scientist from mass spetrometry and bioinformatics, from industry and academia to discuss the state of the art in computational mass spectrometry. The participants discussed a number of current topics, for example
new and upcoming technologies, the challenges posed by new types of experiments, the challenges of the growing data volume ('big data'), or challenges for education in several working groups.
The seminar reviewed the state of the art in computational mass spectrometry and summarized the upcoming challenges. The seminar also led to the creation of structures to support the computational mass spectrometry community (the formation of an ISCB Community of Interest and a HUPO subgroup on computational mass spectrometry). This community will also carry on with some of the efforts initiated during the seminar, in particular with the establishment of a computational mass spectrometry curriculum that was drafted in Dagstuhl.
Cite as
Ruedi Aebersbold, Oliver Kohlbacher, and Olga Vitek. Computational Mass Spectrometry (Dagstuhl Seminar 13491). In Dagstuhl Reports, Volume 3, Issue 12, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{aebersbold_et_al:DagRep.3.12.1,
author = {Aebersbold, Ruedi and Kohlbacher, Oliver and Vitek, Olga},
title = {{Computational Mass Spectrometry (Dagstuhl Seminar 13491)}},
pages = {1--16},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {12},
editor = {Aebersbold, Ruedi and Kohlbacher, Oliver and Vitek, Olga},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.12.1},
URN = {urn:nbn:de:0030-drops-45053},
doi = {10.4230/DagRep.3.12.1},
annote = {Keywords: computational mass spectrometry, proteomics, metabolomics, bioinformatics}
}
Document
Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13492 "Geosensor Networks: Bridging Algorithms and Applications." New geosensor networks technologies have the potential to revolutionize the way we monitor and interact with the world around us. The objective of the seminar was to move closer to realizing this potential, by better connecting theoretical advances with practical applications and education. The Seminar ran from 1--6 December 2013, and brought together 21 participants from around the world, representing wide variety of disciplinary backgrounds and expertise connected with geosensor networks. While these discussions are continuing to develop and bear fruit, this report summarizes the results of the discussions held at the seminar.
Cite as
Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, and Monika Sester. Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492). In Dagstuhl Reports, Volume 3, Issue 12, pp. 17-42, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{duckham_et_al:DagRep.3.12.17,
author = {Duckham, Matt and Dulman, Stefan and Sack, J\"{o}rg-R\"{u}diger and Sester, Monika},
title = {{Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492)}},
pages = {17--42},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {12},
editor = {Duckham, Matt and Dulman, Stefan and Sack, J\"{o}rg-R\"{u}diger and Sester, Monika},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.12.17},
URN = {urn:nbn:de:0030-drops-45060},
doi = {10.4230/DagRep.3.12.17},
annote = {Keywords: amorphous computing, decentralized spatial computing, distributed algorithms, location privacy, organic computing, self-organization, sensor/actuator networks, situation awareness, smart materials, spatial analysis}
}
Document
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13502 "Approaches and Applications of Inductive Programming". After a short introduction to inductive programming research, an overview of the talks and the outcomes of discussion groups is given.
Cite as
Sumit Gulwani, Emanuel Kitzelmann, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502). In Dagstuhl Reports, Volume 3, Issue 12, pp. 43-66, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{gulwani_et_al:DagRep.3.12.43,
author = {Gulwani, Sumit and Kitzelmann, Emanuel and Schmid, Ute},
title = {{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)}},
pages = {43--66},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {12},
editor = {Gulwani, Sumit and Kitzelmann, Emanuel and Schmid, Ute},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.12.43},
URN = {urn:nbn:de:0030-drops-45078},
doi = {10.4230/DagRep.3.12.43},
annote = {Keywords: inductive program synthesis, end-user programming, universal artificial intelligence, constraint programming, probabilistic programming, cognitive mod}
}
Document
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)
Abstract
The important concern for modern software systems is to become more cost-effective, while being versatile, flexible, resilient, dependable, energy-efficient, customisable, configurable and self-optimising when reacting to run-time changes that may occur within the system itself, its environment or requirements. One of the most promising approaches to achieving such properties is to equip software systems with self-managing capabilities using self-adaptation mechanisms. Despite recent advances in this area, one key aspect of self-adaptive systems that remains to be tackled in depth is assurances, i.e., the provision of evidence that the system satisfies its stated functional and non-functional requirements during its operation in the presence of self-adaptation. The provision of assurances for self-adaptive systems is challenging since run-time changes introduce a high degree of uncertainty during their operation. In this seminar, we discussed the problem of assurances for self-adaptive systems from four different views: criteria for assurances, composition and decomposition of assurances, feedback loop and assurances, and perpetual provisioning of assurances.
Cite as
Rogerio de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese. Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511). In Dagstuhl Reports, Volume 3, Issue 12, pp. 67-96, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{delemos_et_al:DagRep.3.12.67,
author = {de Lemos, Rogerio and Garlan, David and Ghezzi, Carlo and Giese, Holger},
title = {{Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)}},
pages = {67--96},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {12},
editor = {de Lemos, Rogerio and Garlan, David and Ghezzi, Carlo and Giese, Holger},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.12.67},
URN = {urn:nbn:de:0030-drops-45080},
doi = {10.4230/DagRep.3.12.67},
annote = {Keywords: software engineering, self-adaptive systems, assurances, criteria, feedback loop, decentralization}
}
Document
Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512)
Abstract
The Dagstuhl Seminar, "Social Issues in Computational Transportation Science" (13512) took place from 15 to 19 December 2103, attracting 27 participants active in a wide range of academic, commercial, and public sector areas. CTS is an emerging discipline that combines advances in computer science and engineering with the modeling, planning, social, and economic aspects of transportation in order to improve the safety, mobility, and sustainability of transportation systems. The aim of this seminar was to focus on the social computing aspects of CTS, including such areas as social networks and crowd-sourcing for transportation, as well as the integration of persuasive technologies and behavioral economics in social computing. In their time at the workshop, participants discussed and debated these and other topics, as shown in the workshop's summary report.
Cite as
Glenn Geers, Monika Sester, Stephan Winter, and Ouri E. Wolfson. Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512). In Dagstuhl Reports, Volume 3, Issue 12, pp. 97-124, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{geers_et_al:DagRep.3.12.97,
author = {Geers, Glenn and Sester, Monika and Winter, Stephan and Wolfson, Ouri E.},
title = {{Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512)}},
pages = {97--124},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {12},
editor = {Geers, Glenn and Sester, Monika and Winter, Stephan and Wolfson, Ouri E.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.12.97},
URN = {urn:nbn:de:0030-drops-45098},
doi = {10.4230/DagRep.3.12.97},
annote = {Keywords: Computational Transportation Science}
}