Publikationen

2020

• Corrigendum to “Including anatomical variations in robust optimization for head and neck proton therapy can reduce the need of adaptation” [Radiother Oncol 131 (2019) 127–134] (Radiotherapy and Oncology (2019) 131 (127–134), (S0167814018336478), (10.1016/j.radonc.2018.12.008))Cubillos-Mesías, M., Troost, E., Lohaus, F., Agolli, L., Rehm, M., Richter, C. & Stützer, K., 2020, in: Radiotherapy and oncology. Band 144. S. 231Elektronische (Volltext-)VersionPublikation: Spezielle Publikationen/Beiträge > Korrekturen (Errata und Widerrufe)
• Coulomb Drag Propulsion Experiments of ESTCube-2 and FORESAIL-1Iakubivski, I. & Tajmar, M., 2020, in: Acta astronautica. 177, S. 771-783, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• 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. (Hrsg.).S. 39-51, 13 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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). S. 7849-7853Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Cycle-Accurate Debugging of Embedded Designs Using Recurrent Neural NetworksKhan, H., Podlubne, A., Akgün, G. & Göhringer, D., 2020, S. 73-83, 11 S.Publikation: Beitrag zu Konferenzen > Paper
• Das Analysekompetenz-Marktpriorität-Portfolio zum Vergleich von Datenanalyseprojekten in der ProduktentwicklungKlement, S., Saske, B., Arndt, S. & Stelzer, R., 2020Publikation: Buch/Gutachten/Sammelbände > Monographie
• Datengetriebene Methoden zur Qualitätssicherung für Produkte aus CarbonbetonWiemer, H., Zierold, K., Panzer, J., Ihlenfeldt, S., Curbach, M. & Cherif, C., 2020, in: Bauingenieur. Band 95. S. 105-113, 9 S.Publikation: Spezielle Publikationen/Beiträge > Sonderbeitrag/Feuilleton (Feature)
• 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. (Hrsg.). Springer, Berlin [u. a.], S. 163-180Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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, S. 1636-1643Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• 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-WSElektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband