@inproceedings{30387, abstract = {{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}}, author = {{Hammer, Manfred and Ebers, Lena and Förstner, Jens}}, booktitle = {{Complex Light and Optical Forces XVI}}, editor = {{Andrews, David L. and Galvez, Enrique J. and Rubinsztein-Dunlop, Halina}}, keywords = {{tet_topic_waveguide}}, pages = {{120170F}}, publisher = {{SPIE}}, title = {{{Resonant evanescent excitation of OAM modes in a high-contrast circular step-index fiber}}}, doi = {{10.1117/12.2612179}}, year = {{2022}}, } @article{30490, author = {{Cresson, Jacky and Jiménez, Fernando and Ober-Blöbaum, Sina}}, journal = {{AIMS}}, pages = {{57--89}}, title = {{{Continuous and discrete Noether's fractional conserved quantities for restricted calculus of variations}}}, volume = {{14(1)}}, year = {{2022}}, } @phdthesis{30722, abstract = {{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.}}, author = {{Ebers, Lena}}, keywords = {{tet_topic_waveguide}}, title = {{{Semi-guided waves in integrated optical waveguide structures}}}, doi = {{10.17619/UNIPB/1-1288}}, year = {{2022}}, } @inbook{29950, author = {{Temmen, Katrin and Kersten, Peter and Schäfer, Dominik}}, booktitle = {{Mobility for Smart Cities and Regional Development - Challenges for Higher Education}}, isbn = {{9783030939069}}, issn = {{2367-3370}}, location = {{Dresden}}, pages = {{784--791}}, publisher = {{Springer International Publishing}}, title = {{{Work-in-Progress: The Potential of Interactive Scripts – Supporting Conceptual Understanding and Collaborative Problem-Solving Skills}}}, doi = {{10.1007/978-3-030-93907-6_85}}, volume = {{390}}, year = {{2022}}, } @inproceedings{30844, author = {{Huber, Jonas and Wallmeier, Peter and Pieper, Ralf and Schafmeister, Frank and Kolar, Johann}}, booktitle = {{Proc. 9th IEEJ International Power Electronics Conference (IPEC)}}, location = {{Himeji, Japan}}, publisher = {{IEE Japan}}, title = {{{Comparative Evaluation of MVAC-LVDC SST and Hybrid Transformer Concepts for Future Datacenters}}}, year = {{2022}}, } @article{30861, abstract = {{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.}}, author = {{Caillau, Jean-Baptiste and Djema, Walid and Gouzé, Jean-Luc and Maslovskaya, Sofya and Pomet, Jean-Baptiste}}, issn = {{0022-3239}}, journal = {{Journal of Optimization Theory and Applications}}, keywords = {{Applied Mathematics, Management Science and Operations Research, Control and Optimization}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Turnpike Property in Optimal Microbial Metabolite Production}}}, doi = {{10.1007/s10957-022-02023-0}}, year = {{2022}}, } @unpublished{30868, abstract = {{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.}}, author = {{Schede, Elias and Brandt, Jasmin and Tornede, Alexander and Wever, Marcel Dominik and Bengs, Viktor and Hüllermeier, Eyke and Tierney, Kevin}}, booktitle = {{arXiv:2202.01651}}, title = {{{A Survey of Methods for Automated Algorithm Configuration}}}, year = {{2022}}, } @inproceedings{6590, author = {{Nicolai, Marcel and Zeipert, Henning and Lugovtsova, Yevgeniya and Bulling, Jannis and Johannesmann, Sarah and Prager, Jens and Henning, Bernd}}, booktitle = {{Fortschritte der Akustik - DAGA 2022}}, location = {{Stuttgart}}, pages = {{1394--1397}}, title = {{{Quantification of the adhesive coupling of layered structures using guided ultrasonic waves}}}, year = {{2022}}, } @inbook{29928, author = {{Yigitbas, Enes and Sauer, Stefan and Engels, Gregor}}, booktitle = {{Digital Transformation: Core Technologies and Emerging Topics from a Computer Science Perspective}}, editor = {{Vogel-Heuser, Birgit and Wimmer, Manuel}}, publisher = {{Springer-Vieweg}}, title = {{{Self-Adaptive Digital Assistance Systems for Work 4.0}}}, year = {{2022}}, } @inproceedings{30971, author = {{Hansmeier, Tim and Platzner, Marco}}, booktitle = {{Applications of Evolutionary Computation, EvoApplications 2022, Proceedings}}, isbn = {{9783031024610}}, issn = {{0302-9743}}, location = {{Madrid}}, pages = {{386--401}}, publisher = {{Springer International Publishing}}, title = {{{Integrating Safety Guarantees into the Learning Classifier System XCS}}}, doi = {{10.1007/978-3-031-02462-7_25}}, volume = {{13224}}, year = {{2022}}, } @article{31060, author = {{Feldmann, Michael and Padalkin, Andreas and Scheideler, Christian and Dolev, Shlomi}}, journal = {{J. Comput. Biol.}}, number = {{4}}, pages = {{317–343}}, title = {{{Coordinating Amoebots via Reconfigurable Circuits}}}, doi = {{10.1089/cmb.2021.0363}}, volume = {{29}}, year = {{2022}}, } @article{31844, abstract = {{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. }}, author = {{Fischer, Andreas and Fuhry, Benny and Kußmaul, Jörn and Janneck, Jonas and Kerschbaum, Florian and Bodden, Eric}}, issn = {{2471-2566}}, journal = {{ACM Transactions on Privacy and Security}}, keywords = {{Safety, Risk, Reliability and Quality, General Computer Science}}, number = {{3}}, pages = {{1--36}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Computation on Encrypted Data Using Dataflow Authentication}}}, doi = {{10.1145/3513005}}, volume = {{25}}, year = {{2022}}, } @misc{31947, author = {{Hillebrandt, Henning}}, title = {{{Verteiltes Berechnen kompakter Routingtabellen in Unit Disk Graphen}}}, year = {{2022}}, } @article{31982, abstract = {{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 $$ Σ .}}, author = {{Cekić, Mihajlo and Delarue, Benjamin and Dyatlov, Semyon and Paternain, Gabriel P.}}, issn = {{0020-9910}}, journal = {{Inventiones mathematicae}}, keywords = {{General Mathematics}}, number = {{1}}, pages = {{303--394}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{The Ruelle zeta function at zero for nearly hyperbolic 3-manifolds}}}, doi = {{10.1007/s00222-022-01108-x}}, volume = {{229}}, year = {{2022}}, } @inproceedings{32311, abstract = {{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.}}, author = {{Sharma, Arnab and Melnikov, Vitaly and Hüllermeier, Eyke and Wehrheim, Heike}}, booktitle = {{Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE)}}, pages = {{113--123}}, publisher = {{IEEE}}, title = {{{Property-Driven Testing of Black-Box Functions}}}, year = {{2022}}, } @inproceedings{29842, abstract = {{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.}}, author = {{Gottschalk, Sebastian and Yigitbas, Enes and Engels, Gregor}}, booktitle = {{Proceedings of the 18th International Conference on Software Architecture Companion }}, keywords = {{continuous experimentation, model-driven, component-based software architectures, self-adaptation}}, location = {{Hawaii}}, publisher = {{IEEE}}, title = {{{Model-driven Continuous Experimentation on Component-based Software Architectures }}}, doi = {{10.1109/ICSA-C54293.2022.00011}}, year = {{2022}}, } @inbook{32233, author = {{Häsel-Weide, Uta and Wallner, Melina and Hattermann, M.}}, booktitle = {{Anfangsunterricht für alle Kinder - Willkommen in der Schule!}}, editor = {{Gutzmann, M. and Carle, U.}}, pages = {{200--215}}, title = {{{Symmetrieverständnis von Anfang an}}}, year = {{2022}}, } @article{32335, abstract = {{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.}}, author = {{PODWORNY, SUSANNE and Hüsing, Sven and SCHULTE, CARSTEN}}, issn = {{1570-1824}}, journal = {{STATISTICS EDUCATION RESEARCH JOURNAL}}, keywords = {{Education, Statistics and Probability}}, number = {{2}}, publisher = {{International Association for Statistical Education}}, title = {{{A PLACE FOR A DATA SCIENCE PROJECT IN SCHOOL: BETWEEN STATISTICS AND EPISTEMIC PROGRAMMING}}}, doi = {{10.52041/serj.v21i2.46}}, volume = {{21}}, year = {{2022}}, } @inproceedings{32334, abstract = {{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.}}, author = {{Krauter, Stefan and Bendfeld, Jörg and Möller, Marius Claus}}, booktitle = {{Proceedings of the 49th IEEE Photovoltaic Specialists Conference}}, location = {{Philadelphia, PA, USA}}, title = {{{Microinverter testing update using high power modules: Efficiency, yield, and conformity to a new ”estimation formula” for variation of PV panel size}}}, year = {{2022}}, } @inbook{32339, author = {{Häsel-Weide, Uta and Seitz, S. and Wallner, Melina and Wilke, Y.}}, booktitle = {{Qualifizierung für Inklusion. Sekundarstufe}}, editor = {{Lutz, D. and Becker, J. and Buchhaupt, F. and Katzenbach, D. and Strecker, A. and Urban, M.}}, pages = {{83--100}}, publisher = {{Waxmann}}, title = {{{Professionalisierung für inklusiven Mathematikunterricht. Interdisziplinäre Seminarkonzeption zur reflexiven Professionalisierung angehender Mathematiklehrkräfte in der Sekundarstufe}}}, year = {{2022}}, }