@inproceedings{17763, author = {{Haeb-Umbach, Reinhold}}, booktitle = {{Studientexte zur Sprachkommunikation: Elektronische Sprachsignalverarbeitung 2020}}, editor = {{Böck, Ronald and Siegert, Ingo and Wendemuth, Andreas}}, isbn = {{978-3-959081-93-1}}, keywords = {{Poster}}, pages = {{227--234}}, publisher = {{TUDpress, Dresden}}, title = {{{Sprachtechnologien für Digitale Assistenten}}}, year = {{2020}}, } @article{17803, abstract = {{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.}}, author = {{Grynko, Yevgen and Shkuratov, Yuriy and Förstner, Jens}}, issn = {{0022-4073}}, journal = {{Journal of Quantitative Spectroscopy and Radiative Transfer}}, keywords = {{tet_topic_scattering}}, pages = {{107234}}, title = {{{Light backscattering from large clusters of densely packed irregular particles}}}, doi = {{10.1016/j.jqsrt.2020.107234}}, volume = {{255}}, year = {{2020}}, } @article{17808, author = {{Gmyr, Robert and Hinnenthal, Kristian and Kostitsyna, Irina and Kuhn, Fabian and Rudolph, Dorian and Scheideler, Christian and Strothmann, Thim}}, journal = {{Nat. Comput.}}, number = {{2}}, pages = {{375--390}}, title = {{{Forming tile shapes with simple robots}}}, doi = {{10.1007/s11047-019-09774-2}}, volume = {{19}}, year = {{2020}}, } @article{17812, author = {{Hielscher, Christian and Grenz, Julian and Camberg, Alan Adam and Wingenbach, Nils}}, issn = {{0001-2785}}, journal = {{ATZ - Automobiltechnische Zeitschrift}}, pages = {{60--65}}, title = {{{Ansatz zur effizienteren Auslegung von Hybridbauteilen}}}, doi = {{10.1007/s35148-020-0284-8}}, year = {{2020}}, } @article{17813, author = {{Hielscher, Christian and Grenz, Julian and Camberg, Alan Adam and Wingenbach, Nils}}, issn = {{2192-9076}}, journal = {{ATZ worldwide}}, pages = {{58--61}}, title = {{{Approach to More Efficient Design of Hybrid Components}}}, doi = {{10.1007/s38311-020-0267-0}}, year = {{2020}}, } @unpublished{17825, abstract = {{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}}, author = {{Haltermann, Jan Frederik and Wehrheim, Heike}}, booktitle = {{arXiv:2008.04551}}, title = {{{Cooperative Verification via Collective Invariant Generation}}}, year = {{2020}}, } @proceedings{17836, editor = {{Werneck Richa, Andrea and Scheideler, Christian}}, isbn = {{978-3-030-54920-6}}, publisher = {{Springer}}, title = {{{Structural Information and Communication Complexity - 27th International Colloquium, SIROCCO 2020, Paderborn, Germany, June 29 - July 1, 2020, Proceedings}}}, doi = {{10.1007/978-3-030-54921-3}}, volume = {{12156}}, year = {{2020}}, } @proceedings{17839, editor = {{Scheideler, Christian and Spear, Michael}}, isbn = {{978-1-4503-6935-0}}, publisher = {{ACM}}, title = {{{SPAA '20: 32nd ACM Symposium on Parallelism in Algorithms and Architectures, Virtual Event, USA, July 15-17, 2020}}}, doi = {{10.1145/3350755}}, year = {{2020}}, } @inproceedings{18686, author = {{Kersting, Joschka and Bäumer, Frederik Simon}}, booktitle = {{PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON APPLIED COMPUTING 2020}}, keywords = {{Software Requirements, Natural Language Processing, Transfer Learning, On-The-Fly Computing}}, location = {{Lisbon, Portugal}}, pages = {{119----123}}, publisher = {{IADIS}}, title = {{{SEMANTIC TAGGING OF REQUIREMENT DESCRIPTIONS: A TRANSFORMER-BASED APPROACH}}}, year = {{2020}}, } @inbook{18776, author = {{Seng, Eva- Maria and Göttmann, Frank}}, booktitle = {{Innovation in der Bauwirtschaft – Innovation in the building industry. Wesersandstein vom 16. bis 19. Jahrhundert – Weser Sandstone form the 16th to the 19th Century}}, pages = {{1--78}}, publisher = {{(im Druck)}}, title = {{{Einleitung – Introduction}}}, year = {{2020}}, } @inbook{18779, author = {{Seng, Eva- Maria and Silvestri, Marco}}, booktitle = {{LE CHANTIER CATHÉDRAL EN EUROPE diffusion et sauvegarde des savoirs, savoir-faire et matériaux du Moyen Âge à nos jours}}, editor = {{Chave, Isabelle}}, publisher = {{(im Druck)}}, title = {{{Die Wiedereinrichtung der Bauhütten in Europa im 19. und 20. Jahrhundert}}}, year = {{2020}}, } @inbook{18784, author = {{Seng, Eva- Maria}}, booktitle = {{Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit}}, editor = {{Bengel, Sabine}}, pages = {{29--39}}, title = {{{Kandidatur zum Bauhüttenwesen Die internationale für das immaterielle Kulturerbe der UNESCO}}}, year = {{2020}}, } @inbook{18789, author = {{Nickchen, Tobias and Engels, Gregor and Lohn, Johannes}}, booktitle = {{Industrializing Additive Manufacturing}}, isbn = {{9783030543334}}, title = {{{Opportunities of 3D Machine Learning for Manufacturability Analysis and Component Recognition in the Additive Manufacturing Process Chain}}}, doi = {{10.1007/978-3-030-54334-1_4}}, year = {{2020}}, } @inbook{18815, author = {{Seng, Eva- Maria and Hilbert, Michael}}, booktitle = {{Europäische Bauhütten – Immaterielles Kulturerbe der Menschheit}}, editor = {{Bengel, Sabine}}, pages = {{107--110}}, title = {{{Die Ulmer Münsterbauhütte}}}, year = {{2020}}, } @article{18844, author = {{Seng, Eva- Maria}}, journal = {{Vortrag am 17.09.2016 auf dem 34. Weltkongreß für Kunstgeschichte (CIHA) in Beijing }}, publisher = {{(im Druck)}}, title = {{{Pall Mall. From the sportsground to the urban pleasure ground}}}, volume = {{(im Druck)}}, year = {{2020}}, } @article{18850, abstract = {{

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.

}}, author = {{Poeplau, Michael and Ester, Stephan and Henning, Bernd and Wagner, Thorsten}}, issn = {{1463-9076}}, journal = {{Physical Chemistry Chemical Physics}}, title = {{{Recombination mechanisms of luminescence type gas sensors}}}, doi = {{10.1039/d0cp02269a}}, year = {{2020}}, } @inproceedings{18876, author = {{Reinhold, Jannik and Frank, Maximilian and Koldewey, Christian and Dumitrescu, Roman and Buss, Eugen}}, booktitle = {{Proceedings of the ISPIM Connects Bangkok – Partnering for an Innovative Community}}, publisher = {{LUT Scientific and Expertise Publications}}, title = {{{In-depth Analysis of the Effects of Smart Services on Value Creation}}}, year = {{2020}}, } @article{19043, author = {{Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian}}, issn = {{2214-6350}}, journal = {{Journal of Behavioral and Experimental Finance}}, title = {{{Terror attacks and individual investor behavior: Evidence from the 2015–2017 European terror attacks}}}, doi = {{10.1016/j.jbef.2020.100397}}, volume = {{28}}, year = {{2020}}, } @book{19051, editor = {{Eke, Norbert Otto}}, pages = {{1054}}, publisher = {{Aisthesis}}, title = {{{Vormärz-Handbuch}}}, year = {{2020}}, } @inbook{19093, author = {{Eke, Norbert Otto}}, booktitle = {{Georg Büchner und die Romantik}}, editor = {{Borgards, Roland and Dedner, Burghard}}, pages = {{13--32}}, publisher = {{de Gruyter}}, title = {{{„Romantik“ und „Vormärz“. Ein Streitfall}}}, year = {{2020}}, } @inbook{19094, author = {{Eke, Norbert Otto}}, booktitle = {{Peter Weiss erinnernd – Ansichten und Einsichten}}, editor = {{Stillmark, Hans-Christian}}, pages = {{51--65}}, publisher = {{Weidler}}, title = {{{Ethische Erinnerungskultur. Peter Weiss‘ Memorial des ‚ganzen‘ Widerstands}}}, year = {{2020}}, } @inbook{19095, author = {{Eke, Norbert Otto}}, booktitle = {{Vormärz-Handbuch}}, editor = {{Eke, Norbert Otto}}, pages = {{9--18}}, publisher = {{Aisthesis}}, title = {{{Vormärz – Prolegomenon einer Epochendarstellung}}}, year = {{2020}}, } @inbook{19097, author = {{Eke, Norbert Otto}}, booktitle = {{Vormärz-Handbuch}}, editor = {{Eke, Norbert Otto}}, pages = {{155--164}}, publisher = {{Aisthesis}}, title = {{{Vormärz und Klassik}}}, year = {{2020}}, } @inbook{19098, author = {{Eke, Norbert Otto}}, booktitle = {{Vormärz-Handbuch}}, editor = {{Eke, Norbert Otto}}, pages = {{171--178}}, publisher = {{Aisthesis}}, title = {{{Vormärz und Aufklärung}}}, year = {{2020}}, } @inbook{19099, author = {{Eke, Norbert Otto}}, booktitle = {{Vormärz-Handbuch}}, editor = {{Eke, Norbert Otto}}, pages = {{289--297}}, publisher = {{Aisthesis}}, title = {{{Exil}}}, year = {{2020}}, } @inbook{19101, author = {{Eke, Norbert Otto}}, booktitle = {{Zwischen Emanzipation und Sozialdisziplinierung: Pädagogik im Vormärz}}, editor = {{Gather, Katharina}}, pages = {{231--258}}, publisher = {{Aisthesis}}, title = {{{Habitueller Antiklassizismus. Christian Dietrich Grabbe und die Kritik an Klassik und Romantik im Vormärz}}}, year = {{2020}}, } @article{19103, author = {{Eke, Norbert Otto}}, journal = {{Zeitschrift für deutsche Philologie}}, number = {{1}}, pages = {{1--3}}, title = {{{Nachruf: Hartmut Steinecke zum Gedenken}}}, volume = {{139}}, year = {{2020}}, } @article{19153, author = {{Eke, Norbert Otto}}, journal = {{German Life and Letters (Special Issue: Herta Müller and the Currents of European History)}}, number = {{1}}, pages = {{72--84}}, title = {{{Der ‚Eigene Kalender‘ des Erinnerns: Die Wahrheit der erfundenen Erinnerung in Herta Müllers Romanen, Erzählungen und Essays}}}, volume = {{73}}, year = {{2020}}, } @inproceedings{19178, author = {{Kowatz, Jannik and Teutenberg, Dominik and Meschut, Gerson}}, booktitle = {{20. Kolloquium Gemeinsame Forschung in der Klebtechnik}}, location = {{Würzburg}}, title = {{{Auslegungsmethode für zyklisch beanspruchte Stahl/CFK-Klebverbindungen unter besonderer Berücksichtigung des Rissfortschritts}}}, year = {{2020}}, } @inproceedings{23406, author = {{Bertling, René and Hack, Mathias and Ausner, Ilja and Kenig, Eugeny}}, title = {{{CFD-basierte Untersuchung von Zweiphasenströmungen in strukturierten Packungen}}}, year = {{2020}}, } @inproceedings{23407, author = {{Bertling, René and Hack, Mathias and Ausner, Ilja and Kenig, Eugeny}}, title = {{{CFD-Simulationen von Film- und Rinnsalströmungen auf mikrostrukturierten Oberflächen}}}, year = {{2020}}, } @article{23422, author = {{Bothe, Mike and Fedorov, A. and Frei, H. and Lutters, N. and Kenig, E. Y.}}, issn = {{0009-286X}}, journal = {{Chemie Ingenieur Technik}}, pages = {{1192--1192}}, title = {{{Dynamische Simulation von industriellen Kreislaufprozessen zur Vermeidung von Notfallsituationen bei der chemischen Absorption}}}, doi = {{10.1002/cite.202055174}}, year = {{2020}}, } @inproceedings{23438, author = {{Gräßler, Iris and Scholle, Philipp and Thiele, Henrik}}, booktitle = {{ ISPIM Conference Proceedings}}, isbn = {{ 978-952-335-466-1}}, pages = {{1--13}}, publisher = {{International Society for Professional Innovation Management (ISPIM)}}, title = {{{Semi-automatized consistency assessment in Scenario-Technique: Generic consistency patterns and user types}}}, year = {{2020}}, } @inproceedings{23505, author = {{Gräßler, Iris and Preuß, Daniel and Oleff, Christian}}, booktitle = {{Proceedings of the 31st Symposium Design for X (DFX2020); 16. - 18. Sep. 2020}}, editor = {{Krause, Dieter and Paetzold, Kristin and Wartzack, Sandro}}, pages = {{199--208}}, title = {{{Automatisierte Identifikation und Charakterisierung von Anforderungsabhängigkeiten – Literaturstudie zum Vergleich von Lösungsansätzen}}}, doi = {{10.35199/dfx2020.21}}, year = {{2020}}, } @article{23515, author = {{Gräßler, Iris and Bettenhausen, Kurt D. and Bilgic, Attila M. and Dirzus, Dagmar}}, journal = {{at-Automatisierungstechnik 68(6)}}, number = {{68 (6)}}, pages = {{500--507}}, title = {{{Which future do we want? It's up to us! - 4 future scenarios for automation 2030}}}, year = {{2020}}, } @article{23517, author = {{Gräßler, Iris and Hentze, Julian}}, issn = {{ISSN: 2196-677X}}, journal = {{at-Automatisierungstechnik 68(5)}}, number = {{68(5)}}, pages = {{312--324}}, title = {{{The new V-Model of 2206 and its validation}}}, year = {{2020}}, } @inbook{23522, author = {{Gräßler, Iris and Scholle, Philipp and Thiele, Henrik}}, booktitle = {{Integrated Design Engineering. Interdisciplinary and Holistic Product Development}}, editor = {{Sandor, Vajna}}, isbn = {{978-3-030-19356-0}}, pages = {{507--529}}, publisher = {{Springer International Publishing Switzerland}}, title = {{{Scenario Technique}}}, doi = {{10.1007/978-3-030-19357-7}}, year = {{2020}}, } @inproceedings{23528, author = {{Mentler, Tilo and Reuter, Christian and Nestler, Simon and Kaufhold, Marc-Andre and Herczeg, Michael and Pottebaum, Jens}}, booktitle = {{Mensch und Computer 2020 - Workshopband}}, editor = {{Hansen, C. and Nürnberger, A. and Preim, B.}}, publisher = {{Gesellschaft für Informatik e.V}}, title = {{{ 7. Workshop Mensch-Maschine-Interaktion in sicherheitskritischen Systemen}}}, doi = {{10.18420/muc2020-ws117}}, year = {{2020}}, } @article{23529, author = {{Gräßler, Iris and Oleff, Christian and Scholle, Philipp}}, journal = {{Applied Sciences 23/2020 (23)}}, pages = {{8697}}, title = {{{Method for Systematic Assessment of Requirement Change Risk in Industrial Practice}}}, year = {{2020}}, } @book{23532, author = {{Gräßler, Iris and Thiele, Henrik and al., et.}}, publisher = {{VDI-Verlag}}, title = {{{Automation 2030. Zukunft gestalten - Szenarien und Empfehlungen}}}, year = {{2020}}, } @techreport{23533, author = {{Stark, Rainer and Thoben, Klaus-Dieter and Gerhard, Detlef and Hick, Hannes and Kirchner, Eckhard and Anderl, Reiner and Wartzack, Sandro and Krause, Frank-Lothar and Gräßler, Iris and Pottebaum, Jens and Schleich, Benjamin and Stelzer, Ralph and Klein, Patrick and Saske, Bernhard and Czwick, Cordula and Gogineni, Sonika and Klimmeck, Lukas and Bajzek, Matthias and Jacobs, Georg and Berroth, Joerg and Zimmermann, Thomas and Kranabitl, Philipp and Göckel, Nicole}}, publisher = {{Wissenschaftliche Gesellschaft für Produktentwicklung (WiGeP)}}, title = {{{Digitaler Zwilling - WiGeP Positionspapier}}}, year = {{2020}}, } @article{23599, abstract = {{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.}}, author = {{Savikhin, Victoria and Steinrück, Hans-Georg and Liang, Ru-Ze and Collins, Brian A. and Oosterhout, Stefan D. and Beaujuge, Pierre M. and Toney, Michael F.}}, issn = {{1600-5767}}, journal = {{Journal of Applied Crystallography}}, pages = {{1108--1129}}, title = {{{GIWAXS-SIIRkit: scattering intensity, indexing and refraction calculation toolkit for grazing-incidence wide-angle X-ray scattering of organic materials}}}, doi = {{10.1107/s1600576720005476}}, volume = {{53}}, year = {{2020}}, } @article{23600, author = {{Gebers, Jan and Özen, Bilal and Hartmann, Lucia and Schaer, Michel and Suàrez, Stéphane and Bugnon, Philippe and Scopelliti, Rosario and Steinrück, Hans-Georg and Konovalov, Oleg and Magerl, Andreas and Brinkmann, Martin and Petraglia, Riccardo and Silva, Piotr and Corminboeuf, Clémence and Frauenrath, Holger}}, issn = {{0947-6539}}, journal = {{Chemistry – A European Journal}}, pages = {{10265--10275}}, title = {{{Crystallization and Organic Field‐Effect Transistor Performance of a Hydrogen‐Bonded Quaterthiophene}}}, doi = {{10.1002/chem.201904562}}, volume = {{26}}, year = {{2020}}, } @article{23601, author = {{Abdelsamie, Maged and Xu, Junwei and Bruening, Karsten and Tassone, Christopher J. and Steinrück, Hans-Georg and Toney, Michael F.}}, issn = {{1616-301X}}, journal = {{Advanced Functional Materials}}, pages = {{2001752}}, title = {{{Impact of Processing on Structural and Compositional Evolution in Mixed Metal Halide Perovskites during Film Formation}}}, doi = {{10.1002/adfm.202001752}}, volume = {{30}}, year = {{2020}}, } @article{23602, author = {{Tanim, Tanvir R. and Paul, Partha P. and Thampy, Vivek and Cao, Chuntian and Steinrück, Hans-Georg and Nelson Weker, Johanna and Toney, Michael F. and Dufek, Eric J. and Evans, Michael C. and Jansen, Andrew N. and Polzin, Bryant J. and Dunlop, Alison R. and Trask, Stephen E.}}, issn = {{2666-3864}}, journal = {{Cell Reports Physical Science}}, pages = {{100114}}, title = {{{Heterogeneous Behavior of Lithium Plating during Extreme Fast Charging}}}, doi = {{10.1016/j.xcrp.2020.100114}}, volume = {{1}}, year = {{2020}}, } @article{23603, author = {{Bone, Sharon E. and Steinrück, Hans-Georg and Toney, Michael F.}}, issn = {{2542-4351}}, journal = {{Joule}}, pages = {{1637--1659}}, title = {{{Advanced Characterization in Clean Water Technologies}}}, doi = {{10.1016/j.joule.2020.06.020}}, volume = {{4}}, year = {{2020}}, } @article{23604, abstract = {{

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

}}, author = {{Kasse, Robert M. and Geise, Natalie R. and Ko, Jesse S. and Nelson Weker, Johanna and Steinrück, Hans-Georg and Toney, Michael F.}}, issn = {{2050-7488}}, journal = {{Journal of Materials Chemistry A}}, pages = {{16960--16972}}, title = {{{Understanding additive controlled lithium morphology in lithium metal batteries}}}, doi = {{10.1039/d0ta06020h}}, volume = {{8}}, year = {{2020}}, } @article{23605, author = {{Paulsen, Bryan D. and Wu, Ruiheng and Takacs, Christopher J. and Steinrück, Hans-Georg and Strzalka, Joseph and Zhang, Qingteng and Toney, Michael F. and Rivnay, Jonathan}}, issn = {{0935-9648}}, journal = {{Advanced Materials}}, pages = {{2003404}}, title = {{{Time‐Resolved Structural Kinetics of an Organic Mixed Ionic–Electronic Conductor}}}, doi = {{10.1002/adma.202003404}}, volume = {{32}}, year = {{2020}}, } @article{23606, author = {{Steinrück, Hans-Georg and Cao, Chuntian and Lukatskaya, Maria R. and Takacs, Christopher J. and Wan, Gang and Mackanic, David G. and Tsao, Yuchi and Zhao, Jingbo and Helms, Brett A. and Xu, Kang and Borodin, Oleg and Wishart, James F. and Toney, Michael F.}}, issn = {{1433-7851}}, journal = {{Angewandte Chemie International Edition}}, pages = {{23180--23187}}, title = {{{Interfacial Speciation Determines Interfacial Chemistry: X‐ray‐Induced Lithium Fluoride Formation from Water‐in‐salt Electrolytes on Solid Surfaces}}}, doi = {{10.1002/anie.202007745}}, volume = {{59}}, year = {{2020}}, } @article{23607, abstract = {{

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

}}, author = {{Steinrück, Hans-Georg and Takacs, Christopher J. and Kim, Hong-Keun and Mackanic, David G. and Holladay, Benjamin and Cao, Chuntian and Narayanan, Suresh and Dufresne, Eric M. and Chushkin, Yuriy and Ruta, Beatrice and Zontone, Federico and Will, Johannes and Borodin, Oleg and Sinha, Sunil K. and Srinivasan, Venkat and Toney, Michael F.}}, issn = {{1754-5692}}, journal = {{Energy & Environmental Science}}, pages = {{4312--4321}}, title = {{{Concentration and velocity profiles in a polymeric lithium-ion battery electrolyte}}}, doi = {{10.1039/d0ee02193h}}, volume = {{13}}, year = {{2020}}, }