@article{60374, abstract = {{AbstractWe present a robust and fast method for the creation of conforming quad layouts on surfaces. Our algorithm is based on the quantization of a T‐mesh, i.e. an assignment of integer lengths to the sides of a non‐conforming rectangular partition of the surface. This representation has the benefit of being able to encode an infinite number of layout connectivity options in a finite manner, which guarantees that a valid layout can always be found. We carefully construct the T‐mesh from a given seamless parametrization such that the algorithm can provide guarantees on the results' quality. In particular, the user can specify a bound on the angular deviation of layout edges from prescribed directions. We solve an integer linear program (ILP) to find a coarse quad layout adhering to that maximal deviation. Our algorithm is guaranteed to yield a conforming quad layout free of T‐junctions together with bounded angle distortion. Our results show that the presented method is fast, reliable, and achieves high quality layouts.}}, author = {{Lyon, Max and Campen, Marcel and Kobbelt, Leif}}, issn = {{0167-7055}}, journal = {{Computer Graphics Forum}}, number = {{2}}, pages = {{305--314}}, publisher = {{Wiley}}, title = {{{Quad Layouts via Constrained T‐Mesh Quantization}}}, doi = {{10.1111/cgf.142634}}, volume = {{40}}, year = {{2021}}, } @article{60375, abstract = {{AbstractA common approach to automatic quad layout generation on surfaces is to, in a first stage, decide on the positioning of irregular layout vertices, followed by finding sensible layout edges connecting these vertices and partitioning the surface into quadrilateral patches in a second stage. While this two‐step approach reduces the problem's complexity, this separation also limits the result quality. In the worst case, the set of layout vertices fixed in the first stage without consideration of the second may not even permit a valid quad layout. We propose an algorithm for the creation of quad layouts in which the initial layout vertices can be adjusted in the second stage. Whenever beneficial for layout quality or even validity, these vertices may be moved within a prescribed radius or even be removed. Our algorithm is based on a robust quantization strategy, turning a continuous T‐mesh structure into a discrete layout. We show the effectiveness of our algorithm on a variety of inputs.}}, author = {{Lyon, Max and Campen, Marcel and Kobbelt, Leif}}, issn = {{0167-7055}}, journal = {{Computer Graphics Forum}}, number = {{5}}, pages = {{169--180}}, publisher = {{Wiley}}, title = {{{Simpler Quad Layouts using Relaxed Singularities}}}, doi = {{10.1111/cgf.14365}}, volume = {{40}}, year = {{2021}}, } @article{25212, abstract = {{Finding a good query plan is key to the optimization of query runtime. This holds in particular for cost-based federation engines, which make use of cardinality estimations to achieve this goal. A number of studies compare SPARQL federation engines across different performance metrics, including query runtime, result set completeness and correctness, number of sources selected and number of requests sent. Albeit informative, these metrics are generic and unable to quantify and evaluate the accuracy of the cardinality estimators of cost-based federation engines. To thoroughly evaluate cost-based federation engines, the effect of estimated cardinality errors on the overall query runtime performance must be measured. In this paper, we address this challenge by presenting novel evaluation metrics targeted at a fine-grained benchmarking of cost-based federated SPARQL query engines. We evaluate five cost-based federated SPARQL query engines using existing as well as novel evaluation metrics by using LargeRDFBench queries. Our results provide a detailed analysis of the experimental outcomes that reveal novel insights, useful for the development of future cost-based federated SPARQL query processing engines.}}, author = {{Qudus, Umair and Saleem, Muhammad and Ngonga Ngomo, Axel-Cyrille and Lee, Young-Koo}}, issn = {{2210-4968}}, journal = {{Semantic Web}}, keywords = {{SPARQL, benchmarking, cost-based, cost-free, federated, querying}}, number = {{6}}, pages = {{843--868}}, publisher = {{ISO Press}}, title = {{{An Empirical Evaluation of Cost-based Federated SPARQL Query Processing Engines}}}, doi = {{10.3233/SW-200420}}, volume = {{12}}, year = {{2021}}, } @inproceedings{25265, abstract = {{Waveguide-based methods can be used for the non-destructive determination of acoustic material parameters. One of these methods is based on transmission measurements of cylindrical polymeric specimens. Here, the experimental setup consists of two transducers, which excite and receive the waveguide modes at the faces of the cylinder. The measurement, as well as a forward model, are used to determine material parameters of the polymeric specimen in an inverse approach. 1-3 piezoelectric composites are used as an active element because they can be approximated by a thickness vibration only. This allows an easy identification of Mason model parameters to characterise the transducers’ vibration behaviour. However, sensitivity analysis shows a high uncertainty in the determination of the mechanical shear parameters due to the uniform excitation. To increase the sensitivity to these shear motions, arbitrary excitations were investigated by means of numerical simulation. In order to be able to realise the determined optimal excitation, new transducer prototypes were designed. By subdividing the electrodes of the active element, for example, ring-shaped excitation is feasible. Furthermore, it can be shown that modelling these transducers with a one-dimensional Mason model is sufficient.}}, author = {{Dreiling, Dmitrij and Itner, Dominik and Feldmann, Nadine and Scheidemann, Claus and Gravenkamp, Hauke and Henning, Bernd}}, booktitle = {{Fortschritte der Akustik - DAGA 2021}}, location = {{Wien}}, publisher = {{Deutsche Gesellschaft für Akustik e.V. (DEGA)}}, title = {{{Application and modelling of ultrasonic transducers using 1-3 piezoelectric composites with structured electrodes}}}, year = {{2021}}, } @inproceedings{25334, author = {{Fiterau-Brostean, Paul and Jonsson, Bengt and Merget, Robert and de Ruiter, Joeri and Sagonas, Konstantinos and Somorovsky, Juraj}}, booktitle = {{29th {USENIX} Security Symposium ({USENIX} Security 20)}}, isbn = {{978-1-939133-17-5}}, pages = {{2523--2540}}, publisher = {{{USENIX} Association}}, title = {{{Analysis of DTLS Implementations Using Protocol State Fuzzing}}}, year = {{2020}}, } @inbook{19521, author = {{Pfannschmidt, Karlson and Hüllermeier, Eyke}}, booktitle = {{Lecture Notes in Computer Science}}, isbn = {{9783030582845}}, issn = {{0302-9743}}, title = {{{Learning Choice Functions via Pareto-Embeddings}}}, doi = {{10.1007/978-3-030-58285-2_30}}, year = {{2020}}, } @inproceedings{19606, abstract = {{Mobile shopping apps have been using Augmented Reality (AR) in the last years to place their products in the environment of the customer. While this is possible with atomic 3D objects, there is is still a lack in the runtime configuration of 3D object compositions based on user needs and environmental constraints. For this, we previously developed an approach for model-based AR-assisted product configuration based on the concept of Dynamic Software Product Lines. In this demonstration paper, we present the corresponding tool support ProConAR in the form of a Product Modeler and a Product Configurator. While the Product Modeler is an Angular web app that splits products (e.g. table) up into atomic parts (e.g. tabletop, table legs, funnier) and saves it within a configuration model, the Product Configurator is an Android client that uses the configuration model to place different product configurations within the environment of the customer. We show technical details of our ready to use tool-chain ProConAR by describing its implementation and usage as well as pointing out future research directions.}}, author = {{Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels, Gregor}}, booktitle = {{Human-Centered Software Engineering. HCSE 2020}}, editor = {{Bernhaupt, Regina and Ardito, Carmelo and Sauer, Stefan}}, keywords = {{Product Configuration, Augmented Reality, Model-based, Tool Support}}, location = {{Eindhoven}}, publisher = {{Springer}}, title = {{{ProConAR: A Tool Support for Model-based AR Product Configuration}}}, doi = {{10.1007/978-3-030-64266-2_14}}, volume = {{12481}}, year = {{2020}}, } @inproceedings{19607, abstract = {{Modern services consist of modular, interconnected components, e.g., microservices forming a service mesh. To dynamically adjust to ever-changing service demands, service components have to be instantiated on nodes across the network. Incoming flows requesting a service then need to be routed through the deployed instances while considering node and link capacities. Ultimately, the goal is to maximize the successfully served flows and Quality of Service (QoS) through online service coordination. Current approaches for service coordination are usually centralized, assuming up-to-date global knowledge and making global decisions for all nodes in the network. Such global knowledge and centralized decisions are not realistic in practical large-scale networks. To solve this problem, we propose two algorithms for fully distributed service coordination. The proposed algorithms can be executed individually at each node in parallel and require only very limited global knowledge. We compare and evaluate both algorithms with a state-of-the-art centralized approach in extensive simulations on a large-scale, real-world network topology. Our results indicate that the two algorithms can compete with centralized approaches in terms of solution quality but require less global knowledge and are magnitudes faster (more than 100x).}}, author = {{Schneider, Stefan Balthasar and Klenner, Lars Dietrich and Karl, Holger}}, booktitle = {{IEEE International Conference on Network and Service Management (CNSM)}}, keywords = {{distributed management, service coordination, network coordination, nfv, softwarization, orchestration}}, publisher = {{IEEE}}, title = {{{Every Node for Itself: Fully Distributed Service Coordination}}}, year = {{2020}}, } @inproceedings{19609, abstract = {{Modern services comprise interconnected components, e.g., microservices in a service mesh, that can scale and run on multiple nodes across the network on demand. To process incoming traffic, service components have to be instantiated and traffic assigned to these instances, taking capacities and changing demands into account. This challenge is usually solved with custom approaches designed by experts. While this typically works well for the considered scenario, the models often rely on unrealistic assumptions or on knowledge that is not available in practice (e.g., a priori knowledge). We propose a novel deep reinforcement learning approach that learns how to best coordinate services and is geared towards realistic assumptions. It interacts with the network and relies on available, possibly delayed monitoring information. Rather than defining a complex model or an algorithm how to achieve an objective, our model-free approach adapts to various objectives and traffic patterns. An agent is trained offline without expert knowledge and then applied online with minimal overhead. Compared to a state-of-the-art heuristic, it significantly improves flow throughput and overall network utility on real-world network topologies and traffic traces. It also learns to optimize different objectives, generalizes to scenarios with unseen, stochastic traffic patterns, and scales to large real-world networks.}}, author = {{Schneider, Stefan Balthasar and Manzoor, Adnan and Qarawlus, Haydar and Schellenberg, Rafael and Karl, Holger and Khalili, Ramin and Hecker, Artur}}, booktitle = {{IEEE International Conference on Network and Service Management (CNSM)}}, keywords = {{self-driving networks, self-learning, network coordination, service coordination, reinforcement learning, deep learning, nfv}}, publisher = {{IEEE}}, title = {{{Self-Driving Network and Service Coordination Using Deep Reinforcement Learning}}}, year = {{2020}}, } @inproceedings{19632, author = {{Jovanovikj, Ivan and Yigitbas, Enes and Sauer, Stefan and Engels, Gregor}}, booktitle = {{Proceedings of the 8th International Working Conference on Human-Centered Software Engineering (HCSE'20)}}, pages = {{216--224}}, publisher = {{Springer}}, title = {{{Augmented and Virtual Reality Object Repository for Rapid Prototyping }}}, year = {{2020}}, } @inproceedings{19656, author = {{Sharma, Arnab and Wehrheim, Heike}}, booktitle = {{Proceedings of the 32th IFIP International Conference on Testing Software and Systems (ICTSS)}}, publisher = {{Springer}}, title = {{{Automatic Fairness Testing of Machine Learning Models}}}, year = {{2020}}, } @article{19864, author = {{Meyer, Maurice and Frank, Maximilian and Massmann, Melina and Dumitrescu, Roman}}, journal = {{Proceedings of The 11th International Multi-Conference on Complexity, Informatics and Cybernetics (IMCIC 2020)}}, title = {{{Research and Consulting in Data-Driven Strategic Product Planning}}}, year = {{2020}}, } @article{19866, author = {{Meyer, Maurice and Frank, Maximilian and Massmann, Melina and Dumitrescu, Roman}}, journal = {{Journal of Systemics, Cybernetics and Informatics}}, number = {{2}}, pages = {{55--61}}, title = {{{Research and Consulting in Data-Driven Strategic Product Planning}}}, volume = {{18}}, year = {{2020}}, } @inproceedings{19899, abstract = {{Most existing robot formation problems seek a target formation of a certain minimal and, thus, efficient structure. Examples include the Gathering and the Chain-Formation problem. In this work, we study formation problems that try to reach a maximal structure, supporting for example an efficient coverage in exploration scenarios. A recent example is the NASA Shapeshifter project, which describes how the robots form a relay chain along which gathered data from extraterrestrial cave explorations may be sent to a home base. As a first step towards understanding such maximization tasks, we introduce and study the Max-Chain-Formation problem, where $n$ robots are ordered along a winding, potentially self-intersecting chain and must form a connected, straight line of maximal length connecting its two endpoints. We propose and analyze strategies in a discrete and in a continuous time model. In the discrete case, we give a complete analysis if all robots are initially collinear, showing that the worst-case time to reach an $\varepsilon$-approximation is upper bounded by $\mathcal{O}(n^2 \cdot \log (n/\varepsilon))$ and lower bounded by $\Omega(n^2 \cdot~\log (1/\varepsilon))$. If one endpoint of the chain remains stationary, this result can be extended to the non-collinear case. If both endpoints move, we identify a family of instances whose runtime is unbounded. For the continuous model, we give a strategy with an optimal runtime bound of $\Theta(n)$. Avoiding an unbounded runtime similar to the discrete case relies crucially on a counter-intuitive aspect of the strategy: slowing down the endpoints while all other robots move at full speed. Surprisingly, we can show that a similar trick does not work in the discrete model.}}, author = {{Castenow, Jannik and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}}, booktitle = {{Stabilization, Safety, and Security of Distributed Systems - 22nd International Symposium, SSS 2020, Austin, Texas, USA, November 18-21, 2020, Proceedings}}, editor = {{Devismes , Stéphane and Mittal, Neeraj }}, isbn = {{978-3-030-64347-8}}, pages = {{65--80}}, publisher = {{Springer}}, title = {{{A Discrete and Continuous Study of the Max-Chain-Formation Problem – Slow Down to Speed Up}}}, doi = {{10.1007/978-3-030-64348-5_6}}, volume = {{12514}}, year = {{2020}}, } @article{19938, abstract = {{We show that symplectic integrators preserve bifurcations of Hamiltonian boundary value problems and that nonsymplectic integrators do not. We provide a universal description of the breaking of umbilic bifurcations by nonysmplectic integrators. We discover extra structure induced from certain types of boundary value problems, including classical Dirichlet problems, that is useful to locate bifurcations. Geodesics connecting two points are an example of a Hamiltonian boundary value problem, and we introduce the jet-RATTLE method, a symplectic integrator that easily computes geodesics and their bifurcations. Finally, we study the periodic pitchfork bifurcation, a codimension-1 bifurcation arising in integrable Hamiltonian systems. It is not preserved by either symplectic on nonsymplectic integrators, but in some circumstances symplecticity greatly reduces the error. }}, author = {{McLachlan, Robert I and Offen, Christian}}, journal = {{Foundations of Computational Mathematics}}, number = {{6}}, pages = {{1363--1400}}, title = {{{Preservation of Bifurcations of Hamiltonian Boundary Value Problems Under Discretisation}}}, doi = {{10.1007/s10208-020-09454-z}}, volume = {{20}}, year = {{2020}}, } @article{19939, author = {{Kreusser, Lisa Maria and McLachlan, Robert I and Offen, Christian}}, issn = {{0951-7715}}, journal = {{Nonlinearity}}, number = {{5}}, pages = {{2335--2363}}, title = {{{Detection of high codimensional bifurcations in variational PDEs}}}, doi = {{10.1088/1361-6544/ab7293}}, volume = {{33}}, year = {{2020}}, } @inproceedings{19953, abstract = {{Current GNN architectures use a vertex neighborhood aggregation scheme, which limits their discriminative power to that of the 1-dimensional Weisfeiler-Lehman (WL) graph isomorphism test. Here, we propose a novel graph convolution operator that is based on the 2-dimensional WL test. We formally show that the resulting 2-WL-GNN architecture is more discriminative than existing GNN approaches. This theoretical result is complemented by experimental studies using synthetic and real data. On multiple common graph classification benchmarks, we demonstrate that the proposed model is competitive with state-of-the-art graph kernels and GNNs.}}, author = {{Damke, Clemens and Melnikov, Vitaly and Hüllermeier, Eyke}}, booktitle = {{Proceedings of the 12th Asian Conference on Machine Learning (ACML 2020)}}, editor = {{Jialin Pan, Sinno and Sugiyama, Masashi}}, keywords = {{graph neural networks, Weisfeiler-Lehman test, cycle detection}}, location = {{Bangkok, Thailand}}, pages = {{49--64}}, publisher = {{PMLR}}, title = {{{A Novel Higher-order Weisfeiler-Lehman Graph Convolution}}}, volume = {{129}}, year = {{2020}}, } @misc{19999, author = {{Mayer, Stefan}}, publisher = {{Universität Paderborn}}, title = {{{Optimierung von JMCTest beim Testen von Inter Method Contracts}}}, year = {{2020}}, } @inproceedings{20116, author = {{Nouri, Zahra and Wachsmuth, Henning and Engels, Gregor}}, booktitle = {{Proceedings of COLING 2020, the 28th International Conference on Computational Linguistics}}, location = {{Barcelona, Spain}}, pages = {{6264--6276}}, title = {{{Mining Crowdsourcing Problems from Discussion Forums of Workers}}}, year = {{2020}}, } @inproceedings{20122, author = {{El Baff, Roxanne and Al-Khatib, Khalid and Stein, Benno and Wachsmuth, Henning}}, booktitle = {{Third Workshop on Computational Modeling of People's Opinions, Personality, and Emotions in Social Media (PEOPLES 2020)}}, pages = {{29--40}}, title = {{{Persuasiveness of News Editorials depending on Ideology and Personality}}}, year = {{2020}}, }