@inbook{2381, abstract = {{Metric facility location and K-means are well-known problems of combinatorial optimization. Both admit a fairly simple heuristic called single-swap, which adds, drops or swaps open facilities until it reaches a local optimum. For both problems, it is known that this algorithm produces a solution that is at most a constant factor worse than the respective global optimum. In this paper, we show that single-swap applied to the weighted metric uncapacitated facility location and weighted discrete K-means problem is tightly PLS-complete and hence has exponential worst-case running time.}}, author = {{Brauer, Sascha}}, booktitle = {{Lecture Notes in Computer Science}}, editor = {{Fotakis, Dimitris and Pagourtzis, Aris and Paschos, Vangelis Th.}}, isbn = {{9783319575858}}, issn = {{0302-9743}}, location = {{Athens, Greece}}, pages = {{116--127}}, publisher = {{Springer International Publishing}}, title = {{{Complexity of Single-Swap Heuristics for Metric Facility Location and Related Problems}}}, doi = {{10.1007/978-3-319-57586-5_11}}, volume = {{10236}}, year = {{2017}}, } @inbook{23910, author = {{Andreiev, Anatolii and Grydin, Olexandr and Schaper, Mirko}}, booktitle = {{Proceedings of the 3rd Pan American Materials Congress}}, issn = {{2367-1181}}, title = {{{A Rapid Heating Method for Press Hardening Processing}}}, doi = {{10.1007/978-3-319-52132-9_72}}, year = {{2017}}, } @inbook{2050, author = {{Krimphove, Dieter}}, booktitle = {{Kölner Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)}}, editor = {{Busche, Jan and Röhling, Andreas}}, pages = {{466 – 538}}, publisher = {{Carl Heymanns Verlag KG}}, title = {{{Kommentierung § 3 GWB (Mittelstandskartelle)}}}, year = {{2017}}, } @inbook{20552, abstract = {{Das Zukunftsszenario der Industrie 4.0 ist gepr{\"a}gt durch einen massiven Anstieg der unternehmens{\"u}bergreifenden Vernetzung. Um einer Bedrohung durch unautorisierte Weitergabe oder Sabotage vertraulicher Daten entgegenzuwirken, muss der Informationssicherheit bereits im Entwurf der cyber-physischen Produktionssysteme ein hoher Stellenwert einger{\"a}umt werden. Dieses Paradigma wird als Security by Design bezeichnet. {\"U}ber den gesamten Entstehungsprozess hinweg muss nachverfolgt werden k{\"o}nnen, ob die Systeme spezifische Anforderungen an die Informationssicherheit erf{\"u}llen und damit die Eigenschaft der Industrial Security gew{\"a}hrleisten. Dieser Beitrag stellt einen Entwurfsansatz zur Nachverfolgung der Informationssicherheit vor, der durch Integration softwaretechnischer Methoden in das Systems Engineering eine Entwicklung nach dem Paradigma Security by Design erm{\"o}glicht.}}, author = {{Gerking, Christopher and Bodden, Eric and Schäfer, Wilhelm}}, booktitle = {{Handbuch Gestaltung digitaler und vernetzter Arbeitswelten}}, editor = {{Maier, Günter W. and Engels, Gregor and Steffen, Eckhard}}, isbn = {{978-3-662-52903-4}}, keywords = {{ITSECWEBSITE}}, pages = {{1--24}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Industrial Security by Design}}}, doi = {{10.1007/978-3-662-52903-4_8-1}}, year = {{2017}}, } @inproceedings{20792, author = {{Schivo, Stefano and Yildiz., Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok, Stefan and Rensink, Arend and Stoelinga, Mariëlle}}, booktitle = {{Dependable Software Engineering, 3rd International Symposium (SETTA 2017)}}, editor = {{Larsen, Kim G. and Sokolsky, Oleg and Wang, Ji}}, number = {{10606}}, pages = {{319--336}}, publisher = {{Springer}}, title = {{{How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach}}}, doi = {{10.1007/978-3-319-69483-2_19}}, year = {{2017}}, } @misc{18026, author = {{Burkhardt, Michél }}, publisher = {{Universität Paderborn}}, title = {{{Untersuchungen zum Cone-Hashing}}}, year = {{2017}}, } @misc{18028, author = {{Schenk, Andreas}}, publisher = {{Universität Paderborn}}, title = {{{Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen}}}, year = {{2017}}, } @misc{18029, author = {{Beckendorf, Björn}}, publisher = {{Universität Paderborn}}, title = {{{Visualisierung zu Algorithmen verteilter Netzwerksysteme}}}, year = {{2017}}, } @inproceedings{1815, author = {{J. Daymude, Joshua and Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim Frederik}}, booktitle = {{Algorithms for Sensor Systems - 13th International Symposium on Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised Selected Papers}}, pages = {{127----140}}, title = {{{Improved Leader Election for Self-organizing Programmable Matter}}}, doi = {{10.1007/978-3-319-72751-6_10}}, year = {{2017}}, } @book{22419, abstract = {{Schwingungen und Vibrationen sind in Technik und Alltag häufig anzutreffen. Meist sind sie unerwünscht und müssen durch Dämpfung reduziert werden. Hierzu werden aktuell häufig zusätzlich zu montierende Dämpfungselemente eingesetzt. Diese sind durch zusätzlichen Montageaufwand und erhöhte Kosten gekennzeichnet. Durch die zusätzliche Masse wird Leichtbauansätzen widersprochen. Additive Fertigungsverfahren bieten große Freiheiten in der Bauteilgestaltung. Dies ermöglicht ein hohes Maß an Funktionsintegration. So ergeben sich auch im Bereich der Schwingungsdämpfung Möglichkeiten zur gezielten Integration von Dämpfungsfunktionen durch die Eigenschaften der additiven Fertigungsverfahren. Mittels der pulverbasierten Verfahren kann disperses Stützmaterial innerhalb von Hohlräumen in der Struktur belassen werden. Dieses Pulvermaterial kann als Partikeldämpfer fungieren. Durch die Freiheiten in der Bauteilgestalt kann die Dämpfungswirkung über die geometrischen Merkmale der Hohlräume gezielt eingestellt werden. Im Rahmen dieses Beitrags werden speziell Untersuchungen zur Dämpfungswirkung additiv gefertigter Bauteile bei freien Biegeschwingungen betrachtet. Die praxisnahe Umsetzung zur Funktionsintegration von Dämpfungsstrukturen erfolgt am Beispiel der Ankerscheibe einer Federkraftbremse. Hier kann durch die additive Fertigung verbunden mit der Funktionsintegration von Partikeldämpfern eine Reduzierung der Schallabstrahlung für den Schaltvorgang der Bremse erreicht werden.}}, author = {{Künneke, Thomas and Zimmer, Detmar}}, isbn = {{978-3-658-17780-5}}, pages = {{61--74}}, publisher = {{Springer Fachmedien Wiesbaden GmbH}}, title = {{{Funktionsintegration additiv gefertigter Dämpfungsstrukturen bei Biegeschwingungen}}}, doi = {{10.1007/978-3-658-17780-5}}, year = {{2017}}, } @inproceedings{22420, abstract = {{Additive Fertigungsverfahren (engl.: Additive Manufacturing, kurz: AM) ermöglichen die werkzeuglose Herstellung von Komponenten und kompletten Baugruppen direkt aus dem 3D-CAD-Modell. Insbesondere additiv hergestellte Leichtbaukonstruktionen weisen ein hohes Potential für den Elektromaschinenbau auf. In diesem Paper werden erste Ansätze zur additiven Fertigung einer Rotorwelle für eine permanentmagneterregte Synchronmaschine (PMSM) aufgezeigt. Die Verbesserung einer ausgeprägten Leichtbaukonstruktion der Rotorwelle sowie die Charakterisierung des additiv verarbeiteten Werkstoffs werden aufgeführt. Hierzu wurden Prüfkörper aus dem Werkstoffs H13 (1.2344) hergestellt. Des Weiteren wurden Prüfkörper additiv gefertigter Gitterstrukturen entwickelt und untersucht. Zur Werkstoffcharakterisierung wurden sowohl mechanische Eigenschaften ermittelt, wie die Streckgrenze, die Zugfestigkeit und die Härte als auch elektromagnetische Eigenschaften, wie die Koerzitivfeldstärke, die elektrische Leitfähigkeit und die Permeabilität. Die Ergebnisse zeigen, dass die magnetischen Eigenschaften von H13 durch eine angeschlossene Wärmebehandlung deutlich verbessert werden konnten. Im Anschluss an die Werkstoffcharakterisierung wurde ein innovatives Leichtbau-Rotorwellenkonzept mit internen Gitterstrukturen entwickelt. Verglichen mit einem konventionell gefertigten Rotor konnte die Rotormasse um 25% reduziert werden sowie das Massenträgheitsmoment um 23% reduziert werden bei einer Testdrehzahl von 3000 U/min und einem Drehmoment von 71,98 Nm.}}, author = {{Lammers, Stefan and Quattrone, Francesco and Mrozek, Rafael and Zimmer, Detmar and Schmid, Hans-Joachim and Ponick, Bernd and Hoffmann, Michael}}, booktitle = {{Proceedings of the 14th Rapid.Tech Conference}}, isbn = {{978-3-446-45459-0}}, pages = {{80--93}}, publisher = {{Hanser Verlag}}, title = {{{Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle für eine permanentmagneterregte Synchronmaschine}}}, doi = {{10.3139/9783446454606.006}}, year = {{2017}}, } @inproceedings{22421, author = {{Lieneke, Tobias and Adam, Guido and Josupeit, Stefan and Delfs, Patrick and Zimmer, Detmar}}, booktitle = {{Proceedings of the 14th Rapid.Tech Conference}}, isbn = {{978-3-446-45460-6}}, pages = {{327--344}}, publisher = {{Hanser Verlag}}, title = {{{Maßtoleranzen für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern}}}, doi = {{10.3139/9783446454606.024 }}, year = {{2017}}, } @inproceedings{22425, author = {{Lieneke, Tobias and Denzer, Vera and Zimmer, Detmar}}, booktitle = {{3. Summer School Toleranzmangement 2017}}, title = {{{Geometrische Toleranzen für additive Fertigungsverfahren}}}, volume = {{3}}, year = {{2017}}, } @phdthesis{22429, author = {{Lessmeier, Christian}}, isbn = {{978-3-8440-5490-3}}, publisher = {{Shaker Verlag GmbH }}, title = {{{Datenbasierte Zustandsüberwachung von Wälzlagerschäden in elektromechanischen Antriebssystemen}}}, year = {{2017}}, } @article{22669, author = {{Mosebach, Bastian and Ozkaya, Berkem and Giner, Ignacio and Keller, Adrian and Grundmeier, Guido}}, issn = {{0169-4332}}, journal = {{Applied Surface Science}}, pages = {{296--302}}, title = {{{Analysis of acid-base interactions at Al 2 O 3 (11-20) interfaces by means of single molecule force spectroscopy}}}, doi = {{10.1016/j.apsusc.2017.05.105}}, volume = {{420}}, year = {{2017}}, } @article{22848, abstract = {{

Heteroleptic and homoleptic In(iii)-amidinate complexes as promising CVD precursors for In2O3 thin films.

}}, author = {{Gebhard, M. and Hellwig, M. and Kroll, A. and Rogalla, D. and Winter, M. and Mallick, B. and Ludwig, A. and Wiesing, M. and Wieck, A. D. and Grundmeier, Guido and Devi, A.}}, issn = {{1477-9226}}, journal = {{Dalton Transactions}}, pages = {{10220--10231}}, title = {{{New amidinate complexes of indium(iii): promising CVD precursors for transparent and conductive In2O3 thin films}}}, doi = {{10.1039/c7dt01280b}}, year = {{2017}}, } @inbook{21925, author = {{Rumlich, Dominik and Ahlers, Sabine}}, booktitle = {{Collaborative learning and new media}}, editor = {{Ludwig, Christian and van de Poel, Kris}}, isbn = {{978-3-631-66797-2}}, pages = {{259--274}}, publisher = {{Lang}}, title = {{{The rich environment of CLIL classes as an ideal setting for collaborative learning}}}, year = {{2017}}, } @inproceedings{22045, abstract = {{A widely used Additive Manufacturing (AM) technology is Fused Deposition Modeling (FDM) to create prototypes and end-use parts with close-to-production thermoplastics. For their use as a final product, it is necessary that additively manufactured parts strictly adhere to the geometrical requirements of the technical drawing. In this paper, the holes and cylinders of the cylindrical elements are investigated in terms of achievable geometrical accuracy. For this purpose, different test specimens that allow a measurement of inner and outer diameters from 3 to 80 mm were designed. All specimens were measured with a coordinate measuring machine (CMM) to evaluate deviations from the nominal dimension and form deviations. The measuring method includes a scanning of the surface to record the course of dimensional deviations over the diameter. Thus, it was possible to visualize how deviations on cylindrical elements manufactured in FDM occur. In order to counteract these deviations and to improve the dimensional accuracy, different shrink factors and filling patterns were investigated. Consequently, an improvement of the dimensional accuracy was achieved.}}, author = {{Knoop, F. and Schöppner, Volker}}, booktitle = {{28th Annual International Solid Freeform Fabrication Symposium}}, pages = {{2757--2776}}, title = {{{Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling}}}, doi = {{http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf}}, volume = {{28}}, year = {{2017}}, } @article{90, abstract = {{We propose and extend an approach for the verification of safety properties for parameterized timed systems modeled as networks of timed automata. For this task, we introduce an incremental workflow that is based on our algorithm IC3 with Zones. It proceeds in a cycle in which single models of the system are verified, and the verification results are employed for the reasoning about the entire system. Starting with the smallest instances, the verification of the safety property is carried out fast and efficient. On successful verification, the algorithm produces an inductive strengthening of the safety property. We reuse this result and try to reason about the entire parameterized timed system. To this end, we extrapolate the inductive strengthening into a candidate for the next-larger model. In case this candidate is a valid inductive strengthening for the next larger model, our main theorem reasons about all models of the parameterized timed system, stating that the safety property holds true for all models. Otherwise, the main cycle starts over with the verification of the next larger model. This workflow is iterated indefinitely, until able to reason about the entire parameterized timed system, until a counterexample trace is found, or until the single models become too large to be handled in the verification. We reuse the intermediate results in a Feedback-loop in order to accelerate the verification runs for the single models. Furthermore, we consider an extended formalism in comparison to our previous publications.}}, author = {{Isenberg, Tobias}}, journal = {{ACM Transactions on Embedded Computing Systems}}, number = {{2}}, pages = {{47:1--47:24}}, publisher = {{ACM}}, title = {{{Incremental Inductive Verification of Parameterized Timed Systems}}}, doi = {{10.1145/2984640}}, year = {{2017}}, } @inbook{93, abstract = {{In recent years, there has been a proliferation of technological developments that incorporate processing of human language. Hardware and software can be specialized for designated subject areas, and computational devices are designed for a widening variety of applications. At the same time, new areas and applications are emerging by demanding intelligent technology enhanced by the processing of human language. These new applications often perform tasks which handle information, and they have a capacity to reason, using both formal and human language. Many sub-areas of Artificial Intelligence demand integration of Natural Language Processing, at least to some degree. Furthermore, technologies require coverage of known as well as unknown agents, and tasks with potential variations. All of this takes place in environments with unknown factors. The book covers theoretical work, advanced applications, approaches, and techniques for computational models of information, reasoning systems, and presentation in language. The book promotes work on intelligent natural language processing and related models of information, thought, reasoning, and other cognitive processes. The topics covered by the chapters prompt further research and developments of advanced systems in the areas of logic, computability, computational linguistics, cognitive science, neuroscience of language, robotics, and artificial intelligence, among others.}}, author = {{Geierhos, Michaela and Bäumer, Frederik Simon}}, booktitle = {{Partiality and Underspecification in Information, Languages, and Knowledge}}, editor = {{Christiansen, Henning and Jiménez-López, M. Dolores and Loukanova, Roussanka and Moss, Lawrence S.}}, isbn = {{978-1- 4438-7947-7}}, pages = {{65--108}}, publisher = {{Cambridge Scholars Publishing}}, title = {{{Guesswork? Resolving Vagueness in User-Generated Software Requirements}}}, year = {{2017}}, }