Filters








109 Hits in 4.1 sec

Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)

Benajmin Doerr, Nikolaus Hansen, Christian Igel, Lothar Thiele, Marc Herbstritt
2016 Dagstuhl Reports  
This report documents the talks and discussions at the Dagstuhl Seminar 15211 "Theory of Evolutionary Algorithms".  ...  theory of evolutionary algorithms and theories of natural evolution.  ...  Acknowledgments Special thanks go to the organizers of the Dagstuhl seminar and the entire Dagstuhl team for providing such a stimulating and welcoming atmosphere. Participants  ... 
doi:10.4230/dagrep.5.5.57 dblp:journals/dagstuhl-reports/DoerrHIT15 fatcat:vd2a3ejw7zacjkbpeerfj5bdjq

Scalability in Multiobjective Optimization (Dagstuhl Seminar 20031)

Carlos M. Fonseca, Kathrin Klamroth, Günter Rudolph, Margaret M. Wiecek
2020 Dagstuhl Reports  
The Dagstuhl Seminar 20031 Scalability in Multiobjective Optimization carried on a series of six previous Dagstuhl Seminars (04461, 06501, 09041, 12041, 15031 and 18031) that were focused on Multiobjective  ...  This report documents the program and the outcomes of Dagstuhl Seminar 20031 "Scalability in Multiobjective Optimization".  ...  of the previous seminars in this series for setting us up for success; and thanks to all the participants, who worked hard and were amiable company all week.  ... 
doi:10.4230/dagrep.10.1.52 dblp:journals/dagstuhl-reports/FonsecaKRW20 fatcat:aicmczzbtjftdkjbry2m5nulge

Algorithms and Complexity in Phylogenetics (Dagstuhl Seminar 19443)

Magnus Bordewich, Britta Dorn, Simone Linz, Rolf Niedermeier, Michael Wagner
2020 Dagstuhl Reports  
Dagstuhl Seminar 19443 on Algorithms and Complexity in Phylogenetics aimed at bringing together researchers from phylogenetics and theoretical computer science to enable an exchange of expertise, facilitate  ...  This report documents the program and outcomes of the seminar.  ...  Nevertheless, most of the software that is routinely used by evolutionary biologists has its roots in theoretical research areas which include algorithms, computational complexity, graph theory, algebra  ... 
doi:10.4230/dagrep.9.10.134 dblp:journals/dagstuhl-reports/BordewichDLN19 fatcat:nypkd3nzjvg5jdsd3cidktwyei

Virtual Realities (Dagstuhl Seminar 13241)

Guido Brunnett, Sabine Coquillart, Robert Van Liere, Gregory F. Welch, Marc Herbstritt
2013 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 13241 "Virtual Realities".  ...  The seminar was organized as series of individual presentations and seven working groups. Abstracts of the presentations and working group reports are collected in this report.  ...  (Worcester, Massachusetts, US) License Creative Commons BY 3.0 Unported license © Rob Lindemann Since the previous Virtual Realities seminar (08231) at Dagstuhl in June 2008, there has been powerful  ... 
doi:10.4230/dagrep.3.6.38 dblp:journals/dagstuhl-reports/BrunnettCLW13 fatcat:3euo43oklrahhiarpak4vqjdme

Learning in Multiobjective Optimization (Dagstuhl Seminar 12041)

Salvatore Greco, Joshua D. Knowles, Kaisa Miettinen, Eckart Zitzler, Marc Herbstritt
2012 Dagstuhl Reports  
This report documents the programme and outcomes of the Dagstuhl Seminar 12041 Learning in Multiobjective Optimization.  ...  The purpose of the seminar was to bring together researchers from the two main communities studying multiobjective optimization, Multiple Criteria Decision Making and Evolutionary Multiobjective Optimization  ...  Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all  ... 
doi:10.4230/dagrep.2.1.50 dblp:journals/dagstuhl-reports/GrecoKMZ12 fatcat:yy4ks7xcgbdcbisw4ky2pxvvvi

Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web (Dagstuhl Seminar 18371)

Piero Andrea Bonatti, Stefan Decker, Axel Polleres, Valentina Presutti, Michael Wagner
2019 Dagstuhl Reports  
This report documents the program and the outcomes of Dagstuhl Seminar 18371 "Knowledge Graphs: New Directions for Knowledge Representation on the Semantic Web", where a group of experts from academia  ...  The emerging, but still to be concretely shaped concept of "Knowledge Graphs" provides an excellent unifying metaphor for this current status of Semantic Web research.  ...  Acknowledgements The editors are grateful to Michael Cochez for his valuable contributions to the planning and organization of this workshop. He was in all respects the fifth organizer.  ... 
doi:10.4230/dagrep.8.9.29 dblp:journals/dagstuhl-reports/BonattiDPP18 fatcat:z4lkmofnavf67c5v2sye2x2zle

Dagstuhl Seminar Proceedings 07011 Runtime Verication

Bernd Finkbeiner, Klaus Havelund, Grigore Ro³u, Oleg Sokolsky, Klaus Havelund@jpl, Gov
unpublished
From January 26 2007 the Dagstuhl Seminar 07011'Run07011'Run-time Verication' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.  ...  Abstracts of the presentations given during the seminar have been put together in this paper. The rst section is an executive summary that describes the seminar topics in general.  ...  This enables evolutionary change (i.e. theory change) of the component to be induced by a state revision of the evolver at the meta-level.  ... 
fatcat:bkbnq6jz6bc7fbkcdybjgosi3i

Dagstuhl Seminar

Betty Cheng, Holger Giese, Paola Inverardi, Je Magee, Rogerio De Lemos, R Delemos@kent, Uk
unpublished
Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper.  ...  From 13.01. to 18.01.2008, the Dagstuhl Seminar 08031 Software Engineering for Self-Adaptive Systems was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl.  ...  Victoria, CA) : Adaptive systems, software ecosystems, autonomic systems, monitoring, diagnostics Full Paper: http://csdl.computer.org/dl/proceedings/wcre/2006/2719/00/27190009.pdf Supporting change  ... 
fatcat:4wofiiwosrajpfng5iwpau2awi

Reinforcement Learning (Dagstuhl Seminar 13321) The Critical Internet Infrastructure (Dagstuhl Seminar 13322) Coding Theory (Dagstuhl Seminar 13351) Interaction with Information for Visual Reasoning (Dagstuhl Seminar 13352)

Peter Auer, Marcus Hutter, Laurent, Georg Carle, Jochen Schiller, Steve Uhlig, Walter Willinger, Matthias Wählisch, Thore Husfeldt, Ramamohan Paturi, Gregory Sorkin, Ryan Williams (+14 others)
unpublished
We gratefully acknowledge the Dagstuhl staff for helping on all administrative coordination, for their patience, and most importantly for providing an extremely inspiring environment.  ...  They use the same technology as IBM's ink-jet printer from 50 years ago, high dimensional and high throughput, measuring the intensity of the fluorescence (proportional to the number of certain proteins  ...  Participants Abstract This report documents the program and the outcomes of Dagstuhl Seminar 13331 "Exponential Algorithms: Algorithms and Complexity Beyond Polynomial Time".  ... 
fatcat:iz3co5xisfejfbnx2t6ptrorfm

Symmetric Cryptography (Dagstuhl Seminar 12031) Learning in Multiobjective Optimization (Dagstuhl Seminar 12041) Analysis of Executables: Benefits and Challenges (Dagstuhl Seminar 12051)

Robert Hirschfeld, Shriram Krishnamurthi, Jan, Verónica Becher, Laurent Bienvenu, Rodney Downey, Elvira Mayordomo, Frederik Armknecht, Stefan Lucks, Bart Preneel, Phillip Rogaway, Salvatore Greco (+6 others)
2012 Foundations for Scripting Languages   unpublished
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all  ...  Seminar 12021 has celebrated significant recent research progress. New results connect the theory of algorithmic randomness with computable analysis.  ...  The organizers wish to express their gratitude towards the Scientific Directors of the Dagstuhl Center for their support of this seminar.  ... 
fatcat:avothr4qzfbxlbs2hgjdkccu2i

Service Level Agreements in Grids Dagstuhl Seminar

Hans Gerndt, Omer Rana, Wolfgang Ziegler, Gregor Von Laszewski
Dagstuhl Seminar Proceedings 09131 Service Level Agreements in Grids   unpublished
From 22.03. to 27.03.09, the Dagstuhl Seminar 09131 Service Level Agreements in Grids was held in Schloss Dagstuhl Leib-niz Center for Informatics.  ...  Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper.  ...  medical imaging using Moteur and V-Browser, evolutionary algorithms -HEP event reconstruction for COMPASS and parameter-sweep applications).  ... 
fatcat:vjof5mwftncapmh2jxnzmusb6q

Analysis of Dynamic Social and Technological Networks (Dagstuhl Seminar 11452) Coding Theory (Dagstuhl Seminar 11461)

Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits, Lars Elden, Andreas, Vito Latora, Cecilia Mascolo, Mirco, Joachim Rosenthal, M Shokrollahi, Judy
2011 Science and Engineering of Cyber-Physical Systems   unpublished
We recently proposed a formulation for the Requirements Problem of SAS (revisiting foundational work by Zave et. al., TOSEM'97, and a more recent one by Jureta et al., RE'08), as a dynamic problem (Qureshi  ...  This motivates our interest in M@RT, and especially in continuous re-appraisal of requirements at run-time, which calls for effective and light-way methods for model representation and reasoning at run-time  ...  Participants The main focus of the Dagstuhl Seminar 11451 "Data Mining, Networks and Dynamics" was the theory and the computational aspects of methods for the extraction of information in evolving networks  ... 
fatcat:bwnjnbq2bjbolk52twaysozyxu

Computational Mass Spectrometry (Dagstuhl Seminar 13491) Approaches and Applications of Inductive Programming (Dagstuhl Seminar 13502)

Ruedi Aebersold, Oliver Kohlbacher, Olga, Matt Duckham, Stefan Dulman, Jörg-Rüdiger Sack, Monika, Sumit Gulwani, Emanuel Kitzelmann, Ute Schmid, Glenn Geers, Monika Sester (+2 others)
2013 unpublished
We give an overview of the system developed to address the veracity, velocity and sparsity problems of urban traffic management.  ...  Streams provides a XML-based language for the description of data flow graphs that work on sequences of data items which are represented by sets of key-value pairs, i.e. event attributes and their values  ...  Shaw, editors, Software Engineering for Self-Adaptive Systems, number 10431 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany, 2011.  ... 
fatcat:46j5ycf3ivh5jai5vswz4xkxla

Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272) Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281) Database Workload Managemen (Dagstuhl Seminar 12282)

Alan Bundy, Dieter Hutter, Cliff Jones, J Strother, Moore, Peter Feiler, Jérôme Hugues, Oleg Sokolsky, Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo (+7 others)
2012 AI meets Formal Software Development (Dagstuhl Seminar 12271) Structure Discovery in Biology: Motifs, Networks & Phylogenies   unpublished
from a success family and a well-typed family of proofs.  ...  Discovery of various proof families was identified as the most promising of these. This provided my tentative answer to the research question posed in the beginning.  ...  of the seminar.  ... 
fatcat:4g7nsluecnbhfcinkvtwwt5ate

Tree Transducers and Formal Methods (Dagstuhl Seminar 13192) Information Visualization-Towards Multivariate Network Visualization (Dagstuhl Seminar 13201) Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211) Computational Methods Aiding Early-Stage Drug Design (Dagstuhl Seminar 13212)

Sebastian Maneth, Helmut Seidl, Andreas Kerren, Helen Purchase, Matthew, Diego Calvanese, Sven Hartmann, Ernest, Andreas Bender, Hinrich Göhlmann, Sepp Hochreiter, Ziv
2013 unpublished
., stack of stack of . . . of stack), or by n-fold composition of first order macro tree transducers.  ...  This talk reviews and discusses about the expressive power of higher-order tree grammars and transducers. In the literature, two major notions of "high-order" devices have been studied.  ...  Stasko, editors, Information Visualization, number 10241 in Dagstuhl Seminar Proceedings, Dagstuhl, Ger- many, 2010.  ... 
fatcat:7cilywhonvc2vgdqrs37oau66y
« Previous Showing results 1 — 15 out of 109 results