Publikationen

2020

• Checking Chase Termination over Ontologies of Existential Rules with EqualityCarral, D. & Urbani, J., 1 Feb. 2020, Proceedings of the 34rd Conference on Artificial Intelligence (AAAI 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Design and results of the second international competition on computational models of argumentationGaggl, S. A., Linsbichler, T., Maratea, M. & Woltran, S., 1 Feb. 2020, in: Artificial intelligence. 279Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Designing IT Curriculum to Foster Self-Regulated Learning through Peer Instruction and Audience Response SystemsHara, T., Luntovskyy, A., Braun, I. & Kubica, T., 1 Feb. 2020, Proceedings - 15th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering, TCSET 2020Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Relational reference attribute grammars: Improving continuous model validation.Mey, J., Schöne, R., Hedin, G., Söderberg, E., Kühn, T., Fors, N., Öqvist, J. & 1 weitere, 20 Jan. 2020, in: Journal of Computer Languages. 57, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Big-Data Analytics transformiert die LebenswissenschaftenSbalzarini, I. F., 1 Jan. 2020, in:  Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 42, 6, S. 394-400, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• One-Variable Logic Meets Presburger ArithmeticBednarczyk, B., 1 Jan. 2020, in: Theoretical computer science : the journal of the EATCS. 802, 141-146Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Solving Advanced Argumentation Problems with Answer Set ProgrammingBrewka, G., Diller, M., Heissenberger, G., Linsbichler, T. & Woltran, S., 1 Jan. 2020, in: Theory and practice of logic programming. 20, 3, S. 391–431, 41 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• System noise of a digital pulse processing module for nuclear instrumentationMa, Y., Fischer, W., Henniger, J., Weinberger, D. & Kormoll, T., 1 Jan. 2020, ANIMMA 2019 – Advancements in Nuclear Instrumentation Measurement Methods and their Applications. Lyoussi, A., Giot, M., Carette, M., Jenčič, I., Reynard-Carette, C., Vermeeren, L., Snoj , L. & Le Dû, P. (Hrsg.).S. 01012Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Büchi-Elgot-Trakhtenbrot theorem for automata with MSO graph storageEngelfriet, J. & Vogler, H., 2020, in: Discrete Mathematics and Theoretical Computer Science. #3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• AccessibleMaps: Addressing Gaps in Maps for People with Visual and Mobility ImpairmentsLoitsch, C., Müller, K., Engel, C., Weber, G. & Stiefelhagen, R., 2020, Lecture Notes in Computer ScienceElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A CORDIC Based Configurable Activation Function for ANN Applications.Raut, G., Rai, S., Vishvakarma, S. K. & Kumar, A., 2020, ISVLSI. S. 78-83, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Active Learning for Spreadsheet Cell ClassificationGonsior, J., Rehak, J., Thiele, M., Koci, E., Günther, M. & Lehner, W., 2020, Proceedings of the Workshops of the EDBT/ICDT 2020 Joint Conference, Copenhagen, Denmark, March 30, 2020. Poulovassilis, A. (Hrsg.).6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Active MR k-space Sampling with Reinforcement LearningPineda, L., Basu, S., Romero, A., Calandra, R. & Drozdzal, M., 2020, Medical Image Computing and Computer Assisted Intervention – MICCAI 2020 - 23rd International Conference, Proceedings. Martel, A. L., Abolmaesumi, P., Stoyanov, D., Mateus, D., Zuluaga, M. A., Zhou, S. K., Racoceanu, D. & Joskowicz, L. (Hrsg.). Springer, Berlin [u. a.], S. 23-33, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Normsvan Berkel, K., Lyon, T. & Olivieri, F., 2020, Logic and Argumentation. Dastani, M., Dong, H. & van der Torre, L. (Hrsg.). Cham: Springer International Publishing AG, S. 219-241, 23 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Design Kit for Mobile Device-Based Interaction TechniquesKorzetz, M., Kühn, R., Aßmann, U. & Schlegel, T., 2020, HCI International 2020 - Posters: 22nd International Conference, HCII 2020, Proceedings. Stephanidis, C. & Antona, M. (Hrsg.). Springer, S. 52-59, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Advances in Using Grammars with Latent Annotations for Discontinuous ParsingGebhardt, K., 2020, Proceedings of the 16th International Conference on Parsing Technologies and the IWPT 2020 Shared Task on Parsing into Enhanced Universal Dependencies. Online: The Association for Computational Linguistics, S. 91-97, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Adversarial Continual LearningEbrahimi, S., Meier, F., Calandra, R., Darrell, T. & Rohrbach, M., 2020, Computer Vision – ECCV 2020 - 16th European Conference, 2020, Proceedings. Vedaldi, A., Bischof, H., Brox, T. & Frahm, J. (Hrsg.). Springer, Berlin [u. a.], S. 386-402, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• AITIA: Embedded AI Techniques for Embedded Industrial ApplicationsBrandalero, M., Ali, M., Le Jeune, L., Hernandez, H. G. M., Veleski, M., da Silva, B., Lemeire, J. & 7 weitere, 2020, S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• A Lightweight Defeasible Description Logic in Depth: Quantification in Rational Reasoning and BeyondPensel, M., 2020, in: KI - Künstliche Intelligenz. 34, S. 527-531Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• ALigN: A Highly Accurate Adaptive Layerwise Log_2_Lead Quantization of Pre-Trained Neural Networks.Gupta, S., Ullah, S., Ahuja, K., Tiwari, A. & Kumar, A., 2020, in: IEEE access. 8, S. 118899-118911, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• An Approach to Support Interactive Activities in Live Stream Lectures.Kubica, T., Hara, T., Braun, I. & Schill, A., 2020, S. 432-436Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• An Approximate Binary Classifier for Data Integrity Assessment in IoT Sensors.John, A., Ullah, S., Kumar, A., Cardiff, B. & John, D., 2020, 2020 27th IEEE International Conference on Electronics, Circuits and Systems (ICECS). IEEE, S. 1-4, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Anknüpfungspunkte zur Integration informatischer Inhalte und Kompetenzen in der Grundschule am Beispiel sächsischer LehrpläneNenner, C., Damnik, G. & Bergner, N., 2020, Gemeinschaften in Neuen Medien. Von hybriden Realitäten zu hybriden Gemeinschaften.: 23. Workshop GeNeMe‘20 Gemeinschaften in Neuen Medien. Köhler, T., Schoop, E. & Kahnwald, N. (Hrsg.).S. 370-376, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• A Practical Approach for Updating an Integrity-Enforced Operating SystemOzga, W., Quoc, D. L. & Fetzer, C., 2020, in: Middleware '20: 21st International Middleware Conference. 2020, S. 311–325Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Konferenzartikel
• A role-based architecture for self-adaptive cyber-physical systems.Kluge, T., 2020, SEAMS@ICSE. S. 120-124, 5 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband