TY - JOUR AB - Given a geometrically finite hyperbolic surface of infinite volume it is a classical result of Patterson that the positive Laplace-Beltrami operator has no $L^2$-eigenvalues $\geq 1/4$. In this article we prove a generalization of this result for the joint $L^2$-eigenvalues of the algebra of commuting differential operators on Riemannian locally symmetric spaces $\Gamma\backslash G/K$ of higher rank. We derive dynamical assumptions on the $\Gamma$-action on the geodesic and the Satake compactifications which imply the absence of the corresponding principal eigenvalues. A large class of examples fulfilling these assumptions are the non-compact quotients by Anosov subgroups. AU - Weich, Tobias AU - Wolf, Lasse Lennart ID - 31189 JF - Communications in Mathematical Physics TI - Absence of principal eigenvalues for higher rank locally symmetric spaces VL - 403 ER - TY - CONF AB - As technology advances, Unmanned Aerial Vehicles ( UAVs) have emerged as an innovative solution to a variety of problems in many fields. Automated control of UAVs is most common in large area operations, but they may also increase the versatility of smart home compositions by acting as a physical helper. For example, a voice- controlled UAV could act as an intelligent aerial assistant that can be seamlessly integrated into smart home systems. In this paper, we present a novel Augmented Reality (AR )-based UAV control that provides high-level control over a UAV by automating common UAV missions. In our work, we enable users to operate a small UAV hands-free using only a small set of voice commands. To help users identify the targets, and to understand the UAV ’s intentions, targets within the user’s field of vision are highlighted in an AR interface. We evaluate our approach in a user study (n=26) regarding usability, physical and mental demand, as well as a focus on the users’ preferences. Our study showed that the use of the proposed control was not only accepted, but some users stated that they would use such a system at home to help with some tasks at home AU - Helmert, Robin AU - Hardes, Tobias AU - Yigitbas, Enes ID - 47049 T2 - Proceedings of the ACM Symposium on Spatial User Interaction (SUI 2023) TI - Design and Evaluation of an AR Voice-based Indoor UAV Assistant for Smart Home Scenarios ER - TY - JOUR AB - In this article we prove meromorphic continuation of weighted zeta functions in the framework of open hyperbolic systems by using the meromorphically continued restricted resolvent of Dyatlov and Guillarmou (2016). We obtain a residue formula proving equality between residues of weighted zetas and invariant Ruelle distributions. We combine this equality with results of Guillarmou, Hilgert and Weich (2021) in order to relate the residues to Patterson-Sullivan distributions. Finally we provide proof-of-principle results concerning the numerical calculation of invariant Ruelle distributions for 3-disc scattering systems. AU - Schütte, Philipp AU - Weich, Tobias AU - Barkhofen, Sonja ID - 31059 JF - Communications in Mathematical Physics TI - Meromorphic Continuation of Weighted Zeta Functions on Open Hyperbolic Systems VL - 398 ER - TY - GEN AB - We present a numerical algorithm for the computation of invariant Ruelle distributions on convex co-compact hyperbolic surfaces. This is achieved by exploiting the connection between invariant Ruelle distributions and residues of meromorphically continued weighted zeta functions established by the authors together with Barkhofen (2021). To make this applicable for numerics we express the weighted zeta as the logarithmic derivative of a suitable parameter dependent Fredholm determinant similar to Borthwick (2014). As an additional difficulty our transfer operator has to include a contracting direction which we account for with techniques developed by Rugh (1992). We achieve a further improvement in convergence speed for our algorithm in the case of surfaces with additional symmetries by proving and applying a symmetry reduction of weighted zeta functions. AU - Schütte, Philipp AU - Weich, Tobias ID - 51206 T2 - arXiv:2308.13463 TI - Invariant Ruelle Distributions on Convex-Cocompact Hyperbolic Surfaces -- A Numerical Algorithm via Weighted Zeta Functions ER - TY - GEN AB - 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$. AU - Weich, Tobias AU - Wolf, Lasse Lennart ID - 51207 T2 - arXiv:2304.09573 TI - Temperedness of locally symmetric spaces: The product case ER - TY - JOUR AU - Steffen, Eckhard AU - Wolf, Isaak Hieronymus ID - 51351 JF - Discrete Applied Mathematics KW - Applied Mathematics KW - Discrete Mathematics and Combinatorics SN - 0166-218X TI - Bounds for the chromatic index of signed multigraphs VL - 337 ER - TY - THES AB - Erfolg und Misserfolg eines Unternehmens werden maßgeblich durch getroffene Entscheidungen beeinflusst. Daher verlassen sich Entscheider oft auf Entscheidungsunterstützungssysteme, die durch Datensimulation, -optimierung und -visualisierung bei der Identifizierung von geeigneten Entscheidungen unterstützen. Für eine optimale Unterstützung muss ein Entscheidungsunterstützungssystem (EUS) jedoch auf den Entscheidungsprozess eines Entscheiders abgestimmt sein und verfügbare Daten, Optimierungsziele, persönliche Präferenzen sowie weitere Einflussfaktoren berücksichtigen. EUS-Entwickler können aufgrund der Komplexität und Volatilität von Geschäftsumgebungen allerdings nicht alle potenziellen Entscheidungsprozesse während des Entwurfs eines EUS vorhersehen, wodurch ein EUS einem Entscheider häufig nur unzureichende Anpassungsmöglichkeiten an den individuellen Entscheidungsprozess bietet. Die Einzelanfertigung eines EUS, das auf einen Entscheidungsprozess zugeschnitten ist, ist ein kosten- und zeitintensives Unterfangen aufgrund der begrenzten Verfügbarkeit von Softwareentwicklern oder Missverständnissen zwischen Entwicklern und Entscheidern während der Entwicklung. Daher geben sich Entscheider möglicherweise mit einem handelsüblichen EUS zufrieden, das nicht vollständig mit ihrem Entscheidungsprozess übereinstimmt, suboptimale Entscheidungen begünstigt und so den Unternehmenserfolg negativ beeinflusst. In dieser Arbeit wird ein Ansatz vorgeschlagen, der es Entscheidern ermöglicht, selbst maßgeschneiderte Entscheidungsunterstützungssysteme zu entwickeln und so die Diskrepanz zwischen benötigter und tatsächlicher Entscheidungsunterstützung zu vermeiden. Dazu stellen EUS-Entwickler einen Teil der EUS-Funktionalität als wiederverwendbare Software-Dienste bereit ... AU - Kirchhoff, Jonas ID - 51352 TI - Decision Support Ecosystems: Assisted Low-Code Development of Tailored Decision Support Systems ER - TY - CHAP AU - Cappello, Chiara AU - Steffen, Eckhard ID - 45190 SN - 9783031261039 T2 - The Digital Twin of Humans TI - Graph-Theoretical Models for the Analysis and Design of Socio-Technical Networks ER - TY - JOUR AU - Steffen, Eckhard AU - Wolf, Isaak Hieronymus ID - 51357 JF - Discrete Mathematics KW - Discrete Mathematics and Combinatorics KW - Theoretical Computer Science SN - 0012-365X TI - Rotation r-graphs ER - TY - GEN AB - We consider the quantum dynamics of a many-fermion system in $\mathbb R^d$ with an ultraviolet regularized pair interaction as previously studied in [M. Gebert, B. Nachtergaele, J. Reschke, and R. Sims, Ann. Henri Poincar\'e 21.11 (2020)]. We provide a Lieb-Robinson bound under substantially relaxed assumptions on the potentials. We also improve the associated one-body Lieb-Robinson bound on $L^2$-overlaps to an almost ballistic one (i.e., an almost linear light cone) under the same relaxed assumptions. Applications include the existence of the infinite-volume dynamics and clustering of ground states in the presence of a spectral gap. We also develop a fermionic continuum notion of conditional expectation and use it to approximate time-evolved fermionic observables by local ones, which opens the door to other applications of the Lieb-Robinson bounds. AU - Hinrichs, Benjamin AU - Lemm, Marius AU - Siebert, Oliver ID - 51375 T2 - arXiv:2310.17736 TI - On Lieb-Robinson bounds for a class of continuum fermions ER - TY - GEN AB - In the Bogoliubov-Fr\"ohlich model, we prove that an impurity immersed in a Bose-Einstein condensate forms a stable quasi-particle when the total momentum is less than its mass times the speed of sound. The system thus exhibits superfluid behavior, as this quasi-particle does not experience friction. We do not assume any infrared or ultraviolet regularization of the model, which contains massless excitations and point-like interactions. AU - Hinrichs, Benjamin AU - Lampart, Jonas ID - 51376 T2 - arXiv:2311.05361 TI - A Lower Bound on the Critical Momentum of an Impurity in a Bose-Einstein Condensate ER - TY - JOUR AB - For a compact Riemannian locally symmetric space $\Gamma\backslash G/K$ of arbitrary rank we determine the location of certain Ruelle-Taylor resonances for the Weyl chamber action. We provide a Weyl-lower bound on an appropriate counting function for the Ruelle-Taylor resonances and establish a spectral gap which is uniform in $\Gamma$ if $G/K$ is irreducible of higher rank. This is achieved by proving a quantum-classical correspondence, i.e. a 1:1-correspondence between horocyclically invariant Ruelle-Taylor resonant states and joint eigenfunctions of the algebra of invariant differential operators on $G/K$. AU - Hilgert, Joachim AU - Weich, Tobias AU - Wolf, Lasse Lennart ID - 31190 IS - 10 JF - Analysis & PDE TI - Higher rank quantum-classical correspondence VL - 16 ER - TY - GEN AB - We compare the spectral properties of two kinds of linear operators characterizing the (classical) geodesic flow and its quantization on connected locally finite graphs without dead ends. The first kind are transfer operators acting on vector spaces associated with the set of non backtracking paths in the graphs. The second kind of operators are averaging operators acting on vector spaces associated with the space of vertices of the graph. The choice of vector spaces reflects regularity properties. Our main results are correspondences between classical and quantum spectral objects as well as some automatic regularity properties for eigenfunctions of transfer operators. AU - Bux, Kai-Uwe AU - Hilgert, Joachim AU - Weich, Tobias ID - 51205 T2 - arXiv:2307.10876 TI - Spectral correspondences for finite graphs without dead ends ER - TY - JOUR AB - In this paper we complete the program of relating the Laplace spectrum for rank one compact locally symmetric spaces with the first band Ruelle-Pollicott resonances of the geodesic flow on its sphere bundle. This program was started by Flaminio and Forni for hyperbolic surfaces, continued by Dyatlov, Faure and Guillarmou for real hyperbolic spaces and by Guillarmou, Hilgert and Weich for general rank one spaces. Except for the case of hyperbolic surfaces a countable set of exceptional spectral parameters always left untreated since the corresponding Poisson transforms are neither injective nor surjective. We use vector valued Poisson transforms to treat also the exceptional spectral parameters. For surfaces the exceptional spectral parameters lead to discrete series representations of $\mathrm{SL}(2,\mathbb R)$. In higher dimensions the situation is more complicated, but can be described completely. AU - Arends, Christian AU - Hilgert, Joachim ID - 31210 JF - Journal de l’École polytechnique — Mathématiques KW - Ruelle resonances KW - Poisson transforms KW - locally symmetric spaces KW - principal series representations SN - 2429-7100 TI - Spectral correspondences for rank one locally symmetric spaces: the case of exceptional parameters VL - 10 ER - TY - JOUR AU - Hilgert, Joachim AU - Arends, C. ID - 51383 JF - J. de l'École polytechnique — Mathématiques TI - Spectral correspondences for rank one locally symmetric spaces - The case of exceptional parameters VL - 10 ER - TY - JOUR AU - Hilgert, Joachim AU - Glöckner, H. ID - 51384 JF - J. Diff. Equations TI - Aspects of control theory on infinite-dimensional Lie groups and G-manifolds VL - 343 ER - TY - GEN AU - Hilgert, Joachim AU - Arends, C. AU - Frahm, J. ID - 51499 TI - A pairing formula for resonant states on finite regular graphs ER - TY - GEN AU - Hilgert, Joachim AU - Arends, C. AU - Frahm, J. ID - 51500 TI - Edge Laplacians and vector valued Poisson transforms for graphs ER - TY - GEN AU - Hilgert, Joachim AU - Baier, T. AU - Kaya, O. AU - Mourao, J. AU - Nunes, J. ID - 51502 TI - Quantization in fibering polarizations, Mabuchi rays and geometric Peter--Weyl theorem ER - TY - GEN AU - Hilgert, Joachim AU - Guedes Bonthonneau, Y. AU - Guillarmou, C. AU - Weich, Tobias ID - 51521 TI - Ruelle-Taylor resonances of Anosov actions ER - TY - GEN AB - We present a new gradient-like dynamical system related to unconstrained convex smooth multiobjective optimization which involves inertial effects and asymptotic vanishing damping. To the best of our knowledge, this system is the first inertial gradient-like system for multiobjective optimization problems including asymptotic vanishing damping, expanding the ideas laid out in [H. Attouch and G. Garrigos, Multiobjective optimization: an inertial approach to Pareto optima, preprint, arXiv:1506.02823, 201]. We prove existence of solutions to this system in finite dimensions and further prove that its bounded solutions converge weakly to weakly Pareto optimal points. In addition, we obtain a convergence rate of order O(t−2) for the function values measured with a merit function. This approach presents a good basis for the development of fast gradient methods for multiobjective optimization. AU - Sonntag, Konstantin AU - Peitz, Sebastian ID - 32447 T2 - arXiv:2307.00975 TI - Fast Convergence of Inertial Multiobjective Gradient-like Systems with Asymptotic Vanishing Damping ER - TY - GEN AB - Multiobjective optimization plays an increasingly important role in modern applications, where several criteria are often of equal importance. The task in multiobjective optimization and multiobjective optimal control is therefore to compute the set of optimal compromises (the Pareto set) between the conflicting objectives. The advances in algorithms and the increasing interest in Pareto-optimal solutions have led to a wide range of new applications related to optimal and feedback control - potentially with non-smoothness both on the level of the objectives or in the system dynamics. This results in new challenges such as dealing with expensive models (e.g., governed by partial differential equations (PDEs)) and developing dedicated algorithms handling the non-smoothness. Since in contrast to single-objective optimization, the Pareto set generally consists of an infinite number of solutions, the computational effort can quickly become challenging, which is particularly problematic when the objectives are costly to evaluate or when a solution has to be presented very quickly. This article gives an overview of recent developments in the field of multiobjective optimization of non-smooth PDE-constrained problems. In particular we report on the advances achieved within Project 2 "Multiobjective Optimization of Non-Smooth PDE-Constrained Problems - Switches, State Constraints and Model Order Reduction" of the DFG Priority Programm 1962 "Non-smooth and Complementarity-based Distributed Parameter Systems: Simulation and Hierarchical Optimization". AU - Bernreuther, Marco AU - Dellnitz, Michael AU - Gebken, Bennet AU - Müller, Georg AU - Peitz, Sebastian AU - Sonntag, Konstantin AU - Volkwein, Stefan ID - 46578 T2 - arXiv:2308.01113 TI - Multiobjective Optimization of Non-Smooth PDE-Constrained Problems ER - TY - CONF AU - Rautenberg, Frederik AU - Kuhlmann, Michael AU - Ebbers, Janek AU - Wiechmann, Jana AU - Seebauer, Fritz AU - Wagner, Petra AU - Haeb-Umbach, Reinhold ID - 44849 T2 - Fortschritte der Akustik - DAGA 2023 TI - Speech Disentanglement for Analysis and Modification of Acoustic and Perceptual Speaker Characteristics ER - TY - CONF AB - Many Android applications collect data from users. When they do, they must protect this collected data according to the current legal frameworks. Such data protection has become even more important since the European Union rolled out the General Data Protection Regulation (GDPR). App developers have limited tool support to reason about data protection throughout their app development process. Although many Android applications state a privacy policy, privacy policy compliance checks are currently manual, expensive, and prone to error. One of the major challenges in privacy audits is the significant gap between legal privacy statements (in English text) and technical measures that Android apps use to protect their user's privacy. In this thesis, we will explore to what extent we can use static analysis to answer important questions regarding data protection. Our main goal is to design a tool based approach that aids app developers and auditors in ensuring data protection in Android applications, based on automated static program analysis. AU - Khedkar, Mugdha ID - 44146 KW - static analysis KW - data protection and privacy KW - GDPR compliance T2 - Proceedings of the 45th International Conference on Software Engineering: Companion Proceedings (ICSE ‘23) TI - Static Analysis for Android GDPR Compliance Assurance ER - TY - GEN AU - Beckendorf, Björn ID - 52317 TI - Self-Stabilizing Skip-Graph with Growth-bounded Metric ER - TY - JOUR AU - Demir, Caglar AU - Wiebesiek, Michel AU - Lu, Renzhong AU - Ngonga Ngomo, Axel-Cyrille AU - Heindorf, Stefan ID - 46248 JF - ECML PKDD TI - LitCQD: Multi-Hop Reasoning in Incomplete Knowledge Graphs with Numeric Literals ER - TY - CONF AB - 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. AU - Fichtler, Timm AU - Grigoryan, Khoren AU - Koldewey, Christian AU - Dumitrescu, Roman ID - 52369 KW - Product Lifecyle Management (PLM) KW - Data Analytics KW - Data-driven Design KW - Engineering Management KW - Lifecycle Data T2 - 2023 IEEE International Conference on Technology Management, Operations and Decisions (ICTMOD) TI - Towards a Data-Driven Product Management – Concepts, Advantages, and Future Research ER - TY - GEN AU - Vernholz, Mats ED - Perla, Loredana ED - Agrati, Laura Sara ED - Vinci, Viviana ED - Scarinci, Alessia ID - 52370 SN - 9791255681038 T2 - Living and Leading in the Next Era: Connecting Teaching, Research, Citizenship and Equity TI - Academic self-concepts of pre-service technology teachers for vocational education in Germany according to the TPACK- Model ER - TY - GEN AU - Knorr, Lukas AU - Schlosser, Florian AU - Meschede, Henning ID - 47540 TI - Economic Integration of a High-Temperature Heat Pump with Flexible Part-load Operation ER - TY - GEN AU - Klassen, Alexander ID - 52480 TI - Fast Partial Reconfiguration for ReconOS64 on Xilinx MPSoC Devices ER - TY - CONF AU - Prager, Raphael Patrick AU - Trautmann, Heike ED - Silva, Sara ED - Paquete, Luís ID - 52530 T2 - Companion Proceedings of the Conference on Genetic and Evolutionary Computation, GECCO 2023, Companion Volume, Lisbon, Portugal, July 15-19, 2023 TI - Investigating the Viability of Existing Exploratory Landscape Analysis Features for Mixed-Integer Problems ER - TY - CONF AB - Automated Algorithm Configuration (AAC) usually takes a global perspective: it identifies a parameter configuration for an (optimization) algorithm that maximizes a performance metric over a set of instances. However, the optimal choice of parameters strongly depends on the instance at hand and should thus be calculated on a per-instance basis. We explore the potential of Per-Instance Algorithm Configuration (PIAC) by using Reinforcement Learning (RL). To this end, we propose a novel PIAC approach that is based on deep neural networks. We apply it to predict configurations for the Lin\textendash Kernighan heuristic (LKH) for the Traveling Salesperson Problem (TSP) individually for every single instance. To train our PIAC approach, we create a large set of 100000 TSP instances with 2000 nodes each \textemdash currently the largest benchmark set to the best of our knowledge. We compare our approach to the state-of-the-art AAC method Sequential Model-based Algorithm Configuration (SMAC). The results show that our PIAC approach outperforms this baseline on both the newly created instance set and established instance sets. AU - Seiler, Moritz Vinzent AU - Rook, Jeroen AU - Heins, Jonathan AU - Preuß, Oliver Ludger AU - Bossek, Jakob AU - Trautmann, Heike ID - 48898 T2 - 2023 IEEE Symposium Series on Computational Intelligence (SSCI) TI - Using Reinforcement Learning for Per-Instance Algorithm Configuration on the TSP ER - TY - CHAP AB - 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. AU - Nachtigall, Marcus AU - Schlichtig, Michael AU - Bodden, Eric ID - 52662 KW - Automated static analysis KW - Software usability SN - 978-3-88579-726-5 T2 - Software Engineering 2023 TI - Evaluation of Usability Criteria Addressed by Static Analysis Tools on a Large Scale ER - TY - CHAP AB - 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. AU - Schlichtig, Michael AU - Sassalla, Steffen AU - Narasimhan, Krishna AU - Bodden, Eric ID - 52660 KW - API misuses API usage constraints KW - classification framework KW - API misuse detection KW - static analysis SN - 978-3-88579-726-5 T2 - Software Engineering 2023 TI - Introducing FUM: A Framework for API Usage Constraint and Misuse Classification ER - TY - JOUR AU - Celledoni, Elena AU - Glöckner, Helge AU - Riseth, Jørgen AU - Schmeding, Alexander ID - 34803 JF - BIT Numerical Mathematics TI - Deep neural networks on diffeomorphism groups for optimal shape reparametrization VL - 63 ER - TY - JOUR AU - Glöckner, Helge AU - Hilgert, Joachim ID - 34793 JF - Journal of Differential Equations KW - 22E65 KW - 28B05 KW - 34A12 KW - 34H05 KW - 46E30 KW - 46E40 SN - 0022-0396 TI - Aspects of control theory on infinite-dimensional Lie groups and G-manifolds VL - 343 ER - TY - JOUR AB - Let $E$ be a finite-dimensional real vector space and $M\subseteq E$ be a convex polytope with non-empty interior. We turn the group of all $C^\infty$-diffeomorphisms of $M$ into a regular Lie group. AU - Glöckner, Helge ID - 34805 IS - 1 JF - Journal of Convex Analysis TI - Diffeomorphism groups of convex polytopes VL - 30 ER - TY - JOUR AU - Glöckner, Helge AU - Tárrega, Luis ID - 34801 IS - 1 JF - Journal of Lie Theory TI - Mapping groups associated with real-valued function spaces and direct limits of Sobolev-Lie groups VL - 33 ER - TY - JOUR AB - 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. AU - Sadeghi-Kohan, Somayeh AU - Hellebrand, Sybille AU - Wunderlich, Hans-Joachim ID - 46264 JF - IEEE Design &Test KW - Electrical and Electronic Engineering KW - Hardware and Architecture KW - Software SN - 2168-2356 TI - Workload-Aware Periodic Interconnect BIST ER - TY - CONF AU - Jafarzadeh, Hanieh AU - Klemme, Florian AU - Reimer, Jan Dennis AU - Najafi Haghi, Zahra Paria AU - Amrouch, Hussam AU - Hellebrand, Sybille AU - Wunderlich, Hans-Joachim ID - 45830 T2 - IEEE International Test Conference (ITC'23), Anaheim, USA, October 2023 TI - Robust Pattern Generation for Small Delay Faults under Process Variations ER - TY - BOOK ED - Gräßler, Iris ED - Maier, Günter W. ED - Steffen, Eckhard ED - Roesmann, Daniel ID - 45191 SN - 9783031261039 TI - The Digital Twin of Humans ER - TY - JOUR AU - Gilbert, H. AU - Schürmann, M. AU - Liebendörfer, M. AU - Lawson, D. AU - Hodds, M. ID - 52806 JF - International Journal of Mathematical Education in Science and Technology KW - Applied Mathematics KW - Education KW - Mathematics (miscellaneous) SN - 0020-739X TI - Post-pandemic online mathematics and statistics support: Practitioners’ opinions in Germany and Great Britain & Ireland ER - TY - CHAP AU - Biehler, Rolf AU - Guntermann, Dominik AU - Liebendörfer, Michael AU - Krämer, Sandra AU - Schlüter, Sarah ED - Goethe-Universität Frankfur, IDMI-Primar ID - 52811 SN - 978-3-95987-208-9 T2 - Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik TI - Fachdidaktisches Design von Begründungsvideos im Projekt studiVEMINTvideos VL - 1 ER - TY - CHAP AU - Göller, Robin AU - Gildehaus, Lara AU - Liebendörfer, Michael AU - Besser, Michael ED - Härterich, Jörg ED - Kallweit, Michael ED - Rolka, Katrin ED - Skill, Thomas ID - 52810 SN - 978-3-95987-264-5 T2 - Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum TI - Erfassung und Vergleich (mathematischer) Eingangsvoraussetzungen angehender Studierender verschiedener mathematikhaltiger Studiengänge ER - TY - CHAP AU - Kempen, Leander AU - Liebendörfer, Michael ED - Härterich, Jörg ED - Kallweit, Michael ED - Rolka, Katrin ED - Skill, Thomas ID - 52809 SN - 978-3-95987-264-5 T2 - Hanse-Kolloquium zur Hochschuldidaktik der Mathematik 2021. Beiträge zum gleichnamigen Online-Symposium am 12 November 2021 aus Bochum TI - Zu digital - zu viel - zu schwer? Qualitative Einsichten in das Erleben und Handeln von Erstsemester-Studierenden der Mathematik während der Corona-Pandemie ER - TY - CHAP AU - Schlüter, Sarah AU - Liebendörfer, Michael ED - Goethe-Universität Frankfur, IDMI-Primar ID - 52813 SN - 978-3-95987-208-9 T2 - Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik TI - Bearbeitungsmuster von Studierenden im Umgang mit formalen Definitionen im Kontext konstanter Folgen VL - 2 ER - TY - CHAP AU - Krämer, Sandra AU - Liebendörfer, Michael ED - Goethe-Universität Frankfur, IDMI-Primar ID - 52812 SN - 978-3-95987-208-9 T2 - Beiträge zum Mathematikunterricht 2022. 56. Jahrestagung der Gesellschaft für Didaktik der Mathematik TI - Förderung prozeduraler Flexibilität durch Lernvideos mit interaktiven Aufgaben VL - 2 ER - TY - JOUR AB - 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. ID - 52807 TI - Preservice teachers’ mathematics-related values and expectancy in the transition from school to university ER - TY - CHAP AU - de Camargo e Souza Câmara, Igor AU - Turhan, Anni-Yasmin ID - 52859 SN - 0302-9743 T2 - Logics in Artificial Intelligence TI - Deciding Subsumption in Defeasible $$\mathcal {ELI}_\bot $$ with Typicality Models ER - TY - JOUR AU - Gil, Oliver Fernández AU - Patrizi, Fabio AU - Perelli, Giuseppe AU - Turhan, Anni-Yasmin ID - 52861 JF - CoRR TI - Optimal Alignment of Temporal Knowledge Bases VL - abs/2307.15439 ER -