@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}}, }