@article{44077, author = {{Maack, Marten}}, issn = {{0167-6377}}, journal = {{Operations Research Letters}}, keywords = {{Applied Mathematics, Industrial and Manufacturing Engineering, Management Science and Operations Research, Software}}, number = {{3}}, pages = {{220--225}}, publisher = {{Elsevier BV}}, title = {{{Online load balancing on uniform machines with limited migration}}}, doi = {{10.1016/j.orl.2023.02.013}}, volume = {{51}}, year = {{2023}}, } @misc{43374, author = {{Schürmann, Patrick}}, title = {{{ A Formal Comparison of Advanced Digital Signature Primitives}}}, year = {{2023}}, } @inproceedings{20841, author = {{Gharibian, Sevag and Watson, James and Bausch, Johannes}}, booktitle = {{Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science (STACS)}}, pages = {{54:1--54:21}}, title = {{{The Complexity of Translationally Invariant Problems beyond Ground State Energies}}}, doi = {{https://doi.org/10.4230/LIPIcs.STACS.2023.54}}, volume = {{254}}, year = {{2023}}, } @unpublished{44501, abstract = {{Extending the notion of maxcut, the study of the frustration index of signed graphs is one of the basic questions in the theory of signed graphs. Recently two of the authors initiated the study of critically frustrated signed graphs. That is a signed graph whose frustration index decreases with the removal of any edge. The main focus of this study is on critical signed graphs which are not edge-disjoint unions of critically frustrated signed graphs (namely non-decomposable signed graphs) and which are not built from other critically frustrated signed graphs by subdivision. We conjecture that for any given k there are only finitely many critically k-frustrated signed graphs of this kind. Providing support for this conjecture we show that there are only two of such critically 3-frustrated signed graphs where there is no pair of edge-disjoint negative cycles. Similarly, we show that there are exactly ten critically 3-frustrated signed planar graphs that are neither decomposable nor subdivisions of other critically frustrated signed graphs. We present a method for building non-decomposable critically frustrated signed graphs based on two given such signed graphs. We also show that the condition of being non-decomposable is necessary for our conjecture. }}, author = {{Cappello, Chiara and Naserasr, Reza and Steffen, Eckhard and Wang, Zhouningxin}}, booktitle = {{arXiv:2304.10243}}, title = {{{Critically 3-frustrated signed graphs}}}, year = {{2023}}, } @inproceedings{44194, author = {{Ahmed, Qazi Arbab and Awais, Muhammad and Platzner, Marco}}, booktitle = {{The 24th International Symposium on Quality Electronic Design (ISQED'23), San Francisco, Califorina USA}}, location = {{San Fransico CA 94023-0607, USA}}, title = {{{MAAS: Hiding Trojans in Approximate Circuits}}}, year = {{2023}}, } @misc{44735, author = {{Schweichhart, Jonas}}, title = {{{Minimum Edge Cuts in Overlay Networks}}}, year = {{2023}}, } @inbook{44769, author = {{Castenow, Jannik and Harbig, Jonas and Meyer auf der Heide, Friedhelm}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783031304477}}, issn = {{0302-9743}}, publisher = {{Springer International Publishing}}, title = {{{Unifying Gathering Protocols for Swarms of Mobile Robots}}}, doi = {{10.1007/978-3-031-30448-4_1}}, year = {{2023}}, } @article{44857, abstract = {{Ancestral reconstruction is a classic task in comparative genomics. Here, we study the genome median problem, a related computational problem which, given a set of three or more genomes, asks to find a new genome that minimizes the sum of pairwise distances between it and the given genomes. The distance stands for the amount of evolution observed at the genome level, for which we determine the minimum number of rearrangement operations necessary to transform one genome into the other. For almost all rearrangement operations the median problem is NP-hard, with the exception of the breakpoint median that can be constructed efficiently for multichromosomal circular and mixed genomes. In this work, we study the median problem under a restricted rearrangement measure called c4-distance, which is closely related to the breakpoint and the DCJ distance. We identify tight bounds and decomposers of the c4-median and develop algorithms for its construction, one exact ILP-based and three combinatorial heuristics. Subsequently, we perform experiments on simulated data sets. Our results suggest that the c4-distance is useful for the study the genome median problem, from theoretical and practical perspectives.}}, author = {{Silva, Helmuth O.M. and Rubert, Diego P. and Araujo, Eloi and Steffen, Eckhard and Doerr, Daniel and Martinez, Fábio V.}}, issn = {{0399-0559}}, journal = {{RAIRO - Operations Research}}, keywords = {{Management Science and Operations Research, Computer Science Applications, Theoretical Computer Science}}, number = {{3}}, pages = {{1045--1058}}, publisher = {{EDP Sciences}}, title = {{{Algorithms for the genome median under a restricted measure of rearrangement}}}, doi = {{10.1051/ro/2023052}}, volume = {{57}}, year = {{2023}}, } @unpublished{44859, author = {{Ma, Yulai and Mattiolo, Davide and Steffen, Eckhard and Wolf, Isaak Hieronymus}}, booktitle = {{arXiv:2305.08619}}, title = {{{Sets of r-graphs that color all r-graphs}}}, year = {{2023}}, } @inproceedings{34294, author = {{Wolters, Dennis and Engels, Gregor}}, booktitle = {{MODELSWARD'23}}, isbn = {{978-989-758-633-0}}, issn = {{2184-4348}}, pages = {{133--142}}, publisher = {{SCITEPRESS}}, title = {{{Model-driven Collaborative Design of Professional Education Programmes With Extended Online Whiteboards}}}, doi = {{10.5220/0011675700003402}}, year = {{2023}}, } @phdthesis{43108, author = {{Pauck, Felix}}, publisher = {{Paderborn University}}, title = {{{Cooperative Android App Analysis}}}, doi = {{10.17619/UNIPB/1-1698}}, year = {{2023}}, } @inproceedings{45188, author = {{Werthmann, Julian and Scheideler, Christian and Coy, Sam and Czumaj, Artur and Schneider, Philipp}}, title = {{{Routing Schemes for Hybrid Communication Networks}}}, doi = {{10.48550/ARXIV.2210.05333}}, year = {{2023}}, } @inproceedings{44855, abstract = {{Market transactions are subject to information asymmetry about the delivered value proposition, causing transaction costs and adverse market effects among buyers and sellers. Information systems research has investigated how review systems can reduce information asymmetry in business-to-consumer markets. However, these systems cannot be readily applied to business-to-business markets, are vulnerable to manipulation, and suffer from conceptual weak spots since they use textual data or star ratings. Building on design science research, we conceptualize a new class of reputation systems based on monetary-based payments as quantitative ratings for each transaction stored on a blockchain. Using cryptography, we show that our system assures content confidentiality so that buyers can share and sell their ratings selectively, establishing a reputation ecosystem. Our prescriptive insights advance the design of reputation systems and offer new paths to understanding the antecedents, dynamics, and consequences to reduce information asymmetry in B2B transactions.}}, author = {{Hemmrich, Simon and Bobolz, Jan and Beverungen, Daniel and Blömer, Johannes}}, booktitle = {{ECIS 2023 Research Papers}}, title = {{{Designing Business Reputation Ecosystems — A Method for Issuing and Trading Monetary Ratings on a Blockchain}}}, year = {{2023}}, } @inproceedings{45205, author = {{Dreiling, Dmitrij and Itner, Dominik and Hetkämper, Tim and Birk, Carolin and Gravenkamp, Hauke and Henning, Bernd}}, booktitle = {{SMSI 2023 Conference}}, isbn = {{978-3-9819376-8-8}}, location = {{Nürnberg}}, pages = {{394 -- 395}}, publisher = {{AMA Association For Sensors And Measurement}}, title = {{{Improved determination of viscoelastic material parameters using a pulse-echo measurement setup}}}, doi = {{10.5162/SMSI2023/P59}}, year = {{2023}}, } @misc{45243, author = {{N., N.}}, title = {{{Development and Evaluation of a Model-Based UI Prototyping Experimentation Approach}}}, year = {{2023}}, } @article{34833, author = {{Hanusch, Maximilian}}, journal = {{Indagationes Mathematicae.}}, keywords = {{Lie group actions and analytic 1-submanifolds}}, number = {{4}}, pages = {{752--811}}, title = {{{Decompositions of Analytic 1-Manifolds}}}, doi = {{10.1016/j.indag.2023.02.003}}, volume = {{34}}, year = {{2023}}, } @inproceedings{45312, author = {{Karakaya, Kadiray and Bodden, Eric}}, booktitle = {{2023 IEEE Conference on Software Testing, Verification and Validation (ICST)}}, publisher = {{IEEE}}, title = {{{Two Sparsification Strategies for Accelerating Demand-Driven Pointer Analysis}}}, doi = {{10.1109/icst57152.2023.00036}}, year = {{2023}}, } @misc{43375, author = {{Koch, Angelina}}, title = {{{Privacy-Preserving Collection and Evaluation of Log Files}}}, year = {{2023}}, } @article{45445, author = {{Claes, Leander and Feldmann, Nadine and Schulze, Veronika and Meihost, Lars and Kuhlmann, Henrik and Jurgelucks, Benjamin and Walther, Andrea and Henning, Bernd}}, journal = {{Journal of Sensors and Sensor Systems}}, number = {{1}}, pages = {{163–173}}, title = {{{Inverse procedure for measuring piezoelectric material parameters using a single multi-electrode sample}}}, doi = {{10.5194/jsss-12-163-2023}}, volume = {{12}}, year = {{2023}}, } @misc{45455, author = {{Claes, Leander and Meihost, Lars and Jurgelucks, Benjamin}}, title = {{{Inverse procedure for the identification of piezoelectric material parameters supported by dense neural networks}}}, year = {{2023}}, } @article{45484, abstract = {{AbstractGraffiti is an urban phenomenon that is increasingly attracting the interest of the sciences. To the best of our knowledge, no suitable data corpora are available for systematic research until now. The Information System Graffiti in Germany project (Ingrid) closes this gap by dealing with graffiti image collections that have been made available to the project for public use. Within Ingrid, the graffiti images are collected, digitized and annotated. With this work, we aim to support the rapid access to a comprehensive data source on Ingrid targeted especially by researchers. In particular, we present IngridKG, an RDF knowledge graph of annotated graffiti, abides by the Linked Data and FAIR principles. We weekly update IngridKG by augmenting the new annotated graffiti to our knowledge graph. Our generation pipeline applies RDF data conversion, link discovery and data fusion approaches to the original data. The current version of IngridKG contains 460,640,154 triples and is linked to 3 other knowledge graphs by over 200,000 links. In our use case studies, we demonstrate the usefulness of our knowledge graph for different applications.}}, author = {{Sherif, Mohamed Ahmed and da Silva, Ana Alexandra Morim and Pestryakova, Svetlana and Ahmed, Abdullah Fathi and Niemann, Sven and Ngomo, Axel-Cyrille Ngonga}}, issn = {{2052-4463}}, journal = {{Scientific Data}}, keywords = {{Library and Information Sciences, Statistics, Probability and Uncertainty, Computer Science Applications, Education, Information Systems, Statistics and Probability}}, number = {{1}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{IngridKG: A FAIR Knowledge Graph of Graffiti}}}, doi = {{10.1038/s41597-023-02199-8}}, volume = {{10}}, year = {{2023}}, } @article{45485, author = {{Kruse, Stephan and Serino, Laura and Folge, Patrick Fabian and Echeverria Oviedo, Dana and Bhattacharjee, Abhinandan and Stefszky, Michael and Scheytt, J. Christoph and Brecht, Benjamin and Silberhorn, Christine}}, issn = {{1041-1135}}, journal = {{IEEE Photonics Technology Letters}}, keywords = {{Electrical and Electronic Engineering, Atomic and Molecular Physics, and Optics, Electronic, Optical and Magnetic Materials}}, number = {{14}}, pages = {{769--772}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{A Pulsed Lidar System With Ultimate Quantum Range Accuracy}}}, doi = {{10.1109/lpt.2023.3277515}}, volume = {{35}}, year = {{2023}}, } @unpublished{45498, abstract = {{We present a novel method for high-order phase reduction in networks of weakly coupled oscillators and, more generally, perturbations of reducible normally hyperbolic (quasi-)periodic tori. Our method works by computing an asymptotic expansion for an embedding of the perturbed invariant torus, as well as for the reduced phase dynamics in local coordinates. Both can be determined to arbitrary degrees of accuracy, and we show that the phase dynamics may directly be obtained in normal form. We apply the method to predict remote synchronisation in a chain of coupled Stuart-Landau oscillators.}}, author = {{von der Gracht, Sören and Nijholt, Eddie and Rink, Bob}}, booktitle = {{arXiv:2306.03320}}, pages = {{29}}, title = {{{A parametrisation method for high-order phase reduction in coupled oscillator networks}}}, year = {{2023}}, } @phdthesis{45580, author = {{Castenow, Jannik}}, title = {{{Local Protocols for Contracting and Expanding Robot Formation Problems}}}, doi = {{10.17619/UNIPB/1-1750}}, year = {{2023}}, } @phdthesis{45579, author = {{Knollmann, Till}}, title = {{{Online Algorithms for Allocating Heterogeneous Resources}}}, doi = {{10.17619/UNIPB/1-1751}}, year = {{2023}}, } @article{45596, abstract = {{Dielectric metasurfaces provide a unique platform for efficient harmonic generation and optical wavefront manipulation at the nanoscale. Tailoring phase and amplitude of a nonlinearly generated wave with a high emission efficiency using resonance-based metasurfaces is a challenging task that often requires state-of-the-art numerical methods. Here, we propose a simple yet effective approach combining a sampling method with a Monte Carlo approach to design the third-harmonic wavefront generated by all-dielectric metasurfaces composed of elliptical silicon nanodisks. Using this approach, we theoretically demonstrate the full nonlinear 2π phase control with a uniform and highest possible amplitude in the considered parameter space, allowing us to design metasurfaces operating as third harmonic beam deflectors capable of steering light into a desired direction with high emission efficiency. The TH beam deflection with a record calculated average conversion efficiency of 1.2 × 10–1 W–2 is achieved. We anticipate that the proposed approach will be widely applied as alternative to commonly used optimization algorithms with higher complexity and implementation effort for the design of metasurfaces with other holographic functionalities.}}, author = {{Hähnel, David and Förstner, Jens and Myroshnychenko, Viktor}}, issn = {{2330-4022}}, journal = {{ACS Photonics}}, keywords = {{tet_topic_meta}}, publisher = {{American Chemical Society (ACS)}}, title = {{{Efficient Modeling and Tailoring of Nonlinear Wavefronts in Dielectric Metasurfaces}}}, doi = {{10.1021/acsphotonics.2c01967}}, year = {{2023}}, } @inproceedings{45695, author = {{Hotegni, Sedjro Salomon and Mahabadi, Sepideh and Vakilian, Ali}}, booktitle = {{Proceedings of the 40th International Conference on Machine Learning, Honolulu, Hawaii, USA. PMLR 202, 2023.}}, keywords = {{Fair range clustering}}, location = {{Honolulu, Hawaii, USA}}, title = {{{Approximation Algorithms for Fair Range Clustering}}}, year = {{2023}}, } @inproceedings{43060, author = {{Hebrok, Sven Niclas and Nachtigall, Simon and Maehren, Marcel and Erinola, Nurullah and Merget, Robert and Somorovsky, Juraj and Schwenk, Jörg}}, booktitle = {{32nd USENIX Security Symposium}}, title = {{{We Really Need to Talk About Session Tickets: A Large-Scale Analysis of Cryptographic Dangers with TLS Session Tickets}}}, year = {{2023}}, } @inbook{45552, abstract = {{The field of teaching technologies is in constant interplay between educational and industrial advances. Since the beginning of the twenty-first century, digitalization and automatization have become increasingly important. In industrial and social life, we see similar fast-moving developments. These factors challenge education, specifically vocational education, greatly, and raise two very different, yet very much connected questions: how to prepare students for their vocational lives and how to prepare teachers to communicate the necessary competencies to their students? This chapter provides an overview of advances, challenges, and possible solutions, focusing on the three key fields of vocational education in Germany: Industry 4.0, Education 4.0, and innovative teacher education. Most importantly, however, the text examines the continuous interplay between and among these fields. The beginning of the chapter is dedicated to vocational teacher education, in accordance with industrial and educational advances. Specifying this, characteristics of Industry 4.0, as well as students' and teachers' perceptions of Industry 4.0, are discussed. This is followed by an introduction to the concept of so-called learning factories as a possible way of integrating aspects of Industry 4.0 in German vocational schools. The end of the chapter is dedicated to the required changes in educational settings today and in the future. Though Industry 4.0, Education 4.0, and innovative teacher education are each widely discussed in the current literature, the interplay of all three fields reveals a research gap. This chapter tries to close this gap and provide an important contribution to the research field.}}, author = {{Jonas-Ahrend, Gabriela and Vernholz, Mats and Temmen, Katrin}}, booktitle = {{Teacher Education in the Wake of Covid-19 }}, editor = {{Craig, Cheryl J. and Mena, Juanjo and Kane, Ruth G.}}, isbn = {{9781804554630}}, issn = {{1479-3687}}, pages = {{175--191}}, publisher = {{Emerald Publishing Limited}}, title = {{{Teaching Technologies: Continuous Interplay Between Educational and Industrial Advances}}}, doi = {{10.1108/s1479-368720230000041019}}, volume = {{41}}, year = {{2023}}, } @article{45712, author = {{Häsel-Weide, Uta}}, journal = {{Die Grundschulzeitschrift}}, number = {{339}}, pages = {{6--11}}, publisher = {{Friedrich Verlag}}, title = {{{ Inklusiver Mathematikunterricht. Mathematiklernen in Vielfalt von Kompetenzen, Wegen und Lernsituationen}}}, year = {{2023}}, } @article{45713, author = {{Graf, Lara Marie and Wienhues, Inga and Häsel-Weide, Uta}}, journal = {{Die Grundschulzeitschrift}}, number = {{339}}, pages = {{20--23}}, publisher = {{Friedrich Verlag}}, title = {{{Addition und Subtraktion verstehen}}}, year = {{2023}}, } @misc{45762, author = {{Simon-Mertens, Florian}}, title = {{{Effizienzanalyse leichtgewichtiger Neuronaler Netze für FPGA-basierte Modulationsklassifikation}}}, year = {{2023}}, } @inproceedings{45778, abstract = {{RISC-V has received worldwide acceptance in the industry and by the academic community. As of today, multiple RISC-V applications and variants are under investigation for embedded IoT systems, from resource-limited single-core processors up to multi-core systems for High-Performance Computing (HPC). Recently, the Grid of Processing Cells (GPC) platform has been proposed as a scalable parallel grid-oriented network of processor cores with local memories. This paper describes a prototype design of the GPC platform for hardware implementation at Register-Transfer Level (RTL) based on modified RISC-V Rocket processors with scratchpad memories. It introduces a scalable Chisel-based implementation of the modified Rocket cores with RTL generation and a functional test using Verilator simulation. This work also includes the adaptation of the Chipyard software toolchain to extend the compiler to multi-core grids with different local address spaces.}}, author = {{Luchterhandt, Lars and Nellius, Tom and Beck, Robert and Dömer, Rainer and Kneuper, Pascal and Müller, Wolfgang and Sadiye, Babak}}, booktitle = {{MBMV 2023 - 26. Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen“}}, location = {{Germany, Freiburg}}, publisher = {{VDE Verlag}}, title = {{{Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen}}}, year = {{2023}}, } @inproceedings{45776, author = {{Ecker, Wolfgang and Krstic, Milos and Ulbricht, Markus and Mauderer, Andreas and Jentzsch, Eyck and Koch, Andreas and Koppelmann, Bastian and Müller, Wolfgang and Sadiye, Babak and Bruns, Niklas and Drechsler, Rolf and Müller-Gritschneder, Daniel and Schlamelcher, Jan and Grüttner, Kim and Bormann, Jörg and Kunz, Wolfgang and Heckmann, Reinhold and Angst, Gerhard and Wimmer, Ralf and Becker, Bernd and Faller, Tobias and Palomero Bernardo, Paul and Brinkmann, Oliver and Partzsch, Johannes and Mayr, Christian}}, booktitle = {{Scale4Edge – Scaling RISC-V for Edge Applications}}, location = {{ Barcelona, Spain,}}, title = {{{Scale4Edge – Scaling RISC-V for Edge Applications}}}, year = {{2023}}, } @inproceedings{45793, abstract = {{The global megatrends of digitization and sustainability lead to new challenges for the design and management of technical products in industrial companies. Product management - as the bridge between market and company - has the task to absorb and combine the manifold requirements and make the right product-related decisions. In the process, product management is confronted with heterogeneous information, rapidly changing portfolio components, as well as increasing product, and organizational complexity. Combining and utilizing data from different sources, e.g., product usage data and social media data leads to promising potentials to improve the quality of product-related decisions. In this paper, we reinforce the need for data-driven product management as an interdisciplinary field of action. The state of data-driven product management in practice was analyzed by conducting workshops with six manufacturing companies and hosting a focus group meeting with experts from different industries. We investigate the expectations and derive requirements leading us to open research questions, a vision for data-driven product management, and a research agenda to shape future research efforts.}}, author = {{Grigoryan, Khoren and Fichtler, Timm and Schreiner, Nick and Rabe, Martin and Panzner, Melina and Kühn, Arno and Dumitrescu, Roman and Koldewey, Christian}}, booktitle = {{Procedia CIRP 33}}, keywords = {{Product Management, Data Analytics, Data-Driven Design, Product-related data, Lifecycle Data, Tool-support}}, location = {{Sydney}}, title = {{{Data-Driven Product Management: A Practitioner-Driven Research Agenda}}}, year = {{2023}}, } @inproceedings{45812, author = {{Özcan, Leon and Fichtler, Timm and Kasten, Benjamin and Koldewey, Christian and Dumitrescu, Roman}}, keywords = {{Digital Platform, Platform Strategy, Strategic Management, Platform Life Cycle, Interview Study, Business Model, Business-to-Business, Two-sided Market, Multi-sided Market}}, location = {{Ljubljana}}, title = {{{Interview Study on Strategy Options for Platform Operation in B2B Markets}}}, year = {{2023}}, } @inproceedings{33734, abstract = {{Many applications require explainable node classification in knowledge graphs. Towards this end, a popular ``white-box'' approach is class expression learning: Given sets of positive and negative nodes, class expressions in description logics are learned that separate positive from negative nodes. Most existing approaches are search-based approaches generating many candidate class expressions and selecting the best one. However, they often take a long time to find suitable class expressions. In this paper, we cast class expression learning as a translation problem and propose a new family of class expression learning approaches which we dub neural class expression synthesizers. Training examples are ``translated'' into class expressions in a fashion akin to machine translation. Consequently, our synthesizers are not subject to the runtime limitations of search-based approaches. We study three instances of this novel family of approaches based on LSTMs, GRUs, and set transformers, respectively. An evaluation of our approach on four benchmark datasets suggests that it can effectively synthesize high-quality class expressions with respect to the input examples in approximately one second on average. Moreover, a comparison to state-of-the-art approaches suggests that we achieve better F-measures on large datasets. For reproducibility purposes, we provide our implementation as well as pretrained models in our public GitHub repository at https://github.com/dice-group/NeuralClassExpressionSynthesis}}, author = {{KOUAGOU, N'Dah Jean and Heindorf, Stefan and Demir, Caglar and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{The Semantic Web - 20th Extended Semantic Web Conference (ESWC 2023)}}, editor = {{Pesquita, Catia and Jimenez-Ruiz, Ernesto and McCusker, Jamie and Faria, Daniel and Dragoni, Mauro and Dimou, Anastasia and Troncy, Raphael and Hertling, Sven}}, keywords = {{Neural network, Concept learning, Description logics}}, location = {{Hersonissos, Crete, Greece}}, pages = {{209 -- 226}}, publisher = {{Springer International Publishing}}, title = {{{Neural Class Expression Synthesis}}}, doi = {{https://doi.org/10.1007/978-3-031-33455-9_13}}, volume = {{13870}}, year = {{2023}}, } @unpublished{37937, abstract = {{Knowledge bases are widely used for information management on the web, enabling high-impact applications such as web search, question answering, and natural language processing. They also serve as the backbone for automatic decision systems, e.g. for medical diagnostics and credit scoring. As stakeholders affected by these decisions would like to understand their situation and verify fair decisions, a number of explanation approaches have been proposed using concepts in description logics. However, the learned concepts can become long and difficult to fathom for non-experts, even when verbalized. Moreover, long concepts do not immediately provide a clear path of action to change one's situation. Counterfactuals answering the question "How must feature values be changed to obtain a different classification?" have been proposed as short, human-friendly explanations for tabular data. In this paper, we transfer the notion of counterfactuals to description logics and propose the first algorithm for generating counterfactual explanations in the description logic $\mathcal{ELH}$. Counterfactual candidates are generated from concepts and the candidates with fewest feature changes are selected as counterfactuals. In case of multiple counterfactuals, we rank them according to the likeliness of their feature combinations. For evaluation, we conduct a user survey to investigate which of the generated counterfactual candidates are preferred for explanation by participants. In a second study, we explore possible use cases for counterfactual explanations.}}, author = {{Sieger, Leonie Nora and Heindorf, Stefan and Blübaum, Lukas and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{arXiv:2301.05109}}, title = {{{Counterfactual Explanations for Concepts in ELH}}}, year = {{2023}}, } @phdthesis{44323, abstract = {{Reading between the lines has so far been reserved for humans. The present dissertation addresses this research gap using machine learning methods. Implicit expressions are not comprehensible by computers and cannot be localized in the text. However, many texts arise on interpersonal topics that, unlike commercial evaluation texts, often imply information only by means of longer phrases. Examples are the kindness and the attentiveness of a doctor, which are only paraphrased (“he didn’t even look me in the eye”). The analysis of such data, especially the identification and localization of implicit statements, is a research gap (1). This work uses so-called Aspect-based Sentiment Analysis as a method for this purpose. It remains open how the aspect categories to be extracted can be discovered and thematically delineated based on the data (2). Furthermore, it is not yet explored how a collection of tools should look like, with which implicit phrases can be identified and thus made explicit (3). Last, it is an open question how to correlate the identified phrases from the text data with other data, including the investigation of the relationship between quantitative scores (e.g., school grades) and the thematically related text (4). Based on these research gaps, the research question is posed as follows: Using text mining methods, how can implicit rating content be properly interpreted and thus made explicit before it is automatically categorized and quantified? The uniqueness of this dissertation is based on the automated recognition of implicit linguistic statements alongside explicit statements. These are identified in unstructured text data so that features expressed only in the text can later be compared across data sources, even though they were not included in rating categories such as stars or school grades. German-language physician ratings from websites in three countries serve as the sample domain. The solution approach consists of data creation, a pipeline for text processing and analyses based on this. In the data creation, aspect classes are identified and delineated across platforms and marked in text data. This results in six datasets with over 70,000 annotated sentences and detailed guidelines. The models that were created based on the training data extract and categorize the aspects. In addition, the sentiment polarity and the evaluation weight, i. e., the importance of each phrase, are determined. The models, which are combined in a pipeline, are used in a prototype in the form of a web application. The analyses built on the pipeline quantify the rating contents by linking the obtained information with further data, thus allowing new insights. As a result, a toolbox is provided to identify quantifiable rating content and categories using text mining for a sample domain. This is used to evaluate the approach, which in principle can also be adapted to any other domain.}}, author = {{Kersting, Joschka}}, pages = {{208}}, publisher = {{Universität der Bundeswehr München }}, title = {{{Identifizierung quantifizierbarer Bewertungsinhalte und -kategorien mittels Text Mining}}}, year = {{2023}}, } @inbook{45875, author = {{Götte, Thorsten and Knollmann, Till and Meyer auf der Heide, Friedhelm and Scheideler, Christian and Werthmann, Julian}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{1----20}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Capabilities and Limitations of Local Strategies in Dynamic Networks}}}, doi = {{10.5281/zenodo.8060372}}, volume = {{412}}, year = {{2023}}, } @inbook{45895, author = {{Karl, Holger and Maack, Marten and Meyer auf der Heide, Friedhelm and Pukrop, Simon and Redder, Adrian}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{183--202}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{On-The-Fly Compute Centers II: Execution of Composed Services in Configurable Compute Centers}}}, doi = {{10.5281/zenodo.8068664}}, volume = {{412}}, year = {{2023}}, } @inbook{45901, author = {{Blömer, Johannes and Bobolz, Jan and Eidens, Fabian and Jager, Tibor and Kramer, Paul}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{237--246}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Practical Cryptograhic Techniques for Secure and Privacy-Preserving Customer Loyalty Systems}}}, doi = {{10.5281/zenodo.8068755}}, volume = {{412}}, year = {{2023}}, } @inbook{45899, author = {{Boschmann, Alexander and Clausing, Lennart and Jentzsch, Felix and Ghasemzadeh Mohammadi, Hassan and Platzner, Marco}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{225--236}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Flexible Industrial Analytics on Reconfigurable Systems-On-Chip}}}, doi = {{10.5281/zenodo.8068713}}, volume = {{412}}, year = {{2023}}, } @inbook{45888, author = {{Wehrheim, Heike and Platzner, Marco and Bodden, Eric and Schubert, Philipp and Pauck, Felix and Jakobs, Marie-Christine}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{125--144}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Verifying Software and Reconfigurable Hardware Services}}}, doi = {{10.5281/zenodo.8068583}}, volume = {{412}}, year = {{2023}}, } @inbook{45897, author = {{Gottschalk, Sebastian and Vorbohle, Christian and Kundisch, Dennis and Engels, Gregor and Wünderlich, Nacy V.}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{203--224}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Architectural Management of OTF Computing Markets}}}, doi = {{10.5281/zenodo.8068691}}, volume = {{412}}, year = {{2023}}, } @inbook{45891, author = {{Blömer, Johannes and Eidens, Fabian and Jager, Tibor and Niehues, David and Scheideler, Christian}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{145--164}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Robustness and Security}}}, doi = {{10.5281/zenodo.8068629}}, volume = {{412}}, year = {{2023}}, } @inbook{45882, author = {{Bäumer, Frederik Simon and Chen, Wei-Fan and Geierhos, Michaela and Kersting, Joschka and Wachsmuth, Henning}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{65--84}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Dialogue-based Requirement Compensation and Style-adjusted Data-to-text Generation}}}, doi = {{10.5281/zenodo.8068456}}, volume = {{412}}, year = {{2023}}, } @inbook{45884, author = {{Hanselle, Jonas Manuel and Hüllermeier, Eyke and Mohr, Felix and Ngonga Ngomo, Axel-Cyrille and Sherif, Mohamed and Tornede, Alexander and Wever, Marcel Dominik}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{85--104}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Configuration and Evaluation}}}, doi = {{10.5281/zenodo.8068466}}, volume = {{412}}, year = {{2023}}, } @inbook{45878, author = {{Haake, Claus-Jochen and Hehenkamp, Burkhard and Polevoy, Gleb}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{21--44}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{The Market for Services: Incentives, Algorithms, Implementation}}}, doi = {{10.5281/zenodo.8068414}}, volume = {{412}}, year = {{2023}}, } @inbook{45886, author = {{Wehrheim, Heike and Hüllermeier, Eyke and Becker, Steffen and Becker, Matthias and Richter, Cedric and Sharma, Arnab}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{105--123}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Composition Analysis in Unknown Contexts}}}, doi = {{10.5281/zenodo.8068510}}, volume = {{412}}, year = {{2023}}, } @misc{45917, author = {{Raeisi Nafchi, Masood}}, publisher = {{Paderborn University}}, title = {{{Reconfigurable Random Forest Implementation on FPGA}}}, year = {{2023}}, } @misc{45916, author = {{Yadalam Murali Kumar, Nihal}}, publisher = {{Paderborn University}}, title = {{{Data Analytics for Predictive Maintenance of Time Series Data}}}, year = {{2023}}, } @inproceedings{34138, abstract = {{Variational Quantum Algorithms (VQAs), such as the Quantum Approximate Optimization Algorithm (QAOA) of [Farhi, Goldstone, Gutmann, 2014], have seen intense study towards near-term applications on quantum hardware. A crucial parameter for VQAs is the depth of the variational ansatz used - the smaller the depth, the more amenable the ansatz is to near-term quantum hardware in that it gives the circuit a chance to be fully executed before the system decoheres. This potential for depth reduction has made VQAs a staple of Noisy Intermediate-Scale Quantum (NISQ)-era research. In this work, we show that approximating the optimal depth for a given VQA ansatz is intractable. Formally, we show that for any constant $\epsilon>0$, it is QCMA-hard to approximate the optimal depth of a VQA ansatz within multiplicative factor $N^{1-\epsilon}$, for $N$ denoting the encoding size of the VQA instance. (Here, Quantum Classical Merlin-Arthur (QCMA) is a quantum generalization of NP.) We then show that this hardness persists even in the "simpler" setting of QAOAs. To our knowledge, this yields the first natural QCMA-hard-to-approximate problems. To achieve these results, we bypass the need for a PCP theorem for QCMA by appealing to the disperser-based NP-hardness of approximation construction of [Umans, FOCS 1999].}}, author = {{Bittel, Lennart and Gharibian, Sevag and Kliesch, Martin}}, booktitle = {{Proceedings of the 38th Computational Complexity Conference (CCC)}}, number = {{34}}, pages = {{34:1--34:24}}, title = {{{The Optimal Depth of Variational Quantum Algorithms Is QCMA-Hard to Approximate}}}, doi = {{10.4230/LIPIcs.CCC.2023.34}}, volume = {{264}}, year = {{2023}}, } @article{45786, abstract = {{Intending to counteract Klein’s second discontinuity in teacher education, we explored and applied the innovation of “interface ePortfolio” in the context of a geometry course for preservice teachers (PSTs). The tool offers the possibility of implementing the design principle of profession orientation. In the article, we theoretically clarify what we understand by this principle and locate our innovative concept against this theoretical background. We empirically investigate the extent to which counteraction against the second discontinuity is successful by analyzing reflection texts created in the interface ePortfolio, focusing on PSTs’ perspectives. Our qualitative content analysis shows that most of them perceive the innovation as helpful in the intended sense and indicates that the course concept, in general, and the interface ePortfolio, in particular, have helped establish relevant links between the course content and their later work as teachers.}}, author = {{Hoffmann, Max and Biehler, Rolf}}, issn = {{1863-9690}}, journal = {{ZDM – Mathematics Education}}, keywords = {{General Mathematics, Education}}, publisher = {{Springer}}, title = {{{Implementing profession orientation as a design principle for overcoming Klein’s second discontinuity – preservice teacher’s perspectives on interface activities in the context of a geometry course}}}, doi = {{10.1007/s11858-023-01505-3}}, year = {{2023}}, } @phdthesis{45781, author = {{Pukrop, Simon}}, title = {{{On Cloud Assisted, Restricted, and Reosurce Constrained Scheduling}}}, doi = {{10.17619/UNIPB/1-1768 }}, year = {{2023}}, } @misc{46053, author = {{Schneider, Fabian}}, title = {{{Utilizing Redundancy in Distributed Heterogeneous Storage}}}, year = {{2023}}, } @misc{46075, author = {{Raeisi Nafchi, Masood}}, title = {{{Reconfigurable Random Forest Implementation on FPGA}}}, year = {{2023}}, } @misc{46087, author = {{Ranade, Amruta}}, title = {{{Graph Neural Network-based Anomaly Detection in Smart Grid Energy Consumption}}}, year = {{2023}}, } @misc{46086, author = {{Ali, Osama}}, title = {{{Highly accurate deep compressed facial recognition}}}, year = {{2023}}, } @article{46100, author = {{Hinrichs, Benjamin and Janssen, Daan W. and Ziebell, Jobst}}, issn = {{0022-247X}}, journal = {{Journal of Mathematical Analysis and Applications}}, keywords = {{Applied Mathematics, Analysis}}, number = {{1}}, publisher = {{Elsevier BV}}, title = {{{Super-Gaussian decay of exponentials: A sufficient condition}}}, doi = {{10.1016/j.jmaa.2023.127558}}, volume = {{528}}, year = {{2023}}, } @misc{46110, author = {{Ashri, Nivedita}}, title = {{{Virtual On-Demand Volunteer System Based on Delaunay Triangulation}}}, year = {{2023}}, } @unpublished{46117, abstract = {{Let $X=X_1\times X_2$ be a product of two rank one symmetric spaces of non-compact type and $\Gamma$ a torsion-free discrete subgroup in $G_1\times G_2$. We show that the spectrum of $\Gamma \backslash X$ is related to the asymptotic growth of $\Gamma$ in the two direction defined by the two factors. We obtain that $L^2(\Gamma \backslash G)$ is tempered for large class of $\Gamma$.}}, author = {{Weich, Tobias and Wolf, Lasse L.}}, booktitle = {{arXiv:2304.09573}}, title = {{{Temperedness of locally symmetric spaces: The product case}}}, year = {{2023}}, } @article{46147, author = {{Brosch, Anian and Tinazzi, Fabio and Wallscheid, Oliver and Zigliotto, Mauro and Böcker, Joachim}}, issn = {{0885-8993}}, journal = {{IEEE Transactions on Power Electronics}}, keywords = {{Electrical and Electronic Engineering}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Finite Set Sensorless Control With Minimum a Priori Knowledge and Tuning Effort for Interior Permanent Magnet Synchronous Motors}}}, doi = {{10.1109/tpel.2023.3294557}}, year = {{2023}}, } @article{46155, author = {{Bruns, Julia and Hagena, Maike and Gasteiger, Hedwig}}, issn = {{0742-051X}}, journal = {{Teaching and Teacher Education}}, keywords = {{Education}}, publisher = {{Elsevier BV}}, title = {{{Professional Development Enacted by Facilitators in the Context of Early Mathematics Education: Scaling up or Dilution of Effects?}}}, doi = {{10.1016/j.tate.2023.104270}}, volume = {{132}}, year = {{2023}}, } @book{46157, editor = {{Biehler, Rolf and Liebendörfer, Michael and Gueudet, Ghislaine and Rasmussen, Chris and Winsløw, Carl}}, isbn = {{9783031141744}}, issn = {{1869-4918}}, publisher = {{Springer International Publishing}}, title = {{{Practice-Oriented Research in Tertiary Mathematics Education}}}, doi = {{10.1007/978-3-031-14175-1}}, year = {{2023}}, } @article{38041, abstract = {{While FPGA accelerator boards and their respective high-level design tools are maturing, there is still a lack of multi-FPGA applications, libraries, and not least, benchmarks and reference implementations towards sustained HPC usage of these devices. As in the early days of GPUs in HPC, for workloads that can reasonably be decoupled into loosely coupled working sets, multi-accelerator support can be achieved by using standard communication interfaces like MPI on the host side. However, for performance and productivity, some applications can profit from a tighter coupling of the accelerators. FPGAs offer unique opportunities here when extending the dataflow characteristics to their communication interfaces. In this work, we extend the HPCC FPGA benchmark suite by multi-FPGA support and three missing benchmarks that particularly characterize or stress inter-device communication: b_eff, PTRANS, and LINPACK. With all benchmarks implemented for current boards with Intel and Xilinx FPGAs, we established a baseline for multi-FPGA performance. Additionally, for the communication-centric benchmarks, we explored the potential of direct FPGA-to-FPGA communication with a circuit-switched inter-FPGA network that is currently only available for one of the boards. The evaluation with parallel execution on up to 26 FPGA boards makes use of one of the largest academic FPGA installations.}}, author = {{Meyer, Marius and Kenter, Tobias and Plessl, Christian}}, issn = {{1936-7406}}, journal = {{ACM Transactions on Reconfigurable Technology and Systems}}, keywords = {{General Computer Science}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Multi-FPGA Designs and Scaling of HPC Challenge Benchmarks via MPI and Circuit-Switched Inter-FPGA Networks}}}, doi = {{10.1145/3576200}}, year = {{2023}}, } @inbook{45893, author = {{Hansmeier, Tim and Kenter, Tobias and Meyer, Marius and Riebler, Heinrich and Platzner, Marco and Plessl, Christian}}, booktitle = {{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}, editor = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{165--182}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{Compute Centers I: Heterogeneous Execution Environments}}}, doi = {{10.5281/zenodo.8068642}}, volume = {{412}}, year = {{2023}}, } @inproceedings{46190, author = {{Opdenhövel, Jan-Oliver and Plessl, Christian and Kenter, Tobias}}, booktitle = {{Proceedings of the 13th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies}}, publisher = {{ACM}}, title = {{{Mutation Tree Reconstruction of Tumor Cells on FPGAs Using a Bit-Level Matrix Representation}}}, doi = {{10.1145/3597031.3597050}}, year = {{2023}}, } @inproceedings{46188, author = {{Faj, Jennifer and Kenter, Tobias and Faghih-Naini, Sara and Plessl, Christian and Aizinger, Vadym}}, booktitle = {{Proceedings of the Platform for Advanced Scientific Computing Conference}}, publisher = {{ACM}}, title = {{{Scalable Multi-FPGA Design of a Discontinuous Galerkin Shallow-Water Model on Unstructured Meshes}}}, doi = {{10.1145/3592979.3593407}}, year = {{2023}}, } @inproceedings{46189, author = {{Prouveur, Charles and Haefele, Matthieu and Kenter, Tobias and Voss, Nils}}, booktitle = {{Proceedings of the Platform for Advanced Scientific Computing Conference}}, publisher = {{ACM}}, title = {{{FPGA Acceleration for HPC Supercapacitor Simulations}}}, doi = {{10.1145/3592979.3593419}}, year = {{2023}}, } @article{46213, author = {{Weber, Daniel and Schenke, Maximilian and Wallscheid, Oliver}}, issn = {{2169-3536}}, journal = {{IEEE Access}}, keywords = {{General Engineering, General Materials Science, General Computer Science, Electrical and Electronic Engineering}}, pages = {{76524--76536}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Steady-State Error Compensation for Reinforcement Learning-Based Control of Power Electronic Systems}}}, doi = {{10.1109/access.2023.3297274}}, volume = {{11}}, year = {{2023}}, } @inproceedings{46212, author = {{Weber, Daniel and Schenke, Maximilian and Wallscheid, Oliver}}, booktitle = {{2023 International Conference on Future Energy Solutions (FES)}}, publisher = {{IEEE}}, title = {{{Safe Reinforcement Learning-Based Control in Power Electronic Systems}}}, doi = {{10.1109/fes57669.2023.10182718}}, year = {{2023}}, } @unpublished{46229, author = {{Lienen, Christian and Nowosad, Alexander Philipp and Platzner, Marco}}, title = {{{Mapping and Optimizing Communication in ROS 2-based Applications on Configurable System-on-Chip Platforms}}}, year = {{2023}}, } @misc{46221, author = {{N., N.}}, title = {{{Improving the End-of-Line Test of Custom-Built Geared Motors using Clustering based on Neural Networks}}}, year = {{2023}}, } @article{46251, author = {{Demir, Caglar and Ngonga Ngomo, Axel-Cyrille}}, journal = {{International Joint Conference on Artificial Intelligence}}, location = {{Macau}}, title = {{{Neuro-Symbolic Class Expression Learning}}}, year = {{2023}}, } @article{46256, author = {{Ma, Yulai and Mattiolo, Davide and Steffen, Eckhard and Wolf, Isaak Hieronymus}}, issn = {{0895-4801}}, journal = {{SIAM Journal on Discrete Mathematics}}, keywords = {{General Mathematics}}, number = {{3}}, pages = {{1548--1565}}, publisher = {{Society for Industrial & Applied Mathematics (SIAM)}}, title = {{{Pairwise Disjoint Perfect Matchings in r-Edge-Connected r-Regular Graphs}}}, doi = {{10.1137/22m1500654}}, volume = {{37}}, year = {{2023}}, } @inproceedings{43228, abstract = {{The computation of electron repulsion integrals (ERIs) over Gaussian-type orbitals (GTOs) is a challenging problem in quantum-mechanics-based atomistic simulations. In practical simulations, several trillions of ERIs may have to be computed for every time step. In this work, we investigate FPGAs as accelerators for the ERI computation. We use template parameters, here within the Intel oneAPI tool flow, to create customized designs for 256 different ERI quartet classes, based on their orbitals. To maximize data reuse, all intermediates are buffered in FPGA on-chip memory with customized layout. The pre-calculation of intermediates also helps to overcome data dependencies caused by multi-dimensional recurrence relations. The involved loop structures are partially or even fully unrolled for high throughput of FPGA kernels. Furthermore, a lossy compression algorithm utilizing arbitrary bitwidth integers is integrated in the FPGA kernels. To our best knowledge, this is the first work on ERI computation on FPGAs that supports more than just the single most basic quartet class. Also, the integration of ERI computation and compression it a novelty that is not even covered by CPU or GPU libraries so far. Our evaluation shows that using 16-bit integer for the ERI compression, the fastest FPGA kernels exceed the performance of 10 GERIS ($10 \times 10^9$ ERIs per second) on one Intel Stratix 10 GX 2800 FPGA, with maximum absolute errors around $10^{-7}$ - $10^{-5}$ Hartree. The measured throughput can be accurately explained by a performance model. The FPGA kernels deployed on 2 FPGAs outperform similar computations using the widely used libint reference on a two-socket server with 40 Xeon Gold 6148 CPU cores of the same process technology by factors up to 6.0x and on a new two-socket server with 128 EPYC 7713 CPU cores by up to 1.9x.}}, author = {{Wu, Xin and Kenter, Tobias and Schade, Robert and Kühne, Thomas and Plessl, Christian}}, booktitle = {{2023 IEEE 31st Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)}}, pages = {{162--173}}, title = {{{Computing and Compressing Electron Repulsion Integrals on FPGAs}}}, doi = {{10.1109/FCCM57271.2023.00026}}, year = {{2023}}, } @article{45361, abstract = {{ The non-orthogonal local submatrix method applied to electronic structure–based molecular dynamics simulations is shown to exceed 1.1 EFLOP/s in FP16/FP32-mixed floating-point arithmetic when using 4400 NVIDIA A100 GPUs of the Perlmutter system. This is enabled by a modification of the original method that pushes the sustained fraction of the peak performance to about 80%. Example calculations are performed for SARS-CoV-2 spike proteins with up to 83 million atoms. }}, author = {{Schade, Robert and Kenter, Tobias and Elgabarty, Hossam and Lass, Michael and Kühne, Thomas and Plessl, Christian}}, issn = {{1094-3420}}, journal = {{The International Journal of High Performance Computing Applications}}, keywords = {{Hardware and Architecture, Theoretical Computer Science, Software}}, publisher = {{SAGE Publications}}, title = {{{Breaking the exascale barrier for the electronic structure problem in ab-initio molecular dynamics}}}, doi = {{10.1177/10943420231177631}}, year = {{2023}}, } @inproceedings{45913, author = {{Clausing, Lennart and Guetattfi, Zakarya and Kaufmann, Paul and Lienen, Christian and Platzner, Marco}}, booktitle = {{Proceedings of the 19th International Symposium on Applied Reconfigurable Computing (ARC)}}, title = {{{On Guaranteeing Schedulability of Periodic Real-time Hardware Tasks under ReconOS64}}}, year = {{2023}}, } @phdthesis{45780, author = {{Tornede, Alexander}}, title = {{{Advanced Algorithm Selection with Machine Learning: Handling Large Algorithm Sets, Learning From Censored Data, and Simplyfing Meta Level Decisions}}}, doi = {{10.17619/UNIPB/1-1780 }}, year = {{2023}}, } @inproceedings{45578, abstract = {{A frequency-flexible Nyquist pulse synthesizer is presented with optical pulse bandwidths up to fopt=100 GHz and repetition rates equal to fopt/9, fabricated in an electronic-photonic co-integrated platform utilizing linear on-chip drivers.}}, author = {{Kress, Christian and Schwabe, Tobias and Silberhorn, Christine and Scheytt, J. Christoph}}, booktitle = {{ Conference on Lasers and Electro-Optics (CLEO) 2023}}, location = {{San Jose, CA, USA}}, publisher = {{Optica Publishing Group}}, title = {{{Generation of 100 GHz Periodic Nyquist Pulses using Cascaded Mach-Zehnder Modulators in a Silicon Electronic-Photonic Platform}}}, doi = {{https://doi.org/10.1364/CLEO_SI.2023.SF1P.6}}, year = {{2023}}, } @inproceedings{42163, abstract = {{The article shows how to learn models of dynamical systems from data which are governed by an unknown variational PDE. Rather than employing reduction techniques, we learn a discrete field theory governed by a discrete Lagrangian density $L_d$ that is modelled as a neural network. Careful regularisation of the loss function for training $L_d$ is necessary to obtain a field theory that is suitable for numerical computations: we derive a regularisation term which optimises the solvability of the discrete Euler--Lagrange equations. Secondly, we develop a method to find solutions to machine learned discrete field theories which constitute travelling waves of the underlying continuous PDE.}}, author = {{Offen, Christian and Ober-Blöbaum, Sina}}, booktitle = {{Geometric Science of Information}}, editor = {{Nielsen, F and Barbaresco, F}}, keywords = {{System identification, discrete Lagrangians, travelling waves}}, location = {{Saint-Malo, Palais du Grand Large, France}}, pages = {{569--579}}, publisher = {{Springer, Cham.}}, title = {{{Learning discrete Lagrangians for variational PDEs from data and detection of travelling waves}}}, doi = {{10.1007/978-3-031-38271-0_57}}, volume = {{14071}}, year = {{2023}}, } @article{29240, abstract = {{The principle of least action is one of the most fundamental physical principle. It says that among all possible motions connecting two points in a phase space, the system will exhibit those motions which extremise an action functional. Many qualitative features of dynamical systems, such as the presence of conservation laws and energy balance equations, are related to the existence of an action functional. Incorporating variational structure into learning algorithms for dynamical systems is, therefore, crucial in order to make sure that the learned model shares important features with the exact physical system. In this paper we show how to incorporate variational principles into trajectory predictions of learned dynamical systems. The novelty of this work is that (1) our technique relies only on discrete position data of observed trajectories. Velocities or conjugate momenta do not need to be observed or approximated and no prior knowledge about the form of the variational principle is assumed. Instead, they are recovered using backward error analysis. (2) Moreover, our technique compensates discretisation errors when trajectories are computed from the learned system. This is important when moderate to large step-sizes are used and high accuracy is required. For this, we introduce and rigorously analyse the concept of inverse modified Lagrangians by developing an inverse version of variational backward error analysis. (3) Finally, we introduce a method to perform system identification from position observations only, based on variational backward error analysis.}}, author = {{Ober-Blöbaum, Sina and Offen, Christian}}, issn = {{0377-0427}}, journal = {{Journal of Computational and Applied Mathematics}}, keywords = {{Lagrangian learning, variational backward error analysis, modified Lagrangian, variational integrators, physics informed learning}}, pages = {{114780}}, publisher = {{Elsevier}}, title = {{{Variational Learning of Euler–Lagrange Dynamics from Data}}}, doi = {{10.1016/j.cam.2022.114780}}, volume = {{421}}, year = {{2023}}, } @article{29236, abstract = {{The numerical solution of an ordinary differential equation can be interpreted as the exact solution of a nearby modified equation. Investigating the behaviour of numerical solutions by analysing the modified equation is known as backward error analysis. If the original and modified equation share structural properties, then the exact and approximate solution share geometric features such as the existence of conserved quantities. Conjugate symplectic methods preserve a modified symplectic form and a modified Hamiltonian when applied to a Hamiltonian system. We show how a blended version of variational and symplectic techniques can be used to compute modified symplectic and Hamiltonian structures. In contrast to other approaches, our backward error analysis method does not rely on an ansatz but computes the structures systematically, provided that a variational formulation of the method is known. The technique is illustrated on the example of symmetric linear multistep methods with matrix coefficients.}}, author = {{McLachlan, Robert and Offen, Christian}}, journal = {{Journal of Geometric Mechanics}}, keywords = {{variational integrators, backward error analysis, Euler--Lagrange equations, multistep methods, conjugate symplectic methods}}, number = {{1}}, pages = {{98--115}}, publisher = {{AIMS Press}}, title = {{{Backward error analysis for conjugate symplectic methods}}}, doi = {{10.3934/jgm.2023005}}, volume = {{15}}, year = {{2023}}, } @article{37654, abstract = {{Recently, Hamiltonian neural networks (HNN) have been introduced to incorporate prior physical knowledge when learning the dynamical equations of Hamiltonian systems. Hereby, the symplectic system structure is preserved despite the data-driven modeling approach. However, preserving symmetries requires additional attention. In this research, we enhance the HNN with a Lie algebra framework to detect and embed symmetries in the neural network. This approach allows to simultaneously learn the symmetry group action and the total energy of the system. As illustrating examples, a pendulum on a cart and a two-body problem from astrodynamics are considered.}}, author = {{Dierkes, Eva and Offen, Christian and Ober-Blöbaum, Sina and Flaßkamp, Kathrin}}, issn = {{1054-1500}}, journal = {{Chaos}}, number = {{6}}, publisher = {{AIP Publishing}}, title = {{{Hamiltonian Neural Networks with Automatic Symmetry Detection}}}, doi = {{10.1063/5.0142969}}, volume = {{33}}, year = {{2023}}, } @phdthesis{46482, abstract = {{Ever increasing demands on the performance of microchips are leading to ever more complex semiconductor technologies with ever shrinking feature sizes. Complex applications with high demands on safety and reliability, such as autonomous driving, are simultaneously driving the requirements for test and diagnosis of VLSI circuits. Throughout the life cycle of a microchip, uncertainties occur that affect its timing behavior. For example, weak circuit structures, aging effects, or process variations can lead to a change in the timing behavior of the circuit. While these uncertainties do not necessarily lead to a change of the functional behavior, they can lead to a reliability problem. With modular and hybrid compaction two test instruments are presented in this work that can be used for X-tolerant test response compaction in the built-in Faster-than-At-Speed Test (FAST) which is used to detect uncertainties in VLSI circuits. One challenge for test response compaction during FAST is the high and varying X-rate at the outputs of the circuit under test. By dividing the circuit outputs into test groups and separately compacting these test groups using stochastic compactors, the modular compaction is able to handle these high and varying X-rates. To deal with uncertainties on logic interconnects, a method for distinguishing crosstalk and process variation is presented. In current semiconductor technologies, the number of parasitic coupling capacitances between logic interconnects is growing. These coupling capacitances can lead to crosstalk, which causes increased current flow in the logic interconnects, which in turn can lead to increased electromigration. In the presented method, delay maps describing the timing behavior of the circuit outputs at different operating points are used to train artificial neural networks which classify the tested circuits into fault-free and faulty.}}, author = {{Sprenger, Alexander}}, keywords = {{Testantwortkompaktierung, Prozessvariation, Silicon Lifecycle Management}}, pages = {{xi, 160}}, publisher = {{Universität Paderborn}}, title = {{{Testinstrumente und Testdatenanalyse zur Verarbeitung von Unsicherheiten in Logikblöcken hochintegrierter Schaltungen}}}, doi = {{10.17619/UNIPB/1-1787}}, year = {{2023}}, } @inbook{46516, abstract = {{Linked knowledge graphs build the backbone of many data-driven applications such as search engines, conversational agents and e-commerce solutions. Declarative link discovery frameworks use complex link specifications to express the conditions under which a link between two resources can be deemed to exist. However, understanding such complex link specifications is a challenging task for non-expert users of link discovery frameworks. In this paper, we address this drawback by devising NMV-LS, a language model-based verbalization approach for translating complex link specifications into natural language. NMV-LS relies on the results of rule-based link specification verbalization to apply continuous training on T5, a large language model based on the Transformerarchitecture. We evaluated NMV-LS on English and German datasets using well-known machine translation metrics such as BLUE, METEOR, ChrF++ and TER. Our results suggest that our approach achieves a verbalization performance close to that of humans and outperforms state of the art approaches. Our source code and datasets are publicly available at https://github.com/dice-group/NMV-LS.}}, author = {{Ahmed, Abdullah Fathi Ahmed and Firmansyah, Asep Fajar and Sherif, Mohamed and Moussallem, Diego and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{Natural Language Processing and Information Systems}}, isbn = {{9783031353192}}, issn = {{0302-9743}}, publisher = {{Springer Nature Switzerland}}, title = {{{Explainable Integration of Knowledge Graphs Using Large Language Models}}}, doi = {{10.1007/978-3-031-35320-8_9}}, year = {{2023}}, } @misc{45558, abstract = {{Graffiti is an urban phenomenon that is increasingly attracting the interest of the sciences. To the best of our knowledge, no suitable data corpora are available for systematic research until now. The Information System Graffiti in Germany project (Ingrid) closes this gap by dealing with graffiti image collections that have been made available to the project for public use. Within Ingrid, the graffiti images are collected, digitized and annotated. With this work, we aim to support the rapid access to a comprehensive data source on Ingrid targeted especially by researchers. In particular, we present IngridKG, an RDF knowledge graph of annotated graffiti, abides by the Linked Data and FAIR principles. We weekly update IngridKG by augmenting the new annotated graffiti to our knowledge graph. Our generation pipeline applies RDF data conversion, link discovery and data fusion approaches to the original data. The current version of IngridKG contains 460,640,154 triples and is linked to 3 other knowledge graphs by over 200,000 links. In our use case studies, we demonstrate the usefulness of our knowledge graph for different applications.}}, author = {{Sherif, Mohamed and Morim da Silva, Ana Alexandra and Pestryakova, Svetlana and Ahmed, Abdullah Fathi Ahmed and Niemann, Sven and Ngonga Ngomo, Axel-Cyrille}}, publisher = {{LibreCat University}}, title = {{{IngridKG: A FAIR Knowledge Graph of Graffiti}}}, doi = {{10.5281/ZENODO.7560242}}, year = {{2023}}, } @inbook{46572, abstract = {{Indonesian is classified as underrepresented in the Natural Language Processing (NLP) field, despite being the tenth most spoken language in the world with 198 million speakers. The paucity of datasets is recognized as the main reason for the slow advancements in NLP research for underrepresented languages. Significant attempts were made in 2020 to address this drawback for Indonesian. The Indonesian Natural Language Understanding (IndoNLU) benchmark was introduced alongside IndoBERT pre-trained language model. The second benchmark, Indonesian Language Evaluation Montage (IndoLEM), was presented in the same year. These benchmarks support several tasks, including Named Entity Recognition (NER). However, all NER datasets are in the public domain and do not contain domain-specific datasets. To alleviate this drawback, we introduce IndQNER, a manually annotated NER benchmark dataset in the religious domain that adheres to a meticulously designed annotation guideline. Since Indonesia has the world’s largest Muslim population, we build the dataset from the Indonesian translation of the Quran. The dataset includes 2475 named entities representing 18 different classes. To assess the annotation quality of IndQNER, we perform experiments with BiLSTM and CRF-based NER, as well as IndoBERT fine-tuning. The results reveal that the first model outperforms the second model achieving 0.98 F1 points. This outcome indicates that IndQNER may be an acceptable evaluation metric for Indonesian NER tasks in the aforementioned domain, widening the research’s domain range.}}, author = {{Gusmita, Ria Hari and Firmansyah, Asep Fajar and Moussallem, Diego and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{Natural Language Processing and Information Systems}}, isbn = {{9783031353192}}, issn = {{0302-9743}}, location = {{Derby, UK}}, publisher = {{Springer Nature Switzerland}}, title = {{{IndQNER: Named Entity Recognition Benchmark Dataset from the Indonesian Translation of the Quran}}}, doi = {{10.1007/978-3-031-35320-8_12}}, year = {{2023}}, } @inproceedings{46575, author = {{Baci, Alkid and Heindorf, Stefan}}, booktitle = {{CIKM}}, title = {{{Accelerating Concept Learning via Sampling}}}, year = {{2023}}, } @unpublished{46579, abstract = {{The Koopman operator has become an essential tool for data-driven analysis, prediction and control of complex systems, the main reason being the enormous potential of identifying linear function space representations of nonlinear dynamics from measurements. Until now, the situation where for large-scale systems, we (i) only have access to partial observations (i.e., measurements, as is very common for experimental data) or (ii) deliberately perform coarse graining (for efficiency reasons) has not been treated to its full extent. In this paper, we address the pitfall associated with this situation, that the classical EDMD algorithm does not automatically provide a Koopman operator approximation for the underlying system if we do not carefully select the number of observables. Moreover, we show that symmetries in the system dynamics can be carried over to the Koopman operator, which allows us to massively increase the model efficiency. We also briefly draw a connection to domain decomposition techniques for partial differential equations and present numerical evidence using the Kuramoto--Sivashinsky equation.}}, author = {{Peitz, Sebastian and Harder, Hans and Nüske, Feliks and Philipp, Friedrich and Schaller, Manuel and Worthmann, Karl}}, booktitle = {{arXiv:2307.15325}}, title = {{{Partial observations, coarse graining and equivariance in Koopman operator theory for large-scale dynamical systems}}}, year = {{2023}}, } @inproceedings{46426, abstract = {{One of the main challenges for next generation automotive radars is the improvement of angular resolution to a sub-degree level. In this context, wide aperture automotive radars of 1m length or more and resolution close to 0.1° in azimuth and 0.5° in elevation could be beneficial. To enable coherent processing of arrays with such large aperture, prior (i.e offline) and online calibration are necessary: channel imbalances (gains and phases) and three dimensional coordinates of transmit and receive elements need to be determined. We propose a calibration strategy based on alternating steps between the two subtasks of i) channel imbalance estimation with ‘known’ array positions, by applying a singular value decomposition to the resulting tensor calculus problem; and ii) antenna position estimation with ’known’ channel imbalances, by numerically maximizing the Bayesian posterior probability; in both cases operating on range/Doppler snapshots of disjoint targets (with potentially unknown locations). Simulation studies based on the parameters of a MIMO 8x6 linear sparse array show promising results as long as the initial position errors do not exceed half a wavelength (2mm), beyond which we observe strong effects of ambiguity. Experimental results with real measurements show that after calibration in laboratory conditions, our MIMO 8x6 demonstrator with 50cm aperture is able to resolve two targets at the same range with angular separation at least as close as 0.4°.}}, author = {{Greiff, Christian and Mateos-Núñez, David and Simoni, Renato and González-Huici, Maria and Kruse, Stephan and Scheytt, J. Christoph and Kolk, Karl and Höller, Christian and Kurz, Heiko Gustav and Meinecke, Marc-Michael and Gisder, Thomas}}, booktitle = {{2023 24th International Radar Symposium (IRS)}}, location = {{Berlin, Germany}}, publisher = {{IEEE}}, title = {{{Calibration of Large Coherent MIMO Radar Arrays: Channel Imbalances and 3D Antenna Positions}}}, doi = {{10.23919/IRS57608.2023.10172475}}, year = {{2023}}, } @article{23428, abstract = {{The Koopman operator has become an essential tool for data-driven approximation of dynamical (control) systems in recent years, e.g., via extended dynamic mode decomposition. Despite its popularity, convergence results and, in particular, error bounds are still quite scarce. In this paper, we derive probabilistic bounds for the approximation error and the prediction error depending on the number of training data points; for both ordinary and stochastic differential equations. Moreover, we extend our analysis to nonlinear control-affine systems using either ergodic trajectories or i.i.d. samples. Here, we exploit the linearity of the Koopman generator to obtain a bilinear system and, thus, circumvent the curse of dimensionality since we do not autonomize the system by augmenting the state by the control inputs. To the best of our knowledge, this is the first finite-data error analysis in the stochastic and/or control setting. Finally, we demonstrate the effectiveness of the proposed approach by comparing it with state-of-the-art techniques showing its superiority whenever state and control are coupled.}}, author = {{Nüske, Feliks and Peitz, Sebastian and Philipp, Friedrich and Schaller, Manuel and Worthmann, Karl}}, journal = {{Journal of Nonlinear Science}}, title = {{{Finite-data error bounds for Koopman-based prediction and control}}}, doi = {{10.1007/s00332-022-09862-1}}, volume = {{33}}, year = {{2023}}, } @unpublished{46649, abstract = {{Different conflicting optimization criteria arise naturally in various Deep Learning scenarios. These can address different main tasks (i.e., in the setting of Multi-Task Learning), but also main and secondary tasks such as loss minimization versus sparsity. The usual approach is a simple weighting of the criteria, which formally only works in the convex setting. In this paper, we present a Multi-Objective Optimization algorithm using a modified Weighted Chebyshev scalarization for training Deep Neural Networks (DNNs) with respect to several tasks. By employing this scalarization technique, the algorithm can identify all optimal solutions of the original problem while reducing its complexity to a sequence of single-objective problems. The simplified problems are then solved using an Augmented Lagrangian method, enabling the use of popular optimization techniques such as Adam and Stochastic Gradient Descent, while efficaciously handling constraints. Our work aims to address the (economical and also ecological) sustainability issue of DNN models, with a particular focus on Deep Multi-Task models, which are typically designed with a very large number of weights to perform equally well on multiple tasks. Through experiments conducted on two Machine Learning datasets, we demonstrate the possibility of adaptively sparsifying the model during training without significantly impacting its performance, if we are willing to apply task-specific adaptations to the network weights. Code is available at https://github.com/salomonhotegni/MDMTN.}}, author = {{Hotegni, Sedjro Salomon and Peitz, Sebastian and Berkemeier, Manuel Bastian}}, booktitle = {{arXiv:2308.12243}}, pages = {{13}}, title = {{{Multi-Objective Optimization for Sparse Deep Neural Network Training}}}, year = {{2023}}, } @article{21600, abstract = {{Many problems in science and engineering require an efficient numerical approximation of integrals or solutions to differential equations. For systems with rapidly changing dynamics, an equidistant discretization is often inadvisable as it results in prohibitively large errors or computational effort. To this end, adaptive schemes, such as solvers based on Runge–Kutta pairs, have been developed which adapt the step size based on local error estimations at each step. While the classical schemes apply very generally and are highly efficient on regular systems, they can behave suboptimally when an inefficient step rejection mechanism is triggered by structurally complex systems such as chaotic systems. To overcome these issues, we propose a method to tailor numerical schemes to the problem class at hand. This is achieved by combining simple, classical quadrature rules or ODE solvers with data-driven time-stepping controllers. Compared with learning solution operators to ODEs directly, it generalizes better to unseen initial data as our approach employs classical numerical schemes as base methods. At the same time it can make use of identified structures of a problem class and, therefore, outperforms state-of-the-art adaptive schemes. Several examples demonstrate superior efficiency. Source code is available at https://github.com/lueckem/quadrature-ML.}}, author = {{Dellnitz, Michael and Hüllermeier, Eyke and Lücke, Marvin and Ober-Blöbaum, Sina and Offen, Christian and Peitz, Sebastian and Pfannschmidt, Karlson}}, journal = {{SIAM Journal on Scientific Computing}}, number = {{2}}, pages = {{A579--A595}}, title = {{{Efficient time stepping for numerical integration using reinforcement learning}}}, doi = {{10.1137/21M1412682}}, volume = {{45}}, year = {{2023}}, } @inproceedings{46739, author = {{Sadeghi-Kohan, Somayeh and Hellebrand, Sybille and Wunderlich, Hans-Joachim}}, booktitle = {{2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W)}}, publisher = {{IEEE}}, title = {{{Low Power Streaming of Sensor Data Using Gray Code-Based Approximate Communication}}}, doi = {{10.1109/dsn-w58399.2023.00056}}, year = {{2023}}, } @book{45863, abstract = {{In the proposal for our CRC in 2011, we formulated a vision of markets for IT services that describes an approach to the provision of such services that was novel at that time and, to a large extent, remains so today: „Our vision of on-the-fly computing is that of IT services individually and automatically configured and brought to execution from flexibly combinable services traded on markets. At the same time, we aim at organizing markets whose participants maintain a lively market of services through appropriate entrepreneurial actions.“ Over the last 12 years, we have developed methods and techniques to address problems critical to the convenient, efficient, and secure use of on-the-fly computing. Among other things, we have made the description of services more convenient by allowing natural language input, increased the quality of configured services through (natural language) interaction and more efficient configuration processes and analysis procedures, made the quality of (the products of) providers in the marketplace transparent through reputation systems, and increased the resource efficiency of execution through reconfigurable heterogeneous computing nodes and an integrated treatment of service description and configuration. We have also developed network infrastructures that have a high degree of adaptivity, scalability, efficiency, and reliability, and provide cryptographic guarantees of anonymity and security for market participants and their products and services. To demonstrate the pervasiveness of the OTF computing approach, we have implemented a proof-of-concept for OTF computing that can run typical scenarios of an OTF market. We illustrated the approach using a cutting-edge application scenario – automated machine learning (AutoML). Finally, we have been pushing our work for the perpetuation of On-The-Fly Computing beyond the SFB and sharing the expertise gained in the SFB in events with industry partners as well as transfer projects. This work required a broad spectrum of expertise. Computer scientists and economists with research interests such as computer networks and distributed algorithms, security and cryptography, software engineering and verification, configuration and machine learning, computer engineering and HPC, microeconomics and game theory, business informatics and management have successfully collaborated here.}}, author = {{Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}}, pages = {{247}}, publisher = {{Heinz Nixdorf Institut, Universität Paderborn}}, title = {{{On-The-Fly Computing -- Individualized IT-services in dynamic markets}}}, doi = {{10.17619/UNIPB/1-1797}}, volume = {{412}}, year = {{2023}}, } @inproceedings{46757, author = {{Schwerin, Imke and Häsel-Weide, Uta}}, booktitle = {{International Symposium in Elementary Mathematics Teaching. Proceedings: New Directions in Elementary Mathematics Education}}, editor = {{Novotna, J. and Moraova, H.}}, location = {{Prag}}, pages = {{297--305}}, publisher = {{Charles University}}, title = {{{Second grader´s understanding of doubling and halfing in various representations}}}, year = {{2023}}, } @inbook{46758, author = {{Schmidt, Rebekka and Tenberge, Claudia and Häsel-Weide, Uta}}, booktitle = {{Aktive Teilhabe fördern – ICM und Student Engagement in der Hochschullehre}}, editor = {{Vöing, N. and Schmidt, R. and Neiske, I.}}, pages = {{297--318}}, publisher = {{Visual Ink Publishing}}, title = {{{Lehre in Zeiten von Digitalisierung und Inklusion - Beispiele aus drei Fächern}}}, year = {{2023}}, } @book{44719, abstract = {{„Lerne deinen Körper besser kennen“, „Das Beste für deine Gesundheit“ und „Ihre Transformation beginnt jetzt“ - mit Versprechen wie diesen vermitteln die Produkttexte von Wearables wie Fitnesstracker und Smartwatches ein ganz bestimmtes Bild ihrer vorgesehenen Nutzer*innen und deren Nutzung. Verbunden mit den kleinen, am Handgelenk getragenen Geräten sind Fragen nach Erkenntnisgewinn und Kontrollverlust, Selbstoptimierung und Quantifizierungslogiken, Eigenverantwortung und Fremdsteuerung. Die vorliegende Arbeit widmet sich diesem komplexen Spannungsfeld und verfolgt dabei einen multiperspektivischen Ansatz: im Rahmen einer Dispositivanalyse werden die einzelnen Elemente des Wearable-Dispositivs als eigenständige, empirisch zu untersuchende Analysegegenstände betrachtet, um so das Zusammenwirken und die komplexe Beziehung von Diskursen, Gegenständen, Nutzung, Subjekten und Gesellschaft zu erforschen. Ein besonderes Erkenntnisinteresse liegt dabei auf dem Wissen, was sich über Wearables etabliert hat und sich in den Alltagspraktiken der Nutzer*innen widerspiegelt sowie bei der Frage nach den möglichen Funktionen und Auswirkungen des Wearable-Dispositivs. }}, author = {{Schloots, Franziska Margarete}}, isbn = {{9783658409012}}, issn = {{2512-112X}}, keywords = {{Selbstvermessung, Dispositivanalyse, Gesundheitsdiskurs, Quantifizierungsgesellschaft, Wearables, Selbstoptimierung}}, publisher = {{Springer Fachmedien Wiesbaden}}, title = {{{Mit dem Leben Schritt halten - Eine Analyse des Wearable-Dispositivs}}}, doi = {{10.1007/978-3-658-40902-9}}, year = {{2023}}, }