Publications

2020

• Crisp-Determinization of Weighted Tree Automata over Additively Locally Finite and Past-Finite Monotonic Strong Bimonoids Is DecidableDroste, M., Fülöp, Z., Kószó, D. & Vogler, H., 2020, Descriptional Complexity of Formal Systems: 22nd International Conference, DCFS 2020, Vienna, Austria, August 24–26, 2020, Proceedings. Jirásková, G. & Pighizzini, G. (eds.).p. 39-51, 13 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cross-Speaker Silent-Speech Command Word Recognition Using Electro-Optical StomatographyStone, S. & Birkholz, P., 2020, ICASSP 2020 - 2020 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP). p. 7849-7853Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Cycle-Accurate Debugging of Embedded Designs Using Recurrent Neural NetworksKhan, H., Podlubne, A., Akgün, G. & Göhringer, D., 2020, p. 73-83, 11 p.Research output: Contribution to conferences > Paper
• Das Analysekompetenz-Marktpriorität-Portfolio zum Vergleich von Datenanalyseprojekten in der ProduktentwicklungKlement, S., Saske, B., Arndt, S. & Stelzer, R., 2020Research output: Book/Report/Anthology > Monograph
• Datengetriebene Methoden zur Qualitätssicherung für Produkte aus CarbonbetonWiemer, H., Zierold, K., Panzer, J., Ihlenfeldt, S., Curbach, M. & Cherif, C., 2020, In: Bauingenieur. Vol. 95. p. 105-113, 9 p.Research output: Contribution to specialist publication > Feature article/Contribution (Feuilleton)
• Deciding the Word Problem for Ground Identities with Commutative and Extensional SymbolsBaader, F. & Kapur, D., 2020, Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I. Peltier, N. & Sofronie-Stokkermans, V. (eds.). Springer, Berlin [u. a.], p. 163-180Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Deductive Module Extraction for Expressive Description LogicsKoopmann, P. & Chen, J., 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence Main track. AAAI Press, p. 1636-1643Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Deductive Module Extraction for Expressive Description Logics (Extended Abstract)Koopmann, P. & Chen, J., 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). CEUR-WSElectronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Deep Drawing with macro structured for an envirmentally friendly processBrosius, A. & Mousavi, S. A., 2020, In: Journal of Machine Engineering. 20, 1, p. 34-42Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Deformation and failure of multi-layered fibre-metal laminates subjected to highly dynamic loading conditionsRichter, J., Wiegand, J., Kuhtz, M., Hornig, A. & Gude, M., 2020, ECCM 2018 - 18th European Conference on Composite Materials. Applied Mechanics LaboratoryResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution