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.
3542 Einträge
2022
-
Optimal ABox Repair w.r.t. Static ℰℒ TBoxes: from Quantified ABoxes back to ABoxes (Slides) , 29 Mai 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Wissenschaftliche Vortragsfolien
-
50 Jahre universitärer Informatik-Studiengang an der TU Dresden aus der Sicht von Zeitzeugen in einem Zeitstrahl , 25 Mai 2022, in: Informatik-Spektrum : Organ der Gesellschaft für Informatik e.V. und mit ihr assoziierter Organisationen. 45, 3, S. 183-191, 9 S., 3Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A genome-wide scan of wastewater E. coli for genes under positive selection: focusing on mechanisms of antibiotic resistance , 16 Mai 2022, in: Scientific reports. 12, 8037Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Object Recognition in High-Resolution Indoor THz SAR Mapped Environment , 15 Mai 2022, in: Sensors. 22, 10, 3762Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A multiscale model of the regulation of aquaporin 2 recycling , 9 Mai 2022, in: npj systems biology and applications. 8, 16, 16Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Universal Horn Sentences and the Joint Embedding Property. , 6 Mai 2022, in: Discrete mathematics & theoretical computer science. 23, 2, 15 S., 4Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Where should we put it? Layout and placement strategies of documents in augmented reality for collaborative sensemaking , 5 Mai 2022, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI). Barbosa, S., Lampe, C., Appert, C., Shamma, D. A., Drucker, S., Williamson, J. & Yatani, K. (Hrsg.).S. 627:1-627:16, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
AvatAR: An immersive analysis environment for human motion data combining interactive 3D avatars and trajectories , 2 Mai 2022, Proceedings of the ACM Conference on Human Factors in Computing Systems (CHI). Barbosa, S., Lampe, C., Appert, C., Shamma, D. A., Drucker, S., Williamson, J. & Yatani, K. (Hrsg.).S. 23:1-23:15, 15 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Topology-Preserving Simplification of OpenStreetMap Network Data for Large-scale Simulation in SUMO , 1 Mai 2022, SUMO User Conference 2022 (SUMO 2022). Band 3. S. 181-197, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
AppAxO: Designing Application-specific Approximate Operators for FPGA-based Embedded Systems , Mai 2022, in: ACM transactions on embedded computing systems. 21, 3, S. 29:1-29:31, 31 S., 29Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
CHORS: hardening high-assurance security systems with trusted computing , Mai 2022, S. 1626–1635Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Ingredient-based Forecast of Sold Dish Portions in Campus Canteen Kitchens , Mai 2022, Proceedings - 2022 IEEE 38th International Conference on Data Engineering Workshops, ICDEW 2022. S. 111-116, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
STRAIDE: A Research Platform for Shape-Changing Spatial Displays based on Actuated Strings , 29 April 2022, CHI 2022 - Proceedings of the 2022 CHI Conference on Human Factors in Computing Systems. New Orleans, LA, USA, S. 263:1-263:16, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
To share or not to share vector registers? , 28 April 2022, in: The VLDB journal. 31, 6, S. 1215-1236, 22 S., 6Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Computing generalizations of temporal 𝓔𝓛 concepts with next and global. , 25 April 2022, S. 903-910, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Probabilistic causes in Markov Chains , 25 April 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 347-367, 21 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
AGILER: An Adaptive Heterogeneous Tile-Based Many-Core Architecture for RISC-V Processors , 18 April 2022, in: IEEE Access. 10, S. 43895-43913, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
From Emerson-Lei automata to deterministic, limit-deterministic or good-for-MDP automata , 9 April 2022, in: Innovations in Systems and Software Engineering. 18, 3, S. 385–403, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Memory Performance of AMD EPYC Rome and Intel Cascade Lake SP Server Processors , 9 April 2022, ICPE 2022 - Proceedings of the 2022 ACM/SPEC International Conference on Performance Engineering. S. 165–175, 11 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Fast Privileged Function Calls , 5 April 2022Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms , 1 April 2022, in: Artificial intelligence. 305, 103680Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
A Sorted Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic , 30 März 2022, Tools and Algorithms for the Construction and Analysis of Systems: 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part I. Fisman, D. & Rosu, G. (Hrsg.).S. 480–501, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Slashing the Disaggregation Tax in Heterogeneous Data Centers with FractOS , 28 März 2022, EuroSys 2022 - Proceedings of the 17th European Conference on Computer Systems. Association for Computing Machinery, Inc, S. 352-367, 16 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
MPER – A motion profiling experiment and research system for human body movement , 23 März 2022, 2022 IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, PerCom Workshops 2022. S. 88-90, 3 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
A Partial-Reconfiguration-Enabled HW/SW Co-Design Benchmark for LTE Applications , 22 März 2022, in: Electronics (Switzerland). 11, 7, 978Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel