@inproceedings{65566,
author = {{Haak, Anselm and Koopmann, Patrick and Mahmood, Yasir and Turhan, Anni-Yasmin}},
editor = {{Haak, Anselm}},
location = {{Lisbon}},
title = {{{ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics}}},
year = {{2026}},
}
@inproceedings{65567,
abstract = {{We introduce the notion of contrastive ABox explanations to answer questions of the type “Why is a an instance of C, but b is not?”. While there are various approaches for explaining positive entailments (why is C(a) entailed by the knowledge base) as well as missing entailments (why is C(b) not entailed) in isolation, contrastive explanations consider both at the same time, which allows them to focus on the relevant commonalities and differences between a and b. We develop an appropriate notion of contrastive explanations for the special case of ABox reasoning with description logic ontologies, and analyze the computational complexity for different variants under different optimality criteria, considering lightweight as well as more expressive description logics. We
implemented a first method for computing one variant of contrastive explanations, and evaluated it on generated problems for realistic knowledge bases.}},
author = {{Koopmann, Patrick and Mahmood, Yasir and Ngonga Ngomo, Axel-Cyrille and Tiwari, Balram}},
booktitle = {{Proceedings of the AAAI Conference on Artificial Intelligence}},
issn = {{2374-3468}},
number = {{23}},
pages = {{19189--19197}},
publisher = {{Association for the Advancement of Artificial Intelligence (AAAI)}},
title = {{{Can You Tell the Difference? Contrastive Explanations for ABox Entailments}}},
doi = {{10.1609/aaai.v40i23.38993}},
volume = {{40}},
year = {{2026}},
}
@article{32099,
author = {{Weich, Tobias and Budde, Julia}},
journal = {{Journal of Functional Analysis}},
number = {{1}},
title = {{{Wave Front Sets of Nilpotent Lie Group Representations}}},
doi = {{ https://doi.org/10.1016/j.jfa.2024.110684}},
volume = {{288}},
year = {{2025}},
}
@article{56960,
author = {{Black, Tobias}},
issn = {{0893-9659}},
journal = {{Applied Mathematics Letters}},
publisher = {{Elsevier BV}},
title = {{{Absence of dead-core formations in chemotaxis systems with degenerate diffusion}}},
doi = {{10.1016/j.aml.2024.109361}},
volume = {{161}},
year = {{2025}},
}
@inbook{57020,
abstract = {{AbstractIn this symposium we investigate students’ agency of selecting and using (digital) resources for developing their own learning paths. For that, we first review the literature related to students’ selection and use of resources in mathematics education in different pedagogical settings (presentation 1). Second, we develop insights from the different studies that participate in this symposium (presentation 2–6), at school as well as at university level. Results show that attempts have been made to provide students opportunities to develop agency of their mathematics learning, in particular with the development and provision of numerous digital tools and learning resources at university level and related to innovative pedagogical approaches. At the same time, it is not obvious how these tools and resources help students to develop deeper conceptual understandings. Certainly, students often ‘demand’ more student-centered and autonomous education approaches (e.g., at university level), also in mathematics education. Further, it seems that authentic problem-based education approaches are more motivating for students. These ‘innovative’ approaches necessitate particular types of structure and support for students. Moreover, they require different ways of providing resources that students can and want to interact with, and that help students to navigate through the curriculum to develop their own learning paths. At the same time, teachers also need support on how to orchestrate student learning with the available resources in such environments, so to be able to attend to students’ individual needs. The symposium comprised altogether six presentations:Birgit Pepin & Sebastian Rezat: Students’ agency of selecting and using (digital) resources for developing their own learning paths: An overviewAnnalisa Cusi & Agnese I. Telloni: Learning through digital curriculum resource design: students’ reflections on their role as designersVilma Mesa, Lelia Burley-Sanford, Xinyi Hao, & Carlos Quiroz: Interactive features in university textbooks and their use by teachers and studentsSebastian Rezat: Fostering university students’ reading and understanding of mathematical text in a flipped classroom approach with a digital marking toolBirgit Pepin & Ulises Salinas: Challenge/problem-based mathematics learning at university level: The case of the modeling weekFarzad Radmehr: Problem-posing: An inclusive activity for improving teaching and learning of mathematics at university level}},
author = {{Pepin, Birgit and Rezat, Sebastian}},
booktitle = {{Recent Advances in Mathematics Textbook Research and Development}},
editor = {{Qi, Chunxia and Fan, Lianghuo and Liu, Jian and Liu, Qimeng and Dong, Lianchun}},
isbn = {{9789819784257}},
pages = {{123–126}},
publisher = {{Springer Nature}},
title = {{{Symposium—Towards innovative practices in mathematics education: Teachers’ and students’ choice and use of digital resources}}},
doi = {{10.1007/978-981-97-8426-4_17}},
year = {{2025}},
}
@inbook{57022,
abstract = {{AbstractEven in the digital age, learning mathematics at an academic level still requires much interaction with mathematical texts. Understanding and developing disciplinary literacy skills at all levels is an increasing matter of interest.}},
author = {{Rezat, Sebastian}},
booktitle = {{Recent Advances in Mathematics Textbook Research and Development}},
editor = {{Qi, Chunxia and Fan, Lianghuo and Liu, Jian and Liu, Qimeng and Dong, Lianchun}},
isbn = {{9789819784257}},
pages = {{133–136}},
publisher = {{Springer Nature}},
title = {{{Fostering university students’ reading and understanding of mathematical text in a flipped classroom approach with a digital marking tool}}},
doi = {{10.1007/978-981-97-8426-4_20}},
year = {{2025}},
}
@inproceedings{58227,
author = {{Brockmeier, Jan and Kruse, Stephan and Scheytt, J. Christoph}},
booktitle = {{German Microwave Conference 2025}},
location = {{Dresden}},
title = {{{A Mach-Zehnder-Modulator based FMCW Lidar Emulator in C-Band}}},
year = {{2025}},
}
@article{58353,
abstract = {{Abstract
Statistics and machine learning are critical because they play an essential role in our everyday lives and the careers we may pursue in the future. It may be beneficial to introduce machine learning, such as decision trees (DTs), at an early stage of education. The data-based construction of DTs is an example of a machine learning process, which can be addressed in mathematics or statistics teaching because of relatively low prior knowledge requirements. This paper focuses on investigating how sixth-grade students create and evaluate data-based DTs. The basis is a teaching unit that aims to lay the foundation for machine learning and enhance students’ understanding of the process. We investigate students’ processes in detail while they build DTs with data cards about food items to predict whether a new item is recommendable. After the teaching unit, an interview study examines students’ strategies for creating decision trees. The findings contribute to understanding students’ learning processes and the challenges when working with decision trees.}},
author = {{Podworny, Susanne and Biehler, Rolf and Fleischer, Yannik}},
issn = {{1863-9690}},
journal = {{ZDM – Mathematics Education}},
publisher = {{Springer Science and Business Media LLC}},
title = {{{Young students’ engagement with data to create decision trees}}},
doi = {{10.1007/s11858-024-01649-w}},
year = {{2025}},
}
@article{54450,
abstract = {{In the last decade, there has been increasing interest in allowing users to understand how the predictions of machine-learned models come about, thus increasing transparency and empowering users to understand and potentially contest those decisions.Dialogue-based approaches, in contrast to traditional one-shot eXplainable Artificial Intelligence (XAI) methods, facilitate interactive, in-depth exploration through multi-turn dialogues, simulating expert conversations. This paper reviews the current state of dialogue-based XAI, presenting a systematic review of 1,339 publications, narrowed down to 14 based on inclusion criteria. We explore theoretical foundations of the systems, propose key dimensions along which different solutions to dialogue-based XAI differ, and identify key use cases, target audiences, system components, and the types of supported queries and responses. Furthermore, we investigate the current paradigms by which systems are evaluated and highlight their key limitations. Key findings include identifying the main use cases, objectives, and audiences targeted by dialogue-based XAI methods, and summarize the main types of questions and information needs. Beyond discussing avenues for future work, we present a meta-architecture for these systems from existing literature and outlined prevalent theoretical frameworks.}},
author = {{Mindlin, Dimitry and Beer, Fabian and Sieger, Leonie Nora and Heindorf, Stefan and Cimiano, Philipp and Esposito, Elena and Ngonga Ngomo, Axel-Cyrille}},
journal = {{Artificial Intelligence Review}},
number = {{3}},
publisher = {{Springer}},
title = {{{Beyond One-Shot Explanations: A Systematic Literature Review of Dialogue-Based XAI Approaches}}},
doi = {{10.1007/s10462-024-11007-7}},
volume = {{58}},
year = {{2025}},
}
@article{59414,
author = {{Häsel-Weide, Uta and Nührenbörger, M.}},
journal = {{Zeitschrift für Grundschulforschung}},
title = {{{Unterrichtsintegrierte Förderung von mathematischen Basiskompetenzen. Empirische Rekonstruktion interferierender Praktiken der Förderung im Mathematikunterricht der Grundschule}}},
doi = {{ https://doi.org/10.1007/s42278-025-00223-x }},
year = {{2025}},
}
@article{59512,
abstract = {{Abstract
Große Sprachmodelle wie GPT-4 bieten erhebliche Potenziale für das Systems Engineering. Prompt-Engineering ermöglicht einen flexiblen Einsatz im Anforderungsmanagement, Systementwurf und in der Integration, Verifikation und Validierung ohne aufwendiges Modelltraining. Die Formulierung von Prompts und die Anwendung fortschrittlicher Techniken erfordern jedoch tiefes Domänenwissen. Der Beitrag zeigt Potenziale und Herausforderungen dieser Technik auf und illustriert praktische Anwendungsbeispiele}},
author = {{Hovemann, Aschot and Bita, Isaac Mpidi and Aldade, Abed Alrahman and von Heißen, Oliver and Dumitrescu, Roman}},
issn = {{2511-0896}},
journal = {{Zeitschrift für wirtschaftlichen Fabrikbetrieb}},
number = {{s1}},
pages = {{101--106}},
publisher = {{Walter de Gruyter GmbH}},
title = {{{Prompt Engineering im Systems Engineering}}},
doi = {{10.1515/zwf-2024-0139}},
volume = {{120}},
year = {{2025}},
}
@article{59513,
abstract = {{Abstract
The increasing complexity of modern technical systems necessitates innovative approaches such as Model-Based Systems Engineering (MBSE). In this context, using Artificial Intelligence (AI) emerges as a key enabler for practical application and efficiency improvement. This article introduces a maturity model for AI-based assistance systems in MBSE. It helps companies assess their current automation level in MBSE activities, providing a foundation for strategic planning of process improvements.}},
author = {{Bernijazov, Ruslan and Dumitrescu, Roman and Hanke, Fabian and von Heißen, Oliver and Kaiser, Lydia and Tissen, Denis}},
issn = {{2511-0896}},
journal = {{Zeitschrift für wirtschaftlichen Fabrikbetrieb}},
number = {{s1}},
pages = {{96--100}},
publisher = {{Walter de Gruyter GmbH}},
title = {{{AI-Augmented Model-Based Systems Engineering}}},
doi = {{10.1515/zwf-2024-0123}},
volume = {{120}},
year = {{2025}},
}
@inproceedings{59514,
author = {{Humpert, Lynn and Zagatta, Kristin and Anacker, Harald and Dumitrescu, Roman}},
booktitle = {{Proceedings of the 2024 7th International Conference on Computational Intelligence and Intelligent Systems}},
publisher = {{ACM}},
title = {{{Systems Engineering and Validation: A systematic literature review}}},
doi = {{10.1145/3708778.3708793}},
year = {{2025}},
}
@article{59532,
author = {{Knorr, Lukas and Buchenau, N. and Schlosser, Florian and Divkovic, Denis and Prina, M.G. and Meschede, Henning}},
issn = {{1364-0321}},
journal = {{Renewable and Sustainable Energy Reviews}},
publisher = {{Elsevier BV}},
title = {{{Electrification and flexibility of process heat in energy system modelling: A review}}},
doi = {{10.1016/j.rser.2025.115698}},
volume = {{216}},
year = {{2025}},
}
@article{59622,
abstract = {{Abstract
This study explores how high school students construct decision trees using data cards and the software CODAP (codap.concord.org) in interviews after attending a teaching unit. We conceptualized data-based decision tree construction using nine key aspects that we intended to teach, tested variations of two design elements in teaching, and analyzed the interviews qualitatively to compare student behavior to intended outcomes. We found high alignment to intentions but also deviations in data activities and informal or context-based rather than data-based reasoning. The design element of context-free (blinded) data seems to enhance data-based reasoning, while the design element of data card use showed diagnostic potential.}},
author = {{Fleischer, Yannik and Biehler, Rolf}},
issn = {{1863-9690}},
journal = {{ZDM – Mathematics Education}},
number = {{1}},
publisher = {{Springer Science and Business Media LLC}},
title = {{{Exploring students’ constructions of data-based decision trees after an introductory teaching unit on machine learning}}},
doi = {{10.1007/s11858-025-01663-6}},
volume = {{57}},
year = {{2025}},
}
@misc{59624,
author = {{Showmik, Md Jannatul Baki}},
title = {{{Enhancing Blockchain Efficiency via Median Rule}}},
year = {{2025}},
}
@unpublished{59664,
abstract = {{Given a sequence of polynomials $(P_n)_{n \in \mathbb{N}}$ with only
nonpositive zeros, the aim of this article is to present a user-friendly
approach for determining the limiting zero distribution of $P_n$ as
$\mathrm{deg}\, P_n \to \infty$. The method is based on establishing an
equivalence between the existence of a limiting empirical zero distribution
$\mu$ and the existence of an exponential profile $g$ associated with the
coefficients of the polynomials $(P_n)_{n \in \mathbb{N}}$. The exponential
profile $g$, which can be roughly described by $[z^k]P_n(z) \approx \exp(n
g(k/n))$, offers a direct route to computing the Cauchy transform $G$ of $\mu$:
the functions $t \mapsto tG(t)$ and $\alpha \mapsto \exp(-g'(\alpha))$ are
mutual inverses. This relationship, in various forms, has previously appeared
in the literature, most notably in the paper [Van Assche, Fano and Ortolani,
SIAM J. Math. Anal., 1987].
As a first contribution, we present a self-contained probabilistic proof of
this equivalence by representing the polynomials as generating functions of
sums of independent Bernoulli random variables. This probabilistic framework
naturally lends itself to tools from large deviation theory, such as the
exponential change of measure. The resulting theorems generalize and unify a
range of previously known results, which were traditionally established through
analytic or combinatorial methods.
Secondly, using the profile-based approach, we investigate how the
exponential profile and the limiting zero distribution behave under certain
operations on polynomials, including finite free convolutions, Hadamard
products, and repeated differentiation. In particular, our approach yields new
proofs of the convergence results `$\boxplus_n \to \boxplus$' and `$\boxtimes_n
\to \boxtimes$', extending them to cases where the distributions are not
necessarily compactly supported.}},
author = {{Jalowy, Jonas and Kabluchko, Zakhar and Marynych, Alexander}},
booktitle = {{arXiv:2504.11593}},
title = {{{Zeros and exponential profiles of polynomials I: Limit distributions, finite free convolutions and repeated differentiation}}},
year = {{2025}},
}
@article{59665,
author = {{Erbar, Matthias and Huesmann, Martin and Jalowy, Jonas and Müller, Bastian}},
issn = {{0022-1236}},
journal = {{Journal of Functional Analysis}},
number = {{4}},
publisher = {{Elsevier BV}},
title = {{{Optimal transport of stationary point processes: Metric structure, gradient flow and convexity of the specific entropy}}},
doi = {{10.1016/j.jfa.2025.110974}},
volume = {{289}},
year = {{2025}},
}
@inproceedings{59683,
abstract = {{Woven fibre-reinforced polymers are used in a variety of application, especially where a low mass to stiffness ratio is required. Of paramount importance for the tailored mechanical properties these composite materials exhibit is the type and geometry of the fibre weave. Especially continuous fibre-reinforced thermoplastic composites are fabricated as laminates and subsequently exposed to forming processes which alter the geometry of the fibres unit cell and thus the local mechanical properties of the material. An approach utilising broadband ultrasonic waves is proposed to non-destructively determine the geometry of the unit cell of the weave.
The dispersive behaviour of woven fibre-reinforced sheets is described in accordance with the Flouquet-Bloch theorem as a phononic crystal. In order to develop a model for a description of these periodically structured waveguides, the smallest repeating unit of the wave is modelled with periodic boundary conditions. The resulting dispersion diagram exhibits similarities to that of a homogeneous plate, but additionally displays a periodicity in the wavenumber regime, which correspond with the size of the unit cell. Experimental studies of the dispersive behaviour of acoustic waves in woven fibre-reinforced samples also show a periodicity in the wavenumber regime, enabling a measurement procedure of the unit cell geometry.}},
author = {{Wippermann, Mareen and Claes, Leander and Brandes, Philipp and Moritzer, Elmar and Henning, Bernd}},
location = {{Copenhagen}},
title = {{{Determination of the unit cell geometry in fibre-reinforced polymer sheets using guided acoustic waves}}},
doi = {{10.71568/DASDAGA2025.116}},
year = {{2025}},
}
@inproceedings{59688,
author = {{Claes, Leander and Zeipert, Henning and Brandes, Philipp and Moritzer, Elmar and Henning, Bernd}},
location = {{Copenhagen}},
title = {{{Assessment of Fibre-Matrix Adhesion in Reinforced Polymers by Modal Damping of Guided Acoustic Waves}}},
doi = {{10.71568/DASDAGA2025.052}},
year = {{2025}},
}