@article{61518, abstract = {{Abstract Teacher professional development (TPD) is a crucial support mechanism for mathematics teachers. Strategies for implementing TPD include disseminating educative curriculum materials or conducting TPD courses. However, it remains unclear whether different implementations of the same TPD support mathematics teachers in distinct ways. This study investigated two implementations of the TPD EmMa-FS which focuses early mathematics education (EME) for German vocational school (VS) teachers who instruct prospective early childhood (EC) educators. One group of teachers received an in-person TPD course along with educative curriculum materials (n PM  = 26), whereas the other received only the educative curriculum materials (n M  = 15). The effects on VS teachers’ beliefs and knowledge concerning EME were examined using a t-test and repeated measures ANOVA. To assess how teachers in the different implementation groups made use of the TPD in their lesson planning, participants submitted hypothetical lesson sequences on early numeracy, which were analysed for instructional quality, covered content, and the visible implementation of the provided educative curriculum materials using qualitative content analysis. The results indicated that both TPD implementations positively affected VS teachers’ knowledge related to EME but not their beliefs. While the instructional quality of the lesson sequences varied across both groups, participants who received the TPD course appeared to use the educative curriculum materials more often and to cover more content.}}, author = {{Richter, Alix and Bruns, Julia and Gasteiger, Hedwig}}, issn = {{0173-5322}}, journal = {{Journal für Mathematik-Didaktik}}, number = {{1}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Interaction- or Material-Centred Implementation of Teacher Professional Development: a Comparison of Teachers’ Competence Development and Potential Lesson Planning Lehrkräftefortbildung interaktions- oder materialzentriert implementieren: Ein Vergleich hinsichtlich der Kompetenzentwicklung sowie der potentiellen Unterrichtsplanung von Lehrkräften}}}, doi = {{10.1007/s13138-025-00259-7}}, volume = {{46}}, year = {{2025}}, } @article{61519, abstract = {{ Zusammenfassung: Frühe mathematische Bildung, die ihren Ausgangspunkt in den (Spiel-)Situationen der Kindertagesstätte nimmt, kann breite mathematische Erfahrungen ermöglichen, wenn die (Spiel-)Situationen entsprechende Möglichkeiten bieten. Erste Studien weisen darauf hin, dass in diesen Situationen verschiedene mathematische Inhalte angesprochen werden können. Allerdings konzentrieren sich bisherige Studien auf ausgewählte Kontexte oder Inhaltsbereiche. Diese Studie zielt daher auf eine vertiefte Analyse der Gelegenheiten für mathematische Erfahrungen, die in verschiedenen (Spiel-)Situationen im Alltag der Kindertagesstätte entstehen können. Dazu wurde eine videobasierte Beobachtungsstudie mittels einer Action-Kamera in einer Kindertagesstätte durchgeführt. Die Ergebnisse zeigen, dass eine Vielfalt von mathematischen Inhalten in (Spiel-)Situationen in der Kindertagesstätte beobachtet werden kann, einzelne Inhalte jedoch nur in formellen Lernsituationen auftreten. }}, author = {{Bruns, Julia and Mette, Tessa}}, issn = {{2191-9186}}, journal = {{Frühe Bildung}}, number = {{4}}, pages = {{193--200}}, publisher = {{Hogrefe Publishing Group}}, title = {{{Mathematik mit Kindern ausgehend von Spiel- und Routinesituationen in der Kindertagesstätte erkunden?}}}, doi = {{10.1026/2191-9186/a000730}}, volume = {{14}}, year = {{2025}}, } @inbook{61537, author = {{Schloots, Franziska Margarete}}, booktitle = {{Virtuelles Essen- Interdisziplinäre Perspektiven auf Ernährungspraktiken im digitalen Zeitalter}}, editor = {{Jürgens, Jane Lia and Lewandowski, Kira and Aßmann, Sandra}}, isbn = {{978-3-8394-7633-8}}, keywords = {{Selbstvermessung, Wearables, Diet Tracking, Quantifizierung}}, pages = {{225--251}}, publisher = {{transcript Verlag}}, title = {{{Essen nach Zahlen - Die Quantifizierung von Ernährung im Alltag}}}, doi = {{10.14361/9783839476338}}, year = {{2025}}, } @article{61546, abstract = {{Fuzzing is a powerful software testing technique renowned for its effectiveness in identifying software vulnerabilities. Traditional fuzzing evaluations typically focus on overall fuzzer performance across a set of target programs, yet few benchmarks consider how fine-grained program features influence fuzzing effectiveness. To bridge this gap, we introduce FeatureBench, a novel benchmark designed to generate programs with configurable, fine-grained program features to enhance fuzzing evaluations. We reviewed 25 recent grey-box fuzzing studies, extracting 7 program features related to control-flow and data-flow that can impact fuzzer performance. Using these features, we generated a benchmark consisting of 153 programs controlled by 10 fine-grained configurable parameters. We evaluated 11 fuzzers using this benchmark, with each fuzzer representing either distinct claimed improvements or serving as a widely used baseline in fuzzing evaluations. The results indicate that fuzzer performance varies significantly based on the program features and their strengths, highlighting the importance of incorporating program characteristics into fuzzing evaluations.}}, author = {{Miao, Miao and Kummita, Sriteja and Bodden, Eric and Wei, Shiyi}}, issn = {{2994-970X}}, journal = {{Proceedings of the ACM on Software Engineering}}, number = {{ISSTA}}, pages = {{527--549}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Program Feature-Based Benchmarking for Fuzz Testing}}}, doi = {{10.1145/3728899}}, volume = {{2}}, year = {{2025}}, } @inproceedings{61760, abstract = {{We present a topology-optimized silicon nitride (Si3N4) coupler designed to enhance the coupling efficiency between integrated single-photon emitters and photonic waveguide modes. By leveraging inverse design techniques, we optimize the coupler’s geometry to maximize power transfer while maintaining fabrication feasibility by improving mode overlap and directional emission, addressing the challenge of low coupling efficiency caused by size mismatch and material incompatibility. Simulations demonstrate a substantial enhancement in photon extraction and waveguide coupling. This approach can be extended to other photonic devices, offering a versatile framework for improving quantum light-matter interactions in integrated photonics.}}, author = {{Farheen, Henna and Chen, Yuheng and Chen, Peigang and Kryvobok, Artem and Peana, Samuel and Senichev, Alexander and Shalaev, Vladimir M. and Boltasseva, Alexandra and Förstner, Jens and Kildishev, Alexander V.}}, booktitle = {{Photonic Computing: From Materials and Devices to Systems and Applications II}}, editor = {{Ni, Xingjie and Cai, Wenshan}}, keywords = {{tet_topic_waveguide}}, publisher = {{SPIE}}, title = {{{Topology-optimized silicon nitride coupler for integrated single-photon emitters}}}, doi = {{10.1117/12.3065734}}, year = {{2025}}, } @article{61770, author = {{Kirschbaum, Julia and Divkovic, Denis and Meschede, Henning}}, issn = {{0306-2619}}, journal = {{Applied Energy}}, publisher = {{Elsevier BV}}, title = {{{From demand to action: Analysing building emissions and refurbishment scenarios towards climate neutrality}}}, doi = {{10.1016/j.apenergy.2025.126302}}, volume = {{396}}, year = {{2025}}, } @article{61775, author = {{Liu, Gaosheng and Yıldırım, Kasım Sinan and Wang, Lin}}, issn = {{1536-1233}}, journal = {{IEEE Transactions on Mobile Computing}}, pages = {{1--14}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{FreeBeacon: Efficient Communication and Data Aggregation in Battery-Free IoT}}}, doi = {{10.1109/tmc.2025.3614227}}, year = {{2025}}, } @article{57472, abstract = {{In this paper we introduce, in a Hilbert space setting, a second order dynamical system with asymptotically vanishing damping and vanishing Tikhonov regularization that approaches a multiobjective optimization problem with convex and differentiable components of the objective function. Trajectory solutions are shown to exist in finite dimensions. We prove fast convergence of the function values, quantified in terms of a merit function. Based on the regime considered, we establish both weak and, in some cases, strong convergence of trajectory solutions toward a weak Pareto optimal solution. To achieve this, we apply Tikhonov regularization individually to each component of the objective function. This work extends results from single objective convex optimization into the multiobjective setting.}}, author = {{Bot, Radu Ioan and Sonntag, Konstantin}}, journal = {{Journal of Mathematical Analysis and Applications}}, keywords = {{Pareto optimization, Lyapunov analysis, gradient-like dynamical systems, inertial dynamics, asymptotic vanishing damping, Tikhonov regularization, strong convergence}}, title = {{{Inertial dynamics with vanishing Tikhonov regularization for multobjective optimization}}}, year = {{2025}}, } @article{61859, author = {{Jonas-Ahrend, Gabriela and Tenberg, Ralf}}, journal = {{Journal of Education for Teaching}}, title = {{{Teacher shortage in Germany - overview and insights}}}, doi = {{https://doi.org/10.1080/02607476.2025.2572577}}, year = {{2025}}, } @article{61874, abstract = {{ We study descriptive complexity of counting complexity classes in the range from #P to \({\text{#}\!\cdot\!\text{NP}}\) . The proof of Fagin’s characterization of NP by existential second-order logic generalizes to the counting setting in the following sense: The class #P can be logically described as the class of functions counting satisfying assignments to free relation variables in first-order formulae. This was first observed by Saluja et al. (1995). In this paper we extend this study to classes beyond #P and extensions of first-order logic with team semantics. These team-based logics are closely related to existential second-order logic and its fragments, hence our results also shed light on the complexity of counting for extensions of first-order logic in Tarski’s semantics. Our results show that the class \({\text{#}\!\cdot\!\text{NP}}\) can be logically characterized by independence logic and existential second-order logic, whereas dependence logic and inclusion logic give rise to subclasses of \({\text{#}\!\cdot\!\text{NP}}\) and #P , respectively. We further relate the class obtained from inclusion logic to the complexity class \({\text{TotP}} \subseteq{\text{#P}}\) . }}, author = {{Haak, Anselm and Kontinen, Juha and Müller, Fabian and Vollmer, Heribert and Yang, Fan}}, issn = {{1529-3785}}, journal = {{ACM Transactions on Computational Logic}}, publisher = {{Association for Computing Machinery (ACM)}}, title = {{{Counting of Teams in First-Order Team Logics}}}, doi = {{10.1145/3771721}}, year = {{2025}}, } @inproceedings{61873, author = {{Khanteimouri, Payam and Campen, Marcel}}, booktitle = {{Proceedings of the 2025 SIAM International Meshing Roundtable}}, isbn = {{9781611978575}}, publisher = {{Society for Industrial and Applied Mathematics}}, title = {{{C1-Smooth Parametrization of Polynomial Shapes over Polygonal Domains}}}, doi = {{10.1137/1.9781611978575.9}}, year = {{2025}}, } @misc{61879, author = {{Anonymous, A.}}, title = {{{Overview on Threshold Signature Schemes and their Applications}}}, year = {{2025}}, } @misc{61878, author = {{Anonymous, A}}, title = {{{Comparison of Time-Lock Puzzle Constructions and Their Security}}}, year = {{2025}}, } @inproceedings{61926, abstract = {{ABSTRACT:As modern technical systems grow in complexity, ensuring the quality of these systems during early development phases becomes more challenging. This is particularly evident in the development of modern passenger vehicles, where non-functional requirements (NFRs) play a critical role in ensuring that a vehicle operates according to specified standards and expectations, especially across different vehicle configurations and environmental conditions. The introduction of Artificial Intelligence (AI) in automotive engineering has transformed the approach to vehicle system design and development. This paper presents a pipeline for analyzing and generating NFRs for vehicle systems using generative AI-based methods. The pipeline categorizes NFRs, explores their interdependencies with vehicle configurations and environmental conditions, and addresses the completeness of NFRs in relation to specific vehicle use cases. The paper focuses on selecting appropriate NFR types for various use cases, taking into account diverse configurations and environmental factors. Examples of NFRs with varying parameters are provided for an electric vehicle under development at a leading car manufacturer, illustrating the benefit as well as the challenges of applying generative AI to automotive engineering.}}, author = {{Bazzal, Mahmoud and Lungu, Adriana and Kruse, Benjamin and Bernijazov, Ruslan and Dumitrescu, Roman}}, booktitle = {{Proceedings of the Design Society}}, issn = {{2732-527X}}, pages = {{449--458}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{AI-Based Management and Generation Of Non-Functional Requirements in Vehicle Development and Integration}}}, doi = {{10.1017/pds.2025.10059}}, volume = {{5}}, year = {{2025}}, } @inproceedings{61924, abstract = {{ABSTRACT:Model-based Systems Engineering (MBSE) supports managing complex engineering projects. A pivotal element of MBSE is the concept of views which provide tailored representations of a system model to address stakeholder concerns. Despite standards describing the use and generation of views, the adoption and practical implementation of MBSE views and viewpoints in industrial practice remain insufficiently explored. Interviews with German practitioners reveal a disconnect between theory and practice: views and viewpoints and the involvement in MBSE are often limited to technical experts, excluding non-technical stakeholders. High complexity, abstract representations, and tool-related barriers impede broader engagement. The findings suggest stakeholder-specific, accessible visualizations integrated into easy-to-use tools to improve understanding, collaboration, and decision-making.}}, author = {{Förster, Felix and Koldewey, Christian and Bernijazov, Ruslan and Dumitrescu, Roman and Bursac, Nikola}}, booktitle = {{Proceedings of the Design Society}}, issn = {{2732-527X}}, pages = {{2531--2540}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{Navigating viewpoints in MBSE: challenges, potential and pathways for stakeholder participation in industry}}}, doi = {{10.1017/pds.2025.10267}}, volume = {{5}}, year = {{2025}}, } @inproceedings{61929, abstract = {{ABSTRACT:Digital engineering transformation in industrial companies requires addressing diverse needs and their impact on every impacted engineering aspect. This paper analyses Changes initiated by transformation drivers and presents a systematic approach to integrate sustainability into engineering processes and artifacts. As a currently important topic the integration of sustainability data in engineering is used as an example of application. Based on identified use cases, sustainability parameters are derived and linked to engineering data objects to pinpoint their placement within the early product development. The results demonstrate how data-driven approaches enable effective sustainability integration and provide a foundation for future digital engineering transformations due to diverse divers.}}, author = {{Wyrwich, Fabian and Könemann, Ulf and Tissen, Denis and Bohnenkamp, Tinus and Hovemann, Aschot and Dumitrescu, Roman}}, booktitle = {{Proceedings of the Design Society}}, issn = {{2732-527X}}, pages = {{1385--1394}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{Digital engineering transformation for sustainability: an approach to systematically integrate sustainability data in engineering processes}}}, doi = {{10.1017/pds.2025.10152}}, volume = {{5}}, year = {{2025}}, } @inproceedings{61925, abstract = {{ABSTRACT:The increasing complexity of modern product and production system development, driven by dynamic market demands, supply chain disruptions and economic pressures, poses significant challenges for companies. Existing methodologies often fall short due to their domain-specific focus, inconsistent terminology and lack of integration. To address these challenges, this paper presents a taxonomy for integrative product and production system development. The taxonomy systematically structures key elements, dependencies and processes to improve collaboration, decision-making and communication within organisations. Developed iteratively the taxonomy identifies ten core artefacts. It enables organisations to better plan improvements, synchronise development processes, and select appropriate methods and tools.}}, author = {{Disselkamp, Jan-Philipp and Seidenberg, Tobias and Westphal, Svenja and Lick, Jonas and Ptock, Lukas and Wyrwich, Fabian and Hovemann, Aschot and Dumitrescu, Roman}}, booktitle = {{Proceedings of the Design Society}}, issn = {{2732-527X}}, pages = {{2121--2130}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{Integrative and Integrated product and production system development: a taxonomy for managing dependencies and processes}}}, doi = {{10.1017/pds.2025.10226}}, volume = {{5}}, year = {{2025}}, } @article{61930, abstract = {{ABSTRACT:The increasing complexity and connectivity of the mobility system and modern automotive systems, particularly connected autonomous vehicles, demand a paradigm shift toward resilience-by-design to address disruptions in dynamic environments. Unlike established safety and cybersecurity engineering in automotive, resilience engineering has yet to be systematically integrated into development processes. This paper defines resilience using a standard-based definition method, emphasizing disruption tolerance, adaptability, and recoverability. We identify action fields to advance the topic and propose a resilience-by-design framework extending safety and cybersecurity perspectives. Resilience-by-design offers strategies and methods to design robust, adaptive systems, ensuring reliability and availability of automotive systems, functions, and components in operation.}}, author = {{Bita, Isaac Mpidi and Hovemann, Aschot and Dumitrescu, Roman}}, issn = {{2732-527X}}, journal = {{Proceedings of the Design Society}}, pages = {{2781--2790}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{Resilience-By-Design: Standard-based definition of Resilience and identification of action fields for the systems design of mobility system}}}, doi = {{10.1017/pds.2025.10292}}, volume = {{5}}, year = {{2025}}, } @inproceedings{61927, abstract = {{ABSTRACT:Cyber-physical production systems (CPPS) are responsible for a significant portion of manufacturers’ carbon emissions. Since 80% of product-related environmental impacts are determined at the design stage, there is a need for CPPS manufacturers to focus on decarbonization at the design stage. To date, there is a lack of design-for-decarbonization guidance for CPPS. This paper proposes a procedural framework for the effective selection of decarbonization measures for the design of CPPS. A Decarbonization Wheel is developed to establish a product-specific decarbonization strategy. This tool is linked to a catalogue of decarbonization measures. A measure prioritization logic provides a structure for systematizing selected measures. The framework is validated in the case of an intelligent industrial control valve.}}, author = {{Schreiner, Nick and Cowen, Adam and Volling, Thomas and Dumitrescu, Roman}}, booktitle = {{Proceedings of the Design Society}}, issn = {{2732-527X}}, pages = {{1295--1304}}, publisher = {{Cambridge University Press (CUP)}}, title = {{{Design-for-decarbonization: a framework for decarbonizing cyber-physical production systems at the design stage}}}, doi = {{10.1017/pds.2025.10143}}, volume = {{5}}, year = {{2025}}, } @article{61923, author = {{Özcan, Leon and Petzke, Lisa Irene and Dumitrescu, Roman and Koldewey, Christian}}, issn = {{0360-8581}}, journal = {{IEEE Engineering Management Review}}, pages = {{1--13}}, publisher = {{Institute of Electrical and Electronics Engineers (IEEE)}}, title = {{{Design options to shape platform success in B2B markets throughout the platform lifecycle}}}, doi = {{10.1109/emr.2025.3608788}}, year = {{2025}}, }