Publikationen
Im Folgenden finden Sie einige Informationen zu Publikationen der Fakultät, welche über das Forschungsinformationssystem zur Verfügung gestellt werden. Darüber hinaus finden Sie vollständige Listen der Publikationen und Veröffentlichungen auch über die Webseiten der jeweiligen Institute und Professuren.
3545 Einträge
2021
-
Internet of Skills , Jan. 2021, Tactile Internet: with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). London, S. 75-99, 25 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. , Jan. 2021, in: J. Artif. Intell. Res.. 70, S. 1-64, 64 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Preface , Jan. 2021, 29th EACSL Annual Conference on Computer Science Logic. Baier, C. & Goubault-Larrecq, J. (Hrsg.).2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Vor-/Nachwort
-
13th IEEE Vehicular Networking Conference, VNC 2021, Ulm, Germany, November 10-12, 2021 , 2021, IEEE, (VNC)Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
26th International Symposium on Vision, Modeling, and Visualization, VMV 2021: Technische Universität Dresden, Germany (Virtual Meeting) September 27 — 28, 2021 , 2021, The Eurographics AssociationElektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
29th EACSL Annual Conference on Computer Science Logic: CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference) , 2021, Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 734 S.Elektronische (Volltext-)VersionPublikation: Buch/Gutachten/Sammelbände > Konferenz-/Tagungsband
-
Abduction in EL via Translation to FOL , 2021, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). CEUR-WS, Band 3009. S. 46-58, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Case for Practical Configuration Management Using Hardware-based Security Tokens , 2021, Seventh Annual Industrial Control System Security (ICSS) Workshop. S. 1-8, 8 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Accelerated High-Level Synthesis Feature Detection for FPGAs Using HiFlipVX , 2021, Towards Ubiquitous Low-power Image Processing Platforms (TULIPP). S. 115-135, 21 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Active 3D Shape Reconstruction from Vision and Touch. , 2021, Advances in Neural Information Processing Systems 34 - 35th Conference on Neural Information Processing Systems, NeurIPS 2021. Ranzato, M., Beygelzimer, A., Dauphin, Y., Liang, P. S. & Wortman Vaughan, J. (Hrsg.).S. 16064-16078, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Active replication for latency-sensitive stream processing in Apache Flink , 2021, S. 56-66, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic , 2021, Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings: 13th International Symposium, FroCoS 2021 Birmingham, UK, September 8–10, 2021 Proceedings. Konev, B. & Reger, G. (Hrsg.). Springer, Berlin [u. a.], S. 3–24, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Advanced Python Performance Monitoring with Score-P , 2021, Tools for High Performance Computing 2018/2019. S. 261-270, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
AITIA: Embedded AI Techniques for Embedded Industrial Applications , 2021, Proceedings - 2021 31st International Conference on Field-Programmable Logic and Applications, FPL 2021. IEEE Xplore, S. 374-375, 2 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics , 2021, Logics in Artificial Intelligence - 17th European Conference, JELIA 2021, Proceedings. Faber, W., Friedrich, G., Gebser, M. & Morak, M. (Hrsg.). Cham: Springer International Publishing, Band 12678. S. 194-209, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Answering Regular Path Queries Under Approximate Semantics in Lightweight Description Logics , 2021, 35th AAAI Conference on Artificial Intelligence, AAAI 2021. AAAI Press, S. 6340-6348, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Approximated Determinisation of Weighted Tree Automata , 2021, Language and Automata Theory and Applications - 15th International Conference, LATA 2021, Proceedings: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (Hrsg.).S. 255-266, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Shift in automatic Item Generation towards more complex Tasks , 2021, INTED2021 Proceedings. S. 3235-3241Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Survey of FPGA Logic Cell Designs in the Light of Emerging Technologies. , 2021, in: IEEE access. 9, S. 91564-91574, 11 S., 9464251Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
BioCare: An Energy-Efficient CGRA for Bio-Signal Processing at the Edge , 2021, 2021 IEEE International Symposium on Circuits and Systems, ISCAS 2021 - Proceedings. IEEE Xplore, S. 1-5, 5 S., 9401461Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
BROFY: Towards Essential Integrity Protection for Microservices , 2021, S. 154-163, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Capturing Homomorphism-Closed Decidable Queries with Existential Rules , 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (Hrsg.).S. 141-150, 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Chapter 3 - Human–robot cohabitation in industry , 2021, Tactile Internet with Human-in-the-Loop. Fitzek, F. H., Li, S., Speidel, S., Strufe, T., Simsek, M. & Reisslein, M. (Hrsg.). Academic Press, S. 41-73, 33 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
-
Classical planning with avoid conditions , 2021, Proceedings of the 13th Workshop on Heuristics and Search for Domain-Independent Planning (HSDIP’21). 10 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
CLEO-CoDe: Exploiting Constrained Decoding for Cross-Layer Energy Optimization in Heterogeneous Embedded Systems. , 2021, Proceedings of the 2021 IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2021. S. 1-6, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband