TY - JOUR AU - Bräuer, Sebastian AU - Plenter, Florian AU - Klör, Benjamin AU - Monhof, Markus AU - Beverungen, Daniel AU - Becker, Jörg ID - 12929 JF - Business Research SN - 2198-3402 TI - Transactions for trading used electric vehicle batteries: theoretical underpinning and information systems design principles ER - TY - JOUR AU - Köthemann, Ronja AU - Weber, Nils AU - Lindner, Jörg K N AU - Meier, Cedrik ID - 12930 IS - 9 JF - Semiconductor Science and Technology SN - 0268-1242 TI - High-precision determination of silicon nanocrystals: optical spectroscopy versus electron microscopy VL - 34 ER - TY - CONF AU - Ajjour, Yamen AU - Alshomary, Milad AU - Wachsmuth, Henning AU - Stein, Benno ID - 12931 T2 - Proceedings of the 2019 Conference on Empirical Methods in Natural Language Processing and 9th International Joint Conference on Natural Language Processing TI - Modeling Frames in Argumentation ER - TY - CONF AU - Götte, Thorsten AU - Hinnenthal, Kristian AU - Scheideler, Christian ID - 12944 T2 - Structural Information and Communication Complexity TI - Faster Construction of Overlay Networks ER - TY - CONF AU - Bäumer, Frederik Simon AU - Buff, Bianca ID - 12946 SN - 9789897583773 T2 - Proceedings of the 8th International Conference on Data Science, Technology and Applications TI - How to Boost Customer Relationship Management via Web Mining Benefiting from the Glass Customer’s Openness ER - TY - JOUR AB - Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory. AU - Hansmeier, Tim AU - Platzner, Marco AU - Pantho, Md Jubaer Hossain AU - Andrews, David ID - 12967 IS - 11 JF - Journal of Signal Processing Systems SN - 1939-8018 TI - An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology VL - 91 ER - TY - THES AU - Heindorf, Stefan ID - 15333 TI - Vandalism Detection in Crowdsourced Knowledge Bases ER - TY - GEN AB - n this paper, I review the empirical literature in the intersection of banks and corporate income taxation that emerged over the last two decades. To structure the included studies, I use a stakeholder approach and outline how corporate income taxation plays into the relation of banks and their four main stakeholders: bank regulators, customers, investors and tax authorities. My contribution to the literature is threefold: First, I contribute by providing, to the best of my knowledge, a first comprehensive review on this topic. Second, I point to areas for future research. Third, I deduce policy implications from the studies under review. In sum, the studies show that taxes distort banks’ pricing decisions, the relative attractiveness of debt and equity financing, the decision to report on or off the balance sheet and banks’ investment allocations. Empirical insights on how tax rules affect banks’ decision-making are helpful for policymakers to tailor suitable and sustainable tax legislation directed at banks. AU - Gawehn, Vanessa ID - 15367 KW - corporate income taxes KW - banks KW - stakeholder approach KW - decision-making process TI - Banks and Corporate Income Taxation: A Review ER - TY - CONF AB - Service Level Agreements are essential tools enabling clients and telco operators to specify required quality of service. The 5GTANGO NFV platform enables SLAs through policies and custom service lifecycle management components. This allows the operator to trigger certain lifecycle management events for a service, and the network service developer to define how to execute such events (e.g., how to scale). In this demo we will demonstrate this unique 5GTANGO concept using an elastic proxy service supported by a high availability SLA enforced through a range of traffic regimes. AU - Soenen, Thomas AU - Vicens, Felipe AU - Bonnet, José AU - Parada, Carlos AU - Kapassa, Evgenia AU - Touloupou, Marious AU - Fotopulou, Eleni AU - Zafeiropoulos, Anastasios AU - Pol, Ana AU - Kolometsos, Stavros AU - Xilouris, George AU - Alemany, Pol AU - Vilalta, Ricard AU - Trakadas, Panos AU - Karkazis, Panos AU - Peuster, Manuel AU - Tavernier, Wouter ID - 15368 KW - 5G mobile communication KW - contracts KW - quality of service KW - telecommunication traffic KW - virtualisation KW - custom service lifecycle management components KW - lifecycle management events KW - network service developer KW - elastic proxy service KW - SLA-controlled proxy service KW - customisable MANO KW - operator policies KW - Service Level Agreements KW - unique 5G TANGO concept KW - 5G TANGO NFV platform KW - quality of service KW - traffic regimes KW - high availability SLA KW - Monitoring KW - Probes KW - Portals KW - Quality of service KW - Tools KW - Servers KW - Graphical user interfaces SN - 1573-0077 T2 - 2019 IFIP/IEEE Symposium on Integrated Network and Service Management (IM) TI - SLA-controlled Proxy Service Through Customisable MANO Supporting Operator Policies ER - TY - CONF AU - Müller, Marcel AU - Behnke, Daniel AU - Bök, Patrick-Benjamin AU - Peuster, Manuel AU - Schneider, Stefan Balthasar AU - Karl, Holger ID - 15369 T2 - IEEE 17th International Conference on Industrial Informatics (IEEE-INDIN) TI - 5G as Key Technology for Networked Factories: Application of Vertical-specific Network Services for Enabling Flexible Smart Manufacturing ER -