Publikationen

2019

• Ein servicebasierter Ansatz für das Management von beschränkt erreichbaren IoT-GerätenSoler Perez Olaya, S., Hilbert, F. & Wollschlaeger, M., 2019, S. 61-73, 13 S.Publikation: Beitrag zu Konferenzen > Paper
• EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interfaceStrass, H., Wyner, A. Z. & Diller, M., 2019, in: International journal of approximate reasoning. 112, S. 55-84, 30 S.Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Energy Efficiency Features of the Intel Skylake-SP Processor and Their Impact on PerformanceSchöne, R., Ilsche, T., Bielert, M., Gocht, A. & Hackenberg, D., 2019Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Explaining Data with Formal Concept AnalysisGanter, B., Rudolph, S. & Stumme, G., 2019, Reasoning Web. Explainable Artificial Intelligence - 15th International Summer School 2019, Bolzano, Italy, September 20-24, 2019, Tutorial Lectures.. Krötzsch, M. & Stepanova, D. (Hrsg.). Springer, Berlin [u. a.], S. 153-195, 43 S., (LNCS)Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Exploiting Emerging Reconfigurable Technologies for Secure Devices.Rupani, A., Rai, S. & Kumar, A., 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). IEEE Xplore, S. 668-671, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Explore Freddy: Fast word embeddings in database systemsGünther, M., Yanakiev, Z., Thiele, M. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (Hrsg.). Gesellschaft fur Informatik (GI), S. 529-532, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Expressive cardinality constraints on ALCSCC conceptsBaader, F., 2019, SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing. S. 1123-1130, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Expressive Cardinality Restrictions on Concepts in a Description Logic with Expressive Number RestrictionsBaader, F., 2019, in: ACM SIGAPP Applied Computing Review. 19, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Fast approximated nearest neighbor joins for relational database systemsGünther, M., Thiele, M. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (Hrsg.). Gesellschaft fur Informatik (GI), S. 225-244, 20 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Fighting the duplicates in hashing: Conflict Detection-aware Vectorization of Linear ProbingPietrzyk, J., Ungethüm, A., Habich, D. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 and 18. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", DBIS 2019. Grust, T., Naumann, F., Bohm, A., Lehner, W., Harder, T., Rahm, E., Heuer, A., Klettke, M. & Meyer, H. (Hrsg.). Gesellschaft fur Informatik (GI), S. 35-53, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxesBorgwardt, S., Forkel, W. & Kovtunova, A., 2019, Rules and Reasoning - Third International Joint Conference (RuleML+RR 2019). S. 3-18, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finishing Perspective (Endbehandlung Perspektive)Franke, I. S., Linke, M. & Bendicks, C., 2019Publikation: Beitrag zu Konferenzen > Paper
• First investigations of the vector supercomputer SX-Aurora Tsubasa as a co-processor for database systemsPietrzyk, J., Habich, D., Damme, P. & Lehner, W., 2019, Datenbanksysteme fur Business, Technologie und Web, BTW 2019 Workshopband - Proceedings. Meyer, H., Ritter, N., Thor, A., Nicklas, D., Heuer, A. & Klettke, M. (Hrsg.). Gesellschaft fur Informatik (GI), S. 33-50, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks.Turcanu, I., Engel, T. & Sommer, C., 2019, 11th IEEE Vehicular Networking Conference (VNC 2019). S. 1-8, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FPGA-ROS: Methodology to Augment the Robot Operating System with FPGA DesignsPodlubne, A. & Göhringer, D., 2019, S. 1-5Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion EntailmentCarral, D., González, L. & Koopmann, P., 2019, The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019. S. 2736-2743, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From Horn-SRIQ to Datalog: A Data-Independent Transformation that Preserves Assertion Entailment (Abstract)Carral, D., González, L. & Koopmann, P., 2019, Proceedings of the 32nd International Workshop on Description Logics (DL 2019)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating AutomataJantsch, S., Müller, D., Baier, C. & Klein, J., 2019, Formal Methods – The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7–11, 2019, Proceedings. ter Beek, M. H., McIver, A. & Oliveira, J. N. (Hrsg.). Springer, Berlin [u. a.], S. 262-279, 18 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Generic Emptiness Check for Fun and ProfitBaier, C., Blahoudek, F., Duret-Lutz, A., Klein, J., Müller, D. & Strejček, J., 2019, Automated Technology for Verification and Analysis: 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings. Chen, Y., Cheng, C. & Esparza, J. (Hrsg.). Springer, Berlin [u. a.], S. 445–461Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Greifbares Lernen von Informatikinhalten - Aktive Tangibles auf kapazitiven Multitouch-TischenLeonhardt, T. & Ehlenz, M., 2019, DELFI 2019. Pinkwart, N. & Konert, J. (Hrsg.). Bonn: Gesellschaft für Informatik eV, S. 303-304, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Guest Editorial -- Advances and Novel Applications of Mobile Wireless NetworkingSommer, C. & Basagni, S., 2019, in: Ad Hoc NetworksElektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Leitartikel (Editorial)
• Hardware/Software-Codesign for Hand Gestures Recognition using a Convolutional Neural NetworkSaid, S., Kalms, L., Göhringer, D. & Abd El Ghany, M. A., 2019, S. 23-28, 6 S.Publikation: Beitrag zu Konferenzen > Paper
• Hardware Watermarking Using Polymorphic Inverter Designs Based On Reconfigurable Nanotechnologies.Rai, S., Rupani, A., Nath, P. & Kumar, A., 2019, ISVLSI. S. 663-669, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• HiFlipVX: An Open Source High-Level Synthesis FPGA Library for Image ProcessingKalms, L., Podlubne, A. & Göhringer, D., 2019, S. 149-164, 16 S.Publikation: Beitrag zu Konferenzen > Paper
• High-Throughput BitPacking Compression.Lisa, N. J., Nguyen, T. D. A., Habich, D., Kumar, A. & Lehner, W., 2019, 2019 22nd Euromicro Conference on Digital System Design (DSD). S. 643-646, 4 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband