Publikationen

2020

• 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
• Lehren und Lernen in der digitalen Welt – ein Lernangebot für zukünftige Lehrkräfte im Blended-Learning-FormatDamnik, 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.). Münster: Waxmann, S. 49-57, 9 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• LETHE: Forgetting and Uniform Interpolation for Expressive Description LogicsKoopmann, P., 2020, in: KI - Künstliche Intelligenz. 34, 3, S. 381–387Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Lexicalization of Probabilistic Linear Context-free Rewriting SystemsMörbitz, R. & Ruprecht, T., 2020, Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies. S. 98-104, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Low Power Scheduling of Periodic Hardware Tasks in Flash-Based FPGAsWulf, C., Willig, M. & Göhringer, D., 2020Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Markov Chain-based Modeling and Analysis of Checkpointing with Rollback Recovery for Efficient DSE in Soft Real-time Systems.Sahoo, S. S., Veeravalli, B. & Kumar, A., 2020, DFT. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Maximizing the Serviceability of Partially Reconfigurable FPGA Systems in Multi-tenant Environment.Nguyen, T. D. A. & Kumar, A., 2020, FPGA. S. 29-39, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Metric Temporal Description Logics with Interval-Rigid NamesBaader, F., Borgwardt, S., Koopmann, P., Ozaki, A. & Thost, V., 2020, in: ACM transactions on computational logic. 21, 4, 46 S., 30Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Minimal witnesses for probabilistic timed automataJantsch, S., Funke, F. & Baier, C., 2020, Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Van Hung, D. & Sokolsky, O. (Hrsg.). Springer, Berlin [u. a.], S. 501-517, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Modelling the Polysemy of Spatial Prepositions in Referring ExpressionsRichard-Bollans, A., Álvarez, L. G. & Cohn, A., 2020, Proceedings of the 17th International Conference on the Principles of Knowledge Representation and Reasoning (KR'20). Calvanese, D., Erdem, E. & Thielscher, M. (Hrsg.).Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• MorphStore: Analytical Query Engine with a Holistic Compression-Enabled Processing ModelDamme, P., Ungethüm, A., Pietrzyk, J., Krause, A., Habich, D. & Lehner, W., 2020, in: Proceedings of the VLDB Endowment. 13, 12, S. 2396-2410Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and SatisfiabilityFeng, S., Carapelle, C., Fernandez Gil, O. & Quaas, K., 2020, in: ACM Transactions on Computational Logic : TOCL. 21, 2, S. 1-34, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Objective Mismatch in Model-based Reinforcement LearningLambert, N., Amos, B., Yadan, O. & Calandra, R., 2020, in: Proceedings of Machine Learning Research. 120, S. 761-770, 10 S.Publikation: Beitrag in Fachzeitschrift > Konferenzartikel
• OmniTact: A Multi-Directional High-Resolution Touch Sensor.Padmanabha, A., Ebert, F., Tian, S., Calandra, R., Finn, C. & Levine, S., 2020, ICRA. S. 618-624, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• On A Notion of RelevanceHaifani, F., Koopmann, P., Tourret, S. & Weidenbach, C., 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
• On Deriving Nested Calculi for Intuitionistic Logics from Semantic SystemsLyon, T. S., 2020, Logical Foundations of Computer Science. Artemov, S. & Nerode, A. (Hrsg.). Cham: Springer International Publishing AG, S. 177-194, 18 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband