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