2020

• Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, in: Mathematical Structures in Computer Science. 30, 6, S. 597-626, 30 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Exzellenzcluster – Centre for Tactile Internet with Human-in-the-Loop (CeTI)Winger, H., Sachse, C., Wieczorek, F., Böhnke, P., Nocke, A., Häntzsche, E., Kruppke, I. & 1 weitere, 2020, in:  Jahresbericht des Institutes für Textilmaschinen und Textile Hochleistungswerkstofftechnik der TU Dresden. S. 12-15, 4 S.Publikation: Beitrag in Fachzeitschrift > Konferenzartikel
• Fabrication of metallic multi-material components using Laser Metal DepositionBrueckner, F., Riede, M., Mueller, M., Marquardt, F., Knoll, M., Willner, R., Seidel, A. & 3 weitere, 2020, S. 2530-2538, 9 S.Publikation: Beitrag zu Konferenzen > Paper
• FANTOM: Fault Tolerant Task-Drop Aware Scheduling for Mixed-Criticality Systems.Ranjbar, B., Safaei, B., Ejlali, A. & Kumar, A., 2020, in: IEEE access. 8, S. 187232-187248, 17 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Farkas Certificates and Minimal Witnesses for Probabilistic Reachability ConstraintsFunke, F., Jantsch, S. & Baier, C., 2020, Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I. Biere, A. & Parker, D. (Hrsg.). Springer, Berlin [u. a.], S. 324–345Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten
• Fast evaluation of the volumetric motion accuracy of multi-axis machine tools using a double-ballbarKauschinger, B., Friedrich, C., Zhou, R. & Ihlenfeldt, S., 2020, in: Journal of Machine Engineering. 20, 3, S. 44-62, 19 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Fast Fourier transform and multi-Gaussian fitting of XRR data to determine the thickness of ALD grown thin films within the initial growth regimeLammel, M., Geishendorf, K., Choffel, M. A., Hamann, D. M., Johnson, D. C., Nielsch, K. & Thomas, A., 2020, in: Applied physics letters. 117, 21, 213106Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Faszination sprechende Maschinen: Technologischer Wandel der Sprachsynthese über zwei JahrhunderteEngeln, L., Groh, R., Gabriel, F., Birkholz, P., Jäckel, R., Hoffmann, R., Felten, J. & 6 weitere, 2020Publikation: Beitrag zu Konferenzen > Paper
• Fault injectors for tensorflow: Evaluation of the impact of random hardware faults on deep cnnsBeyer, M., Morozov, A., Valiev, E., Schorn, C., Gauerhof, L., Ding, K. & Janschek, K., 2020, Proceedings of the 30th European Safety and Reliability Conference and the 15th Probabilistic Safety Assessment and Management Conference. Baraldi, P., Di Maio, F. & Zio, E. (Hrsg.). Research Publishing, Singapore, S. 4673-4680, 8 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• FeFETs for Neuromorphic SystemsMulaosmanovic, H., Mikolajick, T. & Slesazeck, S., 2020, Topics in Applied Physics. Springer, S. 399-411, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten