@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{61856, author = {{Schlieper, Hendrik}}, issn = {{2772-7610}}, journal = {{Artes}}, number = {{2}}, pages = {{191--210}}, title = {{{‚Novellierungen‘ der Novellistik. Der ‚Fall‘ der Novelas ejemplares}}}, doi = {{10.30965/27727629-20250009}}, volume = {{4}}, 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}}, } @inbook{61877, abstract = {{Abstract Research indicates that anger is a prevalent emotion in human-technology interactions, often leading to frustration, rejection and reduced trust, significantly impacting user experience and acceptance of technology. Particularly in high-risk or uncertain situations, where AI explanations are intended to help users make more informed decisions, decision-making is influenced by emotional factors, impairing understanding and leading to suboptimal choices. While XAI research continues to evolve, greater consideration of users’ emotions and individual characteristics remains necessary. Broadening empirical studies in this area could foster a more comprehensive understanding of decision-making processes following explanations, especially in relation to the interaction between emotions and cognition. In response, this study seeks to contribute to this area by employing an experimental design to examine the effects of AI explanations and emotion regulation on user reliance and trust of emotional users. The results provide a foundation for future human-centered research in XAI, focusing on the impact of emotions and cognition in human-technology interactions.}}, author = {{Lammert, Olesja}}, booktitle = {{Communications in Computer and Information Science}}, isbn = {{9783032083326}}, issn = {{1865-0929}}, publisher = {{Springer Nature Switzerland}}, title = {{{Can AI Regulate Your Emotions? An Empirical Investigation of the Influence of AI Explanations and Emotion Regulation on Human Decision-Making Factors}}}, doi = {{10.1007/978-3-032-08333-3_11}}, 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}}, } @article{61138, author = {{Zhan, Yingjie and Caylak, Ismail and Ostwald, Richard and Barth, Enrico and Uhlmann, Eckart}}, issn = {{2520-8160}}, journal = {{Multiscale and Multidisciplinary Modeling, Experiments and Design}}, number = {{10}}, publisher = {{Springer Science and Business Media LLC}}, title = {{{Damage-incorporated four-step mean-field method for simulating CFRP machining: a novel algorithmic approach}}}, doi = {{10.1007/s41939-025-01026-4}}, volume = {{8}}, year = {{2025}}, } @inproceedings{61884, author = {{Güldenpenning, Iris and Schulze Freilinghaus, Lars and Böer, Nils Tobias and Weigelt, Matthias}}, booktitle = {{57. Herbsttagung experimentelle Kognitionspsychologie (HexKop)}}, editor = {{Geißler, Christoph F. and Schöpper, Lars-Michael}}, location = {{Trier}}, title = {{{Unraveling the head-fake effect: Dynamic measures of cognitive conflict in sport contexts}}}, year = {{2025}}, } @article{61857, author = {{Schlieper, Hendrik}}, issn = {{2772-7610}}, journal = {{Artes}}, number = {{2}}, pages = {{306--338}}, title = {{{Mercedes. Gunst und Affekt in Cervantes’ La española inglesa}}}, doi = {{10.30965/27727629-20250014}}, volume = {{4}}, year = {{2025}}, } @misc{59615, author = {{Schmitt, Martin}}, booktitle = {{HSozKult}}, keywords = {{Rechenzentren, Geschichte, Umweltgeschichte, Nachhaltigkeit, Supercomputing, Technikgeschichte}}, title = {{{Geschichte und Umwelt von Rechenzentren; Rezension zu: Dommann, Monika; Rickli, Hannes; Stadler, Max (Hrsg.): Data Centers. Edges of a Wired Nation, Zürich 2020; Gugerli, David; Wichum, Ricky: An den Grenzen der Berechenbarkeit. Supercomputing in Stuttgart, Zürich 2021}}}, year = {{2025}}, } @phdthesis{61916, abstract = {{Diese Dissertation untersucht Optimierungsverfahren für die nachhaltige Gestaltung von Energiesystemen mit Schwerpunkt auf dem Elektrizitätssektor im Kontext der Energiewende. Aufbauend auf Methoden des Operations Research werden Planungs- und Steuerungsprobleme in den Bereichen Stromverteilnetze und energiebewusste Produktionsplanung adressiert. Die Arbeit umfasst fünf Beiträge: (P1) entwickelt ein lineares Multi-Commodity-Flow-Modell für die kostenoptimale Erweiterung großskaliger Verteilnetze unter Berücksichtigung von Resilienzszenarien und analysiert den Zusammenhang zwischen Modellparametern und Rechenzeiten; (P2) und (P3) befassen sich mit der mehrzielorientierten flexible Job Shop Scheduling-Optimierung unter Echtzeit-Strompreisen, wobei (P3) zusätzlich CO2-Emissionen als Zielgröße integriert; (P4) erweitert dieses Szenario um simultane Energiebeschaffungsentscheidungen aus Netz, erneuerbaren Quellen und Speichersystemen unter Unsicherheit mittels Rolling-Horizon-Ansatz; (P5) vergleicht unterschiedliche Klassen von Many-Objective Evolutionary Algorithms (dominanz-, indikatoren- und dekompositionsbasiert) im Hinblick auf Konvergenz, Diversität und Vollständigkeit der Paretofront. Die entwickelten Modelle und Algorithmen – darunter memetische Varianten von NSGA-II, NSGA-III, θ-DEA und HypE – werden durch umfassende Rechenexperimente evaluiert. Die Ergebnisse liefern praxisrelevante Handlungsempfehlungen für Netzbetreiber, produzierende Unternehmen und politische Entscheidungsträger und leisten einen Beitrag zur effizienten, zuverlässigen und emissionsarmen Energieversorgung der Zukunft.}}, author = {{Burmeister, Sascha Christian}}, publisher = {{LibreCat University}}, title = {{{Optimization Techniques for Sustainable Energy System Design}}}, doi = {{10.17619/UNIPB/1-2403}}, year = {{2025}}, } @article{61851, author = {{Bartlitz, David}}, journal = {{iff Infobrief}}, number = {{17}}, pages = {{1--11}}, title = {{{Wohlverhaltenspflichten nach § 63 Abs. 4, Abs. 5 WpHG (Product Governance)}}}, 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}}, }