Authors: Brown, Neil, Guzdial, Mark J., Krishnamurthi, Shriram
Subject Terms: computer science education research, errors, learning progressions, programming environments, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-176165; https://drops.dagstuhl.de/opus/volltexte/2023/17616/
Authors: Bremer, Peer-Timo, Spears, Brian, Gibbs, Tom, Bussmann, Michael
Contributors: Peer-Timo Bremer and Brian Spears and Tom Gibbs and Michael Bussmann
Subject Terms: Self-driving experiments, Smart facilities, AI models, Multimodal data, Accelerated scientific discovery, AI software stack for experiments, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-192317; https://drops.dagstuhl.de/opus/volltexte/2023/19231/
Authors: Bevan, David
Subject Terms: algorithms, counting and sampling, modeling, permutation patterns, statistical physics, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-192289; https://drops.dagstuhl.de/opus/volltexte/2023/19228/
Subject Terms: Bug Finding, Coverage, ML4SE, Oracles, Software Testing, Software Verification, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-192308; https://drops.dagstuhl.de/opus/volltexte/2023/19230/
Contributors: Tinne Tuytelaars and Bing Liu and Vincenzo Lomonaco and Gido van de Ven and Andrea Cossu
Subject Terms: continual learning, incremental learning, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-192298; https://drops.dagstuhl.de/opus/volltexte/2023/19229/
Authors: Jacobs, Swen, McMillan, Kenneth, Samanta, Roopsha, Sergey, Ilya
Contributors: Swen Jacobs and Kenneth McMillan and Roopsha Samanta and Ilya Sergey
Subject Terms: Deductive Verification, Distributed Algorithms, Formal Verification, Model Checking, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-192278; https://drops.dagstuhl.de/opus/volltexte/2023/19227/
Authors: Mahajan, Meena, Santhanam, Rahul, Tantau, Till, Paraashar, Manaswi
Subject Terms: circuit complexity, communication complexity, computational complexity, lower bounds, randomness, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-192261; https://drops.dagstuhl.de/opus/volltexte/2023/19226/
Contributors: Karthikeyan Bhargavan and Jonathan Protzenko and Andreas Rossberg and Deian Stefan
Subject Terms: Compilation, Formal methods, Programming languages, Verification, Virtual machines, WebAssembly, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-192255; https://drops.dagstuhl.de/opus/volltexte/2023/19225/
Authors: Boll, Susanne, Bidwell, Nicola, Hassenzahl, Marc, Neuhaus, Robin
Subject Terms: Dagstuhl Perspectives Workshop, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191853; https://drops.dagstuhl.de/opus/volltexte/2023/19185/
Subject Terms: Computing infrastructure, Configuration, Program analysis, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191836; https://drops.dagstuhl.de/opus/volltexte/2023/19183/
Authors: Becker, Aaron, Kostitsyna, Irina, Patitz, Matthew J., Woods, Damien, Chatzigiannakis, Ioannis
Subject Terms: computational geometry, distributed algorithms, DNA computing, programmable matter, swarm robotics, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191848; https://drops.dagstuhl.de/opus/volltexte/2023/19184/
Contributors: Olivier Boissier and Andrei Ciortea and Andreas Harth and Alessandro Ricci and Danai Vachtsevanou
Subject Terms: Web Architecture, Web of Things, Semantic Web, Linked Data, Multi-Agent Systems, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191820; https://drops.dagstuhl.de/opus/volltexte/2023/19182/
Contributors: Vincent Fortuin and Yingzhen Li and Kevin Murphy and Stephan Mandt and Laura Manduchi
Subject Terms: deep generative models, representation learning, generative modeling, neural data compression, out-of-distribution detection, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191817; https://drops.dagstuhl.de/opus/volltexte/2023/19181/
Contributors: Karsten Klein and Stephen Kobourov and Bernice E. Rogowitz and Danielle Szafir and Jacob Miller
Subject Terms: Network Visualization, Graph Drawing, Perception, Cognition, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191220; https://drops.dagstuhl.de/opus/volltexte/2023/19122/
Authors: Amerini, Irene, Rocha, Anderson, Rosin, Paul L., Sun, Xianfang
Contributors: Irene Amerini and Anderson Rocha and Paul L. Rosin and Xianfang Sun
Subject Terms: Digital forensics, Image and video authentication, Image and video forensics, Image and video forgery detection, Tampering detection, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191177; https://drops.dagstuhl.de/opus/volltexte/2023/19117/
Contributors: Martin Farach-Colton and Fabian Daniel Kuhn and Ronitt Rubinfeld and Przemys?aw Uzna?ski
Subject Terms: external memory, local algorithms, sublinear algorithms, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191809; https://drops.dagstuhl.de/opus/volltexte/2023/19180/
Authors: Pradel, Michael, Ray, Baishakhi, Sutton, Charles, Yahav, Eran
Contributors: Michael Pradel and Baishakhi Ray and Charles Sutton and Eran Yahav
Subject Terms: ML4PL, ML4SE, Neural Software Analysis, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191799; https://drops.dagstuhl.de/opus/volltexte/2023/19179/
Subject Terms: scheduling, mathematical optimization, approximation algorithms, learning methods, uncertainty, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191789; https://drops.dagstuhl.de/opus/volltexte/2023/19178/
Contributors: Katrien De Moor and Markus Fiedler and Ashok Jhunjhunwala and Alexander Raake
Subject Terms: Design for Sustainability, Digitalisation, Human-Computer Interaction, Information and Communication Technology, Wellbeing, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191212; https://drops.dagstuhl.de/opus/volltexte/2023/19121/
Contributors: Erika Abraham and Stefan Hallerstede and John Hatcliff and Danielle Stewart and Noah Abou El Wafa
Subject Terms: cyber-physical systems, formal methods, rigorous modelling and analysis, systems engineering, Data processing Computer science
File Description: application/pdf
Relation: urn:nbn:de:0030-drops-191209; https://drops.dagstuhl.de/opus/volltexte/2023/19120/