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 understood. 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 preservice 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 attainment 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 -
TY - CONF
AU - Ŝkvorc, Urban
AU - Eftimov, Tome
AU - Koro]ec, Peter
ID - 52863
T2 - 2023 IEEE Symposium Series on Computational Intelligence (SSCI)
TI - Analyzing the Generalizability of Automated Algorithm Selection: A Case Study for Numerical Optimization
ER -
TY - CONF
AU - Turhan, Anni-Yasmin
ED - Kutz, Oliver
ED - Lutz, Carsten
ED - Ozaki, Ana
ID - 52913
T2 - Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and NMR 2023)., Rhodes, Greece, September 2-4, 2023
TI - Brushing-up DLs to Cope with Imperfect Data (Abstract of Joint DL+NMR Invited Talk)
VL - 3515
ER -
TY - CHAP
AU - Kehrbusch, Burkhard
AU - Engels, Gregor
ED - Vogel-Heuser, Birgit
ED - Wimmer, Manuel
ID - 28338
T2 - Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective
TI - Digital Transformation - Towards flexible human-centric enterprises
ER -
TY - JOUR
AB - Optical traveling wave antennas offer unique opportunities to control and selectively guide light into a specific direction, which renders them excellent candidates for optical communication and sensing. These applications require state-of-the-art engineering to reach optimized functionalities such as high directivity and radiation efficiency, low sidelobe levels, broadband and tunable capabilities, and compact design. In this work, we report on the numerical optimization of the directivity of optical traveling wave antennas made from low-loss dielectric materials using full-wave numerical simulations in conjunction with the particle swarm optimization algorithm. The antennas are composed of a reflector and a director deposited on a glass substrate, and an emitter placed in the feed gap between them serves as an internal source of excitation. In particular, we analyze antennas with rectangular- and horn-shaped directors made of either hafnium dioxide or silicon. The optimized antennas produce highly directional emissions due to the presence of two dominant guided TE modes in the director in addition to leaky modes. These guided modes dominate the far-field emission pattern and govern the direction of the main lobe emission, which predominately originates from the end facet of the director. Our work also provides a comprehensive analysis of the modes, radiation patterns, parametric influences, and bandwidths of the antennas, which highlights their robust nature.
AU - Farheen, Henna
AU - Leuteritz, Till
AU - Linden, Stefan
AU - Myroshnychenko, Viktor
AU - Förstner, Jens
ID - 28413
IS - 1
JF - Journal of the Optical Society of America B
KW - tet_topic_opticalantenna
SN - 0740-3224
TI - Optimization of optical waveguide antennas for directive emission of light
VL - 39
ER -
TY - JOUR
AB - We study a double-scattering coherent mechanism of negative polarization (NP) near opposition that is observed for powder-like surfaces. The problem is solved numerically for absorbing structures with irregular constituents, cubes, spheres, and ellipsoids larger than the wavelength of incident light. Our simulations show that double scattering between two random irregular particles shows weak NP. Adding one more particle significantly increases the relative contribution of double scattering which enhances NP. Simulations with regular shapes and controlled geometric parameters show that the interference mechanism is sensitive to the geometry of the scattering system and can also result in no polarization or even strong enhancement of positive polarization at backscattering.
AU - Alhaddad, Samer
AU - Grynko, Yevgen
AU - Farheen, Henna
AU - Förstner, Jens
ID - 29075
IS - 1
JF - Optics Letters
KW - tet_topic_scattering
SN - 0146-9592
TI - Numerical analysis of the coherent mechanism producing negative polarization at backscattering from systems of absorbing particles
VL - 47
ER -
TY - GEN
AU - Koldewey, Christian
AU - Dumitrescu, Roman
AU - Rabe, Martin
ID - 29149
T2 - Proceedings of the 55th Hawaii International Conference on System Sciences
TI - Introduction to the Data-driven Services in Manufacturing Minitrack - Exploring Management, Engineering, and Organizational Transformation
ER -
TY - CONF
AU - Abughannam, Saed
AU - Scheytt, J. Christoph
ID - 29767
T2 - International Symposium on Circuits and Systems (ISCAS 2022)
TI - Low-Power Low-Data-Rate Wireless PPM Receiver Based on 13-Bits Barker Coded SAW Correlator with Scalable Data-Rate and Sensitivity
ER -
TY - CONF
AU - Abughannam, Saed
AU - Kruse, Stephan
AU - Iftekhar, Mohammed
AU - Scheytt, J. Christoph
ID - 29770
T2 - German Microwave Conference 2022 (GeMiC 2022)
TI - Design and Measurements of a Low-power Low-Date-rate Direct-detection Wireless Receiver with Improved Co-channel Interference Robustness
ER -
TY - CONF
AB - The development of business models is a challenging task that can be supported with software tools. Here, existing approaches and tools do not focus on the company’s situation in which the development takes place (e.g., financial resources, product type). To tackle this challenge, we used design science research to develop a situation-specific business model development approach that contains three stages: First, existing knowledge in terms of tasks to do (e.g., analyze competitive advantage), and decisions to be made (e.g., social media marketing) are stored in repositories. Second, the knowledge is used to compose a development method based on the company’s situation. Third, the development method is enacted to develop a business model. This demonstration paper presents a tool-support called Situational Business Model Developer that supports all stages of our approach. We release the tool under open-source and evaluate it with a case study on developing business models for mobile apps.
AU - Gottschalk, Sebastian
AU - Yigitbas, Enes
AU - Nowosad, Alexander
AU - Engels, Gregor
ID - 29839
KW - Business Model Development
KW - Situational Method Engineering
KW - Tool Support
T2 - Proceedings of the 17th International Conference on Wirtschaftsinformatik
TI - Situational Business Model Developer: A Tool-support for Situation-specific Business Model Development
ER -
TY - CONF
AB - Due to the proliferation of Virtual Reality (VR) technology, VR is finding new applications in various domains, such as stock trading. Here, traders invest in stocks intending to increase their profit. For this purpose, in conventional stock trading, traders usually make use of 2D applications on desktop or laptop devices. This leads to many drawbacks such as poor visibility due to limited 2D representation, complex interaction due to indirect interaction via mouse and keyboard, or restricted support for collaboration between traders. To overcome these issues, we have developed a novel collaborative, virtual environment for stock trading, which enables stock traders to view financial information and trade stocks with other collaborators. The main results of a usability study indicate that the VR environment, compared to conventional stock trading, shows no significant advantages concerning efficiency and effectiveness, however, we could observe an increased user satisfaction and better collaboration.
AU - Yigitbas, Enes
AU - Gottschalk, Sebastian
AU - Nowosad, Alexander
AU - Engels, Gregor
ID - 29840
KW - virtual reality
KW - stock trading
KW - collaboration
KW - usability
T2 - Proceedings of the 17th International Conference on Wirtschaftsinformatik
TI - Development and Evaluation of a Collaborative Stock Trading Environment in Virtual Reality
ER -
TY - JOUR
AU - Castenow, Jannik
AU - Kling, Peter
AU - Knollmann, Till
AU - Meyer auf der Heide, Friedhelm
ID - 29843
JF - Information and Computation
KW - Computational Theory and Mathematics
KW - Computer Science Applications
KW - Information Systems
KW - Theoretical Computer Science
SN - 0890-5401
TI - A Discrete and Continuous Study of the Max-Chain-Formation Problem
ER -
TY - THES
AU - Schneider, Stefan Balthasar
ID - 29672
TI - Network and Service Coordination: Conventional and Machine Learning Approaches"
ER -
TY - CONF
AB - Cyber-physical systems generate and collect huge amounts of usage data during operation. Analyzing these data may enable manufacturing companies to identify weaknesses and learn about the users of their products. Such insights are valuable in the early phases of product development like product planning, as they facilitate decision-making for product improvement. The analysis and exploitation of usage data in product planning, however, is a new task for manufacturing companies. To reduce mistakes and improve the results, companies should build upon a suitable reference process model. Unfortunately, established models for analyzing data cannot be easily applied for product planning. In this paper, we propose a reference process model for usage data-driven product planning. It builds on three well-established models for analyzing data and addresses the unique characteristics of usage data-driven product planning. Finally, we customize the model for a manufacturing company and demonstrate how it could be implemented in practice.
AU - Meyer, Maurice
AU - Wiederkehr, Ingrid
AU - Panzner, Melina
AU - Koldewey, Christian
AU - Dumitrescu, Roman
ID - 29380
T2 - Proceedings of the 55th Hawaii International Conference on System Sciences
TI - A Reference Process Model for Usage Data-Driven Product Planning
ER -
TY - CONF
AU - Yigitbas, Enes
AU - Karakaya, Kadiray
AU - Jovanovikj, Ivan
AU - Engels, Gregor
ED - Grunske, Lars
ED - Siegmund, Janet
ED - Vogelsang, Andreas
ID - 29927
T2 - Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell
TI - Enhancing Human-in-the-Loop Adaptive Systems through Digital Twins and VR Interfaces
VL - {P-320}
ER -
TY - CONF
AU - Yigitbas, Enes
AU - Gorissen, Simon
AU - Weidmann, Nils
AU - Engels, Gregor
ED - Grunske, Lars
ED - Siegmund, Janet
ED - Vogelsang, Andreas
ID - 29926
T2 - Software Engineering 2022, Fachtagung des GI-Fachbereichs Softwaretechnik, 21.-25. Februar 2022, Virtuell
TI - Collaborative Software Modeling in Virtual Reality
VL - {P-320}
ER -
TY - CONF
AU - Witschen, Linus Matthias
AU - Wiersema, Tobias
AU - Reuter, Lucas David
AU - Platzner, Marco
ID - 29945
T2 - 2022 59th ACM/IEEE Design Automation Conference (DAC)
TI - Search Space Characterization for Approximate Logic Synthesis
ER -
TY - CONF
AU - Witschen, Linus Matthias
AU - Wiersema, Tobias
AU - Artmann, Matthias
AU - Platzner, Marco
ID - 29865
T2 - Design, Automation and Test in Europe (DATE)
TI - MUSCAT: MUS-based Circuit Approximation Technique
ER -
TY - JOUR
AB - The growing demand for bandwidth and energy efficiency requires new solutions for signal detection and processing. We demonstrate a concept for high-bandwidth signal detection with low-speed photodetectors and electronics. The method is based on the parallel optical sampling of a high-bandwidth signal with sinc-pulse sequences provided by a Mach-Zehnder modulator. For the electronic detection and processing this parallel sampling enables to divide the high-bandwidth optical signal with the bandwidth B into N electrical signals with the baseband bandwidth of B/(2N) . In proof-of-concept experiments with N=3 , we present the detection of 24 GHz optical signals by detectors with a bandwidth of only 4 GHz. For ideal components, the sampling and bandwidth down-conversion does not add an excess error to the signals and even for the non-ideal components of our proof-of-concept setup, it is below 1%. Thus, the rms error for the measurement of the 24 GHz signal was reduced by a factor of about 3.4 and the effective number of bits were increased by 1.8.
AU - Meier, Janosch
AU - Singh, Karanveer
AU - Misra, Arijit
AU - Preussler, Stefan
AU - Scheytt, Christoph
AU - Schneider, Thomas
ID - 30012
JF - IEEE Photonics Journal
TI - High-Bandwidth Arbitrary Signal Detection Using Low-Speed Electronics
VL - 14
ER -
TY - JOUR
AB - In this paper, the theory of phase-locking of a microwave oscillator on the interharmonics, i.e. non-integer harmonics, of the repetition rate of the optical pulse train of a mode-locked laser (MLL) is developed. A balanced optical microwave phase detector (BOMPD) is implemented using a balanced Mach-Zehnder modulator and is employed to discriminate the phase difference between the envelope of the optical pulses and the microwave oscillator. It is shown mathematically that the inherent nonlinear properties of BOMPD with respect to the microwave excitation amplitude can be used for interharmonic locking. The characteristic functions of the phase detector for interharmonic locking are derived analytically and are compared with the measurement results. An opto-electronic phase-locked loop (OEPLL) is demonstrated whose output frequency locks on interharmonics of the MLL repetition rate when an appropriate modulator bias and sufficient RF amplitude are applied. Thus, for the first time theory and experiment of reliable locking on interharmonics of the repetition rate of a MLL are presented.
AU - Bahmanian, Meysam
AU - Kress, Christian
AU - Scheytt, Christoph
ID - 30011
JF - Optics Express
TI - Locking of microwave oscillators on the interharmonics of mode-locked laser signals
VL - 14
ER -
TY - GEN
AU - Roopa, Rajanna
ID - 30152
TI - Evaluation of Algorithms for the Node Capacitated Clique
ER -
TY - GEN
AU - Korzeczek, Sebastian
ID - 30198
TI - Aufarbeitung und lmplementierung von DAG-Rider
ER -
TY - GEN
AU - Nachtigall, Marcel
ID - 30199
TI - Hybrid Routing in Three Dimensions
ER -
TY - CONF
AB - Recent reinforcement learning approaches for continuous control in wireless mobile networks have shown impressive
results. But due to the lack of open and compatible simulators, authors typically create their own simulation environments for training and evaluation. This is cumbersome and time-consuming for authors and limits reproducibility and comparability, ultimately impeding progress in the field.
To this end, we propose mobile-env, a simple and open platform for training, evaluating, and comparing reinforcement learning and conventional approaches for continuous control in mobile wireless networks. mobile-env is lightweight and implements the common OpenAI Gym interface and additional wrappers, which allows connecting virtually any single-agent or multi-agent reinforcement learning framework to the environment. While mobile-env provides sensible default values and can be used out of the box, it also has many configuration options and is easy to extend. We therefore believe mobile-env to be a valuable platform for driving meaningful progress in autonomous coordination of
wireless mobile networks.
AU - Schneider, Stefan Balthasar
AU - Werner, Stefan
AU - Khalili, Ramin
AU - Hecker, Artur
AU - Karl, Holger
ID - 30236
KW - wireless mobile networks
KW - network management
KW - continuous control
KW - cognitive networks
KW - autonomous coordination
KW - reinforcement learning
KW - gym environment
KW - simulation
KW - open source
T2 - IEEE/IFIP Network Operations and Management Symposium (NOMS)
TI - mobile-env: An Open Platform for Reinforcement Learning in Wireless Mobile Networks
ER -
TY - CHAP
AB - Multiobjective optimization plays an increasingly important role in modern
applications, where several objectives 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. Since 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 as
is the case for models governed by partial differential equations (PDEs). To
decrease the numerical effort to an affordable amount, surrogate models can be
used to replace the expensive PDE evaluations. Existing multiobjective
optimization methods using model reduction are limited either to low parameter
dimensions or to few (ideally two) objectives. In this article, we present a
combination of the reduced basis model reduction method with a continuation
approach using inexact gradients. The resulting approach can handle an
arbitrary number of objectives while yielding a significant reduction in
computing time.
AU - Banholzer, Stefan
AU - Gebken, Bennet
AU - Dellnitz, Michael
AU - Peitz, Sebastian
AU - Volkwein, Stefan
ED - Michael, Hintermüller
ED - Roland, Herzog
ED - Christian, Kanzow
ED - Michael, Ulbrich
ED - Stefan, Ulbrich
ID - 16296
SN - 978-3-030-79392-0
T2 - Non-Smooth and Complementarity-Based Distributed Parameter Systems
TI - ROM-Based Multiobjective Optimization of Elliptic PDEs via Numerical Continuation
ER -
TY - CHAP
AB - With the ever increasing capabilities of sensors and controllers, autonomous driving is quickly becoming a reality. This disruptive change in the automotive industry poses major challenges for manufacturers as well as suppliers as entirely new design and testing strategies have to be developed to remain competitive. Most importantly, the complexity of autonomously driving vehicles in a complex, uncertain, and safety-critical environment requires new testing procedures to cover the almost infinite range of potential scenarios.
AU - Peitz, Sebastian
AU - Dellnitz, Michael
AU - Bannenberg, Sebastian
ED - Bock, H. G.
ED - Küfer, K.-H.
ED - Maas, P.
ED - Milde, A.
ED - Schulz, V.
ID - 30294
SN - 1612-3956
T2 - German Success Stories in Industrial Mathematics
TI - Efficient Virtual Design and Testing of Autonomous Vehicles
VL - 35
ER -
TY - GEN
AU - Schafmeister, Frank
ID - 30347
T2 - International Conference on Electric & Electronic in Hybrid and Electric Vehicles and Electric Energy Management (EEHE),
TI - Compensation of LF Common-Mode Noise by the internal DC/DC-Stage for transformerless On-Board Chargers at Three- and Single-Phase Operation
ER -
TY - CONF
AU - Förster, Nikolas
AU - Rehlaender, Philipp
AU - Wallscheid, Oliver
AU - Schafmeister, Frank
AU - Böcker, Joachim
ID - 30349
T2 - Proc. 37th IEEE Applied Power Electronics Conference (APEC)
TI - An Open-Source Transistor Database and Toolbox as an Unified Software Engineering Tool for Managing and Evaluating Power Transistors
ER -
TY - CONF
AU - Keuck, Lukas
AU - Schafmeister, Frank
AU - Böcker, Joachim
ID - 30350
T2 - Proc. IEEE International Exhibition and Conference for Power Electronics, Intelligent Motion, Renewable Energy and Energy Management (PCIM)
TI - Robust Hysteresis Control for LLC Resonant Converters Using a Fully Isolated Measurement Scheme
ER -
TY - CONF
AB - Resonant evanescent coupling can be utilized to selectively excite orbital angular momentum (OAM) modes of high angular order supported by a thin circular dielectric rod. Our 2.5-D hybrid-analytical coupled mode model combines the vectorial fields associated with the fundamental TE- and TM-modes of a standard silicon photonics slab waveguide, propagating at oblique angles with respect to the rod axis, and the hybrid modes supported by the rod. One observes an efficient resonant interaction in cases where the common axial wavenumber of the waves in the slab matches the propagation constant of one or more modes of the rod. For certain modes of high angular order, the incident wave is able to transfer its directionality to the field in the fiber, exciting effectively only one of a pair of degenerate OAM modes
AU - Hammer, Manfred
AU - Ebers, Lena
AU - Förstner, Jens
ED - Andrews, David L.
ED - Galvez, Enrique J.
ED - Rubinsztein-Dunlop, Halina
ID - 30387
KW - tet_topic_waveguide
T2 - Complex Light and Optical Forces XVI
TI - Resonant evanescent excitation of OAM modes in a high-contrast circular step-index fiber
ER -
TY - JOUR
AU - Cresson, Jacky
AU - Jiménez, Fernando
AU - Ober-Blöbaum, Sina
ID - 30490
JF - AIMS
TI - Continuous and discrete Noether's fractional conserved quantities for restricted calculus of variations
VL - 14(1)
ER -
TY - THES
AB - In dieser Arbeit wird die elektromagnetische Wellenausbreitung in integrierten optischen Wellenleitern mit Hilfe von halb analytischen und numerischen Simulationsmethoden untersucht. Im ersten Teil werden 2-D Si/SiO2-Wellenleiterkonfigurationen mit hohem Brechungsindexkontrast betrachtet. Die Strukturen werden mit halb geführten Wellen unter schrägen Ausbreitungswinkeln angeregt. Dadurch kann die Leistungsübertragung zu bestimmten ausgehenden Moden unterdrückt werden, wodurch vollständig verlustfreie Systeme entstehen. Zusätzlich dient die Anregung mit einem seitlich begrenzten, einfallenden Wellenbündel aus halb geführten Wellen dazu, praktisch relevantere 3-D Konfigurationen zu realisieren. Darüber hinaus wird eine schrittweise Winkelspektrum-Methode vorgestellt, die es ermöglicht, in Kombination mit voll vektoriellen 2-D Finite-Elemente-Lösungen für Teilprobleme mit geringerer Komplexität, die Wellenausbreitung in planaren, linsenförmigen Wellenleitern numerisch in drei Raumrichtungen zu berechnen. Im zweiten Teil dieser Arbeit wird die Ausbreitung in Wellenleiterstrukturen aus Lithiumniobat untersucht, welche für quantenoptische Effekte genutzt werden. Zur Detektion einzelner Photonen werden supraleitende Nanodrähte auf eindiffundierten Lithiumniobat Wellenleitern mit zusätzlicher Taperschicht aus Silizium betrachtet. Um die Wellenausbreitung in diesen 3-D Wellenleitern zu beschreiben, wird eine einseitig gerichtete Finite-Elemente „Modal Matching“ Methode eingeführt. Abschließend werden Rippenwellenleiter aus Lithiumniobat analysiert, die auf Siliziumdioxid Plattformen aufgebracht sind. Der Schwerpunkt liegt hier auf dem nichtlinearen „Parametric Down-Conversion“ Prozess, der für die Erzeugung verschränkter Photonen verwendet wird.
AU - Ebers, Lena
ID - 30722
KW - tet_topic_waveguide
TI - Semi-guided waves in integrated optical waveguide structures
ER -
TY - CHAP
AU - Temmen, Katrin
AU - Kersten, Peter
AU - Schäfer, Dominik
ID - 29950
SN - 2367-3370
T2 - Mobility for Smart Cities and Regional Development - Challenges for Higher Education
TI - Work-in-Progress: The Potential of Interactive Scripts – Supporting Conceptual Understanding and Collaborative Problem-Solving Skills
VL - 390
ER -
TY - CONF
AU - Huber, Jonas
AU - Wallmeier, Peter
AU - Pieper, Ralf
AU - Schafmeister, Frank
AU - Kolar, Johann
ID - 30844
T2 - Proc. 9th IEEJ International Power Electronics Conference (IPEC)
TI - Comparative Evaluation of MVAC-LVDC SST and Hybrid Transformer Concepts for Future Datacenters
ER -
TY - JOUR
AB - AbstractWe consider the problem of maximization of metabolite production in bacterial cells formulated as a dynamical optimal control problem (DOCP). According to Pontryagin’s maximum principle, optimal solutions are concatenations of singular and bang arcs and exhibit the chattering or Fuller phenomenon, which is problematic for applications. To avoid chattering, we introduce a reduced model which is still biologically relevant and retains the important structural features of the original problem. Using a combination of analytical and numerical methods, we show that the singular arc is dominant in the studied DOCPs and exhibits the turnpike property. This property is further used in order to design simple and realistic suboptimal control strategies.
AU - Caillau, Jean-Baptiste
AU - Djema, Walid
AU - Gouzé, Jean-Luc
AU - Maslovskaya, Sofya
AU - Pomet, Jean-Baptiste
ID - 30861
JF - Journal of Optimization Theory and Applications
KW - Applied Mathematics
KW - Management Science and Operations Research
KW - Control and Optimization
SN - 0022-3239
TI - Turnpike Property in Optimal Microbial Metabolite Production
ER -
TY - GEN
AB - Algorithm configuration (AC) is concerned with the automated search of the
most suitable parameter configuration of a parametrized algorithm. There is
currently a wide variety of AC problem variants and methods proposed in the
literature. Existing reviews do not take into account all derivatives of the AC
problem, nor do they offer a complete classification scheme. To this end, we
introduce taxonomies to describe the AC problem and features of configuration
methods, respectively. We review existing AC literature within the lens of our
taxonomies, outline relevant design choices of configuration approaches,
contrast methods and problem variants against each other, and describe the
state of AC in industry. Finally, our review provides researchers and
practitioners with a look at future research directions in the field of AC.
AU - Schede, Elias
AU - Brandt, Jasmin
AU - Tornede, Alexander
AU - Wever, Marcel Dominik
AU - Bengs, Viktor
AU - Hüllermeier, Eyke
AU - Tierney, Kevin
ID - 30868
T2 - arXiv:2202.01651
TI - A Survey of Methods for Automated Algorithm Configuration
ER -
TY - CONF
AU - Nicolai, Marcel
AU - Zeipert, Henning
AU - Lugovtsova, Yevgeniya
AU - Bulling, Jannis
AU - Johannesmann, Sarah
AU - Prager, Jens
AU - Henning, Bernd
ID - 6590
T2 - Fortschritte der Akustik - DAGA 2022
TI - Quantification of the adhesive coupling of layered structures using guided ultrasonic waves
ER -
TY - CHAP
AU - Yigitbas, Enes
AU - Sauer, Stefan
AU - Engels, Gregor
ED - Vogel-Heuser, Birgit
ED - Wimmer, Manuel
ID - 29928
T2 - Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective
TI - Self-Adaptive Digital Assistance Systems for Work 4.0
ER -
TY - CONF
AU - Hansmeier, Tim
AU - Platzner, Marco
ID - 30971
SN - 0302-9743
T2 - Applications of Evolutionary Computation, EvoApplications 2022, Proceedings
TI - Integrating Safety Guarantees into the Learning Classifier System XCS
VL - 13224
ER -
TY - JOUR
AU - Feldmann, Michael
AU - Padalkin, Andreas
AU - Scheideler, Christian
AU - Dolev, Shlomi
ID - 31060
IS - 4
JF - J. Comput. Biol.
TI - Coordinating Amoebots via Reconfigurable Circuits
VL - 29
ER -
TY - JOUR
AB - Encrypting data before sending it to the cloud ensures data confidentiality but requires the cloud to compute on encrypted data. Trusted execution environments, such as Intel SGX enclaves, promise to provide a secure environment in which data can be decrypted and then processed. However, vulnerabilities in the executed program give attackers ample opportunities to execute arbitrary code inside the enclave. This code can modify the dataflow of the program and leak secrets via SGX side channels. Fully homomorphic encryption would be an alternative to compute on encrypted data without data leaks. However, due to its high computational complexity, its applicability to general-purpose computing remains limited. Researchers have made several proposals for transforming programs to perform encrypted computations on less powerful encryption schemes. Yet current approaches do not support programs making control-flow decisions based on encrypted data.
We introduce the concept of
dataflow authentication
(DFAuth) to enable such programs. DFAuth prevents an adversary from arbitrarily deviating from the dataflow of a program. Our technique hence offers protections against the side-channel attacks described previously. We implemented two flavors of DFAuth, a Java bytecode-to-bytecode compiler, and an SGX enclave running a small and program-independent trusted code base. We applied DFAuth to a neural network performing machine learning on sensitive medical data and a smart charging scheduler for electric vehicles. Our transformation yields a neural network with encrypted weights, which can be evaluated on encrypted inputs in
\( 12.55 \,\mathrm{m}\mathrm{s} \)
. Our protected scheduler is capable of updating the encrypted charging plan in approximately 1.06 seconds.
AU - Fischer, Andreas
AU - Fuhry, Benny
AU - Kußmaul, Jörn
AU - Janneck, Jonas
AU - Kerschbaum, Florian
AU - Bodden, Eric
ID - 31844
IS - 3
JF - ACM Transactions on Privacy and Security
KW - Safety
KW - Risk
KW - Reliability and Quality
KW - General Computer Science
SN - 2471-2566
TI - Computation on Encrypted Data Using Dataflow Authentication
VL - 25
ER -
TY - GEN
AU - Hillebrandt, Henning
ID - 31947
TI - Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen
ER -
TY - JOUR
AB - AbstractWe show that for a generic conformal metric perturbation of a compact hyperbolic 3-manifold $$\Sigma $$
Σ
with Betti number $$b_1$$
b
1
, the order of vanishing of the Ruelle zeta function at zero equals $$4-b_1$$
4
-
b
1
, while in the hyperbolic case it is equal to $$4-2b_1$$
4
-
2
b
1
. This is in contrast to the 2-dimensional case where the order of vanishing is a topological invariant. The proof uses the microlocal approach to dynamical zeta functions, giving a geometric description of generalized Pollicott–Ruelle resonant differential forms at 0 in the hyperbolic case and using first variation for the perturbation. To show that the first variation is generically nonzero we introduce a new identity relating pushforwards of products of resonant and coresonant 2-forms on the sphere bundle $$S\Sigma $$
S
Σ
with harmonic 1-forms on $$\Sigma $$
Σ
.
AU - Cekić, Mihajlo
AU - Delarue, Benjamin
AU - Dyatlov, Semyon
AU - Paternain, Gabriel P.
ID - 31982
IS - 1
JF - Inventiones mathematicae
KW - General Mathematics
SN - 0020-9910
TI - The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds
VL - 229
ER -
TY - CONF
AB - Testing is one of the most frequent means of quality assurance for software. Property-based testing aims at generating test suites for checking code against user-defined properties. Test input generation is, however, most often independent of the property to be checked, and is instead based on random or user-defined data generation.In this paper, we present property-driven unit testing of functions with numerical inputs and outputs. Alike property-based testing, it allows users to define the properties to be tested for. Contrary to property-based testing, it also uses the property for a targeted generation of test inputs. Our approach is a form of learning-based testing where we first of all learn a model of a given black-box function using standard machine learning algorithms, and in a second step use model and property for test input generation. This allows us to test both predefined functions as well as machine learned regression models. Our experimental evaluation shows that our property-driven approach is more effective than standard property-based testing techniques.
AU - Sharma, Arnab
AU - Melnikov, Vitaly
AU - Hüllermeier, Eyke
AU - Wehrheim, Heike
ID - 32311
T2 - Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)
TI - Property-Driven Testing of Black-Box Functions
ER -
TY - CONF
AB - To build successful software products, developers continuously have to discover what features the users really need. This discovery can be achieved with continuous experimentation, testing different software variants with distinct user groups, and deploying the superior variant for all users. However, existing approaches do not focus on explicit modeling of variants and experiments, which offers advantages such as traceability of decisions and combinability of experiments. Therefore, our vision is the provision of model-driven continuous experimentation, which provides the developer with a framework for structuring the experimentation process. For that, we introduce the overall concept, apply it to the experimentation on component-based software architectures and point out future research questions. In particular, we show the applicability by combining feature models for modeling the software variants, users, and experiments (i.e., model-driven) with MAPE-K for the adaptation (i.e., continuous experimentation) and implementing the concept based on the component-based Angular framework.
AU - Gottschalk, Sebastian
AU - Yigitbas, Enes
AU - Engels, Gregor
ID - 29842
KW - continuous experimentation
KW - model-driven
KW - component-based software architectures
KW - self-adaptation
T2 - Proceedings of the 18th International Conference on Software Architecture Companion
TI - Model-driven Continuous Experimentation on Component-based Software Architectures
ER -
TY - CHAP
AU - Häsel-Weide, Uta
AU - Wallner, Melina
AU - Hattermann, M.
ED - Gutzmann, M.
ED - Carle, U.
ID - 32233
T2 - Anfangsunterricht für alle Kinder - Willkommen in der Schule!
TI - Symmetrieverständnis von Anfang an
ER -
TY - JOUR
AB - Aspects of data science surround us in many contexts, for example regarding climate change, air pollution, and other environmental issues. To open the “data-science-black-box” for lower secondary school students we developed a data science project focussing on the analysis of self-collected environmental data. We embed this project in computer science education, which enables us to use a new knowledge-based programming approach for the data analysis within Jupyter Notebooks and the programming language Python. In this paper, we evaluate the second cycle of this project which took place in a ninth-grade computer science class. In particular, we present how the students coped with the professional tool of Jupyter Notebooks for doing statistical investigations and which insights they gained.
AU - PODWORNY, SUSANNE
AU - Hüsing, Sven
AU - SCHULTE, CARSTEN
ID - 32335
IS - 2
JF - STATISTICS EDUCATION RESEARCH JOURNAL
KW - Education
KW - Statistics and Probability
SN - 1570-1824
TI - A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING
VL - 21
ER -
TY - CONF
AB - The market for microinverters is growing, especially in Europe. Driven by the strongly rising prices for electricity, many small photovoltaic energy systems are being installed. Since monitoring for these plants is often quite costly, their yields are often not logged. Since 2014, microinverters have been studied at the University of Paderborn. The investigations are divided into indoor and outdoor tests. In the indoor area conversion efficiencies as a function of load have been measured with high accuracy and ranked according to Euro- and CEC weightings. In the outdoor laboratory, the behavior in the real world is tested. Energy yields have been measured outdoors via identical and calibrated crystalline silicon PV modules. Here, the investigations were carried out with modules of the power of 215 Wp until the year 2020. Because of the increasing module power nowadays, modules with an output of 360 Wp are now being used. To assess the influence of PV module size, two extremes have been investigated: A rather small module with 215 Wp - as it has been used 10 years ago, and a brand-new module (2021) offering 360 Wp. Both types of modules contain 60 solar cells in series connection. Appling the low-power modules, the challenge for the different micro-inverters has been during weak-light conditions, using the high-power modules, some inverters temporarily reach their power limits and yield is reduced. A method using a reference configuration of inverter & module and a linear equation resulting in the actual yield, any module & inverter configuration can be characterized by just the two coefficients.
AU - Krauter, Stefan
AU - Bendfeld, Jörg
AU - Möller, Marius Claus
ID - 32334
T2 - Proceedings of the 49th IEEE Photovoltaic Specialists Conference
TI - Microinverter testing update using high power modules: Efficiency, yield, and conformity to a new ”estimation formula” for variation of PV panel size
ER -
TY - CHAP
AU - Häsel-Weide, Uta
AU - Seitz, S.
AU - Wallner, Melina
AU - Wilke, Y.
ED - Lutz, D.
ED - Becker, J.
ED - Buchhaupt, F.
ED - Katzenbach, D.
ED - Strecker, A.
ED - Urban, M.
ID - 32339
T2 - Qualifizierung für Inklusion. Sekundarstufe
TI - Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe
ER -
TY - JOUR
AU - Hähn, K.
AU - Häsel-Weide, Uta
AU - Scherer, P.
ID - 32338
IS - 2
JF - QfI - Qualifizierung für Inklusion
TI - Diagnosegeleitete Förderung im inklusiven Mathematikunterricht der Grundschule – Professionalisierung durch reflektierte Handlungspraxis in der Lehrer*innenbildung.
VL - 3
ER -
TY - CONF
AB - This paper provides a hybrid energy system model created in Matlab/Simulink which is based on photovoltaics as its main energy source. The model includes a hybrid energy storage which consists of a short-term lithium-ion battery and hydrogen as long-term storage to ensure autonomy even during periods of low PV production (e.g., in winter). The sectors heat and electricity are coupled by using the waste-heat generated by production and reconversion of hydrogen through an electrolyser respectively a fuel cell. A heat pump has been considered to cover the residual heat demand (for well insulated homes). Within this paper a model of the space heating system as well as the hot water heating system is presented. The model is designed for the simulation and analysis of a whole year energy flow by using a time series of loads, weather and heat profiles as input. Moreover, results of the energy balance within the energy system by simulation of a complete year by varying the orientation (elevation and azimuth) of the PV system and the component sizing, such as the lithium-ion battery capacity, are presented. It turned out that a high amount of heating energy can be saved by using the waste heat generated by the electrolyser and the fuel cell. The model is well suited for the analysis of the effects of different component dimensionings in a hydrogen-based energy system via the overall energy balance within the residential sector.
AU - Möller, Marius Claus
AU - Krauter, Stefan
ID - 32333
T2 - Proceedings of the 49th IEEE Photovoltaic Specialists Conference
TI - Model of a Self-Sufficient PV Home using a Hybrid Storage System based on Li-Ion Batteries and Hydrogen Storage with Waste Heat Utilization
ER -
TY - JOUR
AB - In this paper, a model of a hybrid, hydrogen-based energy system for a household which includes the heating sector is presended. With such an energy system it's possible to enable energy autarky over a whole year based on solar energy. The scope of this study was to present a verified hybrid energy system model created in Simulink which can be used to prospectively size future similar energy systems where hydrogen in combination with a li-ion battery shall be used as energy storage type.
AU - Möller, Marius Claus
AU - Krauter, Stefan
ID - 30262
JF - Energies / Special Issue "Sustainable Energy Concepts for Energy Transition"
SN - 1996-1073
TI - Hybrid Energy System Model in Matlab/Simulink based on Solar Energy, Lithium-Ion Battery and Hydrogen
VL - 15 (6), 2201
ER -