Dagstuhl Reports, Volume 7, Issue 2, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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}, 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} }
Dagstuhl Reports, Volume 7, Issue 2, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)
@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}, 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} }
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)
@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} }
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)
@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} }
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)
@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} }
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)
@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} }
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)
@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} }
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)
@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} }
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)
@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} }
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)
@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} }
Feedback for Dagstuhl Publishing