Issue
Dagstuhl Reports, Volume 3, Issue 10
-
Part of:
Volume:
Dagstuhl Reports, Volume 3
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2014-02-21
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports3
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
Documents
No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 3, Issue 10, October 2013, Complete Issue
Abstract
Dagstuhl Reports, Volume 3, Issue 10, October 2013, Complete Issue
Cite as
Dagstuhl Reports, Volume 3, Issue 10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{DagRep.3.10,
title = {{Dagstuhl Reports, Volume 3, Issue 10, October 2013, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10},
URN = {urn:nbn:de:0030-drops-45033},
doi = {10.4230/DagRep.3.10},
annote = {Keywords: Dagstuhl Reports, Volume 3, Issue 10, October 2013, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 3, Issue 10, 2013
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 3, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{DagRep.3.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 3, Issue 10, 2013}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10.i},
URN = {urn:nbn:de:0030-drops-45023},
doi = {10.4230/DagRep.3.10.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Deduction and Arithmetic (Dagstuhl Seminar 13411)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13411 "Deduction and Arithmetic". The aim of this seminar was to bring together researchers working in deduction and fields related to arithmetic constraint solving. Current research in deduction can be categorized in three main strands: SMT solvers, automated first-order provers, and interactive provers. Although dealing with arithmetic has been in focus of all three for some
years, there is still need of much better support of arithmetic. Reasong about arithmetic will stay at the center of attention in all three main approaches to automated deduction during the coming five to ten years. The seminar was an important event for the subcommunities involved that made it possible to communicate with each other so as to avoid duplicate effort and to exploit synergies. It succeeded also in identifying a number of important trends and open problems.
Cite as
Nikolaj Bjorner, Reiner Hähnle, Tobias Nipkow, and Christoph Weidenbach. Deduction and Arithmetic (Dagstuhl Seminar 13411). In Dagstuhl Reports, Volume 3, Issue 10, pp. 1-24, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{bjorner_et_al:DagRep.3.10.1,
author = {Bjorner, Nikolaj and H\"{a}hnle, Reiner and Nipkow, Tobias and Weidenbach, Christoph},
title = {{Deduction and Arithmetic (Dagstuhl Seminar 13411)}},
pages = {1--24},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
editor = {Bjorner, Nikolaj and H\"{a}hnle, Reiner and Nipkow, Tobias and Weidenbach, Christoph},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10.1},
URN = {urn:nbn:de:0030-drops-44250},
doi = {10.4230/DagRep.3.10.1},
annote = {Keywords: Automated Deduction; Program Verification; Arithmetic Constraint Solving}
}
Document
Genomic Privacy (Dagstuhl Seminar 13412)
Abstract
Recent advances in genomics prompt a formidable privacy challenge: As the price of a complete genome profile has plummeted to as low as 99 USD for genome-wide genotyping, wide-spread usage of genomic information is about to become reality. Substantial progress is expected in the near future in terms of improved diagnoses and better preventive medicine.
The impact of the increased availability of genomic information on privacy, however, is unprecedented, for obvious reasons: First, genetic conditions and the predisposition to specific diseases (such as Alzheimer's) can be revealed. Second, a person's genomic information leaks substantial information about his relatives. Third, complex privacy issues can arise if DNA analysis is used for criminal investigations, epidemiological research, and personalized medicine purposes.
This report documents the program and the outcomes of the Dagstuhl Seminar 13412 "Genomic Privacy". The goal of the seminar was to bring together leading researchers, from different areas of academia and industry. The seminar welcomed participants from computer science, bioinformatics, genetics, ethics and medical fields. Through a series of presentations, discussions, and working groups, the seminar attempted to provide a coherent picture of the field, which transcends the borders of disciplines. The participants discussed many aspects of genomic privacy and jointly identified the main requirements and the possible technical solutions for protecting genomic data.
Cite as
Kay Hamacher, Jean Pierre Hubaux, and Gene Tsudik. Genomic Privacy (Dagstuhl Seminar 13412). In Dagstuhl Reports, Volume 3, Issue 10, pp. 25-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{hamacher_et_al:DagRep.3.10.25,
author = {Hamacher, Kay and Hubaux, Jean Pierre and Tsudik, Gene},
title = {{Genomic Privacy (Dagstuhl Seminar 13412)}},
pages = {25--35},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
editor = {Hamacher, Kay and Hubaux, Jean Pierre and Tsudik, Gene},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10.25},
URN = {urn:nbn:de:0030-drops-44267},
doi = {10.4230/DagRep.3.10.25},
annote = {Keywords: Genomics, Genetics, Health Data, Privacy Protection, Differential Privacy, Privacy by Design, Information Security, Cryptography, Secure Computation}
}
Document
Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13421 "Algorithms for Optimization Problems in Planar Graphs". The seminar was held from October 13 to October 18, 2013. This report contains abstracts for the recent developments in planar graph algorithms discussed during the seminar as well as summaries of open problems in this area of research.
Cite as
Glencora Borradaile, Philp Klein, Dániel Marx, and Claire Mathieu. Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421). In Dagstuhl Reports, Volume 3, Issue 10, pp. 36-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{borradaile_et_al:DagRep.3.10.36,
author = {Borradaile, Glencora and Klein, Philp and Marx, D\'{a}niel and Mathieu, Claire},
title = {{Algorithms for Optimization Problems in Planar Graphs (Dagstuhl Seminar 13421)}},
pages = {36--57},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
editor = {Borradaile, Glencora and Klein, Philp and Marx, D\'{a}niel and Mathieu, Claire},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10.36},
URN = {urn:nbn:de:0030-drops-44274},
doi = {10.4230/DagRep.3.10.36},
annote = {Keywords: Algorithms, planar graphs, theory, approximation, fixed-parameter tractable, network flow, network design, kernelization}
}
Document
Nominal Computation Theory (Dagstuhl Seminar 13422)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 13422 "Nominal Computation Theory". The underlying theme of the seminar was nominal sets (also known as sets with atoms or Fraenkel-Mostowski sets) and they role and applications in three distinct research areas: automata over infinite alphabets, program semantics using nominal sets and nominal calculi of concurrent processes.
Cite as
Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, and Andrew M. Pitts. Nominal Computation Theory (Dagstuhl Seminar 13422). In Dagstuhl Reports, Volume 3, Issue 10, pp. 58-71, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{bojanczyk_et_al:DagRep.3.10.58,
author = {Bojanczyk, Mikolaj and Klin, Bartek and Kurz, Alexander and Pitts, Andrew M.},
title = {{Nominal Computation Theory (Dagstuhl Seminar 13422)}},
pages = {58--71},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
editor = {Bojanczyk, Mikolaj and Klin, Bartek and Kurz, Alexander and Pitts, Andrew M.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10.58},
URN = {urn:nbn:de:0030-drops-44285},
doi = {10.4230/DagRep.3.10.58},
annote = {Keywords: nominal sets, Fraenkel-Mostowski sets}
}
Document
Real-World Visual Computing (Dagstuhl Seminar 13431)
Abstract
Over the last decade, the tremendous increase in computational power of graphics hardware, in conjunction with equally improved rendering algorithms, have led to the situation today where real-time visual realism is computationally attainable on almost any PC, if only the digital models to be rendered were sufficiently detailed and realistic.
With rapidly advancing rendering capabilities, the modeling process has become the limiting factor in realistic computer graphics applications. Following the traditional rendering paradigm, higher visual realism can be attained only by providing more detailed and accurate scene descriptions. However, building realistic digital scene descriptions consisting of 3D geometry and object texture, surface reflectance characteristics and scene illumination, character motion and emotion is a highly labor-intensive, tedious process.
Goal of this seminar is to find new ways to overcome the looming stalemate in realistic rendering caused by traditional, time-consuming modeling. One promising alternative consists of creating digital models from real-world examples if ways can be found how to endow reconstructed models with the flexibility customary in computer graphics. The trend towards model capture from real-world examples is bolstered by new sensor technologies becoming available at mass-market prices, such as Microsoft's Kinect and time-of-flight 2D depth imagers, or Lytro's Light Field camera. Also, the pervasiveness of smart-phones containing camera, GPS and orientation sensors allows for developing new capturing paradigms of real-world events based on a swarm of networked smart-phones. With the advent of these exciting new acquisition technologies, investigating how to best integrate these novel capture modalities into the digital modeling pipeline or how to alter traditional modeling to make optimal use of new capture technologies, has become a top priority in visual computing research.
To address these challenges, interdisciplinary approaches are called for that encompass computer graphics, computer vision, and visual media production. The overall goal of the seminar is to form a lasting, interdisciplinary research community which jointly identifies and addresses the challenges in modeling from the real world and determines which research avenues will be the most promising ones to pursue over the course of the next years.
Cite as
Oliver Grau, Marcus A. Magnor, Olga Sorkine-Hornung, and Christian Theobalt. Real-World Visual Computing (Dagstuhl Seminar 13431). In Dagstuhl Reports, Volume 3, Issue 10, pp. 72-91, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{grau_et_al:DagRep.3.10.72,
author = {Grau, Oliver and Magnor, Marcus A. and Sorkine-Hornung, Olga and Theobalt, Christian},
title = {{Real-World Visual Computing (Dagstuhl Seminar 13431)}},
pages = {72--91},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
editor = {Grau, Oliver and Magnor, Marcus A. and Sorkine-Hornung, Olga and Theobalt, Christian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10.72},
URN = {urn:nbn:de:0030-drops-44322},
doi = {10.4230/DagRep.3.10.72},
annote = {Keywords: Image Aquisition, Scene Modeling/Rendering, Image/3D Sensors, Photorealism, Visual Effects, Motion Reconstruction, Animation}
}
Document
Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441)
Abstract
This report documents the program and the outcome of Dagstuhl Seminar 13441 "Evaluation Methodologies in Information Retrieval", which brought together 42 participants from 11 countries. The seminar was motivated by the fact that today's information retrieval (IR) applications can hardly be evaluated based on the classic test collection paradigm, thus there is a need for new evaluation approaches. The event started with five introductory talks on evaluation frameworks, user modeling for evaluation, evaluation criteria, measures, evaluation methodology, and new trends in IR evaluation. The seminar participants then formed working groups addressing specific aspects of IR evaluation, such as reliability and validity, task-based IR, learning as search outcome, searching for fun, IR and social media, graph search, domain-specific IR, interaction measures and models, and searcher-aware information access systems.
Cite as
Maristella Agosti, Norbert Fuhr, Elaine Toms, and Pertti Vakkari. Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441). In Dagstuhl Reports, Volume 3, Issue 10, pp. 92-126, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)
Copy BibTex To Clipboard
@Article{agosti_et_al:DagRep.3.10.92,
author = {Agosti, Maristella and Fuhr, Norbert and Toms, Elaine and Vakkari, Pertti},
title = {{Evaluation Methodologies in Information Retrieval (Dagstuhl Seminar 13441)}},
pages = {92--126},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2014},
volume = {3},
number = {10},
editor = {Agosti, Maristella and Fuhr, Norbert and Toms, Elaine and Vakkari, Pertti},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.3.10.92},
URN = {urn:nbn:de:0030-drops-44335},
doi = {10.4230/DagRep.3.10.92},
annote = {Keywords: evaluation, testbeds, user studies, measures}
}