Publikationen

2021

• Seilkraftregelnde Hubwerke: Steigerung der Betriebs- und Lebensdauer von Drahtseilen in MehrlagenwicklungHofmann, R. & Schmidt, T., 2021, 16. Fachkolloquium der Wissenschaftlichen Gesellschaft für Technische Logistik e.V. (WGTL)Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• SeqL+: Secure Scan-Obfuscation with Theoretical and Empirical Validation.Potluri, S., Kundu, S., Kumar, A., Basu, K. & Aysu, A., 2021, in: Cryptology ePrint archive. 2021, S. 1245, 1 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Fachzeitschrift > Forschungsartikel
• Sequentiality of Group-weighted Tree AutomataDörband, F., Feller, T. & Stier, K., 2021, Language and Automata Theory and Applications: 15th International Conference, LATA 2021, Milan, Italy, March 1–5, 2021, Proceedings. Leporati, A., Martín-Vide, C., Shapira, D. & Zandron, C. (Hrsg.). Springer, Berlin [u. a.], S. 267-278, 12 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Shared antithetic integral control for dynamic cell populationsDuso, L., Bianucci, T. & Zechner, C., 2021, 60th IEEE Conference on Decision and Control, CDC 2021. Institute of Electrical and Electronics Engineers (IEEE), S. 2053-2058, 6 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description LogicsKoopmann, P., 2021, Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence Main Track. Zhou, Z. (Hrsg.). AAAI Press, S. 1929-1935, 7 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics (Extended Abstract)Koopmann, P., 2021, Proceedings of the 34th International Workshop on Description Logics (DL 2021). CEUR-WSPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Signature-Based ABox Abduction in ALC is HardKoopmann, P., 2021, Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021). CEUR-WS, Band 3009. S. 61-74, 14 S.Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simplicity Done Right for Join Ordering.Hertzschuch, A., Hartmann, C., Habich, D. & Lehner, W., 2021Elektronische (Volltext-)VersionPublikation: Beitrag zu Konferenzen > Paper
• Simscape and LTspice models of HP ideal generic memristor based on finite closed form solution for window functionsDautovic, S., Samardzic, N., Juhas, A., Ascoli, A. & Tetzlaff, R., 2021, 2021 28th IEEE International Conference on Electronics, Circuits, and Systems, ICECS 2021 - Proceedings. Institute of Electrical and Electronics Engineers (IEEE), S. 1-6Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Konferenzband
• Simulation in der Computer-Chip-Produktion – Möglichkeiten und GrenzenSchmidt, T., Rank, S. & Schulze, F., 2021, Logistik in Wissenschaft und Praxis: Von der Datenanalyse zur Gestaltung komplexer Logistikprozesse. Fritzsche, R., Winter, S. & Lohmer, J. (Hrsg.). Wiesbaden: Springer Fachmedien Wiesbaden, S. 503-524, 22 S.Elektronische (Volltext-)VersionPublikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten > Beitrag in Buch/Sammelband/Gutachten