@inproceedings{33224, author = {{Peeters, Hendrik and Habig, Sebastian and Fechner, Sabine}}, booktitle = {{Unsicherheit als Element von naturwissenschaftsbezogenen Bildungsprozessen}}, editor = {{Habig, Sebastian and van Vorst, Helena}}, keywords = {{augmented reality, modelle, digitale Medien}}, pages = {{788--791}}, title = {{{Einbettung von Augmented Reality in den Experimentierprozess}}}, volume = {{42}}, year = {{2022}}, } @phdthesis{52237, abstract = {{Wie sieht ein Argument aus und wie eine Konklusion? Diese Frage, die seit Jahrhunderten auf der Ebene der Logik, der Rhetorik und der Dialektik diskutiert wird, beschäftigt auch die moderne Sprachwissenschaft. Die sprachliche Ausgestaltung von Argumentation ist so vielfältig, wie es auch das Phänomen der Argumentation selbst ist. Eine neue Form der Kategorisierung und eine systematische Beschreibung der Vielfalt dieser Argumentationsindikatoren stehen im Zentrum der vorliegenden Studie. Die qualitative und quantitative Analyse ausgewählter Indikatoren des Deutschen und des Französischen gewährt neue Erkenntnisse im Bereich des Sprachvergleichs und der Übersetzungsforschung. Die Studie richtet sich an alle, die sich für die Themen Argumentation, Übersetzung und deutsch-romanischer Sprachvergleich interessieren.}}, author = {{Kunert, Irene Dorothea}}, pages = {{402}}, publisher = {{Stauffenburg}}, title = {{{Argumentationsindikatoren im Deutschen und im Französischen}}}, year = {{2022}}, } @article{64936, author = {{Mersch, Katharina Ulrike}}, journal = {{Religion and Urbanity Online }}, title = {{{Religious Violence in European Cities Initiated by Wandering Crowds during the 13th Century}}}, doi = {{10.1515/urbrel.16241900}}, year = {{2022}}, } @inproceedings{34011, author = {{Junker, Annika and Fittkau, Niklas and Timmermann, Julia and Trächtler, Ansgar}}, booktitle = {{Proceedings - 32. Workshop Computational Intelligence: Berlin, 1. - 2. Dezember 2022}}, location = {{Berlin, Germany}}, pages = {{119--124}}, title = {{{Autonomes Putten mittels datengetriebener und physikbasierter Methoden}}}, doi = {{10.5445/KSP/1000151141}}, year = {{2022}}, } @article{50071, author = {{Junker, Annika and Timmermann, Julia and Trächtler, Ansgar}}, issn = {{2405-8963}}, journal = {{IFAC-PapersOnLine}}, keywords = {{Control and Systems Engineering}}, number = {{12}}, pages = {{389--394}}, publisher = {{Elsevier BV}}, title = {{{Learning Data-Driven PCHD Models for Control Engineering Applications*}}}, doi = {{10.1016/j.ifacol.2022.07.343}}, volume = {{55}}, year = {{2022}}, } @inproceedings{25047, author = {{Křivská, B and Šlapáková, M and Králík, R and Bajtošová, L and Cieslar, M and Grydin, Olexandr and Stolbchenko, M and Schaper, Mirko}}, booktitle = {{IOP Conference Series: Materials Science and Engineering}}, issn = {{1757-899X}}, title = {{{Resistivity and Formation of Intermetallic Layer in Aluminum-Steel Clad Strip}}}, doi = {{10.1088/1757-899x/1178/1/012035}}, volume = {{1178}}, year = {{2021}}, } @article{25605, abstract = {{The nonlinear process of second harmonic generation (SHG) in monolayer (1L) transition metal dichalcogenides (TMD), like WS2, strongly depends on the polarization state of the excitation light. By combination of plasmonic nanostructures with 1L-WS2 by transferring it onto a plasmonic nanoantenna array, a hybrid metasurface is realized impacting the polarization dependency of its SHG. Here, we investigate how plasmonic dipole resonances affect the process of SHG in plasmonic–TMD hybrid metasurfaces by nonlinear spectroscopy. We show that the polarization dependency is affected by the lattice structure of plasmonic nanoantenna arrays as well as by the relative orientation between the 1L-WS2 and the individual plasmonic nanoantennas. In addition, such hybrid metasurfaces show SHG in polarization states, where SHG is usually forbidden for either 1L-WS2 or plasmonic nanoantennas. By comparing the SHG in these channels with the SHG generated by the hybrid metasurface components, we detect an enhancement of the SHG signal by a factor of more than 40. Meanwhile, an attenuation of the SHG signal in usually allowed polarization states is observed. Our study provides valuable insight into hybrid systems where symmetries strongly affect the SHG and enable tailored SHG in 1L-WS2 for future applications.}}, author = {{Spreyer, Florian and Ruppert, Claudia and Georgi, Philip and Zentgraf, Thomas}}, issn = {{1936-0851}}, journal = {{ACS Nano}}, number = {{10}}, pages = {{16719--16728}}, title = {{{Influence of Plasmon Resonances and Symmetry Effects on Second Harmonic Generation in WS2–Plasmonic Hybrid Metasurfaces}}}, doi = {{10.1021/acsnano.1c06693}}, volume = {{15}}, year = {{2021}}, } @inproceedings{20244, author = {{Gottschalk, Sebastian and Kirchhoff, Jonas and Engels, Gregor}}, booktitle = {{Business Modeling and Software Design}}, editor = {{Shishkov, Boris}}, location = {{Sofia}}, title = {{{Extending Business Model Development Tools with Consolidated Expert Knowledge }}}, doi = {{10.1007/978-3-030-79976-2_1}}, year = {{2021}}, } @article{28099, abstract = {{N-body methods are one of the essential algorithmic building blocks of high-performance and parallel computing. Previous research has shown promising performance for implementing n-body simulations with pairwise force calculations on FPGAs. However, to avoid challenges with accumulation and memory access patterns, the presented designs calculate each pair of forces twice, along with both force sums of the involved particles. Also, they require large problem instances with hundreds of thousands of particles to reach their respective peak performance, limiting the applicability for strong scaling scenarios. This work addresses both issues by presenting a novel FPGA design that uses each calculated force twice and overlaps data transfers and computations in a way that allows to reach peak performance even for small problem instances, outperforming previous single precision results even in double precision, and scaling linearly over multiple interconnected FPGAs. For a comparison across architectures, we provide an equally optimized CPU reference, which for large problems actually achieves higher peak performance per device, however, given the strong scaling advantages of the FPGA design, in parallel setups with few thousand particles per device, the FPGA platform achieves highest performance and power efficiency.}}, author = {{Menzel, Johannes and Plessl, Christian and Kenter, Tobias}}, issn = {{1936-7406}}, journal = {{ACM Transactions on Reconfigurable Technology and Systems}}, number = {{1}}, pages = {{1--30}}, title = {{{The Strong Scaling Advantage of FPGAs in HPC for N-body Simulations}}}, doi = {{10.1145/3491235}}, volume = {{15}}, year = {{2021}}, } @inproceedings{28440, author = {{Triebus, Marcel and Reitz, Alexander and Grydin, Olexandr and Grenz, Julian and Schneidt, Andreas and Erhardt, Rüdiger and Tröster, Thomas and Schaper, Mirko}}, booktitle = {{13th European LS-DYNA Conference 2021}}, location = {{Ulm}}, title = {{{Forming Simulation of Tailored Press Hardened Parts}}}, year = {{2021}}, } @article{28448, author = {{Droß, M. and Heyser, Per and Meschut, Gerson and Hürkamp, A. and Dröder, K.}}, issn = {{2666-3309}}, journal = {{Journal of Advanced Joining Processes}}, title = {{{Fiber response to pin penetration in dry woven fabric using numerical analysis}}}, doi = {{10.1016/j.jajp.2021.100083}}, year = {{2021}}, } @misc{24095, author = {{Moritzer, Elmar and Hecker, Felix and Hirsch, André}}, booktitle = {{Kunststoffland NRW report}}, number = {{2}}, pages = {{42--43}}, title = {{{Aus der Forschung in die Anwendung - Materialqualifizierung im Kunststoff Freiformen}}}, volume = {{2021}}, year = {{2021}}, } @inproceedings{24534, author = {{zur Heiden, Philipp and Priefer, Jennifer}}, booktitle = {{Pre-Conference 16th International Congress on Wirtschaftsinformatik at Universität Duisburg-Essen}}, editor = {{Breitner, Michael H. and Lehnhoff, Sebastian and Nieße, Astrid and Staudt, Philipp and Weinhardt, Christof and Werth, Oliver}}, location = {{Universität Duisburg-Essen}}, publisher = {{BIS-Verlag der Carl von Ossietzky Universität Oldenburg}}, title = {{{Transitioning to Condition-Based Maintenance on the Distribution Grid: Deriving Design Principles from a Qualitative Study}}}, year = {{2021}}, } @article{26039, author = {{Lahme, Simon and Bauer, Anna and Reinhold, Peter}}, journal = {{Phydid B, Didaktik der Physik, Beiträge zur DPG-Frühjahrstagung}}, pages = {{127--134}}, title = {{{Ansätze zur Diagnose und Förderung von Problemlösefähigkeiten in der Studieneingangsphase Physik}}}, year = {{2021}}, } @inproceedings{26718, author = {{Pollmeier, Pascal and Fechner, Sabine}}, booktitle = {{Naturwissenschaftlicher Unterricht und Lehrerbildung im Umbruch?}}, editor = {{Habig, Sebastian}}, location = {{virtuell}}, pages = {{605--608}}, publisher = {{Universität Duisburg-Essen}}, title = {{{ Erweiterung des epistemologischen Verständnisses durch Konfrontation mit anomalen Daten.}}}, year = {{2021}}, } @phdthesis{26746, abstract = {{Previous research in proof-carrying hardware has established the feasibility and utility of the approach, and provided a concrete solution for employing it for the certification of functional equivalence checking against a specification, but fell short in connecting it to state-of-the-art formal verification insights, methods and tools. Due to the immense complexity of modern circuits, and verification challenges such as the state explosion problem for sequential circuits, this restriction of readily-available verification solutions severely limited the applicability of the approach in wider contexts. This thesis closes the gap between the PCH approach and current advances in formal hardware verification, provides methods and tools to express and certify a wide range of circuit properties, both functional and non-functional, and presents for the first time prototypes in which circuits that are implemented on actual reconfigurable hardware are verified with PCH methods. Using these results, designers can now apply PCH to establish trust in more complex circuits, by using more diverse properties which they can express using modern, efficient property specification techniques.}}, author = {{Wiersema, Tobias}}, keywords = {{Proof-Carrying Hardware, Formal Verification, Sequential Circuits, Non-Functional Properties, Functional Properties}}, pages = {{293}}, publisher = {{Paderborn University}}, title = {{{Guaranteeing Properties of Reconfigurable Hardware Circuits with Proof-Carrying Hardware}}}, year = {{2021}}, } @article{28989, author = {{Bothe, Mike and Lutters, Nicole and Kenig, Eugeny}}, journal = {{Chemical Engineering Transactions}}, title = {{{Examination of hazardous situations in industrial closed-loop processes using dynamic simulations}}}, doi = {{10.3303/CET2188117}}, year = {{2021}}, } @techreport{29057, author = {{Eberbach, Jelena and Sureth-Sloane, Caren and Uhrig-Homburg, Marliese}}, publisher = {{Working Paper}}, title = {{{Option Implied Tax Rate Expectations}}}, year = {{2021}}, } @article{27045, abstract = {{Due to the lack of established real-world benchmark suites for static taint analyses of Android applications, evaluations of these analyses are often restricted and hard to compare. Even in evaluations that do use real-world apps, details about the ground truth in those apps are rarely documented, which makes it difficult to compare and reproduce the results. To push Android taint analysis research forward, this paper thus recommends criteria for constructing real-world benchmark suites for this specific domain, and presents TaintBench, the first real-world malware benchmark suite with documented taint flows. TaintBench benchmark apps include taint flows with complex structures, and addresses static challenges that are commonly agreed on by the community. Together with the TaintBench suite, we introduce the TaintBench framework, whose goal is to simplify real-world benchmarking of Android taint analyses. First, a usability test shows that the framework improves experts’ performance and perceived usability when documenting and inspecting taint flows. Second, experiments using TaintBench reveal new insights for the taint analysis tools Amandroid and FlowDroid: (i) They are less effective on real-world malware apps than on synthetic benchmark apps. (ii) Predefined lists of sources and sinks heavily impact the tools’ accuracy. (iii) Surprisingly, up-to-date versions of both tools are less accurate than their predecessors.}}, author = {{Luo, Linghui and Pauck, Felix and Piskachev, Goran and Benz, Manuel and Pashchenko, Ivan and Mory, Martin and Bodden, Eric and Hermann, Ben and Massacci, Fabio}}, issn = {{1382-3256}}, journal = {{Empirical Software Engineering}}, title = {{{TaintBench: Automatic real-world malware benchmarking of Android taint analyses}}}, doi = {{10.1007/s10664-021-10013-5}}, year = {{2021}}, } @inproceedings{27847, author = {{Lugovtsova, Yevgeniya and Zeipert, Henning and Johannesmann, Sarah and Nicolai, Marcel and Prager, Jens and Henning, Bernd}}, booktitle = {{МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ В ЕСТЕСТВЕННЫХ НАУКАХ - XXX Всероссийская школа-конференция}}, location = {{Perm}}, title = {{{К ОПРЕДЕЛЕНИЮ ПРОЧНОСТИ КЛЕЕВОГО СОЕДИНЕНИЯ В МНОГОСЛОЙНЫХ МАТЕРИАЛАХ ПУТЕМ ИССЛЕДОВАНИЯ ОБЛАСТЕЙ РАСТАЛКИВАНИЯ БЕГУЩИХ УПРУГИХ ВОЛН}}}, year = {{2021}}, }