Publications

2020

• Exploring user profiles based on their explainability requirements in interactive systems.Louzada, H., Chaves, G. & Ponciano, L., 2020, XIX Brazilian Symposium on Human Factors in Computing Systems. Association for Computing Machinery (ACM), New York, p. 48:1-48:6, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Extensions of Unification Modulo ACUIBaader, F., Marantidis, P., Mottet, A. & Okhotin, A., 2020, In: Mathematical Structures in Computer Science. 30, 6, p. 597-626, 30 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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 others, 2020, In:  Jahresbericht des Institutes für Textilmaschinen und Textile Hochleistungswerkstofftechnik der TU Dresden. p. 12-15, 4 p.Research output: Contribution to journal > Conference article
• Fabrication of metallic multi-material components using Laser Metal DepositionBrueckner, F., Riede, M., Mueller, M., Marquardt, F., Knoll, M., Willner, R., Seidel, A. & 3 others, 2020, p. 2530-2538, 9 p.Research output: Contribution to conferences > 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, p. 187232-187248, 17 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• 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