Publications

2020

• 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
• 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)Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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. p. 32-67, 36 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 AachenElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• 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 p., 335Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Flexible memory, bit-passing and mixed logic/ memory operation of two intercoupled FeFET arraysBreyer, E. T., Mulaosmanovic, H., Slesazeck, S. & Mikolajick, T., 2020, IEEE International Symposium on Circuits and Systems (ISCAS). Institute of Electrical and Electronics Engineers (IEEE), 9181279Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Food processing by-products as food ingredientsStruck, S. & Rohm, H., 2020, Valorization of Fruit Processing By-Products. Galanakis, C. (ed.). Academic Press, p. 1-16Research output: Contribution to book/conference proceedings/anthology/report > Chapter in book/Anthology/Report