Publications

2021

• Datalog-Expressibility for Monadic and Guarded Second-Order LogicBodirsky, M., Knäuer, S. & Rudolph, S., 1 Jul 2021, 48th International Colloquium on Automata, Languages, and Programming (ICALP 2021). Bansal, N., Merelli, E. & Worrell, J. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, p. 120:1-120:17, 17 p., 120Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Finite Horizon Touchdown Analysis of Autolanded Aircraft under CrosswindBiertümpfel, F. & Pfifer, H., 1 Jul 2021, In:  IFAC-PapersOnLine. 54, 8, p. 124-129, 6 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Lecturers’ perceptions of supporting digital teaching scenarios by an adaptable learning environmentKubica, T., Damnik, G., Braun, I., Peine, R. & Schill, A., 1 Jul 2021, p. 12181-12190, 10 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper
• ML Carrier Phase Estimation with 1-Bit Quantization and OversamplingSchluter, M., Gast, F., Dörpinghaus, M. & Fettweis, G., 1 Jul 2021, 2021 IEEE Statistical Signal Processing Workshop, SSP 2021. Rio de Janeiro, Brazil, p. 376-380, 5 p., 9513778Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Model Predictive Control of the Vertical Gradient Freeze Crystal Growth ProcessEcklebe, S., Buchwald, T., Rüdiger, P. & Winkler, J., 1 Jul 2021, In:  IFAC-PapersOnLine. 54, 6, p. 218-225, 8 p.Electronic (full-text) versionResearch output: Contribution to journal > Conference article
• Passively actuated clutch for enhanced backdrivability in bidirectional kinesthetic feedback applicationsRomeo, P. A. & Altinsoy, M. E., 1 Jul 2021, 2021 IEEE World Haptics Conference (WHC), Montreal, QC, Canada. p. 97-102, 6 p.Electronic (full-text) versionResearch output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• Physical and geometrical properties of additively manufactured pure copper samples using a green laser sourceGruber, S., Stepien, L., López, E., Brueckner, F. & Leyens, C., 1 Jul 2021, In: Materials. 14, 13, 3642Electronic (full-text) versionResearch output: Contribution to journal > Research article
• The Varieties of Ought-implies-Can and Deontic STIT LogicBerkel, K. V. & Lyon, T., 1 Jul 2021, Deontic Logic and Normative Systems: 15th International Conference, DEON 2020/2021. Liu, F., Marra, A., Portner, P. & Putte, F. V. D. (eds.). College Publications, p. 57-76, 20 p.Research output: Contribution to book/conference proceedings/anthology/report > Conference contribution
• A 1.5-40 GHz frequency modulated continuous wave radar receiver front-endSakalas, M., Joram, N. & Ellinger, F., Jul 2021, In: International journal of microwave and wireless technologies. 13, 6, p. 532-542, 11 p.Electronic (full-text) versionResearch output: Contribution to journal > Research article
• Advancing Design and Runtime Management of AI Applications with AI-SPRINT (Position Paper)Sedghani, H., Ardagna, D., Matteucci, M., Fontana, G., Verticale, G., Amarilli, F., M. Badia, R. & 4 others, Jul 2021, p. 1455-1462, 8 p.Electronic (full-text) versionResearch output: Contribution to conferences > Paper