TY - CONF AU - Beyer, Dirk AU - Jakobs, Marie-Christine AU - Lemberger, Thomas AU - Wehrheim, Heike ED - Becker, Steffen ED - Bogicevic, Ivan ED - Herzwurm, Georg ED - Wagner, Stefan ID - 10093 T2 - Software Engineering and Software Management (SE/SWM 2019), Stuttgart, Germany, February 18-22, 2019 TI - Combining Verifiers in Conditional Model Checking via Reducers VL - P-292 ER - TY - CONF AU - Sharma, Arnab AU - Wehrheim, Heike ED - Becker, Steffen ED - Bogicevic, Ivan ED - Herzwurm, Georg ED - Wagner, Stefan ID - 10094 T2 - Software Engineering and Software Management, {SE/SWM} 2019, Stuttgart, Germany, February 18-22, 2019 TI - Testing Balancedness of ML Algorithms VL - {P-292} ER - TY - CONF AU - Richter, Cedric AU - Wehrheim, Heike ED - Beyer, Dirk ED - Huisman, Marieke ED - Kordon, Fabrice ED - Steffen, Bernhard ID - 10095 T2 - 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} TI - PeSCo: Predicting Sequential Combinations of Verifiers - (Competition Contribution) VL - 11429 ER - TY - JOUR AU - Beyer, Dirk AU - Wehrheim, Heike ID - 10096 JF - CoRR TI - Verification Artifacts in Cooperative Verification: Survey and Unifying Component Framework VL - abs/1905.08505 ER - TY - JOUR AB - 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. AU - Hasso, Tim AU - Pelster, Matthias AU - Breitmayer, Bastian ID - 10103 JF - Journal of Behavioral and Experimental Finance KW - Cryptocurrencies Bitcoin Trading Investor returns Demographics TI - Who trades cryptocurrencies, how do they trade it, and how do they perform? Evidence from brokerage accounts VL - 23 ER - TY - GEN AU - Haltermann, Jan ID - 10105 TI - Analyzing Data Usage in Array Programs ER - TY - CONF AU - Webersen, Manuel AU - Hüttner, Matthias AU - Woitschek, Fabian AU - Moritzer, Elmar AU - Henning, Bernd ID - 10135 T2 - Fortschritte der Akustik - DAGA 2019 TI - Akustische Charakterisierung der mechanischen Eigenschaften künstlich gealterter Polymere ER - TY - CONF AB - 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. AU - Wever, Marcel Dominik AU - Mohr, Felix AU - Tornede, Alexander AU - Hüllermeier, Eyke ID - 10232 TI - Automating Multi-Label Classification Extending ML-Plan ER - TY - CONF AB - 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. AU - Bender, Amelie AU - Reinke, Kai AU - Sextro, Walter ID - 10255 T2 - 10. VDI-Fachtagung Schwingungen von Windenergieanlagen 2019 TI - Konstruktion und Zustandsüberwachung eines Gummi-Metall-Teils mit integriertem Thermoelement VL - VDI-Berichte 2346 ER - TY - CONF AB - 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. AU - Kaul, Thorben AU - Hentze, Julian AU - Sextro, Walter AU - Gräßler, Iris ID - 10257 T2 - Fachtagung Mechatronik 2019 Paderborn TI - Integration von Verlässlichkeitsmodellen der Entwicklung in einen Digitalen Zwilling zur Umsetzung einer vorausschauenden Instandhaltung ER - TY - CONF AB - Für die Zerstäubung hochviskoser Flüssigkeiten werden neben Düsenzerstäubern vor allem UltraschallStehwellenzerstäuber angewendet [1]. Diese ermöglichen ohne weitere Maßnahmen zwar keine gerichtete Zerstäubung, benötigen jedoch im Gegensatz zu Düsenzerstäubern keine hohen Drücke und haben keine hohen Austrittsgeschwindigkeiten. Zur Erzeugung der Ultraschallwellen werden typischerweise piezoelektrische, mit Bolzen verschraubte LangevinWandler verwendet [1-4], die eine starke Schallabstrahlung bei einer elektrischen Eingangsleistung von bis zu einigen Kilowatt erzeugen können. Wie bei jedem anderen schwingenden System emittiert der Ultraschallwandler zunächst eine Wanderwelle. Mit einem Reflektor, der gegenüber der Sonotrode angeordnet ist, wird eine stehende Welle erzeugt. Im Resonanzabstand zwischen Reflektor und Wandler werden abgestrahlte und reflektierte Wellen so überlagert, dass höhere Schalldruckamplituden erzielt werden. Ein einfacher Ansatz zur Maximierung des Schallpegels im Stehwellenfeld ist die Erhöhung der Schwingungsamplituden des Wandlers, die jedoch zu Schäden oder zumindest zu einer Verringerung der Lebensdauer führen kann. Hohe Schalldrücke werden auch bei geringen Abständen zwischen Wandler und Reflektor erreicht. Das Volumen des Schallfeldes ist in diesem Fall jedoch für die meisten Prozesse zu klein. Ein weiterer Ansatz ist die Verwendung zweier entgegengesetzt angeordneter Wandler [5]. In diesem Fall erfordert jedoch die Erzeugung einer stehenden Welle eine genaue Abstimmung von Frequenz und Phase beider Wandler, was eine komplexe Steuerung erfordert. Ebenso ist es möglich, geometrische Randbedingungen des Stehwellensystems zu optimieren, sodass es zu optimaler Interferenz der Wellen kommt. Im Folgenden wird der Anschaulichkeit halber vereinfachend angenommen, dass der Wandler an seiner Sonotrodenoberfläche einzelne Schallstrahlen aussendet, die in Nähe des Wandlers nahezu parallel verlaufen und sich mit zunehmender Entfernung vom Wandler auffächern. Ein einfaches Stehwellensystem, bestehend aus ebener Sonotrode und ebenem Reflektor, erzeugt bei kleinem Abstand zwischen Sonotrode und Reflektor sehr hohe Schallpegel, da nahezu sämtliche ausgesandten Schallstrahlen in Richtung der Sonotrode reflektiert werden positive Interferenz entsteht. Erhöht man jedoch den Abstand zwischen Sonotrode und Reflektor, so nehmen die Verluste durch Schallstrahlen, die den Prozessraum verlassen, zu. Wie Abbildung 1 gezeigt, werden nur Schallstrahlen, die in etwa parallel zur Rotationsachse verlaufen, zum Wandler zurück reflektiert und tragen zum Stehwellenfeld bei. Die Strahlen haben zudem abhängig vom Abstrahlwinkel unterschiedliche Weglängen. Die Stehwellenbedingung ist demnach nur für Strahlen in der Nähe der Rotationsachse exakt erfüllt. Um dies zu vermeiden, müssen die Geometrien von Wandler und Reflektor optimiert werden. In den folgenden Abschnitten wird zunächst ein Optimierungsansatz vorgestellt. Mithilfe eines FiniteElemente-Modells werden die Auswirkungen einer optimierten Geometrie auf den maximalen Schalldruckpegel untersucht. Ergebnisse werden durch Messungen an einem experimentellen Aufbau eines Stehwellensystems validiert. Es wird gezeigt, wie sich die Optimierung der geometrischen Randbedingungen auf die Zerstäubung hochviskoser Flüssigkeiten auswirkt. AU - Dunst, Paul AU - Hemsel, Tobias AU - Bornmann, Peter AU - Littmann, Walter AU - Sextro, Walter ID - 10258 T2 - DAGA 2019 TI - Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten ER - TY - GEN AU - N., N. ID - 10271 TI - Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves ER - TY - GEN AU - Althaus, Steffen ID - 10277 TI - Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry ER - TY - JOUR AB - Are cryptocurrency traders driven by a desire to invest in a new asset class to diversify their portfolio or are they merely seeking to increase their levels of risk? To answer this question, we use individual-level brokerage data and study their behavior in stock trading around the time they engage in their first cryptocurrency trade. We find that when engaging in cryptocurrency trading investors simultaneously increase their risk-seeking behavior in stock trading as they increase their trading intensity and use of leverage. The increase in risk-seeking in stocks is particularly pronounced when volatility in cryptocurrency returns is low, suggesting that their overall behavior is driven by excitement-seeking. AU - Pelster, Matthias AU - Breitmayer, Bastian AU - Hasso, Tim ID - 10279 JF - Economics Letters KW - cryptocurrencies KW - bitcoin KW - investor KW - risk-seeking SN - 0165-1765 TI - Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts VL - 182 ER - TY - CONF AB - Competing firms tend to select similar locations for their stores. This phenomenon, called the principle of minimum differentiation, was captured by Hotelling with a landmark model of spatial competition but is still the object of an ongoing scientific debate. Although consistently observed in practice, many more realistic variants of Hotelling's model fail to support minimum differentiation or do not have pure equilibria at all. In particular, it was recently proven for a generalized model which incorporates negative network externalities and which contains Hotelling's model and classical selfish load balancing as special cases, that the unique equilibria do not adhere to minimum differentiation. Furthermore, it was shown that for a significant parameter range pure equilibria do not exist. We derive a sharp contrast to these previous results by investigating Hotelling's model with negative network externalities from an entirely new angle: approximate pure subgame perfect equilibria. This approach allows us to prove analytically and via agent-based simulations that approximate equilibria having good approximation guarantees and that adhere to minimum differentiation exist for the full parameter range of the model. Moreover, we show that the obtained approximate equilibria have high social welfare. AU - Feldotto, Matthias AU - Lenzner, Pascal AU - Molitor, Louise AU - Skopalik, Alexander ID - 10281 T2 - Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems TI - From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation ER - TY - JOUR AU - Lin, Zemeng AU - Huang, Lingling AU - Zhao, Ruizhe AU - Wei, Qunshuo AU - Zentgraf, Thomas AU - Wang, Yongtian AU - Li, Xiaowei ID - 10282 IS - 13 JF - Optics Express SN - 1094-4087 TI - Dynamic control of mode modulation and spatial multiplexing using hybrid metasurfaces VL - 27 ER - TY - CONF AB - We study text reuse related to Wikipedia at scale by compiling the first corpus of text reuse cases within Wikipedia as well as without (i.e., reuse of Wikipedia text in a sample of the Common Crawl). To discover reuse beyond verbatim copy and paste, we employ state-of-the-art text reuse detection technology, scaling it for the first time to process the entire Wikipedia as part of a distributed retrieval pipeline. We further report on a pilot analysis of the 100 million reuse cases inside, and the 1.6 million reuse cases outside Wikipedia that we discovered. Text reuse inside Wikipedia gives rise to new tasks such as article template induction, fixing quality flaws, or complementing Wikipedia's ontology. Text reuse outside Wikipedia yields a tangible metric for the emerging field of quantifying Wikipedia's influence on the web. To foster future research into these tasks, and for reproducibility's sake, the Wikipedia text reuse corpus and the retrieval pipeline are made freely available. AU - Alshomary, Milad AU - Völske, Michael AU - Licht, Tristan AU - Wachsmuth, Henning AU - Stein, Benno AU - Hagen, Matthias AU - Potthast, Martin ED - Azzopardi, Leif ED - Stein, Benno ED - Fuhr, Norbert ED - Mayr, Philipp ED - Hauff, Claudia ED - Hiemstra, Djoerd ID - 10284 SN - 978-3-030-15712-8 T2 - Advances in Information Retrieval TI - Wikipedia Text Reuse: Within and Without ER - TY - THES AU - Gutt, Dominik ID - 10290 TI - Essays on Drivers and Economic Outcomes of Online-Reviews ER - TY - GEN AU - Porzenheim, Laurens Alexander ID - 10306 TI - Post-Quantum Secure Group Signatures ER - TY - JOUR AU - Peuster, Manuel AU - Marchetti, Michael AU - García de Blas, Gerardo AU - Karl, Holger ID - 10325 JF - EURASIP Journal on Wireless Communications and Networking SN - 1687-1499 TI - Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing ER -