@inproceedings{24223, abstract = {{This paper presents the design flow of using sampling technique for fault injection on sche- matic level. The parameters used in the docu- ment to calculate the likelihood could be modi- fied by using more realistic data from the fab. With the help of the fault simulator, the whole design flow of the fault effect simulation can be realized automatically.}}, author = {{Wu, Liang and Abughannam, Saed and Müller, Wolfgang and Scheytt, Christoph and Ecker, Wolfgang}}, booktitle = {{2nd Workshop on Resiliency in Embedded Electronic Systems (REES)}}, pages = {{68}}, title = {{{SPICE-Level Fault Injection with Likelihood Weighted Random Sampling - A Case Study}}}, year = {{2017}}, } @inproceedings{24224, author = {{Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, Christoph}}, booktitle = {{Design Automation and Testing in Europe (DATE), University Booth Interactive Presentation}}, title = {{{ANALISA - A Tool for Static Instruction Set Analysis}}}, year = {{2017}}, } @inproceedings{24225, author = {{Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Kleinjohann, Bernd and Scheytt, Christoph}}, booktitle = {{2nd Workshop on Resiliency in Embedded Electronic Systems (REES) }}, pages = {{44}}, title = {{{An Automatic Injection Framework for Safety Assessements of Embedded Software Binaries}}}, year = {{2017}}, } @article{24227, abstract = {{This work describes an electrical interferometer for contactless permittivity measurements working at 120 GHz. It was fabricated in a 130 nm SiGe process featuring an ft and fmax of 240 and 330 GHz. The on-chip system contains a 120 GHz VCO with a tuning range of 7 GHz featuring a divide-by-64 circuit to enable external PLL operation. The subsequent buffer provides 7 dBm of output power at 120 GHz. Additionally, the IC contains high-precision and high-resolution phase shifters based on a slow-wave transmission line approach with digital control for direct readout ability. A 120 GHz LNA with 17 dB gain and a power detector to provide DC output signals were realized on chip. It enables sample emulation capability by phase shift inducement in the measurement as well as a reference transmission line. In terms of phase detection, the system shows a sensitivity of 907.36 MHz/°.}}, author = {{Wessel, Jan and Schmalz, Klaus and Scheytt, Christoph and Kissinger, Dietmar}}, issn = {{1558-1764}}, journal = {{IEEE Microwave and Wireless Components Letters}}, number = {{2}}, pages = {{198--200}}, title = {{{A 120-GHz Electrical Interferometer for Contactless Permittivity Measurements With Direct Digital Read-Out}}}, doi = {{10.1109/LMWC.2017.2649384}}, volume = {{27}}, year = {{2017}}, } @inproceedings{24398, abstract = {{Through this study, we introduce the idea of applying scheduling techniques to allocate spatial resources that are shared among multiple robots moving in a static environment and having temporal constraints on the arrival time to destinations. To illustrate this idea, we present an exemplified algorithm that plans and assigns a motion path to each robot. The considered problem is particularly challenging because: (i) the robots share the same environment and thus the planner must take into account overlapping paths which cannot happen at the same time; (ii) there are time deadlines thus the planner must deal with temporal constraints; (iii) new requests arrive without a priori knowledge thus the planner must be able to add new paths online and adjust old plans; (iv) the robot motion is subject to noise thus the planner must be reactive to adapt to online changes. We showcase the functioning of the proposed algorithm through a set of agent-based simulations.}}, author = {{Khaluf, Yara and Markarian, Christine and Simoens, Pieter and Reina, Andreagiovanni}}, booktitle = {{International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS 2017)}}, issn = {{0302-9743}}, title = {{{Scheduling Access to Shared Space in Multi-robot Systems}}}, doi = {{10.1007/978-3-319-59930-4_12}}, year = {{2017}}, } @article{26426, author = {{Hadjakos, Aristotelis and Iffland, Joachim and Keil, Reinhard and Oberhoff, Andreas and Veit, Joachim}}, journal = {{International Journal of Humanities and Arts Computing}}, pages = {{255--275}}, title = {{{Challenges for Annotation Concepts in Music}}}, volume = {{11:2}}, year = {{2017}}, } @inbook{26427, author = {{Keil, Reinhard}}, booktitle = {{Education in the digital age - balance sheet and perspectives}}, pages = {{46--72}}, publisher = {{Heinz Nixdorf MuseumsForum}}, title = {{{Learning {\ "o} natural infrastructures: A technology-centered approach to the development of new educational potentials}}}, year = {{2017}}, } @misc{3291, abstract = {{The microservice architecture uses independently running microservices as build- ing blocks for applications. These microservices are clearly bounded for each other and expose their functionality through, for instance, RESTful application inter- faces. Particularly the clear boundaries between microservices enable the reuse of microservice throughout different projects. Because of the increasing use of microservices, the composition of multiple microservices in service composition becomes a more important task. A challenging area in developing service compo- sitions is that it involves two distinct layers with few junctions. On the one hand, describes a service composition a business process, which involves multiple com- ponents. On the other hand, involves the implementation of a service composition topics like service discovery and message exchange protocols since the microser- vices involved in a service composition are located within a network environment. In this Bachelor’s Thesis, I describe a descriptions language to abstractly describe the business logic of a service composition. Furthermore, I describe a genera- tion process, which compiles this abstract description to a working microservice realizing the specified service composition. In addition to that, I provide an im- plementation of the generation process, as a proof of concept, and test it within a Kubernetes-based cluster environment.}}, author = {{Schürmann, Andreas}}, publisher = {{Universität Paderborn}}, title = {{{Microservice-based Execution Environment for Service Compositions}}}, year = {{2017}}, } @inproceedings{3325, author = {{Melnikov, Vitalik and Hüllermeier, Eyke}}, booktitle = {{Proceedings. 27. Workshop Computational Intelligence, Dortmund, 23. - 24. November 2017}}, publisher = {{KIT Scientific Publishing}}, title = {{{Optimizing the Structure of Nested Dichotomies: A Comparison of Two Heuristics}}}, doi = {{10.5445/KSP/1000074341}}, year = {{2017}}, } @misc{3512, author = {{Börding, Paul}}, publisher = {{Universität Paderborn}}, title = {{{Testing Java Method Contracts}}}, year = {{2017}}, } @article{3523, abstract = {{We numerically simulate the circular polarization ratio of the radar signal backscattered from a large-grain cometary coma and compare the simulation results with the radar measurements for seven comets. We apply the discrete dipole approximation method and a model of random irregular particles. Our results confirm water ice composition of the cm-sized chunks detected by the NASA Deep Impact space probe in the vicinity of the nucleus of Comet 103P/Hartley 2. The index of the power-law size distribution in this case can be constrained to the range n ≈ 3.3–4.3. For the other considered comets the circular polarization ratio can be reproduced with variations of the power index between 2 and 5.}}, author = {{Dogra, Shraddha and Grynko, Yevgen and Zubko, Evgenij and Förstner, Jens}}, issn = {{0004-6361}}, journal = {{Astronomy & Astrophysics}}, keywords = {{tet_topic_scattering}}, pages = {{A20}}, publisher = {{EDP Sciences}}, title = {{{Radar backscattering from a large-grain cometary coma: numerical simulation}}}, doi = {{10.1051/0004-6361/201730801}}, volume = {{608}}, year = {{2017}}, } @misc{3580, author = {{Hansmeier, Tim}}, publisher = {{Universität Paderborn}}, title = {{{An FPGA Accelerator for Checking Resolution Proofs}}}, year = {{2017}}, } @inbook{3743, abstract = {{Frequently, optical integrated circuits combine elements (waveguide channels, cavities), the simulation of which is well established through mature numerical eigenproblem solvers. It remains to predict the interaction of these modes. We address this task by a general, “Hybrid” variant (HCMT) of Coupled Mode Theory. Using methods from finite-element numerics, the properties of a circuit are approximated by superpositions of eigen-solutions for its constituents, leading to quantitative, computationally cheap, and easily interpretable models.}}, author = {{Hammer, Manfred}}, booktitle = {{Recent Trends in Computational Photonics}}, editor = {{Agrawal, Arti}}, isbn = {{978-3-319-55438-9}}, keywords = {{tet_topic_waveguide, tet_topic_numerics}}, pages = {{77--105}}, publisher = {{Springer}}, title = {{{Guided Wave Interaction in Photonic Integrated Circuits — A Hybrid Analytical/Numerical Approach to Coupled Mode Theory}}}, volume = {{204}}, year = {{2017}}, } @inproceedings{3751, author = {{Ajjour, Yamen and Chen, Wei-Fan and Kiesel, Johannes and Wachsmuth, Henning and Stein, Benno}}, booktitle = {{Proceedings of the 4th Workshop on Argument Mining}}, pages = {{118--128}}, title = {{{Unit Segmentation of Argumentative Texts}}}, year = {{2017}}, } @inproceedings{3803, author = {{Al Khatib, Khalid and Wachsmuth, Henning and Hagen, Matthias and Stein, Benno}}, booktitle = {{Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing}}, pages = {{1362--1368}}, title = {{{Patterns of Argumentation Strategies across Topics}}}, year = {{2017}}, } @inproceedings{3809, author = {{Kiesel, Johannes and Wachsmuth, Henning and Al Khatib, Khalid and Stein, Benno}}, booktitle = {{Proceedings of the Software Demonstrations of the 15th Conference of the European Chapter of the Association for Computational Linguistics}}, pages = {{13--16}}, title = {{{WAT-SL: A Customizable Web Annotation Tool for Segment Labeling}}}, year = {{2017}}, } @inproceedings{3817, author = {{Wachsmuth, Henning and Stein, Benno and Ajjour, Yamen}}, booktitle = {{Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 1, Long Papers}}, pages = {{1117--1127}}, title = {{{"Page Rank'' for Argument Relevance}}}, year = {{2017}}, } @inproceedings{3819, author = {{Wachsmuth, Henning and Potthast, Martin and Al-Khatib, Khalid and Ajjour, Yamen and Puschmann, Jana and Qu, Jiani and Dorsch, Jonas and Morari, Viorel and Bevendorff, Janek and Stein, Benno}}, booktitle = {{Proceedings of the 4th Workshop on Argument Mining}}, pages = {{49--59}}, title = {{{Building an Argument Search Engine for the Web}}}, year = {{2017}}, } @inproceedings{3820, author = {{Wachsmuth, Henning and Da San Martino, Giovanni and Kiesel, Dora and Stein, Benno}}, booktitle = {{Proceedings of the 2017 Conference on Empirical Methods in Natural Language Processing}}, pages = {{2369--2379}}, title = {{{The Impact of Modeling Overall Argumentation with Tree Kernels}}}, year = {{2017}}, } @article{3828, abstract = {{The 3D implementation of a hybrid analytical/numerical variant of the coupled-mode theory is discussed. Eigenmodes of the constituting dielectric channels are computed numerically. The frequency-domain coupled-mode models then combine these into fully vectorial approximations for the optical electromagnetic fields of the composite structure. Following a discretization of amplitude functions by 1D finite elements, pro- cedures from the realm of finite-element numerics are applied to establish systems of linear equations for the then- discrete modal amplitudes. Examples substantiate the functioning of the technique and allow for some numerical assessment. The full 3D simulations are highly efficient in memory consumption, moderately demanding in com- putational time, and, in regimes of low radiative losses, sufficiently accurate for practical design. Our results include the perturbation of guided modes by changes of the refractive indices, the interaction of waves in parallel, horizontally or vertically coupled straight waveguides, and a series of crossings of potentially overlapping channels with fairly arbitrary relative positions and orientations.}}, author = {{Hammer, Manfred and Alhaddad, Samer and Förstner, Jens}}, issn = {{0740-3224}}, journal = {{Journal of the Optical Society of America B}}, keywords = {{tet_topic_waveguide, tet_topic_numerics}}, number = {{3}}, pages = {{613--624}}, publisher = {{The Optical Society}}, title = {{{Hybrid coupled-mode modeling in 3D: perturbed and coupled channels, and waveguide crossings}}}, doi = {{10.1364/josab.34.000613}}, volume = {{34}}, year = {{2017}}, }