@inproceedings{22040, abstract = {{Fused Deposition Modeling (FDM) is used for prototypes, single-partproduction and small batch productions of thermoplastic components. This manufacturing technique has the huge benefit that no forming tool is needed. The knowledge about dimensional deviations which occur in the FDM process is necessary for calculating fits and for determining tolerances. A major challenge is the reproducibility of the dimensional accuracy of FDM parts and the reproducibility between different FDM machines. There are many influential factors on the dimensional accuracy in the FDM process for example geometric, material-specific or process-specific factors, which are considered in this paper. The influence of the part position on the build platform of a Stratasys Fortus 400mc is analyzed in terms of the achievable dimensional accuracy. For this purpose, the temperature distribution in the actively heated build chamber is investigated and possible correlations to the dimensional accuracy are identified. The reproducibility of one machine is examined by a multiple production of the test specimens. In addition, a comparison with three other FDM machines from Stratasys is made. Afterwards, the long-term reproducibility of the dimensional accuracy is verified to consider how environmental influences such as maintenance or modification of machine components affect the dimensional accuracy of the FDM process.}}, author = {{Knoop, F. and Lieneke, Tobias and Schöppner, Volker}}, booktitle = {{Rapid Tech - International Trade Show & Conference for Additive Manufacturing}}, pages = {{52--66}}, title = {{{Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling}}}, doi = {{10.3139/9783446454606.004}}, year = {{2017}}, } @inproceedings{22042, abstract = {{Compared to conventional polymer processing technologies the material selection in the Fused Deposition Modelling (FDM) process is restricted. To expand the range of materials the requirements for the material properties and the semi-finished products (filaments) must be clarified. For this, a machine- and process-independent rating of the processability is necessary. The established standards for the tensile strength test apply to specimens with nearly isotropic mechanical properties. The FDM process generates anisotropic parts. The properties are mainly influenced by the machine quality and the data processing. It is not possible to test a material for FDM independently of the machine and the data processing. In this paper, machine and process specific influences are investigated. Considering these influences, a custom-built specimen is created to test the tensile strength of the welding seams for polyamide 6. This procedure allows a machine- and process-independent rating of the processability in terms of tensile strength for different materials.}}, author = {{Schumacher, C. and Schöppner, Volker and Guntermann, J.}}, booktitle = {{28th Annual International Solid Freeform Fabrication Symposium}}, pages = {{470--484}}, title = {{{Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process}}}, doi = {{http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf}}, volume = {{28}}, 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{22049, abstract = {{Um die Materialauswahl für den FDM-Prozess zu steigern, sollten die durch den FDM-Prozess an das Material gestellten Anforderungen bekannt sein. Dazu ist eine von der Maschine und der individuellen Datenaufbereitung möglichst unabhängige Bewertung der FDM-Verarbeitungseignung wünschenswert. In diesem Artikel werden eine Prüfmethode und ein dazu entwickelter Probekörper vorgestellt, mit dem die Schweißnahtfestigkeit verschiedener Polyamid 6 Typen im FDM-Prozess ermittelt und verglichen wird.}}, author = {{Schöppner, Volker and Schumacher, C. and Guntermann, J.}}, isbn = {{1618-8357}}, journal = {{Jahresmagazin Kunststofftechnik}}, number = {{1}}, pages = {{108--114}}, publisher = {{Institut für Wissenschaftliche Veröffentlichungen}}, title = {{{Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess}}}, volume = {{1}}, 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}}, } @inproceedings{91, abstract = {{The interest in business model innovation has risen rapidly in recent years, and software tools for business model development hold great promise for supporting business model innovation. Nonetheless, virtually no design-relevant knowledge exists concerning the functions that such tools should possess. Therefore, we develop a comprehensive taxonomy that identifies characteristic functions of software-based business model development tools. For developing the taxonomy, we draw on prior research on business model innovation, process modeling, and creativity support systems, and we analyze software tools for business model development that have been proposed in practice. The resulting taxonomy can support practitioners in their tool (re-)design and investment decisions, and for researchers can serve as a preliminary step towards more advanced theories for software tools for business model development.}}, author = {{Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}}, booktitle = {{Proceedings of the 23rd Americas Conference on Information Systems (AMCIS)}}, location = {{Boston, USA}}, title = {{{How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}}}, year = {{2017}}, } @inproceedings{92, author = {{Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}}, booktitle = {{Bosch Business Model Innovation Summit 2017}}, location = {{Renningen, Germany}}, title = {{{How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}}}, 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}}, } @misc{94, author = {{Martens, Martin}}, publisher = {{Universität Paderborn}}, title = {{{Geschäftsmodelle elektronischer Handelsplattformen}}}, year = {{2017}}, } @misc{95, author = {{Kundisch, Dennis and John, Thomas}}, booktitle = {{Enzyklopädie der Wirtschaftsinformatik, GITO}}, title = {{{Geschäftsmodell-Modellierungssprache/Business Model Modeling Language}}}, year = {{2017}}, } @article{9514, author = {{Huang, Lingling and Song, Xu and Reineke, Bernhard and Li, Tianyou and Li, Xiaowei and Liu, Juan and Zhang, Shuang and Wang, Yongtian and Zentgraf, Thomas}}, issn = {{2330-4022}}, journal = {{ACS Photonics}}, pages = {{338--346}}, title = {{{Volumetric Generation of Optical Vortices with Metasurfaces}}}, doi = {{10.1021/acsphotonics.6b00808}}, year = {{2017}}, } @inproceedings{77, abstract = {{Das Enterprise Architecture Management stellt umfangreiche Methoden, Modelle und Frameworks f{\"u}r die Modellierung von Unternehmensarchitekturen zur Verf{\"u}gung. Die Entwicklung von Software und deren Integration in IT-Landschaften ist heutzutage zunehmend von Komplexit{\"a}t und Unsicherheit gepr{\"a}gt. Dieser Beitrag (Research-in-progress) m{\"o}chte ein neues Paradigma – das „On-The-Fly Computing“ – vorschlagen, um diesen Herausforderungen zu begegnen, m{\"o}gliche L{\"o}sungsans{\"a}tze zu diskutieren sowie erste Ergebnisse eines Referenzmodells f{\"u}r individualisierte IT-Dienstleistungen in dynamischen Software-M{\"a}rkten dokumentieren.}}, author = {{Szopinski, Daniel and Jazayeri, Bahar and Engels, Gregor and Kundisch, Dennis}}, booktitle = {{Proceedings of the Workshop Enterprise Architecture Management in Forschung und Praxis, INFORMATIK 2017, Chemnitz, Germany}}, pages = {{2059--2066}}, publisher = {{GI}}, title = {{{On-The-Fly Computing: Ein Referenzmodell für individualisierte IT-Dienstleistungen in dynamischen Märkten}}}, year = {{2017}}, } @proceedings{7749, editor = {{Carmona , Josep and Engels, Gregor and Kumar, Akhil }}, publisher = {{Springer}}, title = {{{Business Process Management - 15th International Conference, BPM 2017, Barcelona, Spain, September 10-15, 2017, Proceedings Lecture Notes in Computer Science}}}, volume = {{10445}}, year = {{2017}}, } @proceedings{7750, editor = {{Carmona , Josep and Engels, Gregor and Kumar, Akhil }}, publisher = {{Springer}}, title = {{{Business Process Management Forum - BPM Forum 2017, Barcelona, Spain, September 10 - 15, 2017, Proceedings Lecture Notes in Business Information Processing 297}}}, volume = {{297}}, year = {{2017}}, } @book{7751, editor = {{Spalazzese, Romina and Christin Platenius, Marie and Becker, Steffen and Persson, Per and Engels, Gregor}}, title = {{{Message from the IoT-ASAP Chairs}}}, doi = {{10.1109/ICSAW.2017.67}}, year = {{2017}}, } @proceedings{7754, editor = {{Hess, Steffen and Fischer, Holger Gerhard}}, publisher = {{Gesellschaft für Informatik e.V. und German UPA e.V.}}, title = {{{Mensch und Computer 2017 - Usability Professionals. Tagungsband}}}, year = {{2017}}, } @inproceedings{7755, author = {{Mendes, Jorge and Cunha, Jacome and Duarte, Francisco and Engels, Gregor and Saraiva, Joao and Sauer, Stefan}}, booktitle = {{2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C)}}, isbn = {{9781538615898}}, publisher = {{IEEE}}, title = {{{Towards systematic spreadsheet construction processes}}}, doi = {{10.1109/icse-c.2017.141}}, year = {{2017}}, } @inproceedings{7767, author = {{Schumacher, Jan}}, booktitle = {{Beiträge zum Mathematikunterricht 2017}}, editor = {{Kortenkamp, Ulrich and Kuzle, Ana}}, publisher = {{WTM-Verlag}}, title = {{{Sinnkonstruktion beim Erkunden von Mustern und Strukturen}}}, year = {{2017}}, } @inproceedings{78, abstract = {{The Internet of Things (IoT) connects the things of our everyday life and supports usin our common activities.Several markets for IoT services have been created. These markets enable IoT users to search and compose services in order to support an IoT activity.However, existing IoT markets like IFTTT (If This Then That) are not convenient for users with respect to service discovery and composition.The objective of On-the-fly (OTF) computing is to configure and provide software markets that fulfill individual users' wishes by the automatic on-the-fly composition of single services.The architecture framework of On-the-fly computing markets helps architects to systematically develop these systems in different domains.In this paper, we use our OTF architectural framework to examine the requirements of a reference architecture for IoT markets.Furthermore, we perform a comparison between the architecture of IFTTT as an existing IoT market with this reference architecture. The results show how existing IoT markets can be improved. In return, the practical knowledge of IFTTT is taken to the reference architecture.This knowledge helps to overcome the limitations of today's IoT markets or creating new markets in the future.}}, author = {{Jazayeri, Bahar and Schwichtenberg, Simon}}, booktitle = {{Proceedings of the International Conference on Software Architecture (ICSA) IoT-ASAP Workshop}}, pages = {{120----127}}, publisher = {{IEEE}}, title = {{{On-The-Fly Computing Meets IoT Markets - Towards a Reference Architecture}}}, doi = {{10.1109/ICSAW.2017.59}}, year = {{2017}}, } @inproceedings{79, abstract = {{Consider a problem in which $n$ jobs that are classified into $k$ types arrive over time at their release times and are to be scheduled on a single machine so as to minimize the maximum flow time.The machine requires a setup taking $s$ time units whenever it switches from processing jobs of one type to jobs of a different type.We consider the problem as an online problem where each job is only known to the scheduler as soon as it arrives and where the processing time of a job only becomes known upon its completion (non-clairvoyance).We are interested in the potential of simple ``greedy-like'' algorithms.We analyze a modification of the FIFO strategy and show its competitiveness to be $\Theta(\sqrt{n})$, which is optimal for the considered class of algorithms.For $k=2$ types it achieves a constant competitiveness.Our main insight is obtained by an analysis of the smoothed competitiveness.If processing times $p_j$ are independently perturbed to $\hat p_j = (1+X_j)p_j$, we obtain a competitiveness of $O(\sigma^{-2} \log^2 n)$ when $X_j$ is drawn from a uniform or a (truncated) normal distribution with standard deviation $\sigma$.The result proves that bad instances are fragile and ``practically'' one might expect a much better performance than given by the $\Omega(\sqrt{n})$-bound.}}, author = {{Mäcker, Alexander and Malatyali, Manuel and Meyer auf der Heide, Friedhelm and Riechers, Sören}}, booktitle = {{Proceedings of the 15th Workshop on Approximation and Online Algorithms (WAOA)}}, pages = {{207--222}}, publisher = {{Springer}}, title = {{{Non-Clairvoyant Scheduling to Minimize Max Flow Time on a Machine with Setup Times}}}, doi = {{10.1007/978-3-319-89441-6}}, volume = {{10787}}, year = {{2017}}, }