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. (eds.). Springer, Berlin [u. a.], p. 324–345Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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, p. 44-62, 19 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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, 213106Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 others, 2020Research output: Contribution to conferences > 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. (eds.). Research Publishing, Singapore, p. 4673-4680, 8 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• FeFETs for Neuromorphic SystemsMulaosmanovic, H., Mikolajick, T. & Slesazeck, S., 2020, Topics in Applied Physics. Springer, p. 399-411, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report
• 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 others, 2020, Software for Exascale Computing - SPPEXA 2016-2019. Springer Verlag, p. 483-516, 34 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 others, 2020, In: Smart Materials and Structures. 29, 8, 9 p., 085026Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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. p. 4457-4461Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution