Issue

Dagstuhl Reports, Volume 7, Issue 2



Thumbnail PDF

Publication Details


Access Numbers

Documents

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

Abstract
Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue

Cite as

Dagstuhl Reports, Volume 7, Issue 2, February 2017, Complete Issue. In Dagstuhl Reports, Volume 7, Issue 2, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

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

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Table of Contents, Volume 7, Issue 2, 2017. In Dagstuhl Reports, Volume 7, Issue 2, pp. i-ii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{DagRep.7.2.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 7, Issue 2, 2017}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.i},
  URN =		{urn:nbn:de:0030-drops-80266},
  doi =		{10.4230/DagRep.7.2.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 2, 2017}
}
Document
Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)

Authors: Jerónimo Castrillón-Mazo, Tei-Wei Kuo, Heike E. Riel, and Matthias Lieber


Abstract
The end of exponential scaling in conventional CMOS technologies has been forecasted for many years by now. While advances in fabrication made it possible to reach limits beyond those predicted, the so anticipated end seems to be imminent today. The main goal of the seminar 17061 "Wildly Heterogeneous Post-CMOS Technologies Meet Software" was to discuss bridges between material research, hardware components and, ultimately, software for information processing systems. By bringing together experts from the individual fields and also researchers working interdisciplinarily across fields, the seminar helped to foster a mutual understanding about the challenges of advancing computing beyond current CMOS technology and to create long-term visions about a future hardware/software stack.

Cite as

Jerónimo Castrillón-Mazo, Tei-Wei Kuo, Heike E. Riel, and Matthias Lieber. Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061). In Dagstuhl Reports, Volume 7, Issue 2, pp. 1-22, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{castrillonmazo_et_al:DagRep.7.2.1,
  author =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Kuo, Tei-Wei and Riel, Heike E. and Lieber, Matthias},
  title =	{{Wildly Heterogeneous Post-CMOS Technologies Meet Software (Dagstuhl Seminar 17061)}},
  pages =	{1--22},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Castrill\'{o}n-Mazo, Jer\'{o}nimo and Kuo, Tei-Wei and Riel, Heike E. and Lieber, Matthias},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.1},
  URN =		{urn:nbn:de:0030-drops-73499},
  doi =		{10.4230/DagRep.7.2.1},
  annote =	{Keywords: 3D integration, compilers, emerging post-CMOS circuit materials and technologies, hardware/software co-design, heterogeneous hardware, nanoelectronics}
}
Document
Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062)

Authors: Anind D. Dey, Jonna Häkkilä, Niels Henze, and Kai Kunze


Abstract
With recent development in capture technology, preserving one's daily experiences and one's knowledge becomes richer and more comprehensive. Furthermore, new recording technologies beyond simple audio/video recordings become available: 360° videos, tactile recorders and even odor recorders are becoming available. The new recording technology and the massive amounts of data require new means for selecting, displaying and sharing experiences. This seminar brought together researchers from a wide range of computing disciplines, including virtual reality, mobile computing, privacy and security, social computing and ethnography, usability, and systems research. Through lightning talk, thematic sessions and hands-on workshops, the seminar investigated the future of interaction beyond virtual and augmented reality. Participants reimagined experience sharing and skill transfer towards an Internet of abilities. We conclude with a set of open and guiding questions for the future of our field.

Cite as

Anind D. Dey, Jonna Häkkilä, Niels Henze, and Kai Kunze. Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062). In Dagstuhl Reports, Volume 7, Issue 2, pp. 23-47, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{dey_et_al:DagRep.7.2.23,
  author =	{Dey, Anind D. and H\"{a}kkil\"{a}, Jonna and Henze, Niels and Kunze, Kai},
  title =	{{Beyond VR and AR: Reimagining Experience Sharing and Skill Transfer Towards an Internet of Abilities (Dagstuhl Seminar 17062)}},
  pages =	{23--47},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Dey, Anind D. and H\"{a}kkil\"{a}, Jonna and Henze, Niels and Kunze, Kai},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.23},
  URN =		{urn:nbn:de:0030-drops-73519},
  doi =		{10.4230/DagRep.7.2.23},
  annote =	{Keywords: Augmented Reality, Virtual Reality, Skill Transfer}
}
Document
Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)

Authors: Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, and Armando Tacchella


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17071 "Computer-Assisted Engineering for Robotics and Autonomous Systems". This seminar brought together researchers from three distinct communities -- Robotics, Model-driven Software Engineering, and Formal Methods -- to discuss the path towards creating safe and verifiable autonomous systems.

Cite as

Erika Abraham, Hadas Kress-Gazit, Lorenzo Natale, and Armando Tacchella. Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071). In Dagstuhl Reports, Volume 7, Issue 2, pp. 48-63, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{abraham_et_al:DagRep.7.2.48,
  author =	{Abraham, Erika and Kress-Gazit, Hadas and Natale, Lorenzo and Tacchella, Armando},
  title =	{{Computer-Assisted Engineering for Robotics and Autonomous Systems (Dagstuhl Seminar 17071)}},
  pages =	{48--63},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Abraham, Erika and Kress-Gazit, Hadas and Natale, Lorenzo and Tacchella, Armando},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.48},
  URN =		{urn:nbn:de:0030-drops-73527},
  doi =		{10.4230/DagRep.7.2.48},
  annote =	{Keywords: analysis, artificial intelligence, autonomous systems, computer-aided software development, domain-specific languages, formal methods, model-driven software engineering, robotics, safety, synthesis, testing, verification}
}
Document
Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072)

Authors: Benjamin Burton, Maarten Löffler, Carola Wenk, and Erin Moriarty Wolf Chambers


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17072 "Applications of Topology to the Analysis of 1-Dimensional Objects".

Cite as

Benjamin Burton, Maarten Löffler, Carola Wenk, and Erin Moriarty Wolf Chambers. Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072). In Dagstuhl Reports, Volume 7, Issue 2, pp. 64-88, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{burton_et_al:DagRep.7.2.64,
  author =	{Burton, Benjamin and L\"{o}ffler, Maarten and Wenk, Carola and Wolf Chambers, Erin Moriarty},
  title =	{{Applications of Topology to the Analysis of 1-Dimensional Objects (Dagstuhl Seminar 17072)}},
  pages =	{64--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Burton, Benjamin and L\"{o}ffler, Maarten and Wenk, Carola and Wolf Chambers, Erin Moriarty},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.64},
  URN =		{urn:nbn:de:0030-drops-73536},
  doi =		{10.4230/DagRep.7.2.64},
  annote =	{Keywords: curves, graph drawing, homotopy, knot theory}
}
Document
Computability Theory (Dagstuhl Seminar 17081)

Authors: Klaus Ambos-Spies, Vasco Brattka, Rodney Downey, and Steffen Lempp


Abstract
Computability is one of the fundamental notions of mathematics and computer science, trying to capture the effective content of mathematics and its applications. Computability Theory explores the frontiers and limits of effectiveness and algorithmic methods. It has its origins in Gödel's Incompleteness Theorems and the formalization of computability by Turing and others, which later led to the emergence of computer science as we know it today. Computability Theory is strongly connected to other areas of mathematics and theoretical computer science. The core of this theory is the analysis of relative computability and the induced degrees of unsolvability; its applications are mainly to Kolmogorov complexity and randomness as well as mathematical logic, analysis and algebra. Current research in computability theory stresses these applications and focuses on algorithmic randomness, computable analysis, computable model theory, and reverse mathematics (proof theory). Recent advances in these research directions have revealed some deep interactions not only among these areas but also with the core parts of computability theory. The goal of this Dagstuhl Seminar is to bring together researchers from all parts of computability theory and related areas in order to discuss advances in the individual areas and the interactions among those.

Cite as

Klaus Ambos-Spies, Vasco Brattka, Rodney Downey, and Steffen Lempp. Computability Theory (Dagstuhl Seminar 17081). In Dagstuhl Reports, Volume 7, Issue 2, pp. 89-101, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{ambosspies_et_al:DagRep.7.2.89,
  author =	{Ambos-Spies, Klaus and Brattka, Vasco and Downey, Rodney and Lempp, Steffen},
  title =	{{Computability Theory (Dagstuhl Seminar 17081)}},
  pages =	{89--101},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Ambos-Spies, Klaus and Brattka, Vasco and Downey, Rodney and Lempp, Steffen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.89},
  URN =		{urn:nbn:de:0030-drops-73540},
  doi =		{10.4230/DagRep.7.2.89},
  annote =	{Keywords: algorithmic randomness, computability theory, computable algebra, computable analysis, generic case complexity, proof mining}
}
Document
Shape-Changing Interfaces (Dagstuhl Seminar 17082)

Authors: Jason Alexander, Sean Follmer, Kasper Hornbaek, and Anne Roudaut


Abstract
Shape-changing interfaces use physical shape change as input and output; such interfaces are emerging as an alternative way of interacting with computers. This seminar brought together researchers working on shape-changing interfaces to discuss three key themes: (1) The technologies involved in shape-change, including soft and modular robotics, smart materials, and mechanical actuation. (2) The design of shape-changing interfaces, including their key application areas, and their industrial and interaction design. (3) The user experience of shape-changing interfaces, including evaluations of such interfaces and psycho-physical evaluation results. The seminar set out to strengthen this new community, create opportunities for active collaborations, and to reach-out to other fields. The seminar was attended by 25 researchers from around the world. These researchers represented the disciplines of Computer Science, Design, Engineering, Robotics and Material Science. This seminar had no formal presentations, but instead focused on working-group discussion and report-back sessions. This report outlines the key findings of these sessions.

Cite as

Jason Alexander, Sean Follmer, Kasper Hornbaek, and Anne Roudaut. Shape-Changing Interfaces (Dagstuhl Seminar 17082). In Dagstuhl Reports, Volume 7, Issue 2, pp. 102-108, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{alexander_et_al:DagRep.7.2.102,
  author =	{Alexander, Jason and Follmer, Sean and Hornbaek, Kasper and Roudaut, Anne},
  title =	{{Shape-Changing Interfaces (Dagstuhl Seminar 17082)}},
  pages =	{102--108},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Alexander, Jason and Follmer, Sean and Hornbaek, Kasper and Roudaut, Anne},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.102},
  URN =		{urn:nbn:de:0030-drops-73555},
  doi =		{10.4230/DagRep.7.2.102},
  annote =	{Keywords: shape-changing interfaces, user interfaces, materials, smart materials, robotics}
}
Document
Computer Science Meets Ecology (Dagstuhl Seminar 17091)

Authors: Gustau Camps-Valls, Thomas Hickler, and Birgitta König-Ries


Abstract
This report summarizes the program and main outcomes of the Dagstuhl Seminar 17091 entitled ``Computer Science Meets Ecolog''. Ecology is a discipline that poses many challenging problems involving big data collection, provenance and integration, as well as difficulties in data analysis, prediction and understanding. All these issues are precisely the arena where computer science is concerned. The seminar motivation was rooted in the belief that ecology could largely benefit from modern computer science. The seminar attracted scientists from both fields who discussed important topics in ecology (e.g. botany, animal science, biogeochemistry) and how to approach them with machine learning, computer vision, pattern recognition and data mining. A set of specific problems and techniques were treated, and the main building blocks were set up. The important topics of education, outreach, data and models accessibility were also touched upon. The seminar proposed a distinctive perspective by promoting cross-fertilization in a unique environment and a unique set of individuals.

Cite as

Gustau Camps-Valls, Thomas Hickler, and Birgitta König-Ries. Computer Science Meets Ecology (Dagstuhl Seminar 17091). In Dagstuhl Reports, Volume 7, Issue 2, pp. 109-134, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{campsvalls_et_al:DagRep.7.2.109,
  author =	{Camps-Valls, Gustau and Hickler, Thomas and K\"{o}nig-Ries, Birgitta},
  title =	{{Computer Science Meets Ecology (Dagstuhl Seminar 17091)}},
  pages =	{109--134},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Camps-Valls, Gustau and Hickler, Thomas and K\"{o}nig-Ries, Birgitta},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.109},
  URN =		{urn:nbn:de:0030-drops-73567},
  doi =		{10.4230/DagRep.7.2.109},
  annote =	{Keywords: ecology, biodiversity, earth observation, earth system, remote sensing, computer science, citizen science, big data, data integration, modeling, sema}
}
Document
Search as Learning (Dagstuhl Seminar 17092)

Authors: Kevyn Collins-Thompson, Preben Hansen, and Claudia Hauff


Abstract
This report describes the program and the results of Dagstuhl Seminar 17092 "Search as Learning", which brought together 26 researchers from diverse research backgrounds. The motivation for the seminar stems from the fact that modern Web search engines are largely engineered and optimized to fulfill lookup tasks instead of complex search tasks. The latter though are an essential component of information discovery and learning. The 3-day seminar started with four perspective talks, providing four different views on the topic of search as learning: interactive information retrieval (IR), psychology, education and system-oriented IR. The remainder of the seminar centered around breakout groups leading to new views on the challenges and issues in search as learning, interspersed with research spotlight talks.

Cite as

Kevyn Collins-Thompson, Preben Hansen, and Claudia Hauff. Search as Learning (Dagstuhl Seminar 17092). In Dagstuhl Reports, Volume 7, Issue 2, pp. 135-162, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{collinsthompson_et_al:DagRep.7.2.135,
  author =	{Collins-Thompson, Kevyn and Hansen, Preben and Hauff, Claudia},
  title =	{{Search as Learning (Dagstuhl Seminar 17092)}},
  pages =	{135--162},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{2},
  editor =	{Collins-Thompson, Kevyn and Hansen, Preben and Hauff, Claudia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.2.135},
  URN =		{urn:nbn:de:0030-drops-73570},
  doi =		{10.4230/DagRep.7.2.135},
  annote =	{Keywords: Searching, Learning, Human information interaction, Search processes, Learning processes}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail