@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}}, } @article{53935, author = {{Gerick, Julia and Kieseler, Janine and Herrmann, Daniel and Eickelmann, Birgit}}, issn = {{1424-3636}}, journal = {{MedienPädagogik (Occasional Papers)}}, pages = {{175--194}}, title = {{{Schulleitungen als Promotoren. Unterstützung digitalisierungsbezogener Schulentwicklungsprozesse durch Schulleitungen und deren Wahrnehmung durch Lehrpersonen. }}}, doi = {{https://doi.org/10.21240/mpaed/00/2024.04.17.X}}, year = {{2024}}, } @inbook{53937, author = {{Eke, Norbert}}, booktitle = {{Feridun Zaimoglu. Kasseler Grimm-Poetikprofessur 2023}}, editor = {{Kreuzer, Stefanie }}, pages = {{179--200}}, publisher = {{Königshausen & Neumann }}, title = {{{Erinnerung als Formproblem. Feridun Zaimoglus Versuche, deutsche Geschichte ‚zu schreiben‘: „Führer“ (2021) und „Bewältigung“ (2022)}}}, year = {{2024}}, } @article{53936, author = {{Herdramm, Henrike}}, journal = {{Laudato}}, keywords = {{Tiertheologie, Tierethik, Psalm 104, Mensch-Tier-Beziehung}}, number = {{1}}, pages = {{6--7}}, title = {{{Zwischen Herrschaft und Utopie . Eine theologische Reflexion über die ambivalente Mensch-Tier-Beziehung}}}, year = {{2024}}, } @inproceedings{53958, abstract = {{To detect security vulnerabilities, static analysis tools need to be configured with security-relevant methods. Current approaches can automatically identify such methods using binary relevance machine learning approaches. However, they ignore dependencies among security-relevant methods, over-generalize and perform poorly in practice. Additionally, users have to nevertheless manually configure static analysis tools using the detected methods. Based on feedback from users and our observations, the excessive manual steps can often be tedious, error-prone and counter-intuitive. In this paper, we present Dev-Assist, an IntelliJ IDEA plugin that detects security-relevant methods using a multi-label machine learning approach that considers dependencies among labels. The plugin can automatically generate configurations for static analysis tools, run the static analysis, and show the results in IntelliJ IDEA. Our experiments reveal that Dev-Assist's machine learning approach has a higher F1-Measure than related approaches. Moreover, the plugin reduces and simplifies the manual effort required when configuring and using static analysis tools.}}, author = {{Johnson, Oshando and Piskachev, Goran and Krishnamurthy, Ranjith and Bodden, Eric}}, booktitle = {{Proceedings of the 46th International Conference on Software Engineering, IDE Workshop}}, title = {{{Detecting Security-Relevant Methods using Multi-label Machine Learning}}}, doi = {{10.48550/ARXIV.2403.07501}}, year = {{2024}}, } @inproceedings{53796, author = {{Amer, Abdelhakim and Álvarez-Tuñón, Olaya and Uğurlu, Halil İbrahim and Le Fevre Sejersen, Jonas and Brodskiy, Yury and Kayacan, Erdal}}, booktitle = {{2023 21st International Conference on Advanced Robotics (ICAR)}}, publisher = {{IEEE}}, title = {{{UNav-Sim: A Visually Realistic Underwater Robotics Simulator and Synthetic Data-Generation Framework}}}, doi = {{10.1109/icar58858.2023.10406819}}, year = {{2024}}, } @inbook{53629, author = {{Godau, Marc}}, booktitle = {{Stimme, Medien, Umwelt. Kinder- und Jugendstimme}}, editor = {{Fuchs, Michael}}, pages = {{53--81}}, publisher = {{Logos}}, title = {{{Singen auf TikTok und Co. Sind Gesangspraktiken in (post)digitaler Kultur (k)ein Thema für die Musikpädagogik?}}}, year = {{2024}}, } @article{53852, author = {{Jacke, Christoph}}, issn = {{ISSN 2205-5258}}, journal = {{Persona Studies}}, number = {{1}}, pages = {{53--76}}, publisher = {{OJS/PKP}}, title = {{{Stars, Anti-Stars, Anti-Star-Stars Transmedia Texts and Contexts of Popular Music and Media. Some Theoretical Assumptions}}}, volume = {{10}}, year = {{2024}}, } @inbook{54021, author = {{Rezat, Sara and Grundler, Elke and Schmölzer-Eibinger, Sabine}}, booktitle = {{Textprozeduren in Spannungsfeldern}}, editor = {{Rezat, Sara and Grundler, Elke and Schmölzer-Eibinger, Sabine and Feilke, Helmuth}}, pages = {{189--218}}, publisher = {{Stauffenberg}}, title = {{{„Ich find’s aber trotzdem unfair.“. Argumentausbau in argumentativen Gesprächen und Briefen von Schüler*innen}}}, year = {{2024}}, } @article{54019, author = {{Rezat, Sara and Feilke, Helmuth}}, journal = {{Praxis Deutsch}}, pages = {{4--11}}, title = {{{Erklärvideos. Basisartikel}}}, volume = {{304}}, year = {{2024}}, } @book{54022, editor = {{Rezat, Sara and Grundler, Elke and Schmölzer-Eibinger, Sabine and Feilke, Helmuth}}, publisher = {{Stauffenburg}}, title = {{{Textprozeduren in Spannungsfeldern}}}, year = {{2024}}, } @book{54023, editor = {{Rezat, Sara and Feilke, Helmuth}}, title = {{{Erklärvideos. Praxis Deutsch 304.}}}, year = {{2024}}, } @article{51207, abstract = {{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$.}}, author = {{Weich, Tobias and Wolf, Lasse Lennart}}, journal = {{Geom Dedicata}}, title = {{{Temperedness of locally symmetric spaces: The product case}}}, doi = {{https://doi.org/10.1007/s10711-024-00904-4}}, volume = {{218}}, year = {{2024}}, } @inbook{50318, author = {{Autsch, Sabiene}}, booktitle = {{Festschrift für Thomas Krettenauer}}, title = {{{Street Signs, New York (2018). }}}, year = {{2024}}, } @article{51258, author = {{Schroeter-Wittke, Harald and Scheidegger, Martin}}, issn = {{0720-6259}}, journal = {{Pastoraltheoogie}}, number = {{4}}, pages = {{211--218}}, publisher = {{Bielefeld University Press}}, title = {{{Homiletischer "freejazz". Des Gerechten Gebet vermag viel. Eine Partytour}}}, volume = {{113}}, year = {{2024}}, } @article{50970, author = {{Schroeter-Wittke, Harald}}, journal = {{Göttinger Predigtmeditationen}}, number = {{2}}, pages = {{237--243}}, title = {{{Quasimodogeniti (07.04.2024) Joh 20,19-20(21-23)24-29: Vom Safe Space zum Escape Room: Der gläubige Thomas}}}, volume = {{78}}, year = {{2024}}, } @article{51733, author = {{Schroeter-Wittke, Harald}}, journal = {{Praktische Theologie}}, number = {{1}}, pages = {{70--72}}, title = {{{Seven Psalms. Paul Simons theologische Kammermusik}}}, volume = {{59}}, year = {{2024}}, } @inbook{54057, abstract = {{Immediately after the National Socialist seizure of power, a comprehen-sive social, legal and ultimately existential exclusion of Jewish people began. The disturbing perception of the break-up of previous understandings of the world was intensified against the background of the acts of annihilation by the National Socialists. Countering this in a communicative form became an often agonizing challenge for Jewish speakers, but also a necessary need. This paper will focus on a communicative phenomenon that has been little researched in linguistics so far: The use of irony to counter experiences of devaluation and violence. By eval-uating ironic utterances in textual communications of the Litzmannstadt ghetto, the criticism of elements of National Socialist ideology will be tentatively made understandable, as well as the experiences of violence within the ghetto. }}, author = {{Markewitz, Friedrich}}, booktitle = {{Invective Discourse}}, editor = {{Meier-Vieracker, Simon and Kämper, Heidrun and Warnke, Ingo H.}}, pages = {{129--147}}, publisher = {{Walter de Gruyter}}, title = {{{“Der Draht ist gut, hält uns ab vom dummen Leben“. Ironisierung als kommunikativer Versuch des Umgangs mit Entwertungs- und Gewalterfahrungen durch jüdische Textproduzenten im Getto Litzmannstadt}}}, volume = {{34}}, year = {{2024}}, } @inbook{54056, author = {{Markewitz, Friedrich}}, booktitle = {{Textsorten in Sprach-, Kultur- und Sozialgeschichte}}, editor = {{Smailgic, Vedad }}, pages = {{15--41}}, publisher = {{Stauffenburg}}, title = {{{Haus oder Schule? oder Haus und Schule? Zur kulturell-gesellschaftlichen Bedeutung der historischen Textsorte 'Schulprogramm' hinsichtlich der Konstitution, Festigung wie Abgrenzung des Erziehungssystems im 19. Jahrhundert}}}, year = {{2024}}, } @book{54052, abstract = {{Ironie lässt sich als uneigentliches Kommunikationsmittel beschreiben, mit dem etwas anderes zum Ausdruck gebracht wird, als Sprecher*innen oder Schreiber*innen eigentlich meinen. Dies erfordert eine Differenzierung in Gesagtes und Gemeintes. Doch diese Differenzierung ist längst nicht immer eindeutig und so lebt Ironie von einer interpretatorischen Ambivalenz, ob eine Äußerung wörtlich oder ironisch zu verstehen ist. Aufgrund dieser Ambivalenz und ihrer kulturgeschichtlichen Entwicklung erscheint Ironie als ebenso faszinierendes wie komplexes Sprach-Phänomen. Die vorliegende Einführung gibt aus kulturlinguistischer Perspektive Einblicke in die verschiedenen Möglichkeiten der theoretischen Beschreibung, methodischen Erfassung sowie empirischen Analyse von Ironie. Dabei werden einerseits alltagssprachliche Formen ironischen Kommunizierens in den Blick genommen, andererseits Möglichkeiten des interdisziplinären Anschlusses, um Ironie als linguistisches sowie als kulturgeschichtliches Phänomen zugänglich zu machen.}}, author = {{Markewitz, Friedrich}}, pages = {{107}}, publisher = {{Winter}}, title = {{{Ironie}}}, volume = {{31}}, year = {{2024}}, }