@inproceedings{61144, author = {{Kablo, Emiram and Kleber, Melina and Arias Cabarcos, Patricia}}, booktitle = {{34th USENIX Security Symposium (USENIX Security 25)}}, pages = {{1531–1548}}, title = {{{PrivaCI in VR: Exploring Perceptions and Acceptability of Data Sharing in Virtual Reality Through Contextual Integrity}}}, year = {{2025}}, } @inbook{61145, author = {{Volgmann, Simone}}, booktitle = {{Didaktik in der Ausbildungsvorbereitung. Selbstinszenierungspraktiken als subjektorientierter Zugang (aus-)bildungsbenachteiligter Jugendlicher}}, editor = {{Kremer, H.-Hugo and Frehe-Halliwell, Petra and Laubenstein, Désirée and Kundisch, Heike}}, isbn = {{9783763978120}}, pages = {{185--206}}, title = {{{Erlebnisorientiert Lehren und Lernen}}}, year = {{2025}}, } @unpublished{61152, abstract = {{While neural network quantization effectively reduces the cost of matrix multiplications, aggressive quantization can expose non-matrix-multiply operations as significant performance and resource bottlenecks on embedded systems. Addressing such bottlenecks requires a comprehensive approach to tailoring the precision across operations in the inference computation. To this end, we introduce scaled-integer range analysis (SIRA), a static analysis technique employing interval arithmetic to determine the range, scale, and bias for tensors in quantized neural networks. We show how this information can be exploited to reduce the resource footprint of FPGA dataflow neural network accelerators via tailored bitwidth adaptation for accumulators and downstream operations, aggregation of scales and biases, and conversion of consecutive elementwise operations to thresholding operations. We integrate SIRA-driven optimizations into the open-source FINN framework, then evaluate their effectiveness across a range of quantized neural network workloads and compare implementation alternatives for non-matrix-multiply operations. We demonstrate an average reduction of 17% for LUTs, 66% for DSPs, and 22% for accumulator bitwidths with SIRA optimizations, providing detailed benchmark analysis and analytical models to guide the implementation style for non-matrix layers. Finally, we open-source SIRA to facilitate community exploration of its benefits across various applications and hardware platforms.}}, author = {{Umuroglu, Yaman and Berganski, Christoph and Jentzsch, Felix and Danilowicz, Michal and Kryjak, Tomasz and Bezaitis, Charalampos and Sjalander, Magnus and Colbert, Ian and Preusser, Thomas and Petri-Koenig, Jakoba and Blott, Michaela}}, title = {{{SIRA: Scaled-Integer Range Analysis for Optimizing FPGA Dataflow Neural Network Accelerators}}}, year = {{2025}}, } @article{61147, author = {{Wiechmann, Jana and Wagner, Petra}}, issn = {{0892-1997}}, journal = {{Journal of Voice}}, publisher = {{Elsevier BV}}, title = {{{Challenges and Limits in Explaining and Acoustic Modeling of Voice Characteristics}}}, doi = {{10.1016/j.jvoice.2025.07.036}}, year = {{2025}}, } @unpublished{61119, abstract = {{

The present article offers an assessment of intra-individual variability in visualattention using the Theory of Visual Attention, which provides a formal framework forquantifying attentional components. We specifically investigated overall attentionalcapacity – that is, the available processing speed – and its distribution, the relativeattentional weight.By reanalyzing a large existing dataset from Tünnermann and Scharlau (2021),we found that across multiple testing days, participants either remained stable within a20 Hz margin or showed consistent improvements in capacity – in some cases triplingtheir initial capacity. The weights in response to salient stimuli were remarkablyconsistent.To determine whether increases in capacity reflect pure test-retest effects or arefacilitated by consolidation between days, and to quantify within-day variability, weconducted a second study in which participants completed five self-administeredsessions within a single day. Capacities remained within the same magnitude and didnot show a consistent directional trend. The relative weights exhibited comparativelylittle variation in most participants, akin to the previously analyzed dataset. Further,estimation uncertainty increased with higher capacity values.These results suggest that capacity may be subject to training effects, but thatsuch improvements appear to depend on longer breaks between sessions. This hasimportant implications for individualized assessment: A personal prior could beestimated from a single session to accelerate future estimations, as long as subsequentsessions occur on the same day. Participants with higher capacities may require tailoredexperimentation methods when small to medium effects are of interest, due to increaseduncertainty.

}}, author = {{Banh, Ngoc Chi and Scharlau, Ingrid}}, publisher = {{Center for Open Science}}, title = {{{Intra-individual variability in TVA attentional capacity and weight distribution: A reanalysis across days and an experiment within-day}}}, year = {{2025}}, } @article{61160, abstract = {{As a possible solution to the demographic change and the resulting knowledge loss due to retirements in the Energy sector, this study aimed to develop a generic pipeline to implement and evaluate proof-of-concepts (PoCs) for LLM-based assistance systems in new domains. Our pipeline contains an LLM-based data generation strategy based on documents, a retrieval-augmented generation (RAG) architecture utilizing prompting techniques on existing German LLMs, and an LLM-based automatic evaluation strategy. We leverage our pipeline to evaluate five LLMs using data from a German DSO. We found that the Llama3 and the Mistral model are appropriately aligned for the task. We plan to pilot the RAG architecture in the DSO's infrastructure for future research and continuously research improvements using the generated human demonstrations.}}, author = {{Kaltenpoth, Sascha Benjamin and Müller, Oliver}}, issn = {{2770-5331}}, journal = {{ACM SIGEnergy Energy Informatics Review}}, number = {{4}}, pages = {{16--22}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Don't Touch the Power Line - A Proof-of-Concept for Aligned LLM-Based Assistance Systems to Support the Maintenance in the Electricity Distribution System}}}, doi = {{10.1145/3717413.3717415}}, volume = {{4}}, year = {{2025}}, } @misc{61157, author = {{Schroeter-Wittke, Harald}}, booktitle = {{Jahrbuch für Evangelische Kirchengeschichte des Rheinlandes}}, pages = {{232--237}}, title = {{{Bernd Schröder: Religionspädagogische Ökumenik. Weltweites polyzentrisch-plurales Christentum als Bildungsreligion, Tübingen 2025}}}, volume = {{74}}, year = {{2025}}, } @article{61158, author = {{Schroeter-Wittke, Harald}}, journal = {{Pastoraltheologie}}, number = {{9}}, pages = {{432--443}}, title = {{{"Seine besondere Chance ist, dass er sterben kann." (Helmut Simon) Verausgabung, Popkulur und Erneuerung als grundlegende Dimensionen des Kirchentags}}}, volume = {{114}}, year = {{2025}}, } @article{61165, abstract = {{Building on and methodologically extending conceptual metaphor theory, the article examines how personal agency as a discursively produced sociopsychological phenomenon can be studied in elicited metaphors through a discourse-analytical approach. More concretely, the study illustrates how early-career researchers experience and express their agency in research writing through personal metaphors of academic writing such as riding a roller coaster or baking a wedding cake. A two-step discursive analysis adapts Hopper and Thompson's multidimensional approach to linguistic transitivity to study agency in language. The analytical approach involves both an in-depth parametrized analysis of all metaphors in the sample and a qualitative cross-analysis of the data. The results show that the participants' metaphors reflect both nuanced personal experiences and cultural expectations of academic writing, the writer, and the text. This emphasizes that research writing is not only a highly subjective practice but also one that is socially and culturally influenced. The article argues that research on agency thus needs elaborate methodological tools to trace discursive and sociopsychological trajectories of complex socio-cognitive practices like academic writing. This has implications not only for the nexus of research writing, identity, and academic enculturation but also for other fields focusing on agency in language.}}, author = {{Karsten, Andrea}}, issn = {{2813-4605}}, journal = {{Frontiers in Language Sciences}}, publisher = {{Frontiers Media SA}}, title = {{{Understanding personal agency through metaphor, or Why academic writing is (not) like a roller-coaster ride}}}, doi = {{10.3389/flang.2025.1567498}}, volume = {{4}}, year = {{2025}}, } @techreport{61170, author = {{Dahl, Stephanie and Aschebrock, Kathrin and von Plettenberg, Elisabeth and Neuber, Nils}}, title = {{{Pilotprojekt zur Erfassung der Sportverhaltensdaten von Kindern und Jugendlichen in NRW}}}, volume = {{9}}, year = {{2025}}, } @inproceedings{61174, abstract = {{Abstract. Mechanical joining methods, such as clinching, are characterised by locally large plastic deformations of the sheet metal to be joined. The majority of the thereby inserted work is transformed into heat. The heat generation and temperature evolution are systematically studied herein by means of thermomechanical process simulations for joining the dual-phase steel HCT590X and the aluminium alloy EN-AW 6014. The thermal-induced softening of the material is incorporated by a suitable coupled thermoplastic constitutive model. It is observed how the tools significantly and importantly contribute to the heat exchange. They reduce peak temperature increases of 225 K (without heat transfer to tools) to less than 90 K for realistic behaviour of contact heat transfer. Overall, increases in temperature during clinch joining can be expected to remain below 90 K for steel-steel joints and around 50 K for aluminium-aluminium joints.}}, author = {{Friedlein, J. and Steinmann, P. and Mergheim, J.}}, booktitle = {{Materials Research Proceedings}}, issn = {{2474-395X}}, publisher = {{Materials Research Forum LLC}}, title = {{{Influence of thermal effects on clinch joining of sheet metal}}}, doi = {{10.21741/9781644903551-22}}, volume = {{52}}, year = {{2025}}, } @inproceedings{61154, author = {{Türk, Olcay and Lazarov, Stefan Teodorov and Buschmeier, Hendrik and Wagner, Petra and Grimminger, Angela}}, booktitle = {{LingCologne 2025 – Book of Abstracts}}, location = {{Cologne, Germany}}, pages = {{36}}, title = {{{Acoustic detection of false positive backchannels of understanding in explanations}}}, year = {{2025}}, } @inbook{61183, author = {{Vukadinovic, Vojin Sasa}}, booktitle = {{Sarah Schumann. Schockcollagen 1957-1964}}, editor = {{Keller, Christoph}}, pages = {{79--95}}, title = {{{Das Bild der Femme Future im Spiegel der Geschichte. Sarah Schumanns Collagen, das Grauen und das Unbewusste}}}, year = {{2025}}, } @inproceedings{61184, author = {{Augustine, John and Scheideler, Christian and Werthmann, Julian}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783031998713}}, issn = {{0302-9743}}, publisher = {{Springer Nature Switzerland}}, title = {{{Supervised Distributed Computing}}}, doi = {{10.1007/978-3-031-99872-0_4}}, year = {{2025}}, } @article{59226, author = {{Herzig, Bardo}}, issn = {{0937-7239}}, journal = {{SchulVerwaltung NRW}}, number = {{1/25}}, pages = {{18--20}}, publisher = {{Carl Link}}, title = {{{Künstliche Intelligenz und professionsbezogene Aufgaben von Lehrkräften}}}, year = {{2025}}, } @article{60949, author = {{Giese, Henning and Holtmann, Svea and Koch, Reinald and Langenmayr, Dominika}}, journal = {{ifo Schnelldienst}}, number = {{8}}, pages = {{34--40}}, title = {{{Steuerliches Investitionssofortprogramm: Ausreichender Schritt zur Stärkung des Wirtschaftsstandorts Deutschland?}}}, volume = {{78}}, year = {{2025}}, } @inproceedings{61190, author = {{Sengupta, Meghdut and Muschalik, Maximilian and Fumagalli, Fabian and Hammer, Barbara and Hüllermeier, Eyke and Ghosh, Debanjan and Wachsmuth, Henning}}, booktitle = {{Accepted in Findings }}, publisher = {{EMNLP }}, title = {{{Investigating the Impact of Conceptual Metaphors on LLM-based NLI through Shapley Interactions}}}, year = {{2025}}, } @article{61123, abstract = {{Knowledge graphs are used by a growing number of applications to represent structured data. Hence, evaluating the veracity of assertions in knowledge graphs—dubbed fact checking—is currently a challenge of growing importance. However, manual fact checking is commonly impractical due to the sheer size of knowledge graphs. This paper is a systematic survey of recent works on automatic fact checking with a focus on knowledge graphs. We present recent fact-checking approaches, the varied sources they use as background knowledge, and the features they rely upon. Finally, we draw conclusions pertaining to possible future research directions in fact checking knowledge graphs.}}, author = {{Qudus, Umair and Röder, Michael and Saleem, Muhammad and Ngonga Ngomo, Axel-Cyrille}}, issn = {{0360-0300}}, journal = {{ACM Computing Surveys}}, keywords = {{fact checking, knowledge graphs, fact-checkers, check worthiness, evidence retrieval, trust, veracity.}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Fact Checking Knowledge Graphs -- A Survey}}}, doi = {{10.1145/3749838}}, volume = {{58}}, year = {{2025}}, } @article{59912, abstract = {{Abstract We study the expressivity and the complexity of various logics in probabilistic team semantics with the Boolean negation. In particular, we study the extension of probabilistic independence logic with the Boolean negation, and a recently introduced logic first-order theory of random variables with probabilistic independence. We give several results that compare the expressivity of these logics with the most studied logics in probabilistic team semantics setting, as well as relating their expressivity to a numerical variant of second-order logic. In addition, we introduce novel entropy atoms and show that the extension of first-order logic by entropy atoms subsumes probabilistic independence logic. Finally, we obtain some results on the complexity of model checking, validity and satisfiability of our logics.}}, author = {{Hannula, Miika and Hirvonen, Minna and Kontinen, Juha and Mahmood, Yasir and Meier, Arne and Virtema, Jonni}}, issn = {{0955-792X}}, journal = {{Journal of Logic and Computation}}, number = {{3}}, publisher = {{Oxford University Press (OUP)}}, title = {{{Logics with probabilistic team semantics and the Boolean negation}}}, doi = {{10.1093/logcom/exaf021}}, volume = {{35}}, year = {{2025}}, } @inproceedings{59054, author = {{Firmansyah, Asep Fajar and Zahera, Hamada Mohamed Abdelsamee and Sherif, Mohamed and Moussallem, Diego and Ngonga Ngomo, Axel-Cyrille}}, booktitle = {{ESWC2025}}, isbn = {{978-3-031-94575-5}}, keywords = {{firmansyah mousallem ngonga sherif zahera}}, pages = {{133----151}}, publisher = {{pringer Nature Switzerland}}, title = {{{ANTS: Abstractive Entity Summarization in Knowledge Graphs}}}, doi = {{10.1007/978-3-031-94575-5_8}}, year = {{2025}}, }