TY - CONF AU - Kucklick, Jan-Peter AU - Müller, Oliver ID - 17348 T2 - Symposium on Statistical Challenges in Electronic Commerce Research (SCECR) TI - Location, location, location: Satellite image-based real-estate appraisal ER - TY - GEN AU - Grabo, Matti AU - Staggenborg, Christoph AU - Kenig, Eugeny ID - 17349 TI - Modellierung und Optimierung makroverkapselter Latentwärmespeicherelemente für ein luftgeführtes Wärmespeichersystem ER - TY - CHAP AU - Moritzer, Elmar AU - Hüttner, Matthias AU - Henning, Bernd AU - Webersen, Manuel ED - Hopmann, Christian ED - Dahlmann, Rainer ID - 17352 SN - 9783662608081 T2 - Advances in Polymer Processing 2020 TI - The Influence of Hydrothermal Aging on the Material Properties of Continuous Fiber-Reinforced Thermoplastics and its Non-Destructive Characterization ER - TY - JOUR AB - Approximate circuits trade-off computational accuracy against improvements in hardware area, delay, or energy consumption. IP core vendors who wish to create such circuits need to convince consumers of the resulting approximation quality. As a solution we propose proof-carrying approximate circuits: The vendor creates an approximate IP core together with a certificate that proves the approximation quality. The proof certificate is bundled with the approximate IP core and sent off to the consumer. The consumer can formally verify the approximation quality of the IP core at a fraction of the typical computational cost for formal verification. In this paper, we first make the case for proof-carrying approximate circuits and then demonstrate the feasibility of the approach by a set of synthesis experiments using an exemplary approximation framework. AU - Witschen, Linus Matthias AU - Wiersema, Tobias AU - Platzner, Marco ID - 17358 IS - 9 JF - IEEE Transactions On Very Large Scale Integration Systems KW - Approximate circuit synthesis KW - approximate computing KW - error metrics KW - formal verification KW - proof-carrying hardware SN - 1063-8210 TI - Proof-carrying Approximate Circuits VL - 28 ER - TY - JOUR AB - In this article, we focus on the acceleration of a chemical reaction simulation that relies on a system of stiff ordinary differential equation (ODEs) targeting heterogeneous computing systems with CPUs and field-programmable gate arrays (FPGAs). Specifically, we target an essential kernel of the coupled chemistry aerosol-tracer transport model to the Brazilian developments on the regional atmospheric modeling system (CCATT-BRAMS). We focus on a linear solve step using the QR factorization based on the modified Gram-Schmidt method as the basis of the ODE solver in this application. We target Intel hardware accelerator research program (HARP) architecture with the OpenCL programming environment for these early experiments. Our design exploration reveals a hardware design that is up to 4 times faster than the original iterative Jacobi method used in this solver. Still, even with hardware support, the overall performance of our QR-based hardware is lower than its original software version. AU - Alberto Oliveira de Souza Junior, Carlos AU - Bispo, João AU - Cardoso, João M. P. AU - Diniz, Pedro C. AU - Marques, Eduardo ID - 17359 JF - Electronics KW - pc2-harp-ressources SN - 2079-9292 TI - Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture ER - TY - JOUR AU - Johansson-Pajala, Rose-Marie AU - Thommes, Kirsten AU - Hoppe, Julia Amelie AU - Tuisku, Outi AU - Hennala, Lea AU - Pekkarinen, Satu AU - Melkas, Helina AU - Gustafsson, Christine ID - 17361 JF - International Journal of Social Robotics TI - Care Robot Orientation: What, Who and How? Potential Users` Perceptions ER - TY - JOUR AU - Hoppe, Julia Amelie AU - Johansson-Pajala, Rose-Marie AU - Gustafsson, Christine AU - Melkas, Helinä AU - Tusku, Outi AU - Pekkarinen, Satu AU - Hennala, Lea ID - 17366 JF - Industrie 4.0 Management SN - 2364-9208 TI - Technologieorientierung zu Assistenzrobotik – Welche Akzeptanz besteht bei der Einführung von Assistenzrobotik für die Pflege älterer Menschen? VL - 2 ER - TY - CHAP AU - Hoppe, Julia Amelie AU - Johansson-Pajala, Rose-Marie AU - Gustafsson, Christine AU - Melkas, Helinä AU - Tusku, Outi AU - Pekkarinen, Satu AU - Hennala, Lea AU - Thommes, Kirsten ED - Haltaufderheide, Joschka ED - Hovemann, Johanna ED - Vollmann, Jochen ID - 17367 T2 - Aging between Participation and Simulation - Ethical Dimensions of Socially Assistive Technologies in elderly care TI - Assistive robots in care: Expectations and perceptions of older people ER - TY - CONF AU - Vorbohle, Christian AU - Szopinski, Daniel AU - Kundisch, Dennis ED - Shishkov, B. ID - 17368 SN - 978-3-030-52305-3 TI - Business Model Dependencies: Towards conceptualizing dependencies for extending modeling languages for business models VL - 391 ER - TY - JOUR AU - Ho, Nam AU - Kaufmann, Paul AU - Platzner, Marco ID - 17369 JF - International Journal of Hybrid intelligent Systems TI - Evolution of Application-Specific Cache Mappings ER - TY - CONF AB - We consider a natural extension to the metric uncapacitated Facility Location Problem (FLP) in which requests ask for different commodities out of a finite set \( S \) of commodities. Ravi and Sinha (SODA 2004) introduced the model as the \emph{Multi-Commodity Facility Location Problem} (MFLP) and considered it an offline optimization problem. The model itself is similar to the FLP: i.e., requests are located at points of a finite metric space and the task of an algorithm is to construct facilities and assign requests to facilities while minimizing the construction cost and the sum over all assignment distances. In addition, requests and facilities are heterogeneous; they request or offer multiple commodities out of $S$. A request has to be connected to a set of facilities jointly offering the commodities demanded by it. In comparison to the FLP, an algorithm has to decide not only if and where to place facilities, but also which commodities to offer at each. To the best of our knowledge we are the first to study the problem in its online variant in which requests, their positions and their commodities are not known beforehand but revealed over time. We present results regarding the competitive ratio. On the one hand, we show that heterogeneity influences the competitive ratio by developing a lower bound on the competitive ratio for any randomized online algorithm of \( \Omega ( \sqrt{|S|} + \frac{\log n}{\log \log n} ) \) that already holds for simple line metrics. Here, \( n \) is the number of requests. On the other side, we establish a deterministic \( \mathcal{O}(\sqrt{|S|} \cdot \log n) \)-competitive algorithm and a randomized \( \mathcal{O}(\sqrt{|S|} \cdot \frac{\log n}{\log \log n} ) \)-competitive algorithm. Further, we show that when considering a more special class of cost functions for the construction cost of a facility, the competitive ratio decreases given by our deterministic algorithm depending on the function. AU - Castenow, Jannik AU - Feldkord, Björn AU - Knollmann, Till AU - Malatyali, Manuel AU - Meyer auf der Heide, Friedhelm ID - 17370 KW - Online Multi-Commodity Facility Location KW - Competitive Ratio KW - Online Optimization KW - Facility Location Problem SN - 9781450369350 T2 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures TI - The Online Multi-Commodity Facility Location Problem ER - TY - CONF AU - Castenow, Jannik AU - Kling, Peter AU - Knollmann, Till AU - Meyer auf der Heide, Friedhelm ID - 17371 SN - 9781450369350 T2 - Proceedings of the 32nd ACM Symposium on Parallelism in Algorithms and Architectures TI - Brief Announcement: A Discrete and Continuous Study of the Max-Chain-Formation Problem: Slow Down to Speed up ER - TY - JOUR AU - Zhou, Jiaqi AU - Khazaei, Mohammad AU - Ranjbar, Ahmad AU - Wang, Vei AU - Kühne, Thomas D. AU - Ohno, Kaoru AU - Kawazoe, Yoshiyuki AU - Liang, Yunye ID - 17375 JF - J. Mater. Chem. C TI - Modulation of nearly free electron states in hydroxyl-functionalized MXenes: a first-principles study VL - 8 ER - TY - JOUR AU - Kumar Sahoo, Sudhir AU - Heske, Julian Joachim AU - Azadi, Sam AU - Zhang, Zhenzhe AU - V Tarakina, Nadezda AU - Oschatz, Martin AU - Z. Khaliullin, Rustam AU - Antonietti, Markus AU - Kühne, Thomas ID - 17379 IS - 1 JF - Scientific Reports TI - On the Possibility of Helium Adsorption in Nitrogen Doped Graphitic Materials VL - 10 ER - TY - JOUR AU - Elgabarty, Hossam AU - Kampfrath, Tobias AU - Bonthuis, Douwe Jan AU - Balos, Vasileios AU - Kaliannan, Naveen Kumar AU - Loche, Philip AU - Netz, Roland R. AU - Wolf, Martin AU - K{\, Thomas D. AU - Sajadi, Mohsen ID - 17381 IS - 17 JF - Science Advances TI - Energy transfer within the hydrogen bonding network of water following resonant terahertz excitation VL - 6 ER - TY - JOUR AU - Rengaraj, Varadarajan AU - Lass, Michael AU - Plessl, Christian AU - Kühne, Thomas D. ID - 17382 IS - 2 JF - Computation SN - 2079-3197 TI - Accurate Sampling with Noisy Forces from Approximate Computing VL - 8 ER - TY - JOUR AU - Elgabarty, Hossam AU - Kühne, Thomas D. ID - 17384 JF - Phys. Chem. Chem. Phys. TI - Tumbling with a limp: local asymmetry in water's hydrogen bond network and its consequences VL - 22 ER - TY - JOUR AU - Kühne, Thomas D. AU - Iannuzzi, Marcella AU - Del Ben, Mauro AU - Rybkin, Vladimir V. AU - Seewald, Patrick AU - Stein, Frederick AU - Laino, Teodoro AU - Khaliullin, Rustam Z. AU - Schütt, Ole AU - Schiffmann, Florian AU - al., et ID - 17386 IS - 19 JF - The Journal of Chemical Physics SN - 1089-7690 TI - CP2K: An electronic structure and molecular dynamics software package - Quickstep: Efficient and accurate electronic structure calculations VL - 152 ER - TY - JOUR AU - Chantakit, Teanchai AU - Schlickriede, Christian AU - Sain, Basudeb AU - Meyer, Fabian AU - Weiss, Thomas AU - Chattham, Nattaporn AU - Zentgraf, Thomas ID - 17390 IS - 9 JF - Photonics Research SN - 2327-9125 TI - All-dielectric silicon metalens for two-dimensional particle manipulation in optical tweezers VL - 8 ER - TY - CONF AU - Turcanu, Ion AU - Engel, Thomas AU - Sommer, Christoph ID - 17398 SN - 9781728145716 T2 - 2019 IEEE Vehicular Networking Conference (VNC) TI - Fog Seeding Strategies for Information-Centric Heterogeneous Vehicular Networks ER - TY - CONF AU - Frank, Maximilian AU - Gausemeier, Juergen AU - Hennig-Cardinal von Widdern, Nils AU - Koldewey, Christian AU - Menzefricke, Joern Steffen AU - Reinhold, Jannik ID - 17405 T2 - Proceedings of the ISPIM connects TI - A reference process for the Smart Service business: development and practical implications ER - TY - CONF AU - Becker, Julia-Kristin AU - Joachim, Klemens AU - Koldewey, Christian AU - Reinhold, Jannik AU - Dumitrescu, Roman ID - 17406 T2 - Proceedings of the 2020 ISPIM Innovation Conference (Virtual) Event "Innovating in Times of Crisis" TI - Scaling Digital Business Models: A Case from the Automotive Industry ER - TY - CONF AU - Tornede, Alexander AU - Wever, Marcel Dominik AU - Hüllermeier, Eyke ID - 17407 T2 - Discovery Science TI - Extreme Algorithm Selection with Dyadic Feature Representation ER - TY - CONF AU - Hanselle, Jonas Manuel AU - Tornede, Alexander AU - Wever, Marcel Dominik AU - Hüllermeier, Eyke ID - 17408 T2 - KI 2020: Advances in Artificial Intelligence TI - Hybrid Ranking and Regression for Algorithm Selection ER - TY - CHAP AB - Many dynamical systems possess symmetries, e.g. rotational and translational invariances of mechanical systems. These can be beneficially exploited in the design of numerical optimal control methods. We present a model predictive control scheme which is based on a library of precomputed motion primitives. The primitives are equivalence classes w.r.t. the symmetry of the optimal control problems. Trim primitives as relative equilibria w.r.t. this symmetry, play a crucial role in the algorithm. The approach is illustrated using an academic mobile robot example. AU - Flaßkamp, Kathrin AU - Ober-Blöbaum, Sina AU - Peitz, Sebastian ED - Junge, Oliver ED - Schütze, Oliver ED - Froyland, Gary ED - Ober-Blöbaum, Sina ED - Padberg-Gehle, Kathrin ID - 17411 SN - 2198-4182 T2 - Advances in Dynamics, Optimization and Computation TI - Symmetry in Optimal Control: A Multiobjective Model Predictive Control Approach ER - TY - CONF AU - Tornede, Tanja AU - Tornede, Alexander AU - Wever, Marcel Dominik AU - Mohr, Felix AU - Hüllermeier, Eyke ID - 17424 T2 - Proceedings of the ECMLPKDD 2020 TI - AutoML for Predictive Maintenance: One Tool to RUL Them All ER - TY - JOUR AB - The development of renewable energies and smart mobility has profoundly impacted the future of the distribution grid. An increasing bidirectional energy flow stresses the assets of the distribution grid, especially medium voltage switchgear. This calls for improved maintenance strategies to prevent critical failures. Predictive maintenance, a maintenance strategy relying on current condition data of assets, serves as a guideline. Novel sensors covering thermal, mechanical, and partial discharge aspects of switchgear, enable continuous condition monitoring of some of the most critical assets of the distribution grid. Combined with machine learning algorithms, the demands put on the distribution grid by the energy and mobility revolutions can be handled. In this paper, we review the current state-of-the-art of all aspects of condition monitoring for medium voltage switchgear. Furthermore, we present an approach to develop a predictive maintenance system based on novel sensors and machine learning. We show how the existing medium voltage grid infrastructure can adapt these new needs on an economic scale. AU - Hoffmann, Martin W. AU - Wildermuth, Stephan AU - Gitzel, Ralf AU - Boyaci, Aydin AU - Gebhardt, Jörg AU - Kaul, Holger AU - Amihai, Ido AU - Forg, Bodo AU - Suriyah, Michael AU - Leibfried, Thomas AU - Stich, Volker AU - Hicking, Jan AU - Bremer, Martin AU - Kaminski, Lars AU - Beverungen, Daniel AU - zur Heiden, Philipp AU - Tornede, Tanja ID - 17426 JF - Sensors SN - 1424-8220 TI - Integration of Novel Sensors and Machine Learning for Predictive Maintenance in Medium Voltage Switchgear to Enable the Energy and Mobility Revolutions ER - TY - JOUR AU - Wang, D. Q. AU - Reuter, Dirk AU - Wieck, A. D. AU - Hamilton, A. R. AU - Klochan, O. ID - 17433 JF - Applied Physics Letters SN - 0003-6951 TI - Two-dimensional lateral surface superlattices in GaAs heterostructures with independent control of carrier density and modulation potential ER - TY - JOUR AU - Kunnathully, Vinay S. AU - Riedl, Thomas AU - Trapp, Alexander AU - Langer, Timo AU - Reuter, Dirk AU - Lindner, Jörg K.N. ID - 17434 JF - Journal of Crystal Growth SN - 0022-0248 TI - InAs heteroepitaxy on nanopillar-patterned GaAs (111)A ER - TY - JOUR AU - Geier, M. AU - Freudenfeld, J. AU - Silva, J. T. AU - Umansky, V. AU - Reuter, Dirk AU - Wieck, A. D. AU - Brouwer, P. W. AU - Ludwig, S. ID - 17435 JF - Physical Review B SN - 2469-9950 TI - Electrostatic potential shape of gate-defined quantum point contacts ER - TY - JOUR AB - The study of electron transport in low-dimensional systems is of importance, not only from a fundamental point of view, but also for future electronic and spintronic devices. In this context heterostructures containing a two-dimensional electron gas (2DEG) are a key technology. In particular GaAs/AlGaAs heterostructures, with a 2DEG at typically 100 nm below the surface, are widely studied. In order to explore electron transport in such systems, low-resistance ohmic contacts are required that connect the 2DEG to macroscopic measurement leads at the surface. Here we report on designing and measuring a dedicated device for unraveling the various resistance contributions in such contacts, which include pristine 2DEG series resistance, the 2DEG resistance under a contact, the contact resistance itself, and the influence of pressing a bonding wire onto a contact. We also report here a recipe for contacts with very low resistance values that remain below 10 Ω for annealing times between 20 and 350 s, hence providing the flexibility to use this method for materials with different 2DEG depths. The type of heating, temperature ramp rate and gas forming used for annealing is found to strongly influence the annealing process and hence the quality of the resulting contacts. AU - Javaid Iqbal, Muhammad AU - Reuter, Dirk AU - Wieck, Andreas Dirk AU - van der Wal, Caspar ID - 17436 JF - The European Physical Journal Applied Physics SN - 1286-0042 TI - Characterization of low-resistance ohmic contacts to a two-dimensional electron gas in a GaAs/AlGaAs heterostructure ER - TY - JOUR AU - Ebler, C. AU - Labud, P. A. AU - Rai, A. K. AU - Reuter, Dirk AU - Wieck, A. D. AU - Ludwig, A. ID - 17437 JF - Physical Review B SN - 2469-9950 TI - Electrical detection of excitonic states by time-resolved conductance measurements ER - TY - JOUR AB - Compact and robust cold atom sources are increasingly important for quantum research, especially for transferring cutting-edge quantum science into practical applications. In this study, we report on a novel scheme that uses a metasurface optical chip to replace the conventional bulky optical elements used to produce a cold atomic ensemble with a single incident laser beam, which is split by the metasurface into multiple beams of the desired polarization states. Atom numbers ~107 and temperatures (about 35 μK) of relevance to quantum sensing are achieved in a compact and robust fashion. Our work highlights the substantial progress toward fully integrated cold atom quantum devices by exploiting metasurface optical chips, which may have great potential in quantum sensing, quantum computing, and other areas. AU - Zhu, Lingxiao AU - Liu, Xuan AU - Sain, Basudeb AU - Wang, Mengyao AU - Schlickriede, Christian AU - Tang, Yutao AU - Deng, Junhong AU - Li, Kingfai AU - Yang, Jun AU - Holynski, Michael AU - Zhang, Shuang AU - Zentgraf, Thomas AU - Bongs, Kai AU - Lien, Yu-Hung AU - Li, Guixin ID - 17523 IS - 31 JF - Science Advances SN - 2375-2548 TI - A dielectric metasurface optical chip for the generation of cold atoms VL - 6 ER - TY - JOUR AU - Schweizer, Swetlana AU - Becker-Staines, Anna AU - Tröster, Thomas ID - 17578 JF - Waste Management SN - 0956-053X TI - Separation and reclamation of automotive hybrid structures made of metal and fibre-reinforced plastic ER - TY - JOUR AU - Sonnenrein, G. AU - Baumhögger, Elmar AU - Elsner, A. AU - Morbach, A. AU - Neukötter, M. AU - Paul, A. AU - Vrabec, J. ID - 17589 JF - International Journal of Refrigeration SN - 0140-7007 TI - Improving the performance of household refrigerating appliances through the integration of phase change materials in the context of the new global refrigerator standard IEC 62552:2015 ER - TY - GEN AB - Syntactic annotation of corpora in the form of part-of-speech (POS) tags is a key requirement for both linguistic research and subsequent automated natural language processing (NLP) tasks. This problem is commonly tackled using machine learning methods, i.e., by training a POS tagger on a sufficiently large corpus of labeled data. While the problem of POS tagging can essentially be considered as solved for modern languages, historical corpora turn out to be much more difficult, especially due to the lack of native speakers and sparsity of training data. Moreover, most texts have no sentences as we know them today, nor a common orthography. These irregularities render the task of automated POS tagging more difficult and error-prone. Under these circumstances, instead of forcing the POS tagger to predict and commit to a single tag, it should be enabled to express its uncertainty. In this paper, we consider POS tagging within the framework of set-valued prediction, which allows the POS tagger to express its uncertainty via predicting a set of candidate POS tags instead of guessing a single one. The goal is to guarantee a high confidence that the correct POS tag is included while keeping the number of candidates small. In our experimental study, we find that extending state-of-the-art POS taggers to set-valued prediction yields more precise and robust taggings, especially for unknown words, i.e., words not occurring in the training data. AU - Heid, Stefan Helmut AU - Wever, Marcel Dominik AU - Hüllermeier, Eyke ID - 17605 T2 - Journal of Data Mining and Digital Humanities TI - Reliable Part-of-Speech Tagging of Historical Corpora through Set-Valued Prediction ER - TY - GEN AB - Employing a unique sample of 2,849 tariff imposition announcements by and against the United States (U.S.) over the period from 2018 to 2019, this study analyzes the impact of recent tariff announcements on share prices from 859 U.S. companies. We provide evidence for negative (cumulative) average abnormal stock returns due to tariff announcements during a symmetric three-day event window. We suggest that stock market investors expect adverse impacts of tariff impositions, e.g. a decrease in the companies' future cash flows and a threat of retaliation. The negative wealth effects are observed irrespective of whether the Trump administration announces safeguard tariffs to protect domestic firms or a retaliation is declared by foreign countries. Moreover, building several subsamples, we find that the adverse impact is mostly driven by announcements involving China and is associated with a variety of sector, tariff, trade and firm characteristics. AU - Wengerek, Sascha Tobias ID - 17703 KW - event study KW - international relations KW - protectionism KW - strategic trade policy KW - tariffs KW - trade conflict TI - Share price reactions to tariff imposition announcements in the Trump era - An event study of the trade conflict ER - TY - JOUR AU - Ortmann, Regina AU - Pelster, Matthias AU - Wengerek, Sascha Tobias ID - 17730 JF - Finance Research Letters SN - 1544-6123 TI - COVID-19 and investor behavior VL - 37 ER - 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 - TY - JOUR AU - Prihoda, Annemarie AU - Will, Johannes AU - Duchstein, Patrick AU - Becit, Bahanur AU - Lossin, Felix AU - Schindler, Torben AU - Berlinghof, Marvin AU - Steinrück, Hans-Georg AU - Bertram, Florian AU - Zahn, Dirk AU - Unruh, Tobias ID - 23608 JF - Langmuir SN - 0743-7463 TI - Interface between Water–Solvent Mixtures and a Hydrophobic Surface VL - 36 ER - TY - JOUR AU - Chen, Hao AU - Pei, Allen AU - Wan, Jiayu AU - Lin, Dingchang AU - Vilá, Rafael AU - Wang, Hongxia AU - Mackanic, David AU - Steinrück, Hans-Georg AU - Huang, William AU - Li, Yuzhang AU - Yang, Ankun AU - Xie, Jin AU - Wu, Yecun AU - Wang, Hansen AU - Cui, Yi ID - 23617 JF - Joule SN - 2542-4351 TI - Tortuosity Effects in Lithium-Metal Host Anodes VL - 4 ER - TY - JOUR AU - Steinrück, Hans-Georg AU - Cao, Chuntian AU - Veith, Gabriel M. AU - Toney, Michael F. ID - 23618 JF - The Journal of Chemical Physics SN - 0021-9606 TI - Toward quantifying capacity losses due to solid electrolyte interphase evolution in silicon thin film batteries VL - 152 ER - TY - JOUR AU - Witte, Thomas AU - Hanemann, Stefan AU - Sommerfeld, Herbert AU - Temmen, Katrin AU - Fechner, Sabine ID - 23747 IS - 4 JF - CHEMKON SN - 0944-5846 TI - Selbstbau eines digitalen Low-Cost-Fotometers für den Chemieunterricht VL - 27 ER - TY - JOUR AU - Braz, Catarina G. AU - Lutters, Nicole AU - Rocha, Jorge AU - Alvim, Ricardo AU - Kenig, Eugeny AU - Matos, Henrique A. ID - 23780 JF - Industrial & Engineering Chemistry Research SN - 0888-5885 TI - Modeling and Simulation of an Industrial Formaldehyde Absorption System VL - 59 ER - TY - JOUR AU - Patil, Mayurkumar P. AU - Vaidya, Prakash D. AU - Kenig, Eugeny ID - 23781 JF - ACS Omega SN - 2470-1343 TI - Kinetics of Carbon Dioxide Removal Using N-Acetylglucosamine VL - 5 ER - TY - JOUR AU - Kronberg, Alexander AU - Glushenkov, Maxim AU - Knoke, Torben AU - Kenig, Eugeny ID - 23782 JF - International Journal of Heat and Mass Transfer SN - 0017-9310 TI - Theoretical limits on the heat regeneration degree VL - 161 ER - TY - JOUR AU - Olenberg, Alexander AU - Kenig, Eugeny ID - 23784 JF - Chemical Engineering Science SN - 0009-2509 TI - Numerical investigation of liquid flow morphology in structured packings VL - 219 ER - TY - JOUR AU - Zibart, A. AU - Kenig, E.Y. ID - 23788 JF - International Journal of Heat and Mass Transfer SN - 0017-9310 TI - Numerical investigation of conjugate heat transfer in a pillow-plate heat exchanger ER - TY - CHAP AU - Eke, Norbert ID - 23793 T2 - Religiöse Erfahrung – Literarischer Habitus. TI - Regeln der Kunst: Habitus, Literatur und ästhetische Form. ER - TY - GEN AU - Bernemann, Sören Antonius ID - 23796 KW - CFD KW - landwirtschaftliche Abfälle KW - Volume-of-Fluid TI - Erstellung eines CFD-Modells für die Entwicklung eines innovativen Trennapparates zur Stickstoffrückgewinnung aus landwirtschaftlichen Abfällen ER - TY - CHAP AU - Eke, Norbert ED - Mülke, Markus ED - Neuber, Wolfgang ED - Ueding , Gert ED - Vidal, Francesca ID - 23798 T2 - Rhetorik. Ein Internationales Jahrbuch TI - Utopie als/der Störung. Heiner Müller und die „Lücke im Ablauf“. VL - Band 39 ER -