@article{13431, author = {{Dridger, A. and Caylak, I. and Mahnken, R. and Penner, E.}}, issn = {{0961-7353}}, journal = {{Safety and Reliability}}, pages = {{58--82}}, title = {{{"A possibilistic finite element method for sparse data"}}}, doi = {{10.1080/09617353.2018.1552477}}, year = {{2019}}, } @article{13432, author = {{Ju, Xiaozhe and Mahnken, Rolf}}, issn = {{0045-7825}}, journal = {{Computer Methods in Applied Mechanics and Engineering}}, pages = {{297--329}}, title = {{{"Goal-oriented h-type adaptive finite elements for micromorphic elastoplasticity"}}}, doi = {{10.1016/j.cma.2019.01.031}}, year = {{2019}}, } @article{13434, author = {{Mäck, Markus and Caylak, Ismail and Edler, Philipp and Freitag, Steffen and Hanss, Michael and Mahnken, Rolf and Meschke, Günther and Penner, Eduard}}, issn = {{0936-7195}}, journal = {{GAMM-Mitteilungen}}, title = {{{"Optimization with constraints considering polymorphic uncertainties"}}}, doi = {{10.1002/gamm.201900005}}, year = {{2019}}, } @misc{13435, author = {{Friesen, Edwin}}, publisher = {{Universität Paderborn}}, title = {{{Requirements Engineering im OTF-Computing: Informationsextraktion und Unvollständigkeitskompensation mittels domänenspezifischer Wissensbasis}}}, year = {{2019}}, } @inproceedings{13442, author = {{Manavi, Seyed Alborz and Kenig, Eugeny}}, booktitle = {{Computer Aided Chemical Engineering}}, isbn = {{9780128186343}}, issn = {{1570-7946}}, publisher = {{29th European Symposium on Computer Aided Process Engineering}}, title = {{{Numerical Simulation of Forced Convection in a Microchannel with Realistic Roughness of 3D Printed Surface}}}, doi = {{10.1016/b978-0-12-818634-3.50138-7}}, year = {{2019}}, } @inproceedings{13443, abstract = {{This work considers the problem of control and resource allocation in networked systems. To this end, we present DIRA a Deep reinforcement learning based Iterative Resource Allocation algorithm, which is scalable and control-aware. Our algorithm is tailored towards large-scale problems where control and scheduling need to act jointly to optimize performance. DIRA can be used to schedule general time-domain optimization based controllers. In the present work, we focus on control designs based on suitably adapted linear quadratic regulators. We apply our algorithm to networked systems with correlated fading communication channels. Our simulations show that DIRA scales well to large scheduling problems.}}, author = {{Redder, Adrian and Ramaswamy, Arunselvan and Quevedo, Daniel}}, booktitle = {{Proceedings of the 8th IFAC Workshop on Distributed Estimation and Control in Networked Systems}}, keywords = {{Networked control systems, deep reinforcement learning, large-scale systems, resource scheduling, stochastic control}}, location = {{Chicago, USA}}, title = {{{Deep reinforcement learning for scheduling in large-scale networked control systems}}}, year = {{2019}}, } @article{13454, author = {{Eggert, Andreas and Kleinaltenkamp, Michael and Kashyap, Vishal}}, journal = {{Industrial Marketing Management}}, pages = {{13----20}}, title = {{{Mapping Value in Business Markets: An Integrative Framework}}}, volume = {{79}}, year = {{2019}}, } @article{13455, author = {{Garnefeld, Ina and Eggert, Andreas and Husemann-Kopetzky, Markus and Boehm, Eva}}, journal = {{Journal of the Academy of Marketing Science}}, number = {{4}}, pages = {{595----616}}, title = {{{Exploring the link between payment schemes and customer fraud: a mental accounting perspective}}}, volume = {{47}}, year = {{2019}}, } @inproceedings{13456, author = {{Eggert, Andreas and Boehm, Eva and Akalan, Rodi and Gebauer, Heiko}}, title = {{{Service Growth by Acquisition – An Event Study}}}, year = {{2019}}, } @article{13457, author = {{Eggert, Andreas and Steinhoff, Lena and Witte, Carina}}, journal = {{Journal of Marketing}}, title = {{{Gift Purchases as Catalysts for Strengthening Customer–Brand Relationships}}}, year = {{2019}}, } @book{10002, abstract = {{Dieses Buch beschreibt basierend auf dem gleichnamigen Innovationsprojekt im Spitzencluster it’s OWL die Entwicklung intelligenter Verfahren und Systeme, um auch unter variablen Produktionsbedingungen eine zuverlässige Massenfertigung von Kupferbondverbindungen sicherzustellen.Dabei wird der gesamte Prozess der Ultraschall-Verbindungsbildung modelliert. Dies beinhaltet u. a. ein Reibmodell mit gekoppeltem Anbindungsmodell, den Ultraschall-Erweichungseffekt und den Verschleiß des Bondwerkzeugs. Zudem wird das Konzept einer selbstoptimierenden Bondmaschine vorgestellt, welche Prozessparameter in Abhängigkeit von Störgrößen wie Verschleiß anpasst.Das Ultraschallbonden mit Aluminiumdraht ist ein etabliertes Fertigungsverfahren zur Kontaktierung von Leistungshalbleitern. Zukünftige Leistungshalbleiterchips erfordern jedoch einen Technologiewechsel zu Kupferdraht. Die Prozessparameter unterscheiden sich dabei deutlich von den bekannten Aluminiumprozessen, ihre Wechselwirkungen sind weitestgehend unbekannt.}}, author = {{Sextro, Walter and Brökelmann, Michael}}, keywords = {{Abschlussbericht zum Spitzenclusterprojekt InCuB}}, pages = {{67}}, publisher = {{Springer Verlag}}, title = {{{Intelligente Herstellung zuverlässiger Kupferbondverbindungen}}}, doi = {{10.1007/978-3-662-55146-2}}, volume = {{VIII}}, year = {{2019}}, } @article{10011, author = {{Fränzle, Martin and Kapur, Deepak and Wehrheim, Heike and Zhan, Naijun}}, journal = {{Formal Asp. Comput.}}, number = {{1}}, pages = {{1}}, title = {{{Editorial}}}, doi = {{10.1007/s00165-018-00477-6}}, volume = {{31}}, year = {{2019}}, } @inproceedings{10042, author = {{Johannesmann, Sarah and Springer, Dimitri and Thiel, Christian and Henning, Bernd}}, booktitle = {{Fortschritte der Akustik - DAGA 2019}}, editor = {{Gesellschaft für Akustik e.V., Deutsche}}, location = {{Rostock}}, pages = {{1055--1058}}, publisher = {{Deutsche Gesellschaft für Akustik}}, title = {{{Störeffektunterdrückung in 2D-Messdaten mittels DiscoGAN}}}, volume = {{45}}, year = {{2019}}, } @inproceedings{10091, author = {{König, Jürgen and Wehrheim, Heike}}, booktitle = {{{NASA} Formal Methods - 11th International Symposium, {NFM} 2019, Houston, TX, USA, May 7-9, 2019, Proceedings}}, editor = {{M. Badger, Julia and Yvonne Rozier, Kristin}}, pages = {{263--279}}, publisher = {{Springer}}, title = {{{Data Independence for Software Transactional Memory}}}, doi = {{10.1007/978-3-030-20652-9\_18}}, volume = {{11460}}, year = {{2019}}, } @inproceedings{10092, author = {{Doherty, Simon and Dongol, Brijesh and Wehrheim, Heike and Derrick, John}}, booktitle = {{Proceedings of the 24th {ACM} {SIGPLAN} Symposium on Principles and Practice of Parallel Programming, PPoPP 2019, Washington, DC, USA, February 16-20, 2019}}, editor = {{K. Hollingsworth, Jeffrey and Keidar, Idit}}, pages = {{355--365}}, publisher = {{{ACM}}}, title = {{{Verifying C11 programs operationally}}}, doi = {{10.1145/3293883.3295702}}, year = {{2019}}, } @inproceedings{10093, author = {{Beyer, Dirk and Jakobs, Marie-Christine and Lemberger, Thomas and Wehrheim, Heike}}, booktitle = {{Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019}}, editor = {{Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, Stefan}}, pages = {{151----152}}, publisher = {{GI}}, title = {{{Combining Verifiers in Conditional Model Checking via Reducers}}}, doi = {{10.18420/se2019-46}}, volume = {{P-292}}, year = {{2019}}, } @inproceedings{10094, author = {{Sharma, Arnab and Wehrheim, Heike}}, booktitle = {{Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019}}, editor = {{Becker, Steffen and Bogicevic, Ivan and Herzwurm, Georg and Wagner, Stefan}}, pages = {{157--158}}, publisher = {{{GI}}}, title = {{{Testing Balancedness of ML Algorithms}}}, doi = {{10.18420/se2019-48}}, volume = {{{P-292}}}, year = {{2019}}, } @inproceedings{10095, author = {{Richter, Cedric and Wehrheim, Heike}}, booktitle = {{Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of {TACAS:} TOOLympics, Held as Part of {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part {III}}}, editor = {{Beyer, Dirk and Huisman, Marieke and Kordon, Fabrice and Steffen, Bernhard}}, pages = {{229--233}}, publisher = {{Springer}}, title = {{{PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution)}}}, doi = {{10.1007/978-3-030-17502-3_19}}, volume = {{11429}}, year = {{2019}}, } @article{10096, author = {{Beyer, Dirk and Wehrheim, Heike}}, journal = {{CoRR}}, title = {{{Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework}}}, volume = {{abs/1905.08505}}, year = {{2019}}, } @article{10103, abstract = {{We investigate the demographic characteristics, trading patterns, and performance of 465.926 brokerage accounts with respect to cryptocurrency trading. We find that cryptocurrency trading became increasingly popular across individuals of all different groups of age, gender, and trading patterns. Yet, men are more likely to engage in cryptocurrency trading, trade more frequently, and more speculative, respectively. As a result, men realize lower returns. Furthermore, we find that investors vary their trading patterns across different asset classes.}}, author = {{Hasso, Tim and Pelster, Matthias and Breitmayer, Bastian}}, journal = {{Journal of Behavioral and Experimental Finance}}, keywords = {{Cryptocurrencies Bitcoin Trading Investor returns Demographics}}, pages = {{64--74}}, publisher = {{Elsevier}}, title = {{{Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts}}}, doi = {{10.1016/j.jbef.2019.04.009}}, volume = {{23}}, year = {{2019}}, }