TY - CHAP AU - Domke, Marius AU - Fröhlich, Nadine AU - Eickelmann, Birgit AU - Pink, Sara ED - Herzig, B. ED - Eickelmann, Birgit ED - Schwabl, F. ED - Schulze, J. ED - Niemann, Jan ID - 51128 T2 - Lehrkräftebildung in der digitalen Welt – zukunftsorientierte Forschungs- und Praxisperspektiven TI - Digitalisierungsbezogene Lehrkräftebildung als Gegenstand internationaler Schulleistungsstudien ER - TY - JOUR AU - Herdramm, Henrike ID - 52652 JF - BloKK. Der Blog des Zentrums für Komparative Theologie und Kulturwissenschaften KW - Ideologiekritik KW - Tiertheologie KW - Tierethik TI - Das Potenzial von Ideologiekritik im Religionsunterricht ER - TY - GEN AB - Context Static analyses are well-established to aid in understanding bugs or vulnerabilities during the development process or in large-scale studies. A low false-positive rate is essential for the adaption in practice and for precise results of empirical studies. Unfortunately, static analyses tend to report where a vulnerability manifests rather than the fix location. This can cause presumed false positives or imprecise results. Method To address this problem, we designed an adaption of an existing static analysis algorithm that can distinguish between a manifestation and fix location, and reports error chains. An error chain represents at least two interconnected errors that occur successively, thus building the connection between the fix and manifestation location. We used our tool CogniCryptSUBS for a case study on 471 GitHub repositories, a performance benchmark to compare different analysis configurations, and conducted an expert interview. Result We found that 50 % of the projects with a report had at least one error chain. Our runtime benchmark demonstrated that our improvement caused only a minimal runtime overhead of less than 4 %. The results of our expert interview indicate that with our adapted version participants require fewer executions of the analysis. Conclusion Our results indicate that error chains occur frequently in real-world projects, and ignoring them can lead to imprecise evaluation results. The runtime benchmark indicates that our tool is a feasible and efficient solution for detecting error chains in real-world projects. Further, our results gave a hint that the usability of static analyses may benefit from supporting error chains. AU - Wickert, Anna-Katharina AU - Schlichtig, Michael AU - Vogel, Marvin AU - Winter, Lukas AU - Mezini, Mira AU - Bodden, Eric ID - 52663 KW - Static analysis KW - error chains KW - false positive re- duction KW - empirical studies TI - Supporting Error Chains in Static Analysis for Precise Evaluation Results and Enhanced Usability ER - TY - CHAP AU - Labusch, Amelie AU - Eickelmann, Birgit AU - Casamassima, Gianna AU - Drossel, Kerstin AU - Gudmundsdottir, G.B. AU - Kazani, A. AU - Mifsud, L. AU - Symeonaki, M. AU - Teidla-Kunitsõn, G. ED - Holmarsdottir, H.B. ED - Seland, I. ED - Hyggen, C. ED - Roth, M. ID - 51098 T2 - Understanding the everyday digital lives of children and young people TI - Children and young people’s ICT experiences in school education: Participatory research design to engage children and young people as experts in research ER - TY - CHAP AU - Drossel, Kerstin AU - Oldak, Anna AU - Bette, Ricarda AU - Eickelmann, Birgit AU - Schreyer, P. ED - Herzig, B. ED - Eickelmann, Birgit ED - Schwabl, F. ED - Schulze, J. ED - Niemann, Jan ID - 51096 T2 - Lehrkräftebildung in der digitalen Welt – zukunftsorientierte Forschungs- und Praxisperspektiven TI - Videoanalysen zu unterrichtlichen Lehr- und Lernprozessen unter den Bedingungen der Digitalität an organisational resilienten Schulen in Deutschland ER - TY - DATA AB - This is the data set of the project Henze-Digital. It contains project specific authority files (e.g., persons, organizations, places) and editions (e.g., letters, documents). AU - Ried, Dennis AU - Capelle, Irmlind AU - Minetti, Elena AU - Tumat, Antje ID - 52684 TI - HenDi-Data (data package) v3.1.0 ER - TY - DATA AB - This is the data set of the project Henze-Digital. It contains project specific authority files (e.g., persons, organizations, places) and editions (e.g., letters, documents). AU - Capelle, Irmlind AU - Minetti, Elena AU - Ried, Dennis AU - Tumat, Antje ID - 51677 TI - HenDi-Data (data package) v3.0.0 ER - TY - DATA AU - Ried, Dennis AU - Minetti, Elena AU - Capelle, Irmlind ID - 52683 TI - HenDi-ODD v3.1.0 ER - TY - DATA AU - Ried, Dennis ID - 52685 TI - HenDi-WebApp v3.1.0 ER - TY - GEN AB - We prove Feynman-Kac formulas for the semigroups generated by selfadjoint operators in a class containing Fr\"ohlich Hamiltonians known from solid state physics. The latter model multi-polarons, i.e., a fixed number of quantum mechanical electrons moving in a polarizable crystal and interacting with the quantized phonon field generated by the crystal's vibrational modes. Both the electrons and phonons can be confined to suitable open subsets of Euclidean space. We also include possibly very singular magnetic vector potentials and electrostatic potentials. Our Feynman-Kac formulas comprise Fock space operator-valued multiplicative functionals and can be applied to every vector in the underlying Hilbert space. In comparison to the renormalized Nelson model, for which analogous Feynman-Kac formulas are known, the analysis of the creation and annihilation terms in the multiplicative functionals requires novel ideas to overcome difficulties caused by the phonon dispersion relation being constant. Getting these terms under control and generalizing other construction steps so as to cover confined systems are the main achievements of this article. AU - Hinrichs, Benjamin AU - Matte, Oliver ID - 52691 T2 - arXiv:2403.12147 TI - Feynman-Kac formulas for semigroups generated by multi-polaron Hamiltonians in magnetic fields and on general domains ER -