@inproceedings{63589, author = {{Cruzeiro, Ana Bela and Suri, Ali}}, isbn = {{978-3-032-03920-0}}, publisher = {{Springer}}, title = {{{Stochastic Perturbation of Geodesics on the Manifold of Riemannian Metrics}}}, doi = {{https://doi.org/10.1007/978-3-032-03921-7_41}}, year = {{2025}}, } @inproceedings{62300, author = {{Claes, Leander and Hölscher, Jonas and Friesen, Olga and Scheidemann, Claus and Hemsel, Tobias and Henning, Bernd}}, booktitle = {{2025 International Congress on Ultrasonics}}, pages = {{142–145}}, publisher = {{AMA Service GmbH}}, title = {{{Estimation of third order elastic constants of piezoceramics using DC biased impedance measurements}}}, doi = {{10.5162/ultrasonic2025/a18-a6}}, year = {{2025}}, } @inproceedings{62296, author = {{Spieker, Carsten and Förstner, Jens and Hölscher, Jonas and Claes, Leander and Henning, Bernd}}, booktitle = {{2025 International Congress on Ultrasonics}}, pages = {{126–129}}, publisher = {{AMA Service GmbH}}, title = {{{Modeling and simulation of the behavior of piezoceramics with the discontinuous Galerkin method}}}, doi = {{10.5162/ultrasonic2025/a18-a1}}, year = {{2025}}, } @inproceedings{62297, author = {{Hölscher, Jonas and Friesen, Olga and Claes, Leander and Spieker, Carsten and Förstner, Jens and Henning, Bernd}}, booktitle = {{2025 International Congress on Ultrasonics}}, pages = {{130–133}}, publisher = {{AMA Service GmbH}}, title = {{{Multiscale thermo-piezoelectric simulations using the finite element method}}}, doi = {{10.5162/ultrasonic2025/a18-a2}}, year = {{2025}}, } @phdthesis{63606, abstract = {{Heutzutage sind datengetriebene digitale Artefakte aus unserem Alltag nicht mehr wegzudenken. Bei der Interaktion mit datengetriebenen Artefakten spielen Daten eine zentrale Rolle, unter anderem persönliche Daten von Schüler:innen, die solche Systeme nutzen. Aus der Perspektive informatischer Bildung besteht ein wichtiges Ziel darin, Schüler:innen zu befähigen, datengetriebene digitale Artefakte aus ihrem Alltag zu verstehen, denen gegenüber informierte und reflektierte Positionen einzunehmen und die digitale Welt aktiv mitzugestalten. Das setzt etwa voraus, dass Schüler:innen das Gelernte aus dem Informatikunterricht in ihren alltäglichen Interaktionen mit datengetriebenen digitalen Artefakten anwenden können, um sich mit diesen Artefakten und der Rolle von Daten auseinanderzusetzen und darauf aufbauend selbstbestimmt, mündig und verantwortungsvoll zu handeln. Für diese Ziele informatischer Bildung wird in dieser Arbeit das fachdidaktische Konzept Datenbewusstsein entwickelt und evaluiert. Datenbewusstsein stellt Schüler:innen ein sogenanntes Erklärmodell als Zugang zur datengetriebenen Welt bereit und zielt darauf ab, dass sie damit ihre eigene Rolle in Interaktionen mit datengetriebenen digitales Artefakten sowie die Rolle von Daten darin wahrnehmen, verstehen und reflektieren können. Dadurch soll Datenbewusstsein zu einer selbstbestimmten, mündigen und verantwortungsvollen Handlungsfähigkeit in einer datengetriebenen Welt beitragen. Die Entwicklung und Evaluation des Konzepts orientiert sich am Design-Based Research Ansatz, wofür aus informatikdidaktischer Perspektive ein eigenes Vorgehensmodell entwickelt wurde. Das Forschungsvorhaben hat zwei übergeordnete Ziele: Erstens soll eine theoretische Konzeption von Datenbewusstsein für informatische Bildung und zweitens ein didaktischer Ansatz zur Förderung von Datenbewusstsein entwickelt werden. In drei Zyklen wird die Förderung von Datenbewusstsein im Informatikunterricht mithilfe von Unterrichtsinterventionen empirisch untersucht. Schwerpunkte liegen dabei unter anderem auf dem Verständnis der Schüler:innen von der Rolle von Daten in datengetriebenen digitalen Artefakten, der Förderung ihrer Auseinandersetzung mit solchen digitalen Artefakten im Alltag sowie dem Beitrag zur Entwicklung ihrer Handlungsfähigkeit. Die Hauptergebnisse dieser Arbeit liegen in der Konzeption von Datenbewusstsein sowie im entwickelten didaktischen Ansatz zum Lernen von Erklärmodellen im Informatikunterricht. Danach lernen Schüler:innen im Unterricht ein Erklärmodell für Datenbewusstsein und wenden es auf alltägliche Beispiele für datengetriebene digitale Artefakte an. Die empirischen Ergebnisse werden zeigen, dass Schüler:innen das Erklärmodell verstehen, sie darin eine subjektive Bedeutsamkeit für ihren Alltag erkennen und es ihre Handlungsfähigkeit in alltäglichen Situationen mit datengetriebenen digitalen Artefakten fördern kann.}}, author = {{Höper, Lukas}}, title = {{{Entwicklung und Evaluation des Konzepts Datenbewusstsein für informatische Bildung}}}, doi = {{https://doi.org/10.17619/UNIPB/1-2420}}, year = {{2025}}, } @article{63440, author = {{Moritzer, Elmar and Brandes, Philipp and Westphal, Max Siegfried and Claes, Leander and Wippermann, Mareen and Düchting, Julia and Henning, Bernd}}, journal = {{WAK Jahresmagazin}}, keywords = {{Faser-Kunststoff-Verbunde (FKV), Faserverstärkte Kunststoffe (FVK), Organobleche, Ultraschall}}, pages = {{26–29}}, title = {{{ZERSTÖRUNGSFREIE ULTRASCHALLPRÜFUNG VON ORGANOBLECHEN}}}, volume = {{2025}}, year = {{2025}}, } @unpublished{63602, abstract = {{We show that, on a smoothly paracompact convenient manifold $M$ modeled on a convenient space with the bornological approximation property, the dual map of a Poisson bracket factors as a smooth section of the vector bundle $L_{skew}^2(T^*M,\mathbb R)$.}}, author = {{Michor, P. W. and Rahangdale, Praful}}, title = {{{Poisson bivectors on infinite dimensional manifolds}}}, year = {{2025}}, } @inproceedings{63622, author = {{Garnelo Abellanas, Irene}}, booktitle = {{Proceedings of the Fourteenth Congress of the European Society for Research in Mathematics Education (CERME14)}}, title = {{{Towards design principles for learning environments based on theorem provers}}}, year = {{2025}}, } @article{63624, title = {{{CQD-SHAP: Explainable Complex Query Answering via Shapley Values}}}, doi = {{10.48550/ARXIV.2510.15623}}, year = {{2025}}, } @inproceedings{63629, author = {{Garnelo Abellanas, Irene}}, booktitle = {{Beiträge zum Mathematikunterricht 2025}}, title = {{{Ein Designprinzip für Lernumgebungen zu inter-aktiven Theorembeweisern}}}, year = {{2025}}, } @inproceedings{61505, author = {{Yigitbas, Enes and Kröker, Leon}}, booktitle = {{Proceedings of the 17th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2025)}}, publisher = {{Springer}}, title = {{{Bridging the Reality-Virtuality Gap: Evaluating Attention Markers in a Cross-Reality Application for Improved User Coordination}}}, year = {{2025}}, } @inproceedings{61503, author = {{Yigitbas, Enes and Agha, Ali Amin}}, booktitle = {{Proceedings of the 17th International Conference on Ubiquitous Computing and Ambient Intelligence (UCAmI 2025) }}, publisher = {{Springer}}, title = {{{Gamification and Physiological Feedback: A Novel Approach to Reducing Glossophobia in Virtual Reality Environments}}}, year = {{2025}}, } @techreport{63633, author = {{Eimer, Theresa and Schäpermeier, Lennart and Biedenkapp, André and Tornede, Alexander and Kotthoff, Lars and Leyman, Pieter and Feurer, Matthias and Eggensperger, Katharina and Maile, Kaitlin and Tornede, Tanja and Kozak, Anna and Xue, Ke and Wever, Marcel Dominik and Baratchi, Mitra and Pulatov, Damir and Trautmann, Heike and Kashgarani, Haniye and Lindauer, Marius}}, title = {{{Best Practices For Empirical Meta-Algorithmic Research: Guidelines from the COSEAL Research Network}}}, doi = {{DOI:10.48550/arXiv.2512.16491}}, year = {{2025}}, } @inproceedings{61506, author = {{Karakaya, Kadiray and Klauke, Jonas and Yigitbas, Enes}}, booktitle = {{Proceedings of the 3rd International Workshop on Virtual and Augmented Reality Software Engineering (VARSE) @ ASE 2025 }}, title = {{{Toward Static Analysis of Immersive Attacks}}}, year = {{2025}}, } @inproceedings{59836, author = {{Krois, Sebastian and Scharke, Kevin and Yigitbas, Enes and Oevel, Gudrun}}, booktitle = {{10th International Symposium on End-User Development (IS-EUD 2025) }}, title = {{{A VR End-User Development Toolbox for Media Study Students - An Initial Experience Report}}}, year = {{2025}}, } @inproceedings{47534, abstract = {{In this proceeding we consider a translation invariant Nelson type model in two spatial dimensions modeling a scalar relativistic particle in interaction with a massive radiation field. As is well-known, the corresponding Hamiltonian can be defined with the help of an energy renormalization. First, we review a Feynman-Kac formula for the semigroup generated by this Hamiltonian proven by the authors in a recent preprint (where several matter particles and exterior potentials are treated as well). After that, we employ a few technical key relations and estimates obtained in our preprint to present an otherwise self-contained derivation of new Feynman-Kac formulas for the fiber Hamiltonians attached to fixed total momenta of the translation invariant system. We conclude by inferring an alternative derivation of the Feynman-Kac formula for the full translation invariant Hamiltonian.}}, author = {{Hinrichs, Benjamin and Matte, Oliver}}, booktitle = {{Proceedings of the 2023 RIMS Workshop 'Mathematical Aspects of Quantum Fields and Related Topics'}}, editor = {{Hiroshima, Fumio}}, number = {{3}}, title = {{{Feynman-Kac formula for fiber Hamiltonians in the relativistic Nelson model in two spatial dimensions}}}, volume = {{2310}}, year = {{2025}}, } @unpublished{63642, abstract = {{We prove absence of ground states in the infrared-divergent spin boson model at large coupling. Our key argument reduces the proof to verifying long range order in the dual one-dimensional continuum Ising model, i.e., to showing that the respective two point function is lower bounded by a strictly positive constant. We can then use known results from percolation theory to establish long range order at large coupling. Combined with the known existence of ground states at small coupling, our result proves that the spin boson model undergoes a phase transition with respect to the coupling strength. We also present an expansion for the vacuum overlap of the spin boson ground state in terms of the Ising $n$-point functions, which implies that the phase transition is unique, i.e., that there is a critical coupling constant below which a ground state exists and above which none can exist.}}, author = {{Betz, Volker and Hinrichs, Benjamin and Kraft, Mino Nicola and Polzer, Steffen}}, booktitle = {{arXiv:2501.19362}}, title = {{{On the Ising Phase Transition in the Infrared-Divergent Spin Boson Model}}}, year = {{2025}}, } @unpublished{63644, abstract = {{We study the ultraviolet problem for models of a finite-dimensional quantum mechanical system linearly coupled to a bosonic quantum field, such as the (many-)spin boson model or its rotating-wave approximation. If the state change of the system upon emission or absorption of a boson is either given by a normal matrix or by a 2-nilpotent one, which is the case for the previously named examples, we prove an optimal renormalization result. We complement it, by proving the norm resolvent convergence of appropriately regularized models to the renormalized one. Our method consists of a dressing transformation argument in the normal case and an appropriate interior boundary condition for the 2-nilpotent case.}}, author = {{Hinrichs, Benjamin and Lampart, Jonas and Valentín Martín, Javier}}, booktitle = {{arXiv:2502.04876}}, title = {{{Ultraviolet Renormalization of Spin Boson Models I. Normal and 2-Nilpotent Interactions}}}, year = {{2025}}, } @unpublished{63643, abstract = {{In this short communication we discuss the ultraviolet renormalization of the van Hove-Miyatake scalar field, generated by any distributional source. An abstract algebraic approach, based on the study of a special class of ground states of the van Hove-Miyatake dynamical map is compared with an Hamiltonian renormalization that makes use of a non-unitary dressing transformation. The two approaches are proved to yield equivalent results.}}, author = {{Falconi, Marco and Hinrichs, Benjamin}}, booktitle = {{arXiv:2505.19977}}, title = {{{Ultraviolet Renormalization of the van Hove-Miyatake Model: an Algebraic and Hamiltonian Approach}}}, year = {{2025}}, } @unpublished{63645, abstract = {{In this paper we construct the non-trivial, renormalized Hamiltonian for a class of spin-boson models with supercritical form factors, including the one describing the Weisskopf-Wigner spontaneous emission. The renormalization is performed through both a self-energy and mass renormalization, in the so-called Hamiltonian formalism of constructive quantum field theory, implemented by a non-unitary dressing transformation. This solves the problem of triviality for unitarily-renormalized supercritical spin-boson models.}}, author = {{Falconi, Marco and Hinrichs, Benjamin and Valentín Martín, Javier}}, booktitle = {{arXiv:2508.00805}}, title = {{{Non-Trivial Renormalization of Spin-Boson Models with Supercritical Form Factors}}}, year = {{2025}}, }