Publikationen

2020

• 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
• Finding Proofs for Description Logic Entailments in Practice (Extended Abstract)Alrabbaa, C., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, Informal Proceedings of the 1st Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2020)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Finding Small Proofs for Description Logic Entailments: Theory and PracticeAlrabbaa, C., Baader, F., Borgwardt, S., Koopmann, P. & Kovtunova, A., 2020, LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning. S. 32-67, 36 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• First Results on How to Certify Subsumptions Computed by the 𝓔𝓛 Reasoner ELK Using the Logical Framework with Side ConditionsBaader, F., Koopmann, P. & Tinelli, C., 2020, DL 2020 - Description Logics 2020: Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020). RTWH AachenElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Flame Retardancy of Wood Fiber Materials Using Phosphorus‐Modified Wheat StarchGebke, S., Thümmler, K., Sonnier, R., Tech, S., Wagenführ, A. & Fischer, S., 2020, in: Molecules. 25, 2, 21 S., 335Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel