Publikationen

2022

• In the Head of the Beholder: Comparing Different Proof RepresentationsAlrabbaa, C., Borgwardt, S., Hirsch, A., Knieriemen, N., Kovtunova, A., Rothermel, A. M. & Wiehr, F., 2022, Proceedings of the 6th International Joint Conference on Rules and Reasoning (RuleML+RR’22). Governatori, G. & Turhan, A. (Hrsg.). Springer, Berlin [u. a.], S. 211-226, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• KARaML: Integrating Knowledge-Based and Machine Learning Approaches to Solve the Winograd Schema ChallengeHong, S. J., Bennett, B., Clymo, J. & Álvarez, L. G., 2022, Proceedings of the AAAI 2022 Spring Symposium on Machine Learning and Knowledge Engineering for Hybrid Intelligence (AAAI-MAKE 2022). Martin, A., Hinkelmann, K., Fill, H., Gerber, A., Lenat, D., Stolle, R. & Harmelen, F. V. (Hrsg.). CEUR-WS.org, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Konzeption eines Setups für VR-gestützte 360°-Unterrichtsbeobachtung im TeachingLab.Baberowski, D., Leonhardt, T. & Bergner, N., 2022, DeLFI Workshops. S. 183-189, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Logic-Guided Message Generation from Raw Real-Time Sensor DataChang, E., Kovtunova, A., Borgwardt, S., Demberg, V., Chapman, K. & Yeh, H., 2022, Proceedings of the 13th Language Resources and Evaluation Conference (LREC’22). Calzolari, N., Bechet, F., Blache, P., Choukri, K., Cieri, C., Declerck, T., Goggi, S., Isahara, H., Maegaard, B., Mariani, J., Mazo, H., Odijk, J. & Piperidis, S. (Hrsg.).S. 6899-6908, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Machine Health diagnostics of Semiconductor Facility equipmentWagner, T., Hensel, B., Schneider, G., Halfter, M. & Hertel, O., 2022, Proceedings of 20th European Advanced Process Control and Manufacturing Conference (apc|m)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• MATEE: Multimodal Attestation for Trusted Execution EnvironmentsGalanou, A., Gregor, F., Kapitza, R. & Fetzer, C., 2022, S. 121-134Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Mehr als Effekthascherei: Kompetenzerwerb in der Immobilienwirtschaft mittels Virtual Reality.Dyrna, J., Diab, M., Bohn, T., Liebscher, M., Herchet, M. & Brade, M., 2022, Wettbewerbsband AVRiL 2022. Söbke, H. & Zender, R. (Hrsg.). Bonn: Gesellschaft für Informatik e.V., S. 23-31, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Model-based Generation of Hardware/Software Architectures for Robotics SystemsPodlubne, A., Mey, J., Pertuz Mendez, S. A., Aßmann, U. & Göhringer, D., 2022, Proceedings - 2022 32nd International Conference on Field-Programmable Logic and Applications, FPL 2022. Institute of Electrical and Electronics Engineers (IEEE), S. 153-159, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modeling FPGA-based Architectures for RoboticsPodlubne, A. & Göhringer, D., 2022, S. 1-4Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Multi-Precision Deep Neural Network Acceleration on FPGAsNeda, N., Ullah, S., Ghanbari, A., Mahdiani, H., Modarressi, M. & Kumar, A., 2022, 2022 27th Asia and South Pacific Design Automation Conference (ASP-DAC). Institute of Electrical and Electronics Engineers (IEEE), S. 454-459, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• NetPU: Prototyping a Generic Reconfigurable Neural Network Accelerator Architecture.Liu, Y., Rai, S., Ullah, S. & Kumar, A., 2022, FPT 2022 - 21st International Conference on Field-Programmable Technology, Proceedings. Institute of Electrical and Electronics Engineers (IEEE), S. 1, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Novice-friendly Feedback for Python Tasks in ArTEMiS.Kazimiers, A., Morgenstern, M., Leonhardt, T. & Bergner, N., 2022, DeLFI Workshops. S. 235-241, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Eve of True Explainability for OWL Ontologies: Description Logic Proofs with Evee and EvonneAlrabbaa, C., Borgwardt, S., Friese, T., Koopmann, P., Méndez, J. & Popovic, A., 2022, Proceedings of the 35th International Workshop on Description Logics (DL 2022)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the First-Order Rewritability of Ontology-Mediated Queries in Linear Temporal Logic (Extended Abstract).Artale, A., Kontchakov, R., Kovtunova, A., Ryzhikov, V., Wolter, F. & Zakharyaschev, M., 2022, Proceedings of the 31st International Joint Conference on Artificial Intelligence, IJCAI 2022. De Raedt, L. & De Raedt, L. (Hrsg.). ijcai.org, S. 5703-5707, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On the Foundations of Cycles in Bayesian NetworksBaier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J., Chatterjee, K., Doyen, L. & Majumdar, R. (Hrsg.). Springer, Cham, S. 343-363, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Parameterizable mobile workloads for adaptable base station optimizationsRobledo, J. & Castrillon, J., 2022, Proceedings - 2022 IEEE 15th International Symposium on Embedded Multicore/Many-Core Systems-on-Chip, MCSoC 2022. Institute of Electrical and Electronics Engineers (IEEE), S. 381-386, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Pattern Recognition: 44th DAGM German Conference, DAGM GCPR 2022, Konstanz, Germany, September 27-30, 2022, ProceedingsAndres, B., Bernard, F., Cremers, D., Frintrop, S., Goldlücke, B. & Ihrke, I., 2022, Springer, Cham, 608 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
• Peak-Power Aware Life-Time Reliability Improvement in Fault-Tolerant Mixed-Criticality SystemsNavardi, M., Ranjbar, B., Rohbani, N., Ejlali, A. & Kumar, A., 2022, in: IEEE Open Journal of Circuits and Systems. 3, S. 199-215, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• PosAx-O: Exploring Operator-level Approximations for Posit Arithmetic in Embedded AI/ML.Immaneni, A., Ullah, S., Nambi, S., Sahoo, S. S. & Kumar, A., 2022, Proceedings - 2022 25th Euromicro Conference on Digital System Design, DSD 2022. Fabelo, H., Ortega, S. & Skavhaug, A. (Hrsg.).S. 214-223, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Potenziale und Herausforderungen Energieautonomer Sensorsysteme für den Einsatz in sensorintegrierenden MaschinenelementenHofmann, K., Keil, F., Matthiesen, S., Gwosch, T., Kupnik, M., Kirchner, E., Göhringer, D. & 2 weitere, 2022, EASS 2022 Energieautonome Sensorsysteme 2022: Beiträge der 11. GMM-Fachtagung, 5. – 6. Juli 2022 in Erfurt. Schecker, O. (Hrsg.). VDE Verlag, Berlin [u. a.], S. 36-38, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rational Defeasible Subsumption in DLs with Nested Quantifiers: the Case of ELI_⊥de Camargo e Souza Câmara, I. & Turhan, A., 2022, NMR 2022 International Workshop on Non-Monotonic Reasoning 2022: Proceedings of the 20th International Workshop on Non-Monotonic Reasoning. Arieli, O., Casini, G. & Giordano, L. (Hrsg.).S. 159-162, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• RBPMN - The Power of Roles for Business Process Modeling with BPMNSkouti, T., Furrer, F. J. & Strahringer, S., 2022, Enterprise, Business-Process and Information Systems Modeling. Cham: Springer International Publishing, Band 450. S. 29-42, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Reduced-Precision Acceleration of Radio-Astronomical Imaging on Reconfigurable HardwareCorda, S., Veenboer, B., Awan, A. J., Romein, J. W., Jordans, R., Kumar, A., Boonstra, A. J. & 1 weitere, 2022, in: IEEE access. 10, 10, S. 22819-22843, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Restricted Unification in the Description Logic 𝓕𝓛⊥Baader, F. & Gil, O. F., 2022, Proceedings of the 36th International Workshop on Unification (UNIF 2022). Cerna, D. M. & Morawska, B. (Hrsg.). Haifa, IsraelPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Rethinking Assessment with Automatic Item Generation.Braun, I., Damnik, G. & Baum, H., 2022, Inted2022 Proceedings. S. 1176-1180Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband