Publikationen

2020

• Finding Small Proofs for Description Logic Entailments: Theory and PracticeAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. S. 32-67, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• First Results on How to Certify Subsumptions Computed by the 𝓔𝓛 Reasoner ELK Using the Logical Framework with Side ConditionsBaader, F., Koopmann, P. & Tinelli, C., 2020, DL 2020 - Description Logics 2020: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). RTWH AachenElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From Features to RolesChrszon, P., Dubslaff, C., Klüppelholz, S. & Baier, C., 2020, SPLC '20: Proceedings of the 24th ACM Conference on Systems and Software Product Line. Ali, S., Assunção, W. K. G., Berger, T., Cetina, C., Collet, P., Galindo, J., Gazzillo, P., Linsbauer, L., Lopez-Herrejon, R. E., Nadi, S., Schulze, S. & Trujillo, S. (Hrsg.). Association for Computing Machinery (ACM), New York, Band A. 19Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Full Approximation of Deep Neural Networks through Efficient Optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, 2020 IEEE International Symposium on Circuits and Systems (ISCAS). Institute of Electrical and Electronics Engineers (IEEE), 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Give Inconsistency a Chance: Semantics for Ontology-Mediated VerificationDubslaff, C., Koopmann, P. & Turhan, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020). CEUR-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Guest Editorial Note: Special Issue on Applied Reconfigurable ComputingKeramidas, G., Voros, N., Hübner, M. & Göhringer, D., 2020, in: Journal of Signal Processing Systems. 92, 10, S. 1153–1154Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• Hardness of Network Satisfaction for Relation Algebras with Normal Representations.Bodirsky, M. & Knäuer, S., 2020, RAMiCS. S. 31-46, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Hardware-Oblivious SIMD Parallelism for In-Memory Column-Stores.Ungethüm, A., Pietrzyk, J., Damme, P., Krause, A., Habich, D., Lehner, W. & Focht, E., 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Hardware/Software Co-design for the Signal Processing of Dielectric Materials CharacterizationKamaleldin, A., Wagner, J., Rolfes, I., Barowski, J. & Göhringer, D., 2020, S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Improving approximate neural networks for perception tasks through specialized optimization.Parra, C. D. L., Guntoro, A. & Kumar, A., 2020, in: Future generation computer systems. 113, S. 597-606, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Indoor THz SAR Trajectory Deviations Effects and Compensation With Passive Sub-mm Localization SystemBatra, A., El-Absi, M., Wiemeler, M., Göhringer, D. & Kaiser, T., 2020, in: IEEE Access. S. 177519-177533, 15 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Inklusion benötigt verschiedene Prozesse: Aktivitäten und Strategien an der TU DresdenHähne, C., Marquardt, G., Rudolph, E., Schmidt, H. J., Weber, G. & Wegner, G., 2020, in: Zeitschrift für Hochschulentwicklung. 15, 3, S. 363-376, 14 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Input & Output Standardization EffortsHuebl, A., Lehe, R., Vay, J. -., Thevenet, M., Grote, D. P., Sbalzarini, I. F., Kuschel, S. & 5 weitere, 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Abstract
• In Situ Visualization of Performance-Related Data in Parallel CFD ApplicationsAlves, R. F. & Knüpfer, A., 2020, Euro-Par 2019: Parallel Processing Workshops - International Workshops, Revised Selected Papers. Schwardmann, U., Boehme, C., B. Heras, D., Cardellini, V., Jeannot, E., Salis, A., Schifanella, C., Manumachu, R. R., Schwamborn, D., Ricci, L., Sangyoon, O., Gruber, T., Antonelli, L. & Scott, S. L. (Hrsg.). Springer, S. 400-412, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Integrating Haptic Signals with V2X-based Safety Systems for Vulnerable Road UsersOczko, M., Stratmann, L., Franke, M., Heinovski, J., Buse, D. S., Klingler, F. & Dressler, F., 2020, IEEE International Conference on Computing, Networking and Communications (ICNC 2020). Big Island, HI: Institute of Electrical and Electronics Engineers (IEEE), S. 692-697, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Integrating Lightweight Compression Capabilities into Apache ArrowHildebrandt, J., Habich, D. & Lehner, W., 2020, DATA 2020 - Proceedings of the 9th International Conference on Data Science, Technology and Applications. Hammoudi, S., Quix, C. & Bernardino, J. (Hrsg.). SCITEPRESS - Science and Technology Publications, S. 55-66, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• In the Eye of the Beholder: Which Proofs are Best?Borgwardt, S., Hirsch, A., Kovtunova, A. & Wiehr, F., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020) Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• In the Eye of the Beholder: Which Proofs are Best? (Extended Abstract)Borgwardt, S., Hirsch, A., Kovtunova, A. & Wiehr, F., 2020, Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Introducing FPGA-based Machine Learning on the Edge to Undergraduate Students.Panicker, R. C., Kumar, A. & John, D., 2020, FIE. S. 1-5, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Introducing Mobile Device-Based Interactions to Users: An Investigation of Onboarding TutorialsKorzetz, M., Kühn, R., Büschel, L., Schumann, F., Aßmann, U. & Schlegel, T., 2020, Human-Computer Interaction. Multimodal and Natural Interaction: Thematic Area, HCI 2020, Held as Part of the 22nd International Conference, HCII 2020, Proceedings. Kurosu, M. (Hrsg.). Springer, S. 428-442, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Investigating Mobile Device-Based Interaction Techniques for Collocated MergingKühn, R., Korzetz, M., Kallenbach, F., Kegel, K., Aßmann, U. & Schlegel, T., 2020, Learning and Collaboration Technologies. Designing, Developing and Deploying Learning Experiences: 7th International Conference, LCT 2020, Held as Part of the 22nd HCI International Conference, HCII 2020, Proceedings. Zaphiris, P. & Ioannou, A. (Hrsg.). Springer, S. 92-108, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• L2L: A Highly Accurate Log_2_Lead Quantization of Pre-trained Neural Networks.Ullah, S., Gupta, S., Ahuja, K., Tiwari, A. & Kumar, A., 2020, DATE. S. 979-982, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• LeAp: Leading-one Detection-based Softcore Approximate Multipliers with Tunable Accuracy.Ebrahimi, Z., Ullah, S. & Kumar, A., 2020, ASP-DAC. S. 605-610, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Learning Generalizable Locomotion Skills with Hierarchical Reinforcement Learning.Li, T., Lambert, N. O., Calandra, R., Meier, F. & Rai, A., 2020, ICRA. S. 413-419, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Lehramtsstudierende mit Mikrofortbildungen aktiv auf den Beruf vorbereitenDamnik, G., Riebeck, S., Hoffmann, F., Nenner, C. & Bergner, N., 2020, Seamless Learning – lebenslanges, durchgängiges Lernen ermöglichen. Müller Werder, C. & Erlemann, J. (Hrsg.). Waxmann Verlag GMBH, S. 159-163, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband