Dagstuhl Reports, Volume 5, Issue 10



Thumbnail PDF

Event

Dagstuhl Seminars 15411, 15412, 15421, 15431, 15441, 15442

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 5, Issue 10, October 2015, Complete Issue

Abstract
Dagstuhl Reports, Volume 5, Issue 10, October 2015, Complete Issue

Cite as

Dagstuhl Reports, Volume 5, Issue 10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

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

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Volume 5, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{DagRep.5.10.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 5, Issue 10, 2015}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.i},
  URN =		{urn:nbn:de:0030-drops-57976},
  doi =		{10.4230/DagRep.5.10.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 5, Issue 10, 2015}
}
Document
Multimodal Manipulation Under Uncertainty (Dagstuhl Seminar 15411)

Authors: Jan Peters, Justus Piater, Robert Platt, and Siddhartha Srinivasa


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15411 "Multimodal Manipulation Under Uncertainty". The seminar was organized around brief presentations designed to raise questions and initiate discussions, multiple working groups addressing specific topics, and extensive plenary debates. Section 3 reproduces abstracts of brief presentations, and Section 4 summarizes the results of the working groups.

Cite as

Jan Peters, Justus Piater, Robert Platt, and Siddhartha Srinivasa. Multimodal Manipulation Under Uncertainty (Dagstuhl Seminar 15411). In Dagstuhl Reports, Volume 5, Issue 10, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{peters_et_al:DagRep.5.10.1,
  author =	{Peters, Jan and Piater, Justus and Platt, Robert and Srinivasa, Siddhartha},
  title =	{{Multimodal Manipulation Under Uncertainty (Dagstuhl Seminar 15411)}},
  pages =	{1--18},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Peters, Jan and Piater, Justus and Platt, Robert and Srinivasa, Siddhartha},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.1},
  URN =		{urn:nbn:de:0030-drops-56968},
  doi =		{10.4230/DagRep.5.10.1},
  annote =	{Keywords: Robotics, Manipulation, Uncertainty, Perception, Computer vision, Range sensing, Tactile sensing}
}
Document
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 15412)

Authors: José R. Correa, Tobias Harks, Kai Nagel, Britta Peis, and Martin Skutella


Abstract
Traffic assignment models are crucial for traffic planners to be able to predict traffic distributions, especially, in light of possible changes of the infrastructure, e.g., road constructions, traffic light controls, etc. The starting point of the seminar was the observation that there is a trend in the transportation community (science as well as industry) to base such predictions on complex computer-based simulations that are capable of resolving many elements of a real transportation system. On the other hand, within the past few years, the theory of dynamic traffic assignments in terms of equilibrium existence and equilibrium computation has not matured to the point matching the model complexity inherent in simulations. In view of the above, this interdisciplinary seminar brought together leading scientists in the areas traffic simulations, algorithmic game theory and dynamic traffic assignment as well as people from industry with strong scientific background who identified possible ways to bridge the described gap.

Cite as

José R. Correa, Tobias Harks, Kai Nagel, Britta Peis, and Martin Skutella. Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 15412). In Dagstuhl Reports, Volume 5, Issue 10, pp. 19-34, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{correa_et_al:DagRep.5.10.19,
  author =	{Correa, Jos\'{e} R. and Harks, Tobias and Nagel, Kai and Peis, Britta and Skutella, Martin},
  title =	{{Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 15412)}},
  pages =	{19--34},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Correa, Jos\'{e} R. and Harks, Tobias and Nagel, Kai and Peis, Britta and Skutella, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.19},
  URN =		{urn:nbn:de:0030-drops-56938},
  doi =		{10.4230/DagRep.5.10.19},
  annote =	{Keywords: Dynamic traffic equilibria, Complexity of equilibrium computation, Simulation, Dynamic network flow theory, Network optimization}
}
Document
Rack-scale Computing (Dagstuhl Seminar 15421)

Authors: Babak Falsafi, Tim Harris, Dushyanth Narayanan, and David A. Patterson


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15421 "Rack-scale Computing". The seminar was successful and facilitated interaction between researchers working in a diverse set of fields, including computer architecture, parallel workloads, systems software, and programming language design. In addition to stimulating interaction during the seminar, the event led to a follow-on Workshop on Rack-Scale Computing to be organized during 2016.

Cite as

Babak Falsafi, Tim Harris, Dushyanth Narayanan, and David A. Patterson. Rack-scale Computing (Dagstuhl Seminar 15421). In Dagstuhl Reports, Volume 5, Issue 10, pp. 35-49, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{falsafi_et_al:DagRep.5.10.35,
  author =	{Falsafi, Babak and Harris, Tim and Narayanan, Dushyanth and Patterson, David A.},
  title =	{{Rack-scale Computing (Dagstuhl Seminar 15421)}},
  pages =	{35--49},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Falsafi, Babak and Harris, Tim and Narayanan, Dushyanth and Patterson, David A.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.35},
  URN =		{urn:nbn:de:0030-drops-56971},
  doi =		{10.4230/DagRep.5.10.35},
  annote =	{Keywords: Rack-scale systems, Parallelism, Computer Architecture}
}
Document
Genomic Privacy (Dagstuhl Seminar 15431)

Authors: Jean Pierre Hubaux, Stefan Katzenbeisser, Bradley Malin, and Gene Tsudik


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15431 "Genomic Privacy". The current rise of personalized medicine is based on increasing affordability and availability of individual genome sequencing. Impressive recent advances in genome sequencing have ushered a variety of revolutionary applications in modern healthcare and epidemiology. In particular, better understanding of the human genome as well as its relationship to diseases and response to treatments promise improvements in preventive and personalized healthcare. However, because of the human genome's highly sensitive nature, this progress raises important privacy and ethical concerns, which simply cannot be ignored. A digitized genome represents one of the most sensitive types of human (personal) identification data. Even worse, a genome contains information about its owner’s close relatives. The Dagstuhl seminar 15431 brought together computer scientists, bioinformaticians, geneticists and ethical experts to discuss the key security and privacy challenges imposed by the storage of large volumes of genetic data.

Cite as

Jean Pierre Hubaux, Stefan Katzenbeisser, Bradley Malin, and Gene Tsudik. Genomic Privacy (Dagstuhl Seminar 15431). In Dagstuhl Reports, Volume 5, Issue 10, pp. 50-65, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{hubaux_et_al:DagRep.5.10.50,
  author =	{Hubaux, Jean Pierre and Katzenbeisser, Stefan and Malin, Bradley and Tsudik, Gene},
  title =	{{Genomic Privacy (Dagstuhl Seminar 15431)}},
  pages =	{50--65},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Hubaux, Jean Pierre and Katzenbeisser, Stefan and Malin, Bradley and Tsudik, Gene},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.50},
  URN =		{urn:nbn:de:0030-drops-56989},
  doi =		{10.4230/DagRep.5.10.50},
  annote =	{Keywords: cryptography, differential privacy, genetics, genomics, health data, information security, privacy by design, privacy protection, secure computation}
}
Document
Duality in Computer Science (Dagstuhl Seminar 15441)

Authors: Mai Gehrke, Achim Jung, Victor Selivanov, and Dieter Spreen


Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 15441 `Duality in Computer Science'. This seminar served as a follow-up seminar to the seminar `Duality in Computer Science' (Dagstuhl Seminar 13311). In this seminar, we focused on applications of duality to semantics for probability in computation, to algebra and coalgebra, and on applications in complexity theory. A key objective of this seminar was to bring together researchers from these communities within computer science as well as from mathematics with the goal of uncovering commonalities, forging new collaborations, and sharing tools and techniques between areas based on their common use of topological methods and duality.

Cite as

Mai Gehrke, Achim Jung, Victor Selivanov, and Dieter Spreen. Duality in Computer Science (Dagstuhl Seminar 15441). In Dagstuhl Reports, Volume 5, Issue 10, pp. 66-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{gehrke_et_al:DagRep.5.10.66,
  author =	{Gehrke, Mai and Jung, Achim and Selivanov, Victor and Spreen, Dieter},
  title =	{{Duality in Computer Science (Dagstuhl Seminar 15441)}},
  pages =	{66--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Gehrke, Mai and Jung, Achim and Selivanov, Victor and Spreen, Dieter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.66},
  URN =		{urn:nbn:de:0030-drops-56999},
  doi =		{10.4230/DagRep.5.10.66},
  annote =	{Keywords: coalgebra, domain theory, probabilistic systems, recognizability, semantics of non-classical logics, Stone duality}
}
Document
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)

Authors: José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 15442 "Approaches and Applications of Inductive Programming". After a short introduction to the state of the art to inductive programming research, an overview of the talks and the outcomes of discussion groups is given.

Cite as

José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, and Benjamin Zorn. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442). In Dagstuhl Reports, Volume 5, Issue 10, pp. 89-111, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2016)


Copy BibTex To Clipboard

@Article{hernandezorallo_et_al:DagRep.5.10.89,
  author =	{Hern\'{a}ndez-Orallo, Jos\'{e} and Muggleton, Stephen H. and Schmid, Ute and Zorn, Benjamin},
  title =	{{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442)}},
  pages =	{89--111},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2016},
  volume =	{5},
  number =	{10},
  editor =	{Hern\'{a}ndez-Orallo, Jos\'{e} and Muggleton, Stephen H. and Schmid, Ute and Zorn, Benjamin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.5.10.89},
  URN =		{urn:nbn:de:0030-drops-57006},
  doi =		{10.4230/DagRep.5.10.89},
  annote =	{Keywords: inductive program synthesis, end-user programming, probabilistic programming, constraint programming, universal artificial intelligence, cognitive modeling}
}

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