Learning to Defer with Limited Expert Predictions Hemmer, P.; Thede, L.; Vössing, M.; Jakubik, J.; Kühl, N. 2023. Proceedings of the 37th AAAI Conference on Artificial Intelligence, Washington, DC, February 7-14, 2023
MonTM: Monitoring-Based Thermal Management for Mixed-Criticality Systems Mettler, M.; Rapp, M.; Khdr, H.; Mueller-Gritschneder, D.; Henkel, J.; Schlichtmann, U. 2023. 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (PARMA-DITAM 2023), Ed.: J. Bispo, Art.-Nr.: 5, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (LZI). doi:10.4230/oasics.parma-ditam.2023.5
Metadata Extraction and Mapping Service Joseph, R. E.; Vitali, E. G. G.; Kirar, A.; Aversa, R. 2023, April 14. National Research Data Infrastructure for Materials Science and Engineering TA-MDI Working Meeting RWTH Aachen (NFDI-MatWerk 2023), Aachen, Germany, April 12–14, 2023
Unsatisfiability proofs for distributed clause-sharing SAT solvers Michaelson, D.; Schreiber, D.; Heule, M. J. H.; Kiesl-Reiter, B.; Whalen, M. W. 2023. Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. Ed. by Sriram Sankaranarayanan, 348–366, Springer Nature Switzerland. doi:10.1007/978-3-031-30823-9_18
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft