TY - CONF AU - Haeb-Umbach, Reinhold ED - Böck, Ronald ED - Siegert, Ingo ED - Wendemuth, Andreas ID - 17763 KW - Poster SN - 978-3-959081-93-1 T2 - Studientexte zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020 TI - Sprachtechnologien für Digitale Assistenten ER - TY - JOUR AB - We numerically simulate multiple light scattering in discrete disordered media represented by large clusters of irregular non-absorbing particles. The packing density of clusters is 0.5. With such conditions diffuse scattering is significantly reduced and light transport follows propagation channels that are determined by the particle size and topology of the medium. This kind of localization produces coherent backscattering intensity surge and enhanced negative polarization branch if compared to lower density samples. AU - Grynko, Yevgen AU - Shkuratov, Yuriy AU - Förstner, Jens ID - 17803 JF - Journal of Quantitative Spectroscopy and Radiative Transfer KW - tet_topic_scattering SN - 0022-4073 TI - Light backscattering from large clusters of densely packed irregular particles VL - 255 ER - TY - JOUR AU - Gmyr, Robert AU - Hinnenthal, Kristian AU - Kostitsyna, Irina AU - Kuhn, Fabian AU - Rudolph, Dorian AU - Scheideler, Christian AU - Strothmann, Thim ID - 17808 IS - 2 JF - Nat. Comput. TI - Forming tile shapes with simple robots VL - 19 ER - TY - JOUR AU - Hielscher, Christian AU - Grenz, Julian AU - Camberg, Alan Adam AU - Wingenbach, Nils ID - 17812 JF - ATZ - Automobiltechnische Zeitschrift SN - 0001-2785 TI - Ansatz zur effizienteren Auslegung von Hybridbauteilen ER - TY - JOUR AU - Hielscher, Christian AU - Grenz, Julian AU - Camberg, Alan Adam AU - Wingenbach, Nils ID - 17813 JF - ATZ worldwide SN - 2192-9076 TI - Approach to More Efficient Design of Hybrid Components ER - TY - GEN AB - Software verification has recently made enormous progress due to the development of novel verification methods and the speed-up of supporting technologies like SMT solving. To keep software verification tools up to date with these advances, tool developers keep on integrating newly designed methods into their tools, almost exclusively by re-implementing the method within their own framework. While this allows for a conceptual re-use of methods, it requires novel implementations for every new technique. In this paper, we employ cooperative verification in order to avoid reimplementation and enable usage of novel tools as black-box components in verification. Specifically, cooperation is employed for the core ingredient of software verification which is invariant generation. Finding an adequate loop invariant is key to the success of a verification run. Our framework named CoVerCIG allows a master verification tool to delegate the task of invariant generation to one or several specialized helper invariant generators. Their results are then utilized within the verification run of the master verifier, allowing in particular for crosschecking the validity of the invariant. We experimentally evaluate our framework on an instance with two masters and three different invariant generators using a number of benchmarks from SV-COMP 2020. The experiments show that the use of CoVerCIG can increase the number of correctly verified tasks without increasing the used resources AU - Haltermann, Jan Frederik AU - Wehrheim, Heike ID - 17825 T2 - arXiv:2008.04551 TI - Cooperative Verification via Collective Invariant Generation ER - TY - GEN ED - Werneck Richa, Andrea ED - Scheideler, Christian ID - 17836 SN - 978-3-030-54920-6 TI - Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings VL - 12156 ER - TY - GEN ED - Scheideler, Christian ED - Spear, Michael ID - 17839 SN - 978-1-4503-6935-0 TI - SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020 ER - TY - CONF AU - Kersting, Joschka AU - Bäumer, Frederik Simon ID - 18686 KW - Software Requirements KW - Natural Language Processing KW - Transfer Learning KW - On-The-Fly Computing T2 - PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020 TI - SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH ER - TY - CHAP AU - Seng, Eva- Maria AU - Göttmann, Frank ID - 18776 T2 - Innovation in der Bauwirtschaft – Innovation in the building industry. Wesersandstein vom 16. bis 19. Jahrhundert – Weser Sandstone form the 16th to the 19th Century TI - Einleitung – Introduction ER - TY - CHAP AU - Seng, Eva- Maria AU - Silvestri, Marco ED - Chave, Isabelle ID - 18779 T2 - LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours TI - Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert ER - TY - CHAP AU - Seng, Eva- Maria ED - Bengel, Sabine ID - 18784 T2 - Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit TI - Kandidatur zum Bauhüttenwesen Die internationale für das immaterielle Kulturerbe der UNESCO ER - TY - CHAP AU - Nickchen, Tobias AU - Engels, Gregor AU - Lohn, Johannes ID - 18789 SN - 9783030543334 T2 - Industrializing Additive Manufacturing TI - Opportunities of 3D Machine Learning for Manufacturability Analysis and Component Recognition in the Additive Manufacturing Process Chain ER - TY - CHAP AU - Seng, Eva- Maria AU - Hilbert, Michael ED - Bengel, Sabine ID - 18815 T2 - Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit TI - Die Ulmer Münsterbauhütte ER - TY - JOUR AU - Seng, Eva- Maria ID - 18844 JF - Vortrag am 17.09.2016 auf dem 34. Weltkongreß für Kunstgeschichte (CIHA) in Beijing TI - Pall Mall. From the sportsground to the urban pleasure ground VL - (im Druck) ER - TY - JOUR AB -

The impact of the recombination mechanisms in luminescent materials is discussed with regard to luminescence based gas-sensing applications and the use of semiconducting materials, as an alternative to organic–metal complexes, is outlined.

AU - Poeplau, Michael AU - Ester, Stephan AU - Henning, Bernd AU - Wagner, Thorsten ID - 18850 JF - Physical Chemistry Chemical Physics SN - 1463-9076 TI - Recombination mechanisms of luminescence type gas sensors ER - TY - CONF AU - Reinhold, Jannik AU - Frank, Maximilian AU - Koldewey, Christian AU - Dumitrescu, Roman AU - Buss, Eugen ID - 18876 T2 - Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community TI - In-depth Analysis of the Effects of Smart Services on Value Creation ER - TY - JOUR AU - Hasso, Tim AU - Pelster, Matthias AU - Breitmayer, Bastian ID - 19043 JF - Journal of Behavioral and Experimental Finance SN - 2214-6350 TI - Terror attacks and individual investor behavior: Evidence from the 2015–2017 European terror attacks VL - 28 ER - TY - BOOK ED - Eke, Norbert Otto ID - 19051 TI - Vormärz-Handbuch ER - TY - CHAP AU - Eke, Norbert Otto ED - Borgards, Roland ED - Dedner, Burghard ID - 19093 T2 - Georg Büchner und die Romantik TI - „Romantik“ und „Vormärz“. Ein Streitfall ER - TY - CHAP AU - Eke, Norbert Otto ED - Stillmark, Hans-Christian ID - 19094 T2 - Peter Weiss erinnernd – Ansichten und Einsichten TI - Ethische Erinnerungskultur. Peter Weiss‘ Memorial des ‚ganzen‘ Widerstands ER - TY - CHAP AU - Eke, Norbert Otto ED - Eke, Norbert Otto ID - 19095 T2 - Vormärz-Handbuch TI - Vormärz – Prolegomenon einer Epochendarstellung ER - TY - CHAP AU - Eke, Norbert Otto ED - Eke, Norbert Otto ID - 19097 T2 - Vormärz-Handbuch TI - Vormärz und Klassik ER - TY - CHAP AU - Eke, Norbert Otto ED - Eke, Norbert Otto ID - 19098 T2 - Vormärz-Handbuch TI - Vormärz und Aufklärung ER - TY - CHAP AU - Eke, Norbert Otto ED - Eke, Norbert Otto ID - 19099 T2 - Vormärz-Handbuch TI - Exil ER - TY - CHAP AU - Eke, Norbert Otto ED - Gather, Katharina ID - 19101 T2 - Zwischen Emanzipation und Sozialdisziplinierung: Pädagogik im Vormärz TI - Habitueller Antiklassizismus. Christian Dietrich Grabbe und die Kritik an Klassik und Romantik im Vormärz ER - TY - JOUR AU - Eke, Norbert Otto ID - 19103 IS - 1 JF - Zeitschrift für deutsche Philologie TI - Nachruf: Hartmut Steinecke zum Gedenken VL - 139 ER - TY - JOUR AU - Eke, Norbert Otto ID - 19153 IS - 1 JF - German Life and Letters (Special Issue: Herta Müller and the Currents of European History) TI - Der ‚Eigene Kalender‘ des Erinnerns: Die Wahrheit der erfundenen Erinnerung in Herta Müllers Romanen, Erzählungen und Essays VL - 73 ER - TY - CONF AU - Kowatz, Jannik AU - Teutenberg, Dominik AU - Meschut, Gerson ID - 19178 T2 - 20. Kolloquium Gemeinsame Forschung in der Klebtechnik TI - Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts ER - TY - GEN AU - Bertling, René AU - Hack, Mathias AU - Ausner, Ilja AU - Kenig, Eugeny ID - 23406 TI - CFD-basierte Untersuchung von Zweiphasenströmungen in strukturierten Packungen ER - TY - GEN AU - Bertling, René AU - Hack, Mathias AU - Ausner, Ilja AU - Kenig, Eugeny ID - 23407 TI - CFD-Simulationen von Film- und Rinnsalströmungen auf mikrostrukturierten Oberflächen ER - TY - JOUR AU - Bothe, Mike AU - Fedorov, A. AU - Frei, H. AU - Lutters, N. AU - Kenig, E. Y. ID - 23422 JF - Chemie Ingenieur Technik SN - 0009-286X TI - Dynamische Simulation von industriellen Kreislaufprozessen zur Vermeidung von Notfallsituationen bei der chemischen Absorption ER - TY - CONF AU - Gräßler, Iris AU - Scholle, Philipp AU - Thiele, Henrik ID - 23438 SN - 978-952-335-466-1 T2 - ISPIM Conference Proceedings TI - Semi-automatized consistency assessment in Scenario-Technique: Generic consistency patterns and user types ER - TY - CONF AU - Gräßler, Iris AU - Preuß, Daniel AU - Oleff, Christian ED - Krause, Dieter ED - Paetzold, Kristin ED - Wartzack, Sandro ID - 23505 T2 - Proceedings of the 31st Symposium Design for X (DFX2020); 16. - 18. Sep. 2020 TI - Automatisierte Identifikation und Charakterisierung von Anforderungsabhängigkeiten – Literaturstudie zum Vergleich von Lösungsansätzen ER - TY - JOUR AU - Gräßler, Iris AU - Bettenhausen, Kurt D. AU - Bilgic, Attila M. AU - Dirzus, Dagmar ID - 23515 IS - 68 (6) JF - at-Automatisierungstechnik 68(6) TI - Which future do we want? It's up to us! - 4 future scenarios for automation 2030 ER - TY - JOUR AU - Gräßler, Iris AU - Hentze, Julian ID - 23517 IS - 68(5) JF - at-Automatisierungstechnik 68(5) SN - ISSN: 2196-677X TI - The new V-Model of 2206 and its validation ER - TY - CHAP AU - Gräßler, Iris AU - Scholle, Philipp AU - Thiele, Henrik ED - Sandor, Vajna ID - 23522 SN - 978-3-030-19356-0 T2 - Integrated Design Engineering. Interdisciplinary and Holistic Product Development TI - Scenario Technique ER - TY - CONF AU - Mentler, Tilo AU - Reuter, Christian AU - Nestler, Simon AU - Kaufhold, Marc-Andre AU - Herczeg, Michael AU - Pottebaum, Jens ED - Hansen, C. ED - Nürnberger, A. ED - Preim, B. ID - 23528 T2 - Mensch und Computer 2020 - Workshopband TI - 7. Workshop Mensch-Maschine-Interaktion in sicherheitskritischen Systemen ER - TY - JOUR AU - Gräßler, Iris AU - Oleff, Christian AU - Scholle, Philipp ID - 23529 JF - Applied Sciences 23/2020 (23) TI - Method for Systematic Assessment of Requirement Change Risk in Industrial Practice ER - TY - BOOK AU - Gräßler, Iris AU - Thiele, Henrik AU - al., et. ID - 23532 TI - Automation 2030. Zukunft gestalten - Szenarien und Empfehlungen ER - TY - GEN AU - Stark, Rainer AU - Thoben, Klaus-Dieter AU - Gerhard, Detlef AU - Hick, Hannes AU - Kirchner, Eckhard AU - Anderl, Reiner AU - Wartzack, Sandro AU - Krause, Frank-Lothar AU - Gräßler, Iris AU - Pottebaum, Jens AU - Schleich, Benjamin AU - Stelzer, Ralph AU - Klein, Patrick AU - Saske, Bernhard AU - Czwick, Cordula AU - Gogineni, Sonika AU - Klimmeck, Lukas AU - Bajzek, Matthias AU - Jacobs, Georg AU - Berroth, Joerg AU - Zimmermann, Thomas AU - Kranabitl, Philipp AU - Göckel, Nicole ID - 23533 TI - Digitaler Zwilling - WiGeP Positionspapier ER - TY - JOUR AB - Grazing-incidence wide-angle X-ray scattering (GIWAXS) has become an increasingly popular technique for quantitative structural characterization and comparison of thin films. For this purpose, accurate intensity normalization and peak position determination are crucial. At present, few tools exist to estimate the uncertainties of these measurements. Here, a simulation package is introduced called GIWAXS-SIIRkit, where SIIR stands for scattering intensity, indexing and refraction. The package contains several tools that are freely available for download and can be executed in MATLAB. The package includes three functionalities: estimation of the relative scattering intensity and the corresponding uncertainty based on experimental setup and sample dimensions; extraction and indexing of peak positions to approximate the crystal structure of organic materials starting from calibrated GIWAXS patterns; and analysis of the effects of refraction on peak positions. Each tool is based on a graphical user interface and designed to have a short learning curve. A user guide is provided with detailed usage instruction, tips for adding functionality and customization, and exemplary files. AU - Savikhin, Victoria AU - Steinrück, Hans-Georg AU - Liang, Ru-Ze AU - Collins, Brian A. AU - Oosterhout, Stefan D. AU - Beaujuge, Pierre M. AU - Toney, Michael F. ID - 23599 JF - Journal of Applied Crystallography SN - 1600-5767 TI - GIWAXS-SIIRkit: scattering intensity, indexing and refraction calculation toolkit for grazing-incidence wide-angle X-ray scattering of organic materials VL - 53 ER - TY - JOUR AU - Gebers, Jan AU - Özen, Bilal AU - Hartmann, Lucia AU - Schaer, Michel AU - Suàrez, Stéphane AU - Bugnon, Philippe AU - Scopelliti, Rosario AU - Steinrück, Hans-Georg AU - Konovalov, Oleg AU - Magerl, Andreas AU - Brinkmann, Martin AU - Petraglia, Riccardo AU - Silva, Piotr AU - Corminboeuf, Clémence AU - Frauenrath, Holger ID - 23600 JF - Chemistry – A European Journal SN - 0947-6539 TI - Crystallization and Organic Field‐Effect Transistor Performance of a Hydrogen‐Bonded Quaterthiophene VL - 26 ER - TY - JOUR AU - Abdelsamie, Maged AU - Xu, Junwei AU - Bruening, Karsten AU - Tassone, Christopher J. AU - Steinrück, Hans-Georg AU - Toney, Michael F. ID - 23601 JF - Advanced Functional Materials SN - 1616-301X TI - Impact of Processing on Structural and Compositional Evolution in Mixed Metal Halide Perovskites during Film Formation VL - 30 ER - TY - JOUR AU - Tanim, Tanvir R. AU - Paul, Partha P. AU - Thampy, Vivek AU - Cao, Chuntian AU - Steinrück, Hans-Georg AU - Nelson Weker, Johanna AU - Toney, Michael F. AU - Dufek, Eric J. AU - Evans, Michael C. AU - Jansen, Andrew N. AU - Polzin, Bryant J. AU - Dunlop, Alison R. AU - Trask, Stephen E. ID - 23602 JF - Cell Reports Physical Science SN - 2666-3864 TI - Heterogeneous Behavior of Lithium Plating during Extreme Fast Charging VL - 1 ER - TY - JOUR AU - Bone, Sharon E. AU - Steinrück, Hans-Georg AU - Toney, Michael F. ID - 23603 JF - Joule SN - 2542-4351 TI - Advanced Characterization in Clean Water Technologies VL - 4 ER - TY - JOUR AB -

Investigation of the mechanisms underlying control of electrodeposited lithium metal morphology using electrolyte additives in lithium metal batteries.

AU - Kasse, Robert M. AU - Geise, Natalie R. AU - Ko, Jesse S. AU - Nelson Weker, Johanna AU - Steinrück, Hans-Georg AU - Toney, Michael F. ID - 23604 JF - Journal of Materials Chemistry A SN - 2050-7488 TI - Understanding additive controlled lithium morphology in lithium metal batteries VL - 8 ER - TY - JOUR AU - Paulsen, Bryan D. AU - Wu, Ruiheng AU - Takacs, Christopher J. AU - Steinrück, Hans-Georg AU - Strzalka, Joseph AU - Zhang, Qingteng AU - Toney, Michael F. AU - Rivnay, Jonathan ID - 23605 JF - Advanced Materials SN - 0935-9648 TI - Time‐Resolved Structural Kinetics of an Organic Mixed Ionic–Electronic Conductor VL - 32 ER - TY - JOUR AU - Steinrück, Hans-Georg AU - Cao, Chuntian AU - Lukatskaya, Maria R. AU - Takacs, Christopher J. AU - Wan, Gang AU - Mackanic, David G. AU - Tsao, Yuchi AU - Zhao, Jingbo AU - Helms, Brett A. AU - Xu, Kang AU - Borodin, Oleg AU - Wishart, James F. AU - Toney, Michael F. ID - 23606 JF - Angewandte Chemie International Edition SN - 1433-7851 TI - Interfacial Speciation Determines Interfacial Chemistry: X‐ray‐Induced Lithium Fluoride Formation from Water‐in‐salt Electrolytes on Solid Surfaces VL - 59 ER - TY - JOUR AB -

Direct measurements of concentration and velocity profiles in a polymeric lithium-ion battery electrolyte provide insights into the transference number.

AU - Steinrück, Hans-Georg AU - Takacs, Christopher J. AU - Kim, Hong-Keun AU - Mackanic, David G. AU - Holladay, Benjamin AU - Cao, Chuntian AU - Narayanan, Suresh AU - Dufresne, Eric M. AU - Chushkin, Yuriy AU - Ruta, Beatrice AU - Zontone, Federico AU - Will, Johannes AU - Borodin, Oleg AU - Sinha, Sunil K. AU - Srinivasan, Venkat AU - Toney, Michael F. ID - 23607 JF - Energy & Environmental Science SN - 1754-5692 TI - Concentration and velocity profiles in a polymeric lithium-ion battery electrolyte VL - 13 ER -