@misc{52317, author = {{Beckendorf, Björn}}, title = {{{Self-Stabilizing Skip-Graph with Growth-bounded Metric}}}, year = {{2023}}, } @article{46248, author = {{Demir, Caglar and Wiebesiek, Michel and Lu, Renzhong and Ngonga Ngomo, Axel-Cyrille and Heindorf, Stefan}}, journal = {{ECML PKDD}}, location = {{Torino}}, title = {{{LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals}}}, year = {{2023}}, } @inproceedings{52369, abstract = {{Megatrends, such as digitization or sustainability, are confronting the product management of manufacturing companies with a variety of challenges regarding the design of future products, but also the management of the actual products. To successfully position their products in the market, product managers need to gather and analyze comprehensive information about customers, developments in the products’ environment, product usage, and more. The digitization of all aspects of life is making data on these topics increasingly available – via social media, documents, or the internet of things from the products themselves. The systematic collection and analysis of these data enable the exploitation of new potentials for the adaption of existing products and the creation of the products of tomorrow. However, there are still no insights into the main concepts and cause-effect relationships in exploiting data-driven approaches for product management. Therefore, this paper aims to identify the main concepts and advantages of data-driven product management. To answer the corresponding research questions a comprehensive systematic literature review is conducted. From its results, a detailed description of the main concepts of data-driven product management is derived. Furthermore, a taxonomy for the advantages of data-driven product management is presented. The main concepts and the taxonomy allow for a deeper understanding of the topic while highlighting necessary future actions and research needs.}}, author = {{Fichtler, Timm and Grigoryan, Khoren and Koldewey, Christian and Dumitrescu, Roman}}, booktitle = {{2023 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD)}}, keywords = {{Product Lifecyle Management (PLM), Data Analytics, Data-driven Design, Engineering Management, Lifecycle Data}}, location = {{Rabat, Morocco}}, publisher = {{IEEE}}, title = {{{Towards a Data-Driven Product Management – Concepts, Advantages, and Future Research}}}, doi = {{10.1109/ictmod59086.2023.10438135}}, year = {{2023}}, } @inproceedings{52370, author = {{Vernholz, Mats}}, booktitle = {{Living and Leading in the Next Era: Connecting Teaching, Research, Citizenship and Equity}}, editor = {{Perla, Loredana and Agrati, Laura Sara and Vinci, Viviana and Scarinci, Alessia}}, isbn = {{9791255681038}}, location = {{Bari}}, publisher = {{Pensa Multimedia}}, title = {{{Academic self-concepts of pre-service technology teachers for vocational education in Germany according to the TPACK- Model}}}, year = {{2023}}, } @misc{47540, author = {{Knorr, Lukas and Schlosser, Florian and Meschede, Henning}}, title = {{{Economic Integration of a High-Temperature Heat Pump with Flexible Part-load Operation}}}, year = {{2023}}, } @inproceedings{52530, author = {{Prager, Raphael Patrick and Trautmann, Heike}}, booktitle = {{Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023}}, editor = {{Silva, Sara and Paquete, Luís}}, pages = {{451–454}}, publisher = {{ACM}}, title = {{{Investigating the Viability of Existing Exploratory Landscape Analysis Features for Mixed-Integer Problems}}}, doi = {{10.1145/3583133.3590757}}, year = {{2023}}, } @inbook{52662, abstract = {{Static analysis tools support developers in detecting potential coding issues, such as bugs or vulnerabilities. Research emphasizes technical challenges of such tools but also mentions severe usability shortcomings. These shortcomings hinder the adoption of static analysis tools, and user dissatisfaction may even lead to tool abandonment. To comprehensively assess the state of the art, we present the first systematic usability evaluation of a wide range of static analysis tools. We derived a set of 36 relevant criteria from the literature and used them to evaluate a total of 46 static analysis tools complying with our inclusion and exclusion criteria - a representative set of mainly non-proprietary tools. The evaluation against the usability criteria in a multiple-raters approach shows that two thirds of the considered tools off er poor warning messages, while about three-quarters provide hardly any fix support. Furthermore, the integration of user knowledge is strongly neglected, which could be used for instance, to improve handling of false positives. Finally, issues regarding workflow integration and specialized user interfaces are revealed. These findings should prove useful in guiding and focusing further research and development in user experience for static code analyses.}}, author = {{Nachtigall, Marcus and Schlichtig, Michael and Bodden, Eric}}, booktitle = {{Software Engineering 2023}}, isbn = {{978-3-88579-726-5}}, keywords = {{Automated static analysis, Software usability}}, pages = {{95–96}}, publisher = {{Gesellschaft für Informatik e.V.}}, title = {{{Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale}}}, year = {{2023}}, } @inbook{52660, abstract = {{Application Programming Interfaces (APIs) are the primary mechanism developers use to obtain access to third-party algorithms and services. Unfortunately, APIs can be misused, which can have catastrophic consequences, especially if the APIs provide security-critical functionalities like cryptography. Understanding what API misuses are, and how they are caused, is important to prevent them, eg, with API misuse detectors. However, definitions for API misuses and related terms in literature vary. This paper presents a systematic literature review to clarify these terms and introduces FUM, a novel Framework for API Usage constraint and Misuse classification. The literature review revealed that API misuses are violations of API usage constraints. To address this, we provide unified definitions and use them to derive FUM. To assess the extent to which FUM aids in determining and guiding the improvement of an API misuses detector’s capabilities, we performed a case study on the state-of the-art misuse detection tool CogniCrypt. The study showed that FUM can be used to properly assess CogniCrypt’s capabilities, identify weaknesses and assist in deriving mitigations and improvements.}}, author = {{Schlichtig, Michael and Sassalla, Steffen and Narasimhan, Krishna and Bodden, Eric}}, booktitle = {{Software Engineering 2023}}, isbn = {{978-3-88579-726-5}}, keywords = {{API misuses API usage constraints, classification framework, API misuse detection, static analysis}}, pages = {{105–106}}, publisher = {{Gesellschaft für Informatik e.V.}}, title = {{{Introducing FUM: A Framework for API Usage Constraint and Misuse Classification}}}, year = {{2023}}, } @article{34793, author = {{Glöckner, Helge and Hilgert, Joachim}}, issn = {{0022-0396}}, journal = {{Journal of Differential Equations}}, keywords = {{22E65, 28B05, 34A12, 34H05, 46E30, 46E40}}, pages = {{186–232}}, title = {{{Aspects of control theory on infinite-dimensional Lie groups and G-manifolds}}}, doi = {{10.1016/j.jde.2022.10.001}}, volume = {{343}}, year = {{2023}}, } @article{46264, abstract = {{System-level interconnects provide the backbone for increasingly complex systems on a chip. Their vulnerability to electromigration and crosstalk can lead to serious reliability and safety issues during the system lifetime. This article presents an approach for periodic in-system testing which maintains a reliability profile to detect potential problems before they actually cause a failure. Relying on a common infrastructure for EM-aware system workload management and test, it minimizes the stress induced by the test itself and contributes to the self-healing of system-induced electromigration degradations. }}, author = {{Sadeghi-Kohan, Somayeh and Hellebrand, Sybille and Wunderlich, Hans-Joachim}}, issn = {{2168-2356}}, journal = {{IEEE Design &Test}}, keywords = {{Electrical and Electronic Engineering, Hardware and Architecture, Software}}, pages = {{1--1}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Workload-Aware Periodic Interconnect BIST}}}, doi = {{10.1109/mdat.2023.3298849}}, year = {{2023}}, } @inproceedings{45830, author = {{Jafarzadeh, Hanieh and Klemme, Florian and Reimer, Jan Dennis and Najafi Haghi, Zahra Paria and Amrouch, Hussam and Hellebrand, Sybille and Wunderlich, Hans-Joachim}}, booktitle = {{IEEE International Test Conference (ITC'23), Anaheim, USA, October 2023}}, location = {{Anaheim, USA}}, publisher = {{IEEE}}, title = {{{Robust Pattern Generation for Small Delay Faults under Process Variations}}}, year = {{2023}}, } @book{45191, editor = {{Gräßler, Iris and Maier, Günter W. and Steffen, Eckhard and Roesmann, Daniel}}, isbn = {{9783031261039}}, publisher = {{Springer International Publishing}}, title = {{{The Digital Twin of Humans}}}, doi = {{10.1007/978-3-031-26104-6}}, year = {{2023}}, } @article{52806, author = {{Gilbert, H. and Schürmann, M. and Liebendörfer, M. and Lawson, D. and Hodds, M.}}, issn = {{0020-739X}}, journal = {{International Journal of Mathematical Education in Science and Technology}}, keywords = {{Applied Mathematics, Education, Mathematics (miscellaneous)}}, pages = {{1--26}}, publisher = {{Informa UK Limited}}, title = {{{Post-pandemic online mathematics and statistics support: Practitioners’ opinions in Germany and Great Britain & Ireland}}}, doi = {{10.1080/0020739x.2023.2184282}}, year = {{2023}}, } @inbook{52811, author = {{Biehler, Rolf and Guntermann, Dominik and Liebendörfer, Michael and Krämer, Sandra and Schlüter, Sarah}}, booktitle = {{Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik}}, editor = {{Goethe-Universität Frankfur, IDMI-Primar}}, isbn = {{978-3-95987-208-9}}, pages = {{407–410}}, publisher = {{WTM}}, title = {{{Fachdidaktisches Design von Begründungsvideos im Projekt studiVEMINTvideos}}}, doi = {{10.37626/GA9783959872089.0}}, volume = {{1}}, year = {{2023}}, } @inbook{52810, author = {{Göller, Robin and Gildehaus, Lara and Liebendörfer, Michael and Besser, Michael}}, booktitle = {{Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum}}, editor = {{Härterich, Jörg and Kallweit, Michael and Rolka, Katrin and Skill, Thomas}}, isbn = {{978-3-95987-264-5}}, pages = {{66–80}}, publisher = {{WTM}}, title = {{{Erfassung und Vergleich (mathematischer) Eingangsvoraussetzungen angehender Studierender verschiedener mathematikhaltiger Studiengänge}}}, year = {{2023}}, } @inbook{52809, author = {{Kempen, Leander and Liebendörfer, Michael}}, booktitle = {{Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum}}, editor = {{Härterich, Jörg and Kallweit, Michael and Rolka, Katrin and Skill, Thomas}}, isbn = {{978-3-95987-264-5}}, pages = {{91–106}}, publisher = {{WTM}}, title = {{{Zu digital - zu viel - zu schwer? Qualitative Einsichten in das Erleben und Handeln von Erstsemester-Studierenden der Mathematik während der Corona-Pandemie}}}, year = {{2023}}, } @inbook{52813, author = {{Schlüter, Sarah and Liebendörfer, Michael}}, booktitle = {{Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik}}, editor = {{Goethe-Universität Frankfur, IDMI-Primar}}, isbn = {{978-3-95987-208-9}}, pages = {{1177–1180}}, publisher = {{WTM}}, title = {{{Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen}}}, doi = {{10.37626/GA9783959872089.0}}, volume = {{2}}, year = {{2023}}, } @inbook{52812, author = {{Krämer, Sandra and Liebendörfer, Michael}}, booktitle = {{Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik}}, editor = {{Goethe-Universität Frankfur, IDMI-Primar}}, isbn = {{978-3-95987-208-9}}, pages = {{949–952}}, publisher = {{WTM}}, title = {{{Förderung prozeduraler Flexibilität durch Lernvideos mit interaktiven Aufgaben}}}, doi = {{10.37626/GA9783959872089.0}}, volume = {{2}}, year = {{2023}}, } @article{52807, abstract = {{Many preservice mathematics teachers lose their motivation during their first year at university. This phenomenon has been repeatedly described in recent years but is not yet fully under­stood. Since motivation may relate to different objects such as mathematics or teaching, we aim to qualitatively reconstruct different facets of the central motivational constructs of Situated-Expectancy-Value theory (intrinsic value, attainment value, utility value, cost, and expectancy of success) for preservice mathematics teachers. The analysis of longitudinal group interviews of 14 pre­service higher-secondary mathematic teachers from a German university revealed different objects of motivation (e.g., teaching mathematics, scientific mathematics, procedural mathematics, or proof-based mathematics) in preservice teachers' values and expectancy of success. Furthermore, relations between those values and expectancy of success were identified that played a significant role in preservice teachers’ motivational development over their first semester (e.g., relations of attain­ment value for scientific mathematics and psychological cost). Theoretical and practical implications towards a teaching-specific conceptualization of expectancy of success and values and value interventions are being discussed.}}, title = {{{Preservice teachers’ mathematics-related values and expectancy in the transition from school to university}}}, doi = {{10.48489/QUADRANTE.31191}}, year = {{2023}}, } @article{52861, author = {{Gil, Oliver Fernández and Patrizi, Fabio and Perelli, Giuseppe and Turhan, Anni-Yasmin}}, journal = {{CoRR}}, title = {{{Optimal Alignment of Temporal Knowledge Bases}}}, doi = {{10.48550/ARXIV.2307.15439}}, volume = {{abs/2307.15439}}, year = {{2023}}, }