default search action
Dagstuhl Reports, Volume 5
Volume 5, Number 1, January 2015
- Michael Philippsen, Pascal Felber
, Michael L. Scott
Concurrent Computing in the Many-core Era (Dagstuhl Seminar 15021). 1-56 - Katrien De Moor, Markus Fiedler, Peter Reichl, Martín Varela:
Quality of Experience: From Assessment to Application (Dagstuhl Seminar 15022). 57-95 - Salvatore Greco, Kathrin Klamroth
Understanding Complexity in Multiobjective Optimization (Dagstuhl Seminar 15031). 96-163 - Samuel Kounev, Xiaoyun Zhu, Jeffrey O. Kephart, Marta Kwiatkowska:
Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041). 164-196 - Samson Abramsky
Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042). 197-206 - Simon M. Lucas, Michael Mateas, Mike Preuss, Pieter Spronck, Julian Togelius:
Artificial and Computational Intelligence in Games: Integration (Dagstuhl Seminar 15051). 207-242 - Ulrik Brandes, Irene Finocchi, Martin Nöllenburg, Aaron J. Quigley:
Empirical Evaluation for Graph Drawing (Dagstuhl Seminar 15052). 243-258
Volume 5, Number 2, February 2015
- Krishnendu Chatterjee, Stéphane Lafortune, Nicolas Markey, Wolfgang Thomas:
Non-Zero-Sum-Games and Control (Dagstuhl Seminar 15061). 1-25 - Sebastian Erdweg, Martin Erwig, Richard F. Paige, Eelco Visser:
Domain-Specific Languages (Dagstuhl Seminar 15062). 26-43 - Nikolaj S. Bjørner, Nate Foster, Philip Brighten Godfrey, Pamela Zave:
Formal Foundations for Networking (Dagstuhl Seminar 15071). 44-63 - Yvonne Coady, James Kempf, Rick McGeer, Stefan Schmid:
Distributed Cloud Computing (Dagstuhl Seminar 15072). 64-79 - Jiri Matas, Vittorio Murino, Bodo Rosenhahn, Laura Leal-Taixé:
Holistic Scene Understanding (Dagstuhl Seminar 15081). 80-108 - Hartmut Klauck, Troy Lee, Dirk Oliver Theis, Rekha R. Thomas:
Limitations of convex programming: lower bounds on extended formulations and factorization ranks (Dagstuhl Seminar 15082). 109-127 - Hans-Arno Jacobsen, Randy H. Katz, Hartmut Schmeck, Christoph Goebel:
Smart Buildings and Smart Grids (Dagstuhl Seminar 15091). 128-175
Volume 5, Number 3, March 2015
- Daniel A. Keim, Tamara Munzner, Fabrice Rossi, Michel Verleysen:
Bridging Information Visualization with Machine Learning (Dagstuhl Seminar 15101). 1-27 - Amir Herzberg, Matthias Hollick, Adrian Perrig:
Secure Routing for Future Communication Networks (Dagstuhl Seminar 15102). 28-40 - Otfried Cheong, Jeff Erickson, Monique Teillaud:
Computational Geometry (Dagstuhl Seminar 15111). 41-62 - Florin Ciucu, Markus Fidler, Jörg Liebeherr, Jens B. Schmitt:
Network Calculus (Dagstuhl Seminar 15112). 63-83 - Sanjoy K. Baruah, Liliana Cucu-Grosjean, Robert I. Davis, Claire Maiza:
Mixed Criticality on Multicore/Manycore Platforms (Dagstuhl Seminar 15121). 84-142 - Frank Drewes, Kevin Knight, Marco Kuhlmann:
Formal Models of Graph Transformation in Natural Language Processing (Dagstuhl Seminar 15122). 143-161 - Amit K. Chopra, Leon van der Torre, Harko Verhagen, Serena Villata:
Normative Multi-Agent Systems (Dagstuhl Seminar 15131). 162-176
Volume 5, Number 4, April 2015
- David Hutchison, Klara Nahrstedt, Marcus Schöller, Indra Spiecker genannt Döhmann, Markus Tauber:
Assuring Resilience, Security and Privacy for Flexible Networked Systems and Organisations (Dagstuhl Seminar 15151). 1-17 - Trevor Darrell, Marius Kloft, Massimiliano Pontil, Gunnar Rätsch, Erik Rodner:
Machine Learning with Interdependent and Non-identically Distributed Data (Dagstuhl Seminar 15152). 18-55 - Christian Lengauer, Matthias Bolten, Robert D. Falgout, Olaf Schenk:
Advanced Stencil-Code Engineering (Dagstuhl Seminar 15161). 56-75 - Jane Cleland-Huang, Sanjai Rayadurgam, Patrick Mäder, Wilhelm Schäfer:
Software and Systems Traceability for Safety-Critical Projects (Dagstuhl Seminar 15162). 76-97 - Armin Biere, Vijay Ganesh, Martin Grohe, Jakob Nordström, Ryan Williams:
Theory and Practice of SAT Solving (Dagstuhl Seminar 15171). 98-122 - Gilles Barthe
Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181). 123-141 - Darren D. Cofer, Gerwin Klein, Konrad Slind, Virginie Wiels:
Qualification of Formal Methods Tools (Dagstuhl Seminar 15182). 142-159
Volume 5, Number 5, May 2015
- Lars Birkedal, Derek Dreyer, Philippa Gardner, Zhong Shao
Compositional Verification Methods for Next-Generation Concurrency (Dagstuhl Seminar 15191). 1-23 - Roberto Casati, Patrick Cavanagh, Paulo E. Santos:
The Message in the Shadow: noise or knowledge? (Dagstuhl Seminar 15192). 24-42 - Alexander G. Hauptmann, James Hodson, Juanzi Li, Nicu Sebe, Achim Rettinger:
Cross-Lingual Cross-Media Content Linking: Annotations and Joint Representations (Dagstuhl Seminar 15201). 43-56 - Benjamin Doerr, Nikolaus Hansen, Christian Igel, Lothar Thiele:
Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211). 57-91 - Igor Douven, Gabriele Kern-Isberner, Markus Knauff, Henri Prade:
Multi-disciplinary approaches to reasoning with imperfect information and knowledge - a synthesis and a roadmap of challenges (Dagstuhl Seminar 15221). 92-114 - Amy J. Ko, Shriram Krishnamurthi, Gail C. Murphy, Janet Siegmund:
Human-Centric Development of Software Tools (Dagstuhl Seminar 15222). 115-132
Volume 5, Number 6, June 2015
- Craig Boutilier, Britta Dorn, Nicolas Maudet, Vincent Merlin:
Computational Social Choice: Theory and Applications (Dagstuhl Seminar 15241). 1-27 - Peter Bürgisser, Felipe Cucker, Marek Karpinski, Nicolai N. Vorobjov Jr.:
Complexity of Symbolic and Numerical Problems (Dagstuhl Seminar 15242). 28-47 - Annie A. M. Cuyt, George Labahn, Avraham Sidi, Wen-shin Lee:
Sparse modelling and multi-exponential analysis (Dagstuhl Seminar 15251). 48-69 - Erich Grädel, Juha Kontinen
Logics for Dependence and Independence (Dagstuhl Seminar 15261). 70-85
Volume 5, Number 7, July 2015
- Henri Casanova, Ewa Deelman, Yves Robert, Uwe Schwiegelshohn:
Algorithms and Scheduling Techniques to Manage Resilience and Power Consumption in Distributed Systems (Dagstuhl Seminar 15281). 1-21 - Andrei A. Bulatov, Venkatesan Guruswami, Andrei A. Krokhin, Dániel Marx:
The Constraint Satisfaction Problem: Complexity and Approximability (Dagstuhl Seminar 15301). 22-41 - Alexander García Castro, Janna Hastings, Robert Stevens, Erich Weichselgartner:
Digital Scholarship and Open Science in Psychology and the Behavioral Sciences (Dagstuhl Perpectives Workshop 15302). 42-68
Volume 5, Number 8, August 2015
- Dieter Kranzlmüller, Barry Rountree:
Power-Bounded HPC Performance Optimization (Dagstuhl Perspectives Workshop 15342). 1-8 - Rudolf Aebersold, Oliver Kohlbacher, Olga Vitek:
Computational Mass Spectrometry (Dagstuhl Seminar 15351). 9-33 - Krishnendu Chakrabarty, Tsung-Yi Ho
Design of Microfluidic Biochips (Dagstuhl Seminar 15352). 34-53 - Matthias Hein, Gábor Lugosi, Lorenzo Rosasco:
Mathematical and Computational Foundations of Learning Theory (Dagstuhl Seminar 15361). 54-0 - Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre:
Present and Future of Formal Argumentation (Dagstuhl Perpectives Workshop 15362). 74-89
Volume 5, Number 9, September 2015
- Michele Mosca, Martin Roetteler
Quantum Cryptanalysis (Dagstuhl Seminar 15371). 1-17 - Nikolaj S. Bjørner, Jasmin Christian Blanchette, Viorica Sofronie-Stokkermans, Christoph Weidenbach:
Information from Deduction: Models and Proofs (Dagstuhl Seminar 15381). 18-37 - Ricardo Duarte, Björn M. Eskofier, Martin Rumpf, Josef Wiemeyer:
Modeling and Simulation of Sport Games, Sport Movements, and Adaptations to Training (Dagstuhl Seminar 15382). 38-56 - Aicke Hinrichs, Joseph F. Traub, Henryk Wozniakowski, Larisa Yaroslavtseva:
Algorithms and Complexity for Continuous Problems (Dagstuhl Seminar 15391). 57-76 - Vasco Brattka, Akitoshi Kawamura, Alberto Marcone, Arno Pauly:
Measuring the Complexity of Computational Content (Dagstuhl Seminar 15392). 77-104 - Mikolaj Bojanczyk, Meena Mahajan, Thomas Schwentick, Heribert Vollmer:
Circuits, Logic and Games (Dagstuhl Seminar 15401). 105-124 - Vincent Danos, Heinz Koeppl:
Self-assembly and Self-organization in Computer Science and Biology (Dagstuhl Seminar 15402). 125-138
Volume 5, Number 10, October 2015
- Jan Peters, Justus H. Piater, Robert Platt Jr., Siddhartha S. Srinivasa:
Multimodal Manipulation Under Uncertainty (Dagstuhl Seminar 15411). 1-18 - José R. Correa, Tobias Harks, Kai Nagel
Dynamic Traffic Models in Transportation Science (Dagstuhl Seminar 15412). 19-34 - Babak Falsafi, Tim Harris, Dushyanth Narayanan, David A. Patterson:
Rack-scale Computing (Dagstuhl Seminar 15421). 35-49 - Jean-Pierre Hubaux, Stefan Katzenbeisser, Bradley A. Malin, Gene Tsudik:
Genomic Privacy (Dagstuhl Seminar 15431). 50-65 - Mai Gehrke, Achim Jung, Victor L. Selivanov, Dieter Spreen:
Duality in Computer Science (Dagstuhl Seminar 15441). 66-88 - José Hernández-Orallo, Stephen H. Muggleton, Ute Schmid, Benjamin G. Zorn:
Approaches and Applications of Inductive Programming (Dagstuhl Seminar 15442). 89-111
Volume 5, Number 11, November 2015
- Parosh Aziz Abdulla, Fabio Gadducci, Barbara König, Viktor Vafeiadis:
Verification of Evolving Graph Structures (Dagstuhl Seminar 15451). 1-28 - Bruce R. Childers, Grigori Fursin, Shriram Krishnamurthi, Andreas Zeller:
Artifact Evaluation for Publications (Dagstuhl Perspectives Workshop 15452). 29-35 - Andrés Bruhn, Atsushi Imiya, Ales Leonardis, Tomás Pajdla:
Vision for Autonomous Vehicles and Probes (Dagstuhl Seminar 15461). 36-61 - Wolfram Burgard, Uwe Franke, Markus Enzweiler, Mohan M. Trivedi:
The Mobile Revolution - Machine Intelligence for Autonomous Vehicles (Dagstuhl Seminar 15462). 62-70 - Erika Ábrahám, Pascal Fontaine, Thomas Sturm, Dongming Wang:
Symbolic Computation and Satisfiability Checking (Dagstuhl Seminar 15471). 71-89 - William W. Cohen, Charles Sutton, Martin T. Vechev:
Programming with "Big Code" (Dagstuhl Seminar 15472). 90-102 - Daniel Archambault, Tobias Hoßfeld, Helen C. Purchase:
Crowdsourcing and Human-Centred Experiments (Dagstuhl Seminar 15481). 103-126 - Ada Diaconescu, Stephen Marsh, Jeremy Pitt, Wolfgang Reif, Jan-Philipp Steghöfer:
Social Concepts in Self-organising Systems (Dagstuhl Seminar 15482). 127-150 - Antonio Filieri, Marta Kwiatkowska, Sasa Misailovic, Todd Mytkowicz:
Approximate and Probabilistic Computing: Design, Coding, Verification (Dagstuhl Seminar 15491). 151-179 - Sebastian Böcker
Computational Metabolomics (Dagstuhl Seminar 15492). 180-192
Volume 5, Number 12, December 2015
- László Babai, Anuj Dawar, Pascal Schweitzer, Jacobo Torán:
The Graph Isomorphism Problem (Dagstuhl Seminar 15511). 1-17 - Iryna Gurevych, Eduard H. Hovy, Noam Slonim, Benno Stein:
Debating Technologies (Dagstuhl Seminar 15512). 18-46
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: