2020

• 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
• FFMK: A Fast and Fault-Tolerant Microkernel-Based System for Exascale ComputingWeinhold, C., Lackorzynski, A., Bierbaum, J., Küttler, M., Planeta, M., Weisbach, H., Hille, M. & 12 weitere, 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, S. 483-516, 34 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Field-induced interactions in magneto-active elastomers - A comparison of experiments and simulationsMetsch, P., Schmidt, H., Sindersberger, D., Kalina, K., Brummund, J., Auernhammer, G., Monkman, G. & 1 weitere, 2020, in: Smart Materials and Structures. 29, 8, 9 S., 085026Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Finding intelligible consonant-vowel sounds using high-quality articulatory synthesisvan Niekerk, D., Xu, A., Gerazov, B., Krug, P., Birkholz, P. & Xu, Y., 2020, Proceedings of the Annual Conference of the International Speech Communication Association, INTERSPEECH. S. 4457-4461Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding New Diamonds: Temporal Minimal-World Query Answering over Sparse ABoxes (Extended Abstract)Borgwardt, S., Forkel, W. & Kovtunova, A., 2020, Proceedings of the 33rd International Workshop on Description Logics (DL 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband