Dagstuhl Reports, Volume 12, Issue 10,
-
Dagstuhl Reports, Volume 12, Issue 10, October 2022, Complete Issue
10.4230/DagRep.12.10
-
Dagstuhl Reports, Table of Contents, Volume 12, Issue 10, 2022
10.4230/DagRep.12.10.i
-
Wentong Cai, Christopher Carothers, David M. Nicol, and Adelinde M. Uhrmacher
Computer Science Methods for Effective and Sustainable Simulation Studies (Dagstuhl Seminar 22401)
10.4230/DagRep.12.10.1
-
Madeline Endres, André Brechmann, Bonita Sharif, Westley Weimer, and Janet Siegmund
Foundations for a New Perspective of Understanding Programming (Dagstuhl Seminar 22402)
10.4230/DagRep.12.10.61
-
Olaf Beyersdorff, Armin Biere, Vijay Ganesh, Jakob Nordström, and Andy Oertel
Theory and Practice of SAT and Combinatorial Solving (Dagstuhl Seminar 22411)
10.4230/DagRep.12.10.84
-
Nele Mentens, Stjepan Picek, and Ahmad-Reza Sadeghi
Intelligent Security: Is "AI for Cybersecurity" a Blessing or a Curse (Dagstuhl Seminar 22412)
10.4230/DagRep.12.10.106
-
Arthur Gervais and Marie Vasek
Security of Decentralized Financial Technologies (Dagstuhl Seminar 22421)
10.4230/DagRep.12.10.129
-
James M. Rehg, Pierre-Yves Oudeyer, Linda B. Smith, Sho Tsuji, Stefan Stojanov, and Ngoc Anh Thai
Developmental Machine Learning: From Human Learning to Machines and Back (Dagstuhl Seminar 22422)
10.4230/DagRep.12.10.143
-
Emma Frejinger, Andrea Lodi, Michele Lombardi, and Neil Yorke-Smith
Data-Driven Combinatorial Optimisation (Dagstuhl Seminar 22431)
10.4230/DagRep.12.10.166
-
Khalid Al-Khatib, Anita de Waard, Dayne Freitag, Iryna Gurevych, Yufang Hou, and Harrisen Scells
Towards a Unified Model of Scholarly Argumentation (Dagstuhl Seminar 22432)
10.4230/DagRep.12.10.175
-
Luce Brotcorne, Christoph Buchheim, Dick den Hertog, and Dorothee Henke
Optimization at the Second Level (Dagstuhl Seminar 22441)
10.4230/DagRep.12.10.207
-
Timothy Kluthe, Brett A. Becker, Christopher D. Hundhausen, Ciera Jaspan, Andreas Stefik, and Thomas Zimmermann
Toward Scientific Evidence Standards in Empirical Computer Science (Dagstuhl Seminar 22442)
10.4230/DagRep.12.10.225