Publikationen
Eine detaillierte Suche zu Veröffentlichungen im Bereich Ingenieurwissenschaften ermöglicht Ihnen das Forschungsportal (FIS) der TU Dresden.
18986 Einträge
2021
-
Finite Model Theory of the Triguarded Fragment and Related Logics (Extended Abstract). , 2021, Description LogicsElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
FIRESTARTER 2: Dynamic Code Generation for Processor Stress Tests , 2021, S. 582-590, 9 S.Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
-
Flammschutzmittel auf der Basis nachwachsender Roh- und Reststoffe , 2021, in: Feuer-Trutz : Brandschutz-Magazin für Fachplaner ; Problemlösungen, Planungshilfen, Insiderwissen. 2021, 5, S. 80-82Publikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Flash LiDAR aided-inertial Navigation on surfaces of small solar system bodies using error state Kalmanfiltering. , 2021Publikation: Beitrag zu Konferenzen > Paper
-
Flexible Multi-Channel Analog-Frontend for Ultra-Low Power Environmental Sensing , 2021, in: IEEE Open Journal of Circuits and Systems. 2, S. 445-456, 12 S., 9494747Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
-
Frequency dependence of vertical whole-body vibration perception - is your car rattling or humming? , 2021, Proceedings of INTER-NOISE 2021 - 2021 International Congress and Exposition of Noise Control Engineering. Dare, T., Bolton, S., Davies, P., Xue, Y. & Ebbitt, G. (Hrsg.).S. 4919-5918Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
From Domain-Specific Languages to Memory-Optimized Accelerators for Fluid Dynamics , 2021, 2021 IEEE International Conference on Cluster Computing (CLUSTER). IEEE Xplore, S. 759-766, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
From Verification to Explanation (Track Introduction) , 2021, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (Hrsg.). Springer, Berlin [u. a.], S. 1-7, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
-
Front Cover Image , 2021, in: Infomat. Band 3Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Hervorgehobener Artikel/Titelblatt
-
Fundamental Background , 2021, Quantum Communication Networks. Springer Science and Business Media B.V., S. 13-67, 55 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten