Issue

Dagstuhl Reports, Volume 3, Issue 12

Thumbnail PDF

Event

Dagstuhl Seminars 13491, 13492, 13502, 13511, 13512

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagRep.3.12
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.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
DOI: 10.4230/DagRep.3.12.i
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.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
DOI: 10.4230/DagRep.3.12.1
Computational Mass Spectrometry (Dagstuhl Seminar 13491)

Authors: Ruedi Aebersbold, Oliver Kohlbacher, and Olga Vitek

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.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
DOI: 10.4230/DagRep.3.12.17
Geosensor Networks: Bridging Algorithms and Applications (Dagstuhl Seminar 13492)

Authors: Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, and Monika Sester

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.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
DOI: 10.4230/DagRep.3.12.43
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Authors: Sumit Gulwani, Emanuel Kitzelmann, and Ute Schmid

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.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
DOI: 10.4230/DagRep.3.12.67
Software Engineering for Self-Adaptive Systems: Assurances (Dagstuhl Seminar 13511)

Authors: Rogerio de Lemos, David Garlan, Carlo Ghezzi, and Holger Giese

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.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
DOI: 10.4230/DagRep.3.12.97
Social Issues in Computational Transportation Science (Dagstuhl Seminar 13512)

Authors: Glenn Geers, Monika Sester, Stephan Winter, and Ouri E. Wolfson

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.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}
}

Filters

  • Authors
  • A
  • Aebersbold, Ruedi
  • D
  • de Lemos, Rogerio
  • Duckham, Matt
  • Dulman, Stefan
  • G
  • Garlan, David
  • Geers, Glenn
  • Ghezzi, Carlo
  • Giese, Holger
  • Gulwani, Sumit
  • K
  • Kitzelmann, Emanuel
  • Kohlbacher, Oliver
  • S
  • Sack, Jörg-Rüdiger
  • Schmid, Ute
  • Sester, Monika
  • V
  • Vitek, Olga
  • W
  • Winter, Stephan
  • Wolfson, Ouri E.

Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact