Dagstuhl Reports, Volume 4, Issue 1



Thumbnail PDF

Event

Dagstuhl Seminars 14021, 14022 (Perspectives Workshop), 14031, 14032, 14041, 14042, 14051, 14052

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 4, Issue 1, January 2014, Complete Issue

Abstract
Dagstuhl Reports, Volume 4, Issue 1, January 2014, Complete Issue

Cite as

Dagstuhl Reports, Volume 4, Issue 1, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

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

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Volume 4, Issue 1, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{DagRep.4.1.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 4, Issue 1, 2014}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.i},
  URN =		{urn:nbn:de:0030-drops-45783},
  doi =		{10.4230/DagRep.4.1.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Symmetric Cryptography (Dagstuhl Seminar 14021)

Authors: Frederik Armknecht, Helena Handschuh, Tetsu Iwata, and Bart Preneel


Abstract
From 05.01.2014 to 10.01.2014, the Seminar 14021 in Symmetric Cryptography was held in Schloss Dagstuhl -- Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Frederik Armknecht, Helena Handschuh, Tetsu Iwata, and Bart Preneel. Symmetric Cryptography (Dagstuhl Seminar 14021). In Dagstuhl Reports, Volume 4, Issue 1, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{armknecht_et_al:DagRep.4.1.1,
  author =	{Armknecht, Frederik and Handschuh, Helena and Iwata, Tetsu and Preneel, Bart},
  title =	{{Symmetric Cryptography (Dagstuhl Seminar 14021)}},
  pages =	{1--16},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Armknecht, Frederik and Handschuh, Helena and Iwata, Tetsu and Preneel, Bart},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.1},
  URN =		{urn:nbn:de:0030-drops-45150},
  doi =		{10.4230/DagRep.4.1.1},
  annote =	{Keywords: Authenticity, Integrity, Privacy,Hash Functions, Block Ciphers, Provable Security, Cryptanalysis}
}
Document
Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022)

Authors: Peer-Timo Bremer, Bernd Mohr, Valerio Pascucci, and Martin Schulz


Abstract
In the first week of January 2014 Dagstuhl hosted a Perspectives Workshop on "Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing". The event brought together two previously separate communities - from Visualization and HPC Performance Analysis - to discuss a long term joined research agenda. The goal was to identify and address the challenges in using visual representations to understand and optimize the performance of extreme-scale applications running on today's most powerful computing systems like climate modeling, combustion, material science or astro-physics simulations.

Cite as

Peer-Timo Bremer, Bernd Mohr, Valerio Pascucci, and Martin Schulz. Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022). In Dagstuhl Reports, Volume 4, Issue 1, pp. 17-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{bremer_et_al:DagRep.4.1.17,
  author =	{Bremer, Peer-Timo and Mohr, Bernd and Pascucci, Valerio and Schulz, Martin},
  title =	{{Connecting Performance Analysis and Visualization to Advance Extreme Scale Computing (Dagstuhl Perspectives Workshop 14022)}},
  pages =	{17--35},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Bremer, Peer-Timo and Mohr, Bernd and Pascucci, Valerio and Schulz, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.17},
  URN =		{urn:nbn:de:0030-drops-45166},
  doi =		{10.4230/DagRep.4.1.17},
  annote =	{Keywords: Large scale data presentation and analysis, Exascale class machine optimization, Performance data analysis and root cause detection, High dimensional}
}
Document
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)

Authors: Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14031 "Randomized Timed and Hybrid Models for Critical Infrastructures". Critical Infrastructures, such as power grid and water and gas distribution networks, are essential for the functioning of our society and economy. Randomized Timed and Hybrid Models appear as a natural choice for their modeling, and come with existing algorithms and tool support for their analysis. However, on the one hand, the Critical Infrastructures community does not yet make full use of recent advances for Randomized Timed and Hybrid Models. On the other hand, existing algorithms are not yet readily applicable to the special kind of problems arising in Critical Infrastructures. This seminar brought together researchers from these fields to communicate with each other and to exchange knowledge, experiences and needs.

Cite as

Erika Ábrahám, Alberto Avritzer, Anne Remke, and William H. Sanders. Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031). In Dagstuhl Reports, Volume 4, Issue 1, pp. 36-82, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{abraham_et_al:DagRep.4.1.36,
  author =	{\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
  title =	{{Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031)}},
  pages =	{36--82},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{\'{A}brah\'{a}m, Erika and Avritzer, Alberto and Remke, Anne and Sanders, William H.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.36},
  URN =		{urn:nbn:de:0030-drops-45355},
  doi =		{10.4230/DagRep.4.1.36},
  annote =	{Keywords: Critical Infrastructures, Smart Grids, Modeling, Randomized Timed and Hybrid Models, Analysis}
}
Document
Planning with epistemic goals (Dagstuhl Seminar 14032)

Authors: Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel


Abstract
This report documents the outcomes of Dagstuhl Seminar 14032 "Planning with epistemic goals". It brought together the communities of so far relatively separate research areas related to artificial intelligence and logic: automated planning on the one hand, and dynamic logics of interaction on the other. Significant overlap in motivation, theory and methods was discovered, and a good potential for cross fertilization became apparent.

Cite as

Thomas Agotnes, Gerhard Lakemeyer, Benedikt Löwe, and Bernhard Nebel. Planning with epistemic goals (Dagstuhl Seminar 14032). In Dagstuhl Reports, Volume 4, Issue 1, pp. 83-103, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{agotnes_et_al:DagRep.4.1.83,
  author =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  title =	{{Planning with epistemic goals (Dagstuhl Seminar 14032)}},
  pages =	{83--103},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Agotnes, Thomas and Lakemeyer, Gerhard and L\"{o}we, Benedikt and Nebel, Bernhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.83},
  URN =		{urn:nbn:de:0030-drops-45369},
  doi =		{10.4230/DagRep.4.1.83},
  annote =	{Keywords: planning, epistemic logic, modal logic}
}
Document
Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041)

Authors: Manfred Droste, Paul Gastin, Kim Gulstrand Larsen, and Axel Legay


Abstract
From Jan. 19 to Jan. 24, 2014, "Quantitative Models: Expressiveness, Analysis, and New Applications" was held in Schloss Dagstuhl-Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Manfred Droste, Paul Gastin, Kim Gulstrand Larsen, and Axel Legay. Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041). In Dagstuhl Reports, Volume 4, Issue 1, pp. 104-124, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{droste_et_al:DagRep.4.1.104,
  author =	{Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
  title =	{{Quantitative Models: Expressiveness, Analysis, and New Applications (Dagstuhl Seminar 14041)}},
  pages =	{104--124},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Droste, Manfred and Gastin, Paul and Larsen, Kim Gulstrand and Legay, Axel},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.104},
  URN =		{urn:nbn:de:0030-drops-45374},
  doi =		{10.4230/DagRep.4.1.104},
  annote =	{Keywords: quantitative models, quantitative analysis, timed and hybrid systems, probabilistic systems, weighted automata, systems biology, smart grid}
}
Document
Do It Yourself networking: an interdisciplinary approach (Dagstuhl Seminar 14042)

Authors: Panayotis Antoniadis, Jörg Ott, and Andrea Passarella


Abstract
This report provides a summary of the organization, program, and outcome of the Dagstuhl seminar titled "Do-It-Yourself networking: an interdisciplinary perspective". We first motivate our interest in wireless networks operating outside the public Internet and the selection of the various areas of expertise. Then we describe the process of bringing together a balanced group of representatives from these fields, and the evolution of the seminar over time. An overview of the interactions during the work in groups on specific application areas and explorations of the concept of failure, edited collectively by the members of the different groups, summarizes the main outcomes of the seminar. Finally, we identify some important lessons learned for facilitating interdisciplinary collaborations and conclude with our plans toward building a DIY networking community of researchers and activists.

Cite as

Panayotis Antoniadis, Jörg Ott, and Andrea Passarella. Do It Yourself networking: an interdisciplinary approach (Dagstuhl Seminar 14042). In Dagstuhl Reports, Volume 4, Issue 1, pp. 125-151, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{antoniadis_et_al:DagRep.4.1.125,
  author =	{Antoniadis, Panayotis and Ott, J\"{o}rg and Passarella, Andrea},
  title =	{{Do It Yourself networking: an interdisciplinary approach (Dagstuhl Seminar 14042)}},
  pages =	{125--151},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Antoniadis, Panayotis and Ott, J\"{o}rg and Passarella, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.125},
  URN =		{urn:nbn:de:0030-drops-45384},
  doi =		{10.4230/DagRep.4.1.125},
  annote =	{Keywords: Community Wireless Networks, Mobile Networking, Delay-Tolerant Networking, Ad-hoc Networking, Urban informatics, Community informatics, Urban Planning Interdisciplinarity}
}
Document
Algorithms for Wireless Communication (Dagstuhl Seminar 14051)

Authors: Guy Even, Magnus Halldorson, Yvonne Anne Pignolet, and Christian Scheideler


Abstract
This report documents the talks and discussions of Dagstuhl Seminar 14051 "Algorithms for Wireless Communication". The presented talks represent a wide spectrum of work on wireless networks. The topic of wireless communication continues to grow in many domains, new applications and deployments of wireless networks in a variety of contexts are being reported. A key focus of the talks and discussions presented here is to discuss models for wireless networks as well as algorithmic results and real world deployments.

Cite as

Guy Even, Magnus Halldorson, Yvonne Anne Pignolet, and Christian Scheideler. Algorithms for Wireless Communication (Dagstuhl Seminar 14051). In Dagstuhl Reports, Volume 4, Issue 1, pp. 152-169, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{even_et_al:DagRep.4.1.152,
  author =	{Even, Guy and Halldorson, Magnus and Pignolet, Yvonne Anne and Scheideler, Christian},
  title =	{{Algorithms for Wireless Communication (Dagstuhl Seminar 14051)}},
  pages =	{152--169},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Even, Guy and Halldorson, Magnus and Pignolet, Yvonne Anne and Scheideler, Christian},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.152},
  URN =		{urn:nbn:de:0030-drops-45397},
  doi =		{10.4230/DagRep.4.1.152},
  annote =	{Keywords: wireless, algorithms, model, complexity}
}
Document
Ethics in Data Sharing (Dagstuhl Seminar 14052)

Authors: Julie E. Cohen, Sven Dietrich, Aiko Pras, Lenore D. Zuck, and Hildebrand Mireille


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14052 "Ethics in Data Sharing". The seminar brought together computer scientists, an ethicist and legal scholars to discuss the topic of "ethics in data sharing."

Cite as

Julie E. Cohen, Sven Dietrich, Aiko Pras, Lenore D. Zuck, and Hildebrand Mireille. Ethics in Data Sharing (Dagstuhl Seminar 14052). In Dagstuhl Reports, Volume 4, Issue 1, pp. 170-183, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


Copy BibTex To Clipboard

@Article{cohen_et_al:DagRep.4.1.170,
  author =	{Cohen, Julie E. and Dietrich, Sven and Pras, Aiko and Zuck, Lenore D. and Hildebrand Mireille},
  title =	{{Ethics in Data Sharing (Dagstuhl Seminar 14052)}},
  pages =	{170--183},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{1},
  editor =	{Cohen, Julie E. and Dietrich, Sven and Pras, Aiko and Zuck, Lenore D. and Hildebrand Mireille},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.4.1.170},
  URN =		{urn:nbn:de:0030-drops-45418},
  doi =		{10.4230/DagRep.4.1.170},
  annote =	{Keywords: Ethics, Data Sharing Practices, Data Dissemination, Ethics across borders, Anonymization, Sanitization}
}

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