@article{38031, abstract = {{We consider the data-driven approximation of the Koopman operator for stochastic differential equations on reproducing kernel Hilbert spaces (RKHS). Our focus is on the estimation error if the data are collected from long-term ergodic simulations. We derive both an exact expression for the variance of the kernel cross-covariance operator, measured in the Hilbert-Schmidt norm, and probabilistic bounds for the finite-data estimation error. Moreover, we derive a bound on the prediction error of observables in the RKHS using a finite Mercer series expansion. Further, assuming Koopman-invariance of the RKHS, we provide bounds on the full approximation error. Numerical experiments using the Ornstein-Uhlenbeck process illustrate our results.}}, author = {{Philipp, Friedrich and Schaller, Manuel and Worthmann, Karl and Peitz, Sebastian and Nüske, Feliks}}, journal = {{Applied and Computational Harmonic Analysis }}, publisher = {{Springer }}, title = {{{Error bounds for kernel-based approximations of the Koopman operator}}}, doi = {{10.1016/j.acha.2024.101657}}, volume = {{71}}, year = {{2024}}, } @article{53474, abstract = {{We present a novel approach to characterize and quantify microheterogeneity and microphase separation in computer simulations of complex liquid mixtures. Our post-processing method is based on local density fluctuations of the different constituents in sampling spheres of varying size. It can be easily applied to both molecular dynamics (MD) and Monte Carlo (MC) simulations, including periodic boundary conditions. Multidimensional correlation of the density distributions yields a clear picture of the domain formation due to the subtle balance of different interactions. We apply our approach to the example of force field molecular dynamics simulations of imidazolium-based ionic liquids with different side chain lengths at different temperatures, namely 1-ethyl-3-methylimidazolium chloride, 1-hexyl-3-methylimidazolium chloride, and 1-decyl-3-methylimidazolium chloride, which are known to form distinct liquid domains. We put the results into the context of existing microheterogeneity analyses and demonstrate the advantages and sensitivity of our novel method. Furthermore, we show how to estimate the configuration entropy from our analysis, and we investigate voids in the system. The analysis has been implemented into our program package TRAVIS and is thus available as free software.}}, author = {{Lass, Michael and Kenter, Tobias and Plessl, Christian and Brehm, Martin}}, issn = {{1099-4300}}, journal = {{Entropy}}, number = {{4}}, publisher = {{MDPI AG}}, title = {{{Characterizing Microheterogeneity in Liquid Mixtures via Local Density Fluctuations}}}, doi = {{10.3390/e26040322}}, volume = {{26}}, year = {{2024}}, } @article{52584, author = {{Rezat, Sebastian}}, journal = {{ZDM – Mathematics Education}}, publisher = {{Springer}}, title = {{{Research on curriculum resources in mathematics education: a survey of the field}}}, doi = {{10.1007/s11858-024-01559-x}}, year = {{2024}}, } @article{51841, abstract = {{athematische Kompetenzen digital zu fördern und digitale Kompetenzen mathematisch zu fördern – dies ist eine Forderung der neuen Bildungsstandards mit Blick auf eine Bildung in der digitalen Welt. Gerade das Potenzial digitaler Medien für das fachliche Lernen wurde in vielen Studien bestätigt. Eine sinnvoll gestaltete Einbettung digitaler Medien bietet die Chance, allen fünf Prinzipien eines guten Unterrichts gerecht zu werden: Verstehensorientierung, Durchgängigkeit, kognitive Aktivierung, Lernendenorientierung & Adaptivität und Kommunikationsförderung. Die flächendeckende Nutzung digitaler Medien etabliert sich bislang nur zögerlich. Aber wie können wir Lehrkräfte stärken, digitale Medien sinnvoll einzusetzen? Wir möchten hier die Bandbreite der Möglichkeiten an Beispielen verdeutlichen, ihren Einsatz motivieren und Wege für einen guten Unterricht aufzeigen.}}, author = {{Barzel, Bärbel and Greefrath, Gilbert and Nagel, Mareike and Hoffmann, Max}}, journal = {{mathematik lehren}}, pages = {{42 -- 47}}, title = {{{Digitalisierung als Chance für alle Prinzipien guten Unterrichts}}}, volume = {{242}}, year = {{2024}}, } @inbook{50554, author = {{Prediger, Susanne and Wessel, Lena}}, booktitle = {{Berufs-und Fachsprache Deutsch in Wissenschaft und Praxis}}, editor = {{Efing, Christian and Kalkavan-Aydin, Zeynep}}, isbn = {{978-3-11-074544-3}}, pages = {{363--372}}, publisher = {{DE GRUYTER}}, title = {{{31 Sprachbildung im berufsbezogenen Mathematikunterricht.}}}, volume = {{Band 3}}, year = {{2024}}, } @inproceedings{53579, author = {{Palomero Bernardo, Paul and Schmid, Patrick and Bringmann, Oliver and Iftekhar, Mohammed and Sadiye, Babak and Müller, Wolfgang and Koch, Andreas and Jentsch, Eyck and Sauer, Axel and Feldner, Ingo and Ecker, Wolfgang}}, booktitle = {{DATE 24 - Design Automation and Test in Europe}}, location = {{Valencia, Spain}}, title = {{{A Scalable RISC-V Hardware Platform for Intelligent Sensor Processing}}}, year = {{2024}}, } @article{53663, abstract = {{Noctua 2 is a supercomputer operated at the Paderborn Center for Parallel Computing (PC2) at Paderborn University in Germany. Noctua 2 was inaugurated in 2022 and is an Atos BullSequana XH2000 system. It consists mainly of three node types: 1) CPU Compute nodes with AMD EPYC processors in different main memory configurations, 2) GPU nodes with NVIDIA A100 GPUs, and 3) FPGA nodes with Xilinx Alveo U280 and Intel Stratix 10 FPGA cards. While CPUs and GPUs are known off-the-shelf components in HPC systems, the operation of a large number of FPGA cards from different vendors and a dedicated FPGA-to-FPGA network are unique characteristics of Noctua 2. This paper describes in detail the overall setup of Noctua 2 and gives insights into the operation of the cluster from a hardware, software and facility perspective.}}, author = {{Bauer, Carsten and Kenter, Tobias and Lass, Michael and Mazur, Lukas and Meyer, Marius and Nitsche, Holger and Riebler, Heinrich and Schade, Robert and Schwarz, Michael and Winnwa, Nils and Wiens, Alex and Wu, Xin and Plessl, Christian and Simon, Jens}}, journal = {{Journal of large-scale research facilities}}, keywords = {{Noctua 2, Supercomputer, FPGA, PC2, Paderborn Center for Parallel Computing}}, title = {{{Noctua 2 Supercomputer}}}, doi = {{10.17815/jlsrf-8-187 }}, volume = {{9}}, year = {{2024}}, } @inproceedings{53643, author = {{Amer, Abdelhakim and Mehndiratta, Mohit and le Fevre Sejersen, Jonas and Pham, Huy Xuan and Kayacan, Erdal}}, booktitle = {{2023 21st International Conference on Advanced Robotics (ICAR)}}, publisher = {{IEEE}}, title = {{{Visual Tracking Nonlinear Model Predictive Control Method for Autonomous Wind Turbine Inspection}}}, doi = {{10.1109/icar58858.2023.10406329}}, year = {{2024}}, } @article{50476, author = {{Krings, Sarah Claudia and Yigitbas, Enes}}, journal = {{Proceedings of the ACM on Human-Computer Interaction, EICS}}, number = {{251}}, pages = {{22}}, publisher = {{ACM}}, title = {{{TARPS: A Toolbox for Enhancing Privacy and Security for Collaborative AR}}}, volume = {{8}}, year = {{2024}}, } @inproceedings{53815, author = {{Yigitbas, Enes and Mazur, Janet}}, booktitle = {{Proceedings of the 17th International Conference on PErvasive Technologies Related to Assistive Environments (PETRA 2024)}}, title = {{{Augmented and Virtual Reality for Diet and Nutritional Education: A Systematic Literature Review}}}, year = {{2024}}, } @article{53813, author = {{Schmidt, Leonard and Yigitbas, Enes}}, journal = {{Proceedings of the ACM on Human-Computer Interaction, EICS}}, number = {{263}}, pages = {{31}}, title = {{{Development and Usability Evaluation of Transitional Cross-Reality Interfaces}}}, volume = {{8}}, year = {{2024}}, } @inproceedings{53814, author = {{Yigitbas, Enes and Schmidt, Maximilian and Bucchiarone, Antonio and Bassanelli, Simone and Engels, Gregor}}, booktitle = {{IEEE Global Engineering Education Conference 2024}}, title = {{{Gamification- and Virtual Reality-Based Learning Environment for UML Class Diagram Modeling}}}, year = {{2024}}, } @inproceedings{53821, author = {{Yigitbas, Enes and Kaltschmidt, Christian}}, booktitle = {{Proceedings of the 8th International Conference on Artificial Intelligence and Virtual Reality (AIVR’24)}}, publisher = {{Springer}}, title = {{{Effects of Human Avatar Representation in Virtual Reality on Inter-Brain Connections}}}, year = {{2024}}, } @inproceedings{53818, author = {{Krings, Sarah Claudia and Biermeier, Kai and Yigitbas, Enes}}, booktitle = {{Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE'24)}}, title = {{{Interaction Techniques for Remote Maintenance in an AR Shared Environment}}}, year = {{2024}}, } @inproceedings{53820, author = {{Leichtweiß, Justus and Yigitbas, Enes}}, booktitle = {{Proceedings of the 12th International Conference on Serious Games and Applications for Health (SeGAH'24)}}, title = {{{An Exploratory Study of Fear-Inducing Factors in Virtual Reality Experiences}}}, year = {{2024}}, } @inproceedings{53817, author = {{Krois, Sebastian and Yigitbas, Enes}}, booktitle = {{Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE'24)}}, title = {{{Prototyping Cross-Reality Escape Rooms}}}, year = {{2024}}, } @inproceedings{53823, author = {{Claes, Leander}}, booktitle = {{Fortschritte der Akustik - DAGA 2024}}, editor = {{Gesellschaft für Akustik e.V., Deutsche}}, pages = {{620–623}}, title = {{{Einfluss der periodischen Struktur auf geführte Wellen in gewebeverstärkten Polymeren}}}, year = {{2024}}, } @inproceedings{53819, author = {{Krings, Sarah Claudia and Yigitbas, Enes and Sauer, Stefan}}, booktitle = {{Proceedings of the 10th International Working Conference on Human-Centered Software Engineering (HCSE'24)}}, title = {{{Developing a VR Factory Walkthrough for Use in Schools}}}, year = {{2024}}, } @unpublished{53858, author = {{Akhter, Junaid and Fährmann, Paul David and Sonntag, Konstantin and Peitz, Sebastian}}, booktitle = {{arXiv}}, title = {{{Common pitfalls to avoid while using multiobjective optimization in machine learning}}}, year = {{2024}}, } @inproceedings{53938, abstract = {{Previous work has shown that one can often greatly speed up static analysis by computing data flows not for every edge in the program’s control-flow graph but instead only along definition-use chains. This yields a so-called sparse static analysis. Recent work on SparseDroid has shown that specifically taint analysis can be “sparsified” with extraordinary effectiveness because the taint state of one variable does not depend on those of others. This allows one to soundly omit more flow-function computations than in the general case. In this work, we now assess whether this result carries over to the more generic setting of so-called Interprocedural Distributive Environment (IDE) problems. Opposed to taint analysis, IDE comprises distributive problems with large or even infinitely broad domains, such as typestate analysis or linear constant propagation. Specifically, this paper presents Sparse IDE, a framework that realizes sparsification for any static analysis that fits the IDE framework. We implement Sparse IDE in SparseHeros, as an extension to the popular Heros IDE solver, and evaluate its performance on real-world Java libraries by comparing it to the baseline IDE algorithm. To this end, we design, implement and evaluate a linear constant propagation analysis client on top of SparseHeros. Our experiments show that, although IDE analyses can only be sparsified with respect to symbols and not (numeric) values, Sparse IDE can nonetheless yield significantly lower runtimes and often also memory consumptions compared to the original IDE.}}, author = {{Karakaya, Kadiray and Bodden, Eric}}, booktitle = {{Proceedings of the IEEE/ACM 46th International Conference on Software Engineering}}, publisher = {{ACM}}, title = {{{Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems}}}, doi = {{10.1145/3597503.3639092}}, year = {{2024}}, }