@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}}, } @misc{10105, author = {{Haltermann, Jan}}, publisher = {{Universität Paderborn}}, title = {{{Analyzing Data Usage in Array Programs}}}, year = {{2019}}, } @inproceedings{10135, author = {{Webersen, Manuel and Hüttner, Matthias and Woitschek, Fabian and Moritzer, Elmar and Henning, Bernd}}, booktitle = {{Fortschritte der Akustik - DAGA 2019}}, location = {{Rostock}}, title = {{{Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere}}}, year = {{2019}}, } @inproceedings{10232, abstract = {{Existing tools for automated machine learning, such as Auto-WEKA, TPOT, auto-sklearn, and more recently ML-Plan, have shown impressive results for the tasks of single-label classification and regression. Yet, there is only little work on other types of machine learning problems so far. In particular, there is almost no work on automating the engineering of machine learning solutions for multi-label classification (MLC). We show how the scope of ML-Plan, an AutoML-tool for multi-class classification, can be extended towards MLC using MEKA, which is a multi-label extension of the well-known Java library WEKA. The resulting approach recursively refines MEKA's multi-label classifiers, nesting other multi-label classifiers for meta algorithms and single-label classifiers provided by WEKA as base learners. In our evaluation, we find that the proposed approach yields strong results and performs significantly better than a set of baselines we compare with.}}, author = {{Wever, Marcel Dominik and Mohr, Felix and Tornede, Alexander and Hüllermeier, Eyke}}, location = {{Long Beach, CA, USA}}, title = {{{Automating Multi-Label Classification Extending ML-Plan}}}, year = {{2019}}, } @inproceedings{10255, abstract = {{Gummi-Metall-Teile (GM-Teile) werden zur Schwingungsreduktion u. a. in Windenergieanlagen eingesetzt. Mögliche Anwendungen der Teile liegen in Wellen-, Generator- und Getriebelagerungen, Lagern für die Gondel und ihre Komponenten sowie in Drehmomentstützen. Mit dem Ziel eine prädiktive Instandhaltung zu realisieren, soll eine Zustandsüberwachung für die GM-Teile entwickelt werden. Diese Entwicklung basiert auf der Umsetzung diverser Schritte. Neben der funktionalen Betrachtung wird zwingend auch die konstruktive Integration der Sensoren in das überwachte Teil berücksichtigt. Der Schwerpunkt dieser Arbeit liegt auf der verwendeten Messgröße Temperatur, die mittels ausgewählter Sensorik detektiert wird. Dabei werden Lebensdauerversuche unter instationären Betriebsbedingungen durchgeführt, um diese Messdaten zu generieren. In der Datenauswertung werden sie hinsichtlich der Degradierung des GM-Teils analysiert und für die Ermittlung der nutzbaren Restlebensdauer verwendet. Rubber-metal-elements are used for isolation of vibrations e. g. in wind turbines. Possible applications of the elements are shaft bearings, generator bearings, gearbox bearings, bearings for the nacelle and its components and torque supports. In order to realize predictive maintenance, an accurate condition monitoring system for rubber-metal-elements should be developed. During that development different aspects have to be implemented. Additionally to the functional analysis, the constructive integration of the sensors into the monitored part is mandatory. The focus of this work is on the measured variable temperature, which is detected by means of appropriate sensors. Thereby lifetime tests are run under non-stationary operating conditions to generate temperature measurements. During data analysis, the measured data is analyzed regarding the degradation of the rubber-metal-elements and remaining useful lifetimes are estimated.}}, author = {{Bender, Amelie and Reinke, Kai and Sextro, Walter}}, booktitle = {{10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019}}, pages = {{241--248}}, title = {{{Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement}}}, volume = {{VDI-Berichte 2346}}, year = {{2019}}, } @inproceedings{10257, abstract = {{In der Entwicklung mechatronischer Systeme spielt die Steigerung der Verlässlichkeit und somit auch der Zuverlässigkeit und der funktionalen Sicherheit eine entscheidende Rolle. Die modellbasierte Entwicklung liefert in Kombination mit unterstützender Software einen wichtigen Beitrag zur Absicherung der Verlässlichkeit mechatronischer Systeme in frühen Entwicklungsphasen. In der Nutzungsphase ermöglichen aktuelle Verfahren der Zustandsüberwachung und moderne Methoden der Regelungstechnik eine effektive Absicherung. Modelle aus der Entwicklung mechatronischer Systeme enthalten weitreichende Informationen über die Architektur, das Verhalten und die Verlässlichkeit eines Systems. Diese Modelle können als Grundlage für die Erstellung eines Digitalen Zwillings für die vorausschauende Instandhaltung verwendet und mit Zustandsdaten des realen Systems kombiniert werden. Die Nutzung der Modelle für den Digitalen Zwilling bietet weitreichende Potenziale und vereinfacht dessen Erzeugung. Die Veröffentlichung beschreibt Rahmenbedingungen der Integration und stellt die Potenziale des Digitalen Zwillings zur vorausschauenden Instandhaltung dar.}}, author = {{Kaul, Thorben and Hentze, Julian and Sextro, Walter and Gräßler, Iris}}, booktitle = {{Fachtagung Mechatronik 2019 Paderborn}}, title = {{{Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung}}}, year = {{2019}}, }