@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}}, } @inproceedings{10258, abstract = {{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.}}, author = {{Dunst, Paul and Hemsel, Tobias and Bornmann, Peter and Littmann, Walter and Sextro, Walter}}, booktitle = {{DAGA 2019}}, location = {{Rostock}}, title = {{{Modellbasierte und experimentelle Charakterisierung von intensiven Ultraschall-Stehwellenfeldern für die Zerstäubung hochviskoser Flüssigkeiten}}}, year = {{2019}}, } @misc{10271, author = {{N., N.}}, publisher = {{Universität Paderborn}}, title = {{{Implementation and Evaluation of Authenticated Data Structures Using Intel SGX Enclaves}}}, year = {{2019}}, } @misc{10277, author = {{Althaus, Steffen}}, title = {{{Optimizing Sales Channel Performance with Digital Experiments in the Crafting Industry}}}, year = {{2019}}, } @article{10279, abstract = {{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. }}, author = {{Pelster, Matthias and Breitmayer, Bastian and Hasso, Tim}}, issn = {{0165-1765}}, journal = {{Economics Letters}}, keywords = {{cryptocurrencies, bitcoin, investor, risk-seeking}}, pages = {{98--100}}, title = {{{Are cryptocurrency traders pioneers or just risk-seekers? evidence from brokerage accounts}}}, doi = {{10.1016/j.econlet.2019.06.013}}, volume = {{182}}, year = {{2019}}, } @inproceedings{10281, abstract = {{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.}}, author = {{Feldotto, Matthias and Lenzner, Pascal and Molitor, Louise and Skopalik, Alexander}}, booktitle = {{Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems}}, location = {{Montreal QC, Canada}}, pages = {{1949----1951}}, publisher = {{International Foundation for Autonomous Agents and Multiagent Systems}}, title = {{{ From Hotelling to Load Balancing: Approximation and the Principle of Minimum Differentiation}}}, year = {{2019}}, } @article{10282, author = {{Lin, Zemeng and Huang, Lingling and Zhao, Ruizhe and Wei, Qunshuo and Zentgraf, Thomas and Wang, Yongtian and Li, Xiaowei}}, issn = {{1094-4087}}, journal = {{Optics Express}}, number = {{13}}, pages = {{18740--18750}}, title = {{{Dynamic control of mode modulation and spatial multiplexing using hybrid metasurfaces}}}, doi = {{10.1364/oe.27.018740}}, volume = {{27}}, year = {{2019}}, } @inproceedings{10284, abstract = {{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.}}, author = {{Alshomary, Milad and Völske, Michael and Licht, Tristan and Wachsmuth, Henning and Stein, Benno and Hagen, Matthias and Potthast, Martin}}, booktitle = {{Advances in Information Retrieval}}, editor = {{Azzopardi, Leif and Stein, Benno and Fuhr, Norbert and Mayr, Philipp and Hauff, Claudia and Hiemstra, Djoerd}}, isbn = {{978-3-030-15712-8}}, pages = {{747--754}}, publisher = {{Springer International Publishing}}, title = {{{Wikipedia Text Reuse: Within and Without}}}, year = {{2019}}, } @phdthesis{10290, author = {{Gutt, Dominik}}, title = {{{Essays on Drivers and Economic Outcomes of Online-Reviews}}}, doi = {{10.17619/UNIPB/1-688}}, year = {{2019}}, } @misc{10306, author = {{Porzenheim, Laurens Alexander}}, title = {{{Post-Quantum Secure Group Signatures}}}, year = {{2019}}, } @article{10325, author = {{Peuster, Manuel and Marchetti, Michael and García de Blas, Gerardo and Karl, Holger}}, issn = {{1687-1499}}, journal = {{EURASIP Journal on Wireless Communications and Networking}}, publisher = {{Springer}}, title = {{{Automated testing of NFV orchestrators against carrier-grade multi-PoP scenarios using emulation-based smoke testing}}}, doi = {{10.1186/s13638-019-1493-2}}, year = {{2019}}, }