@inproceedings{53811, abstract = {{Persistent security challenges plague DevOps teams due to a deficiency in expertise regarding security tools and methods, as evidenced by frequent security incidents. Existing maturity models fail to adequately address the specific needs of DevOps teams. In response, this paper proposes "Security Belts," a novel maturity model inspired by martial arts ranking systems. This model aims to assist DevOps teams in enhancing their security capabilities by providing a structured approach, starting with fundamental activities and progressing to more advanced techniques. Drawing from the experiences of monitoring 21 teams, the paper presents lessons learned and offers actionable advice for refining maturity models tailored to software quality improvement.}}, author = {{Taaibi, Samira and Dziwok, Stefan and Hermerschmidt, Lars and Koch, Thorsten and Merschjohann, Sven and Vollmary, Mark}}, booktitle = {{AMCIS 2024 Proceedings. 13.}}, keywords = {{Software security, maturity model}}, location = {{Salt Lake City}}, title = {{{Security Belts: A Maturity Model for DevOps Teams to Increase the Software Security of their Product - An Experience Report}}}, year = {{2024}}, } @inbook{65592, author = {{Pauls, Karina and Musehold, Thomas}}, booktitle = {{Schnittstelle Kunstunterricht: Skulptur - Material - Prozess}}, editor = {{Pauls, Karina}}, isbn = {{9783763977253}}, title = {{{3D-Druck in Kunst und Lehre - Thomas Musehold und Karina Pauls im Gespräch}}}, year = {{2024}}, } @inbook{65590, author = {{Pauls, Karina}}, booktitle = {{Schnittstelle Kunstunterricht: Skulptur - Material - Prozess}}, editor = {{Pauls, Karina}}, isbn = {{9783763977253}}, title = {{{Skulptur und Prozesse im Material}}}, doi = {{10.3278/9783763977246}}, year = {{2024}}, } @inbook{65591, author = {{Pauls, Karina}}, booktitle = {{Schnittstelle Kunstunterricht: Skulptur - Material - Prozess}}, editor = {{Pauls, Karina}}, isbn = {{9783763977253}}, title = {{{Beispiel aus der Lehrpraxis: Keramik + X}}}, year = {{2024}}, } @book{65589, editor = {{Pauls, Karina}}, isbn = {{9783763977253}}, title = {{{Schnittstelle Kunstunterricht: Skulptur - Material - Prozess}}}, doi = {{10.3278/9783763977246}}, year = {{2024}}, } @misc{57860, abstract = {{BloKK-Beitrag für das ZeKK, 07.06.2024}}, author = {{Lebock, Sarah}}, title = {{{"Auf der Suche nach Frieden"}}}, year = {{2024}}, } @book{56078, author = {{Eickelmann, Birgit and Gerick, Julia and Hauck-Thum, Uta and Maaz, Kai}}, pages = {{139}}, publisher = {{Forum Bildung Digitalisierung e. V}}, title = {{{Navigator Bildung Digitalisierung. Konzeptionierung und Orientierung zum Stand der digitalen Transformation im schulischen Bildungsbereich in Deutschland}}}, year = {{2024}}, } @inproceedings{54650, abstract = {{Abstract. Reducing the weight of vehicles can significantly lower the energy or fuel consumed and thus the emissions during operation. One possibility to assess this is the use of a property adapted multi-material systems containing high strength steel, light metals like aluminium or magnesium and fibre reinforced plastics. While expanding the number of materials used new challenges arise for the production and furthermore the joining technology to manufacture the vehicle made of the multi-material systems. One approach to overcome these challenges is to use innovative and adaptable joining techniques which allows the manufacturing of joints of different material combinations. Extensive research activities on the two stage thermo-mechanical joining process with adaptable joining elements was able to demonstrate the great potentials in terms of joining dissimilar materials with good strength. The previously kinematic and path-based fabrication of auxiliary joining elements is modified in this publication to a form-based approach with a perspective of establishing an efficient process chain using easily and cheaply available rods. Based on the new approach to produce the auxiliary joining elements, it can be demonstrated that a reproducible production of the geometry is possible for the investigated steel as well as aluminium material. }}, author = {{Borgert, Thomas and Nordieker, Ansgar Bernhard and Homberg, Werner}}, booktitle = {{Materials Research Proceedings}}, issn = {{2474-395X}}, location = {{Toulouse}}, publisher = {{Materials Research Forum LLC}}, title = {{{Form-based manufacturing of aluminium and steel auxiliary joining elements as the basis for an efficient joining operation}}}, doi = {{10.21741/9781644903131-180}}, year = {{2024}}, } @article{54649, author = {{Borgert, Thomas and Nordieker, Ansgar Bernhard and Wiens, Eugen and Homberg, Werner}}, issn = {{2666-3309}}, journal = {{Journal of Advanced Joining Processes}}, publisher = {{Elsevier BV}}, title = {{{Investigations to improve the tool life during thermomechanical and incremental forming of steel auxiliary joining elements}}}, doi = {{10.1016/j.jajp.2024.100185}}, volume = {{9}}, year = {{2024}}, } @inproceedings{61797, author = {{Hollmer, Katharina and Kuczyk, Martin and Friedlein, Johannes and Mergheim, Julia and Steinmann, Paul and Zimmermann, Martina}}, title = {{{Charakterisierung des Verformungszustandes gleichartiger Stahl-Stahl-Clinchverbindungen durch Anwendung quantitativer Bildanalyse }}}, year = {{2024}}, } @inproceedings{60645, abstract = {{Die Wandlungsfähigkeit einer Prozesskette erfordert Fügeverbindungen mit gezielt einstellbaren mechanischen, elektrischen, thermischen oder chemischen Eigenschaften. Dieser Beitrag beschreibt die Untersuchungen, inwiefern beim Clinchen zweier Bleche aus der ausscheidungshärtbaren Aluminiumlegierung EN AW-6014 bereits auf Basis der Prozessüberwachung des Kraft-Weg-Verlaufs bzw. des sich daraus ergebenden Energieeintrags auf die mechanischen und elektrischen Eigenschaften der Fügeverbindung geschlossen werden kann. An einer ausgewählten Fügeaufgabe werden im Stufenversuch die gegenseitigen Abhängigkeiten der einzelnen Einflussgrößen sowie des Wärmebehandlungszustands aufgezeigt. Dabei wird zwischen den Bindemechanismen Formschluss und Kraftschluss unterschieden. Die Formschlusskomponente wird anhand der geometrischen Kenngrößen wie Bodendicke, Halsdicke und Hinterschnitt in Mikroskopieuntersuchungen an Schliffbildern und den mechanischen Eigenschaften der Fügeverbindung untersucht, die im Scherzug- und Kopfzugversuch bestimmt werden. Dazu erfolgt zudem die Charakterisierung der Versagensbilder. Zur Quantifizierung der Kraftschlusskomponente der Fügeverbindung werden das Losbrechmoment im Torsionsversuch und der elektrische Widerstand mittels Vier-Leiter-Methode ermittelt und korreliert.}}, author = {{Lüder, Stephan and Kalich, Jan and Oesterle, Hannes and Schmale, Hans Christian}}, booktitle = {{Tagung Werkstoffprüfung 2024: Werkstoffe und Bauteile auf dem Prüfstand, Prüftechnik – Kennwertermittlung – Schadensvermeidung}}, editor = {{Krupp, Ulrich and Steller, Ingo}}, isbn = {{978-3-941269-97-2}}, keywords = {{Clinchen, Aluminium, Stufensetzversuch, Bindemechanismus, Formschluss, Kraftschluss, Zugversuch, Torsionsversuch, Widerstandsmessung}}, location = {{Krefeld}}, pages = {{205--210}}, title = {{{Prozessüberwachte Eigenschaftseinstellung beim Clinchen der ausscheidungshärtbaren Aluminiumlegierung EN AW-6014}}}, year = {{2024}}, } @article{57742, author = {{Böhnke, Max and Bielak, Christian Roman and Beck, Robert and Bobbert, Mathias and Meschut, Gerson}}, issn = {{2223-7690}}, journal = {{Friction}}, publisher = {{Tsinghua University Press}}, title = {{{Development of a friction model for the numerical simulation of clinching processes}}}, doi = {{10.26599/frict.2025.9441052}}, year = {{2024}}, } @article{59585, abstract = {{Similar to bulk metal forming, clinch joining is characterised by large plastic deformations and a variety of different 3D stress states, including severe compression. However, inherent to plastic forming is the nucleation and growth of defects, whose detrimental effects on the material behaviour can be described by continuum damage models and eventually lead to material failure. As the damage evolution strongly depends on the stress state, a stress-state-dependent model is utilised to correctly track the accumulation. To formulate and parameterise this model, besides classical experiments, so-called modified punch tests are also integrated herein to enhance the calibration of the failure model by capturing a larger range of stress states and metal-forming-specific loading conditions. Moreover, when highly ductile materials are considered, such as the dual-phase steel HCT590X and the aluminium alloy EN AW-6014 T4 investigated here, strong necking and localisation might occur prior to fracture. This can alter the stress state and affect the actual strain at failure. This influence is captured by coupling plasticity and damage to incorporate the damage-induced softening effect. Its relative importance is shown by conducting inverse parameter identifications to determine damage and failure parameters for both mentioned ductile metals based on up to 12 different experiments.}}, author = {{Friedlein, Johannes and Böhnke, Max and Schlichter, Malte Christian and Bobbert, Mathias and Meschut, Gerson and Mergheim, Julia and Steinmann, Paul}}, issn = {{2504-4494}}, journal = {{Journal of Manufacturing and Materials Processing}}, number = {{4}}, publisher = {{MDPI AG}}, title = {{{Material Parameter Identification for a Stress-State-Dependent Ductile Damage and Failure Model Applied to Clinch Joining}}}, doi = {{10.3390/jmmp8040157}}, volume = {{8}}, year = {{2024}}, } @book{58215, editor = {{Bürgel, Christoph and Heiderich, Jens and Koch, Corinna and Schlaak, Claudia and Visser, Judith}}, title = {{{ Zeitschrift für Romanische Sprachen und ihre Didaktik}}}, volume = {{Heft 18,1}}, year = {{2024}}, } @book{65622, editor = {{Bürgel, Christoph and Heiderich, Jens and Koch, Corinna and Schlaak, Claudia and Visser, Judith}}, title = {{{Zeitschrift für Romanische Sprachen und ihre Didaktik}}}, volume = {{18,2}}, year = {{2024}}, } @inproceedings{50273, abstract = {{The Polynomial-Time Hierarchy ($\mathsf{PH}$) is a staple of classical complexity theory, with applications spanning randomized computation to circuit lower bounds to ''quantum advantage'' analyses for near-term quantum computers. Quantumly, however, despite the fact that at least \emph{four} definitions of quantum $\mathsf{PH}$ exist, it has been challenging to prove analogues for these of even basic facts from $\mathsf{PH}$. This work studies three quantum-verifier based generalizations of $\mathsf{PH}$, two of which are from [Gharibian, Santha, Sikora, Sundaram, Yirka, 2022] and use classical strings ($\mathsf{QCPH}$) and quantum mixed states ($\mathsf{QPH}$) as proofs, and one of which is new to this work, utilizing quantum pure states ($\mathsf{pureQPH}$) as proofs. We first resolve several open problems from [GSSSY22], including a collapse theorem and a Karp-Lipton theorem for $\mathsf{QCPH}$. Then, for our new class $\mathsf{pureQPH}$, we show one-sided error reduction for $\mathsf{pureQPH}$, as well as the first bounds relating these quantum variants of $\mathsf{PH}$, namely $\mathsf{QCPH}\subseteq \mathsf{pureQPH} \subseteq \mathsf{EXP}^{\mathsf{PP}}$.}}, author = {{Agarwal, Avantika and Gharibian, Sevag and Koppula, Venkata and Rudolph, Dorian}}, booktitle = {{Proceedings of 49th International Symposium on Mathematical Foundations of Computer Science (MFCS)}}, number = {{7}}, pages = {{7--17}}, title = {{{Quantum Polynomial Hierarchies: Karp-Lipton, error reduction, and lower bounds}}}, doi = {{10.4230/LIPIcs.MFCS.2024.7}}, volume = {{306}}, year = {{2024}}, } @inproceedings{50406, abstract = {{What is the power of polynomial-time quantum computation with access to an NP oracle? In this work, we focus on two fundamental tasks from the study of Boolean satisfiability (SAT) problems: search-to-decision reductions, and approximate counting. We first show that, in strong contrast to the classical setting where a poly-time Turing machine requires $\Theta(n)$ queries to an NP oracle to compute a witness to a given SAT formula, quantumly $\Theta(\log n)$ queries suffice. We then show this is tight in the black-box model - any quantum algorithm with "NP-like" query access to a formula requires $\Omega(\log n)$ queries to extract a solution with constant probability. Moving to approximate counting of SAT solutions, by exploiting a quantum link between search-to-decision reductions and approximate counting, we show that existing classical approximate counting algorithms are likely optimal. First, we give a lower bound in the "NP-like" black-box query setting: Approximate counting requires $\Omega(\log n)$ queries, even on a quantum computer. We then give a "white-box" lower bound (i.e. where the input formula is not hidden in the oracle) - if there exists a randomized poly-time classical or quantum algorithm for approximate counting making $o(log n)$ NP queries, then $\text{BPP}^{\text{NP}[o(n)]}$ contains a $\text{P}^{\text{NP}}$-complete problem if the algorithm is classical and $\text{FBQP}^{\text{NP}[o(n)]}$ contains an $\text{FP}^{\text{NP}}$-complete problem if the algorithm is quantum.}}, author = {{Gharibian, Sevag and Kamminga, Jonas}}, booktitle = {{Proceedings of 51st EATCS International Colloquium on Automata, Languages and Programming (ICALP)}}, number = {{70}}, pages = {{1--19}}, title = {{{BQP, meet NP: Search-to-decision reductions and approximate counting}}}, volume = {{297}}, year = {{2024}}, } @unpublished{56944, abstract = {{Quantum Max Cut (QMC), also known as the quantum anti-ferromagnetic Heisenberg model, is a QMA-complete problem relevant to quantum many-body physics and computer science. Semidefinite programming relaxations have been fruitful in designing theoretical approximation algorithms for QMC, but are computationally expensive for systems beyond tens of qubits. We give a second order cone relaxation for QMC, which optimizes over the set of mutually consistent three-qubit reduced density matrices. In combination with Pauli level-$1$ of the quantum Lasserre hierarchy, the relaxation achieves an approximation ratio of $0.526$ to the ground state energy. Our relaxation is solvable on systems with hundreds of qubits and paves the way to computationally efficient lower and upper bounds on the ground state energy of large-scale quantum spin systems.}}, author = {{Huber, Felix and Thompson, Kevin and Parekh, Ojas and Gharibian, Sevag}}, booktitle = {{arXiv:2411.04120}}, title = {{{Second order cone relaxations for quantum Max Cut}}}, year = {{2024}}, } @article{48544, abstract = {{When it comes to NP, its natural definition, its wide applicability across scientific disciplines, and its timeless relevance, the writing is on the wall: There can be only one. Quantum NP, on the other hand, is clearly the apple that fell far from the tree of NP. Two decades since the first definitions of quantum NP started rolling in, quantum complexity theorists face a stark reality: There's QMA, QCMA, QMA1, QMA(2), StoqMA, and NQP. In this article aimed at a general theoretical computer science audience, I survey these various definitions of quantum NP, their strengths and weaknesses, and why most of them, for better or worse, actually appear to fit naturally into the complexity zoo.}}, author = {{Gharibian, Sevag}}, journal = {{ACM SIGACT News}}, number = {{4}}, pages = {{54--91}}, title = {{{Guest Column: The 7 faces of quantum NP}}}, volume = {{54}}, year = {{2024}}, } @inbook{65638, author = {{Gövert, Andre and Niederhaus, Constanze and Blumberg, Eva}}, booktitle = {{Mehrsprachigkeit in der Schule: Sprachbildung im und durch Sachunterricht}}, editor = {{Blumberg, Eva and Constanze, Niederhaus and Anne, Mischendahl}}, pages = {{295----309}}, publisher = {{Kohlhammer}}, title = {{{Professionalisierung für Sprachbildung aus Sicht von Sachunterrichtsstudierenden – Langzeitwirkungen eines Vertiefungsseminars in der ersten Phase der sachunterrichtsdidaktischen Lehrer*innenbildung. }}}, year = {{2024}}, }