Issue

Dagstuhl Reports, Volume 7, Issue 5



Thumbnail PDF

Publication Details


Access Numbers

Documents

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

Abstract
Dagstuhl Reports, Volume 7, Issue 5, May 2017, Complete Issue

Cite as

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


Copy BibTex To Clipboard

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

Abstract
Table of Contents, Frontmatter

Cite as

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


Copy BibTex To Clipboard

@Article{DagRep.7.5.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2018},
  volume =	{7},
  number =	{5},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.i},
  URN =		{urn:nbn:de:0030-drops-84326},
  doi =		{10.4230/DagRep.7.5.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 7, Issue 5, 2017}
}
Document
Theory and Applications of Hashing (Dagstuhl Seminar 17181)

Authors: Martin Dietzfelbinger, Michael Mitzenmacher, Rasmus Pagh, David P. Woodruff, and Martin Aumüller


Abstract
This report documents the program and the topics discussed of the 4-day Dagstuhl Seminar 17181 "Theory and Applications of Hashing", which took place May 1-5, 2017. Four long and eighteen short talks covered a wide and diverse range of topics within the theme of the workshop. The program left sufficient space for informal discussions among the 40 participants.

Cite as

Martin Dietzfelbinger, Michael Mitzenmacher, Rasmus Pagh, David P. Woodruff, and Martin Aumüller. Theory and Applications of Hashing (Dagstuhl Seminar 17181). In Dagstuhl Reports, Volume 7, Issue 5, pp. 1-21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{dietzfelbinger_et_al:DagRep.7.5.1,
  author =	{Dietzfelbinger, Martin and Mitzenmacher, Michael and Pagh, Rasmus and Woodruff, David P. and Aum\"{u}ller, Martin},
  title =	{{Theory and Applications of Hashing (Dagstuhl Seminar 17181)}},
  pages =	{1--21},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Dietzfelbinger, Martin and Mitzenmacher, Michael and Pagh, Rasmus and Woodruff, David P. and Aum\"{u}ller, Martin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.1},
  URN =		{urn:nbn:de:0030-drops-82788},
  doi =		{10.4230/DagRep.7.5.1},
  annote =	{Keywords: connections to complexity theory, data streaming applications, hash function construction and analysis, hashing primitives, information retrieval applications, locality-sensitive hashing, machine learning applications}
}
Document
Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)

Authors: Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao


Abstract
This report summarizes the talks, breakout sessions, and discussions at the Dagstuhl Seminar 17191 on "Theory of Randomized Optimization Heuristics", held during the week from May 08 until May 12, 2017, in Schloss Dagstuhl -- Leibniz Center for Informatics. The meeting is the successor of the "Theory of Evolutionary Algorithm" seminar series, where the change in the title reflects the development of the research field toward a broader range of heuristics. The seminar has hosted 40 researchers from 15 countries. Topics that have been intensively discussed at the seminar include population-based heuristics, constrained optimization, non-static parameter choices as well as connections to research in machine learning.

Cite as

Carola Doerr, Christian Igel, Lothar Thiele, and Xin Yao. Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191). In Dagstuhl Reports, Volume 7, Issue 5, pp. 22-55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{doerr_et_al:DagRep.7.5.22,
  author =	{Doerr, Carola and Igel, Christian and Thiele, Lothar and Yao, Xin},
  title =	{{Theory of Randomized Optimization Heuristics (Dagstuhl Seminar 17191)}},
  pages =	{22--55},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Doerr, Carola and Igel, Christian and Thiele, Lothar and Yao, Xin},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.22},
  URN =		{urn:nbn:de:0030-drops-82797},
  doi =		{10.4230/DagRep.7.5.22},
  annote =	{Keywords: algorithms and complexity, evolutionary algorithms, machine learning, optimization, soft computing}
}
Document
Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192)

Authors: Tarek R. Besold, Artur d'Avila Garcez, and Luis C. Lamb


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17192 "Human-Like Neural-Symbolic Computing", held from May 7th to 12th, 2017. The underlying idea of Human-Like Computing is to incorporate into Computer Science aspects of how humans learn, reason and compute. Whilst recognising the relevant scientific trends in big data and deep learning, capable of achieving state-of-the-art performance in speech recognition and computer vision tasks, limited progress has been made towards understanding the principles underlying language and vision understanding. Under the assumption that neural-symbolic computing - the study of logic and connectionism as well statistical approaches - can offer new insight into this problem, the seminar brought together computer scientists, but also specialists on artificial intelligence, cognitive science, machine learning, knowledge representation and reasoning, computer vision, neural computation, and natural language processing. The seminar consisted of contributed and invited talks, breakout and joint group discussion sessions, and a hackathon. It was built upon previous seminars and workshops on the integration of computational learning and symbolic reasoning, such as the Neural-Symbolic Learning and Reasoning (NeSy) workshop series, and the previous Dagstuhl Seminar 14381: Neural-Symbolic Learning and Reasoning.

Cite as

Tarek R. Besold, Artur d'Avila Garcez, and Luis C. Lamb. Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192). In Dagstuhl Reports, Volume 7, Issue 5, pp. 56-83, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{besold_et_al:DagRep.7.5.56,
  author =	{Besold, Tarek R. and d'Avila Garcez, Artur and Lamb, Luis C.},
  title =	{{Human-Like Neural-Symbolic Computing (Dagstuhl Seminar 17192)}},
  pages =	{56--83},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Besold, Tarek R. and d'Avila Garcez, Artur and Lamb, Luis C.},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.56},
  URN =		{urn:nbn:de:0030-drops-82803},
  doi =		{10.4230/DagRep.7.5.56},
  annote =	{Keywords: Deep Learning, Human-like computing, Multimodal learning, Natural language processing, Neural-symbolic integration}
}
Document
Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)

Authors: Calin A. Belta, Rupak Majumdar, Maijid Zamani, and Matthias Rungger


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17201 "Formal Synthesis of Cyber-Physical Systems." Formal synthesis is the application of algorithmic techniques based on automata and logic to the design of controllers for hybrid systems in which continuous components interact with discrete ones. The Dagstuhl seminar brought together researchers from control theory and from computer science to discuss the state-of-the-art and current challenges in the field.

Cite as

Calin A. Belta, Rupak Majumdar, Maijid Zamani, and Matthias Rungger. Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201). In Dagstuhl Reports, Volume 7, Issue 5, pp. 84-96, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{belta_et_al:DagRep.7.5.84,
  author =	{Belta, Calin A. and Majumdar, Rupak and Zamani, Maijid and Rungger, Matthias},
  title =	{{Formal Synthesis of Cyber-Physical Systems (Dagstuhl Seminar 17201)}},
  pages =	{84--96},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Belta, Calin A. and Majumdar, Rupak and Zamani, Maijid and Rungger, Matthias},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.84},
  URN =		{urn:nbn:de:0030-drops-82813},
  doi =		{10.4230/DagRep.7.5.84},
  annote =	{Keywords: Cyber-physical systems, formal synthesis, reactive synthesis, discrete event systems, dynamical systems and control}
}
Document
Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202)

Authors: André Brinkmann, Kathryn Mohror, and Weikuan Yu


Abstract
The performance gap between magnetic disks and data processing on HPC systems has become that huge that an efficient data processing can only be achieved by introducing non-volatile memory (NVRAM) as a new storage tier. Although the benefits of hierarchical storage have been adequately demonstrated to the point that the newest leadership class HPC systems will employ burst buffers, critical questions remain for supporting hierarchical storage systems, including: How should we present hierarchical storage systems to user applications, such that they are easy to use and that application code is portable across systems? How should we manage data movement through a storage hierarchy for best performance and resilience of data? How do the particular I/O use cases mandate the way we manage data? There have been many efforts to explore this space in the form of file systems, with increasingly more implemented at the user level. This is because it is relatively easy to swap in new, specialized user-level file systems for use by applications on a case-by-case basis, as opposed to the current mainstream approach of using general-purpose, system-level file systems which may not be optimized for HPC workloads and must be installed by administrators. In contrast, file systems at the user level can be tailored for specific HPC workloads for high performance and can be used by applications without administrator intervention. Many user-level file system developers have found themselves “having to reinvent the wheel” to implement various optimizations in their file systems. Thus, a main goal of this meeting was to bring together experts in I/O performance, file systems, and storage, and collectively explore the space of current and future problems and solutions for I/O on hierarchical storage systems in order to begin a community effort in enabling user-level file system support for HPC systems. We had a lively week of learning about each other’s approaches as well as unique I/O use cases that can influence the design of a community-driven file and storage system standards. The agenda for this meeting contained talks from participants on the following high level topics: HPC storage and I/O support today; what do HPC users need for I/O; existing user-level file system efforts; object stores and other alternative storage systems; and components for building user-level file systems. The talks were short and intended to be conversation starters for more in-depth discussions with the whole group. The participants engaged in lengthy discussions on various questions that arose from the talks including: Are we ready to program to a memory hierarchy versus block devices? Are the needs of HPC users reflected in our existing file systems and storage systems? Should we drop or keep POSIX moving forward? What do we mean when we say "user-level file system"? Do we all mean the same thing? How should the IO 500 benchmark be defined so it is fair and useful? and How are stage-in and stage-out actually going to work? The report for this seminar contains a record of the talks from the participants as well as the resulting discussions. Our hope is that the effort initiated during this seminar will result in long-term collaborations that will benefit the HPC community as a whole.

Cite as

André Brinkmann, Kathryn Mohror, and Weikuan Yu. Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202). In Dagstuhl Reports, Volume 7, Issue 5, pp. 97-139, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{brinkmann_et_al:DagRep.7.5.97,
  author =	{Brinkmann, Andr\'{e} and Mohror, Kathryn and Yu, Weikuan},
  title =	{{Challenges and Opportunities of User-Level File Systems for HPC (Dagstuhl Seminar 17202)}},
  pages =	{97--139},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Brinkmann, Andr\'{e} and Mohror, Kathryn and Yu, Weikuan},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.97},
  URN =		{urn:nbn:de:0030-drops-82820},
  doi =		{10.4230/DagRep.7.5.97},
  annote =	{Keywords: High Performance Computing, I/O and Storage, Object Stores, User-level Storage Systems}
}
Document
Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221)

Authors: Falai Chen, Chen Dokken, Thomas A. Grandine, and Géraldine Morin


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 17221 "Geometric Modelling, Interoperability and New Challenges". While previous Dagstuhl seminars on geometric modeling were focused on basic research, this seminar was focused on applications of geometric modeling to four topic areas: big data and cloud computing, multi-material additive manufacturing, isogeometric analysis, and design optimization. For this purpose we brought together participants from industry urgently in need of better solutions, researchers in the above application areas, and researchers in the geometric modeling community.

Cite as

Falai Chen, Chen Dokken, Thomas A. Grandine, and Géraldine Morin. Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221). In Dagstuhl Reports, Volume 7, Issue 5, pp. 140-168, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{chen_et_al:DagRep.7.5.140,
  author =	{Chen, Falai and Dokken, Chen and Grandine, Thomas A. and Morin, G\'{e}raldine},
  title =	{{Geometric Modelling, Interoperability and New Challenges (Dagstuhl Seminar 17221)}},
  pages =	{140--168},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Chen, Falai and Dokken, Chen and Grandine, Thomas A. and Morin, G\'{e}raldine},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.140},
  URN =		{urn:nbn:de:0030-drops-82838},
  doi =		{10.4230/DagRep.7.5.140},
  annote =	{Keywords: additive manufacturing, computer graphics, design optimization, geometric modeling, geometry, geometry processing, isogeometric analysis, shape design}
}
Document
Robust Performance in Database Query Processing (Dagstuhl Seminar 17222)

Authors: Renata Borovica-Gajic, Goetz Graefe, and Allison Lee


Abstract
The Dagstuhl Seminar 17222 on "Robust performance in database query processing", held from 28/May until 02/June 2017, brought together researchers from academia and industry to discuss aspects of robustness in database management systems that have not been addressed by the previous instances of the seminar. This article summarizes the main discussion topics, and presents the summary of the outputs of four work groups that discussed: i) updates and database utilities, ii) parallelism, partitioning and skew, iii) dynamic join sequences, and iv) machine learning techniques used to explain unexpected performance observations.

Cite as

Renata Borovica-Gajic, Goetz Graefe, and Allison Lee. Robust Performance in Database Query Processing (Dagstuhl Seminar 17222). In Dagstuhl Reports, Volume 7, Issue 5, pp. 169-180, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2017)


Copy BibTex To Clipboard

@Article{borovicagajic_et_al:DagRep.7.5.169,
  author =	{Borovica-Gajic, Renata and Graefe, Goetz and Lee, Allison},
  title =	{{Robust Performance in Database Query Processing (Dagstuhl Seminar 17222)}},
  pages =	{169--180},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2017},
  volume =	{7},
  number =	{5},
  editor =	{Borovica-Gajic, Renata and Graefe, Goetz and Lee, Allison},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.7.5.169},
  URN =		{urn:nbn:de:0030-drops-82845},
  doi =		{10.4230/DagRep.7.5.169},
  annote =	{Keywords: Robust Query Performance, Database Management Systems, Adaptive Query Processing, Query Optimization, Query Execution, Updates, Parallelism, Data Skew}
}

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