--- _id: '21938' article_number: '094104' author: - first_name: Feliks full_name: Nüske, Feliks id: '81513' last_name: Nüske orcid: 0000-0003-2444-7889 - first_name: Hao full_name: Wu, Hao last_name: Wu - first_name: Jan-Hendrik full_name: Prinz, Jan-Hendrik last_name: Prinz - first_name: Christoph full_name: Wehmeyer, Christoph last_name: Wehmeyer - first_name: Cecilia full_name: Clementi, Cecilia last_name: Clementi - first_name: Frank full_name: Noé, Frank last_name: Noé citation: ama: Nüske F, Wu H, Prinz J-H, Wehmeyer C, Clementi C, Noé F. Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. The Journal of Chemical Physics. 2017. doi:10.1063/1.4976518 apa: Nüske, F., Wu, H., Prinz, J.-H., Wehmeyer, C., Clementi, C., & Noé, F. (2017). Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias. The Journal of Chemical Physics. https://doi.org/10.1063/1.4976518 bibtex: '@article{Nüske_Wu_Prinz_Wehmeyer_Clementi_Noé_2017, title={Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias}, DOI={10.1063/1.4976518}, number={094104}, journal={The Journal of Chemical Physics}, author={Nüske, Feliks and Wu, Hao and Prinz, Jan-Hendrik and Wehmeyer, Christoph and Clementi, Cecilia and Noé, Frank}, year={2017} }' chicago: Nüske, Feliks, Hao Wu, Jan-Hendrik Prinz, Christoph Wehmeyer, Cecilia Clementi, and Frank Noé. “Markov State Models from Short Non-Equilibrium Simulations—Analysis and Correction of Estimation Bias.” The Journal of Chemical Physics, 2017. https://doi.org/10.1063/1.4976518. ieee: F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, and F. Noé, “Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias,” The Journal of Chemical Physics, 2017. mla: Nüske, Feliks, et al. “Markov State Models from Short Non-Equilibrium Simulations—Analysis and Correction of Estimation Bias.” The Journal of Chemical Physics, 094104, 2017, doi:10.1063/1.4976518. short: F. Nüske, H. Wu, J.-H. Prinz, C. Wehmeyer, C. Clementi, F. Noé, The Journal of Chemical Physics (2017). date_created: 2021-04-30T16:55:31Z date_updated: 2022-01-06T06:55:20Z department: - _id: '101' doi: 10.1063/1.4976518 extern: '1' language: - iso: eng publication: The Journal of Chemical Physics publication_identifier: issn: - 0021-9606 - 1089-7690 publication_status: published status: public title: Markov state models from short non-equilibrium simulations—Analysis and correction of estimation bias type: journal_article user_id: '81513' year: '2017' ... --- _id: '21939' article_number: '154104' author: - first_name: Hao full_name: Wu, Hao last_name: Wu - first_name: Feliks full_name: Nüske, Feliks id: '81513' last_name: Nüske orcid: 0000-0003-2444-7889 - first_name: Fabian full_name: Paul, Fabian last_name: Paul - first_name: Stefan full_name: Klus, Stefan last_name: Klus - first_name: Péter full_name: Koltai, Péter last_name: Koltai - first_name: Frank full_name: Noé, Frank last_name: Noé citation: ama: 'Wu H, Nüske F, Paul F, Klus S, Koltai P, Noé F. Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. The Journal of Chemical Physics. 2017. doi:10.1063/1.4979344' apa: 'Wu, H., Nüske, F., Paul, F., Klus, S., Koltai, P., & Noé, F. (2017). Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations. The Journal of Chemical Physics. https://doi.org/10.1063/1.4979344' bibtex: '@article{Wu_Nüske_Paul_Klus_Koltai_Noé_2017, title={Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations}, DOI={10.1063/1.4979344}, number={154104}, journal={The Journal of Chemical Physics}, author={Wu, Hao and Nüske, Feliks and Paul, Fabian and Klus, Stefan and Koltai, Péter and Noé, Frank}, year={2017} }' chicago: 'Wu, Hao, Feliks Nüske, Fabian Paul, Stefan Klus, Péter Koltai, and Frank Noé. “Variational Koopman Models: Slow Collective Variables and Molecular Kinetics from Short off-Equilibrium Simulations.” The Journal of Chemical Physics, 2017. https://doi.org/10.1063/1.4979344.' ieee: 'H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, and F. Noé, “Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations,” The Journal of Chemical Physics, 2017.' mla: 'Wu, Hao, et al. “Variational Koopman Models: Slow Collective Variables and Molecular Kinetics from Short off-Equilibrium Simulations.” The Journal of Chemical Physics, 154104, 2017, doi:10.1063/1.4979344.' short: H. Wu, F. Nüske, F. Paul, S. Klus, P. Koltai, F. Noé, The Journal of Chemical Physics (2017). date_created: 2021-04-30T16:57:21Z date_updated: 2022-01-06T06:55:20Z department: - _id: '101' doi: 10.1063/1.4979344 extern: '1' language: - iso: eng publication: The Journal of Chemical Physics publication_identifier: issn: - 0021-9606 - 1089-7690 publication_status: published status: public title: 'Variational Koopman models: Slow collective variables and molecular kinetics from short off-equilibrium simulations' type: journal_article user_id: '81513' year: '2017' ... --- _id: '22040' abstract: - lang: eng text: 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: - first_name: F. full_name: Knoop, F. last_name: Knoop - first_name: Tobias full_name: Lieneke, Tobias id: '13956' last_name: Lieneke - first_name: Volker full_name: Schöppner, Volker id: '20530' last_name: Schöppner citation: ama: 'Knoop F, Lieneke T, Schöppner V. Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling. In: Rapid Tech - International Trade Show & Conference for Additive Manufacturing. ; 2017:52-66. doi:10.3139/9783446454606.004' apa: Knoop, F., Lieneke, T., & Schöppner, V. (2017). Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling. Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 52–66. https://doi.org/10.3139/9783446454606.004 bibtex: '@inproceedings{Knoop_Lieneke_Schöppner_2017, title={Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling}, DOI={10.3139/9783446454606.004}, booktitle={Rapid Tech - International Trade Show & Conference for Additive Manufacturing}, author={Knoop, F. and Lieneke, Tobias and Schöppner, Volker}, year={2017}, pages={52–66} }' chicago: Knoop, F., Tobias Lieneke, and Volker Schöppner. “Reproduzierbarkeit Der Maßhaltigkeit Im Fused Deposition Modeling.” In Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 52–66, 2017. https://doi.org/10.3139/9783446454606.004. ieee: 'F. Knoop, T. Lieneke, and V. Schöppner, “Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling,” in Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2017, pp. 52–66, doi: 10.3139/9783446454606.004.' mla: Knoop, F., et al. “Reproduzierbarkeit Der Maßhaltigkeit Im Fused Deposition Modeling.” Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2017, pp. 52–66, doi:10.3139/9783446454606.004. short: 'F. Knoop, T. Lieneke, V. Schöppner, in: Rapid Tech - International Trade Show & Conference for Additive Manufacturing, 2017, pp. 52–66.' date_created: 2021-05-07T13:23:22Z date_updated: 2022-01-06T06:55:23Z department: - _id: '219' - _id: '624' - _id: '367' - _id: '146' - _id: '321' - _id: '9' doi: 10.3139/9783446454606.004 language: - iso: eng page: 52-66 publication: Rapid Tech - International Trade Show & Conference for Additive Manufacturing status: public title: Reproduzierbarkeit der Maßhaltigkeit im Fused Deposition Modeling type: conference user_id: '70729' year: '2017' ... --- _id: '22042' abstract: - lang: eng text: 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: - first_name: C. full_name: Schumacher, C. last_name: Schumacher - first_name: Volker full_name: Schöppner, Volker id: '20530' last_name: Schöppner - first_name: J. full_name: Guntermann, J. last_name: Guntermann citation: ama: 'Schumacher C, Schöppner V, Guntermann J. Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process. In: 28th Annual International Solid Freeform Fabrication Symposium. Vol 28. ; 2017:470-484. doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf' apa: Schumacher, C., Schöppner, V., & Guntermann, J. (2017). Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process. 28th Annual International Solid Freeform Fabrication Symposium, 28, 470–484. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf bibtex: '@inproceedings{Schumacher_Schöppner_Guntermann_2017, title={Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process}, volume={28}, DOI={http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf}, booktitle={28th Annual International Solid Freeform Fabrication Symposium}, author={Schumacher, C. and Schöppner, Volker and Guntermann, J.}, year={2017}, pages={470–484} }' chicago: Schumacher, C., Volker Schöppner, and J. Guntermann. “Considering Machine- and Process-Specific Influences to Create Custom-Built Specimens for the Fused Deposition Modeling Process.” In 28th Annual International Solid Freeform Fabrication Symposium, 28:470–84, 2017. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf. ieee: 'C. Schumacher, V. Schöppner, and J. Guntermann, “Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process,” in 28th Annual International Solid Freeform Fabrication Symposium, 2017, vol. 28, pp. 470–484, doi: http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf.' mla: Schumacher, C., et al. “Considering Machine- and Process-Specific Influences to Create Custom-Built Specimens for the Fused Deposition Modeling Process.” 28th Annual International Solid Freeform Fabrication Symposium, vol. 28, 2017, pp. 470–84, doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf. short: 'C. Schumacher, V. Schöppner, J. Guntermann, in: 28th Annual International Solid Freeform Fabrication Symposium, 2017, pp. 470–484.' date_created: 2021-05-07T13:23:24Z date_updated: 2022-01-06T06:55:23Z department: - _id: '219' - _id: '624' - _id: '367' - _id: '321' - _id: '9' doi: http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/ConsideringMachineandProcessSpecificInfluenc.pdf intvolume: ' 28' language: - iso: eng page: 470-484 publication: 28th Annual International Solid Freeform Fabrication Symposium status: public title: Considering machine- and process-specific influences to create custom-built specimens for the Fused Deposition Modeling process type: conference user_id: '70729' volume: 28 year: '2017' ... --- _id: '22045' abstract: - lang: eng text: 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: - first_name: F. full_name: Knoop, F. last_name: Knoop - first_name: Volker full_name: Schöppner, Volker id: '20530' last_name: Schöppner citation: ama: 'Knoop F, Schöppner V. Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling. In: 28th Annual International Solid Freeform Fabrication Symposium. Vol 28. ; 2017:2757-2776. doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf' apa: Knoop, F., & Schöppner, V. (2017). Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling. 28th Annual International Solid Freeform Fabrication Symposium, 28, 2757–2776. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf bibtex: '@inproceedings{Knoop_Schöppner_2017, title={Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling}, volume={28}, DOI={http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf}, booktitle={28th Annual International Solid Freeform Fabrication Symposium}, author={Knoop, F. and Schöppner, Volker}, year={2017}, pages={2757–2776} }' chicago: Knoop, F., and Volker Schöppner. “Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling.” In 28th Annual International Solid Freeform Fabrication Symposium, 28:2757–76, 2017. http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf. ieee: 'F. Knoop and V. Schöppner, “Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling,” in 28th Annual International Solid Freeform Fabrication Symposium, 2017, vol. 28, pp. 2757–2776, doi: http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf.' mla: Knoop, F., and Volker Schöppner. “Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling.” 28th Annual International Solid Freeform Fabrication Symposium, vol. 28, 2017, pp. 2757–76, doi:http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf. short: 'F. Knoop, V. Schöppner, in: 28th Annual International Solid Freeform Fabrication Symposium, 2017, pp. 2757–2776.' date_created: 2021-05-07T13:23:28Z date_updated: 2022-01-06T06:55:23Z department: - _id: '219' - _id: '624' - _id: '367' - _id: '321' - _id: '9' doi: http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf intvolume: ' 28' language: - iso: eng page: 2757-2776 publication: 28th Annual International Solid Freeform Fabrication Symposium status: public title: Geometrical Accuracy of Holes and Cylinders Manufactured with Fused Deposition Modeling type: conference user_id: '70729' volume: 28 year: '2017' ... --- _id: '22049' abstract: - lang: eng text: 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: - first_name: Volker full_name: Schöppner, Volker id: '20530' last_name: Schöppner - first_name: C. full_name: Schumacher, C. last_name: Schumacher - first_name: J. full_name: Guntermann, J. last_name: Guntermann citation: ama: Schöppner V, Schumacher C, Guntermann J. Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess. Jahresmagazin Kunststofftechnik. 2017;1(1):108-114. apa: Schöppner, V., Schumacher, C., & Guntermann, J. (2017). Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess. Jahresmagazin Kunststofftechnik, 1(1), 108–114. bibtex: '@article{Schöppner_Schumacher_Guntermann_2017, title={Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess}, volume={1}, number={1}, journal={Jahresmagazin Kunststofftechnik}, publisher={Institut für Wissenschaftliche Veröffentlichungen}, author={Schöppner, Volker and Schumacher, C. and Guntermann, J.}, year={2017}, pages={108–114} }' chicago: 'Schöppner, Volker, C. Schumacher, and J. Guntermann. “Beurteilung Der Schweißnahtfestigkeiten Verschiedener Kunststoffe Im FDM-Prozess.” Jahresmagazin Kunststofftechnik 1, no. 1 (2017): 108–14.' ieee: V. Schöppner, C. Schumacher, and J. Guntermann, “Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess,” Jahresmagazin Kunststofftechnik, vol. 1, no. 1, pp. 108–114, 2017. mla: Schöppner, Volker, et al. “Beurteilung Der Schweißnahtfestigkeiten Verschiedener Kunststoffe Im FDM-Prozess.” Jahresmagazin Kunststofftechnik, vol. 1, no. 1, Institut für Wissenschaftliche Veröffentlichungen, 2017, pp. 108–14. short: V. Schöppner, C. Schumacher, J. Guntermann, Jahresmagazin Kunststofftechnik 1 (2017) 108–114. date_created: 2021-05-07T13:23:33Z date_updated: 2022-01-06T06:55:23Z department: - _id: '219' - _id: '624' - _id: '367' - _id: '321' - _id: '9' intvolume: ' 1' issue: '1' language: - iso: eng page: 108-114 publication: Jahresmagazin Kunststofftechnik publication_identifier: isbn: - 1618-8357 publisher: Institut für Wissenschaftliche Veröffentlichungen status: public title: Beurteilung der Schweißnahtfestigkeiten verschiedener Kunststoffe im FDM-Prozess type: journal_article user_id: '70729' volume: 1 year: '2017' ... --- _id: '90' abstract: - lang: eng text: 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: - first_name: Tobias full_name: Isenberg, Tobias last_name: Isenberg citation: ama: Isenberg T. Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems. 2017;(2):47:1-47:24. doi:10.1145/2984640 apa: Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed Systems. ACM Transactions on Embedded Computing Systems, (2), 47:1-47:24. https://doi.org/10.1145/2984640 bibtex: '@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized Timed Systems}, DOI={10.1145/2984640}, number={2}, journal={ACM Transactions on Embedded Computing Systems}, publisher={ACM}, author={Isenberg, Tobias}, year={2017}, pages={47:1-47:24} }' chicago: 'Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2 (2017): 47:1-47:24. https://doi.org/10.1145/2984640.' ieee: T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,” ACM Transactions on Embedded Computing Systems, no. 2, pp. 47:1-47:24, 2017. mla: Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed Systems.” ACM Transactions on Embedded Computing Systems, no. 2, ACM, 2017, pp. 47:1-47:24, doi:10.1145/2984640. short: T. Isenberg, ACM Transactions on Embedded Computing Systems (2017) 47:1-47:24. date_created: 2017-10-17T12:41:09Z date_updated: 2022-01-06T07:04:06Z ddc: - '040' department: - _id: '77' doi: 10.1145/2984640 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-21T13:13:04Z date_updated: 2018-03-21T13:13:04Z file_id: '1572' file_name: 90-a47-isenberg.pdf file_size: 584870 relation: main_file success: 1 file_date_updated: 2018-03-21T13:13:04Z has_accepted_license: '1' issue: '2' language: - iso: eng page: 47:1-47:24 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publication: ACM Transactions on Embedded Computing Systems publisher: ACM status: public title: Incremental Inductive Verification of Parameterized Timed Systems type: journal_article user_id: '477' year: '2017' ... --- _id: '91' abstract: - lang: eng text: 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: - first_name: Daniel full_name: Szopinski, Daniel id: '36372' last_name: Szopinski - first_name: Thorsten full_name: Schoormann, Thorsten last_name: Schoormann - first_name: Thomas full_name: John, Thomas id: '3952' last_name: John - first_name: Ralf full_name: Knackstedt, Ralf last_name: Knackstedt - first_name: Dennis full_name: Kundisch, Dennis id: '21117' last_name: Kundisch citation: ama: 'Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS). ; 2017.' apa: 'Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In Proceedings of the 23rd Americas Conference on Information Systems (AMCIS). Boston, USA.' bibtex: '@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Proceedings of the 23rd Americas Conference on Information Systems (AMCIS)}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }' chicago: 'Szopinski, Daniel, Thorsten Schoormann, Thomas John, Ralf Knackstedt, and Dennis Kundisch. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” In Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.' ieee: 'D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), Boston, USA, 2017.' mla: 'Szopinski, Daniel, et al. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.' short: 'D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS), 2017.' conference: location: Boston, USA name: 23rd Americas Conference on Information Systems (AMCIS) date_created: 2017-10-17T12:41:09Z date_updated: 2022-01-06T07:04:08Z ddc: - '040' department: - _id: '276' file: - access_level: closed content_type: application/pdf creator: dsz date_created: 2018-11-12T13:22:49Z date_updated: 2018-11-12T13:22:49Z file_id: '5503' file_name: AMCIS2017_BMDT.pdf file_size: 912449 relation: main_file success: 1 file_date_updated: 2018-11-12T13:22:49Z has_accepted_license: '1' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '17' name: SFB 901 - Subprojekt C5 - _id: '4' name: SFB 901 - Project Area C publication: Proceedings of the 23rd Americas Conference on Information Systems (AMCIS) status: public title: 'How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools' type: conference user_id: '16205' year: '2017' ... --- _id: '92' author: - first_name: Daniel full_name: Szopinski, Daniel id: '36372' last_name: Szopinski - first_name: Thorsten full_name: Schoormann, Thorsten last_name: Schoormann - first_name: Thomas full_name: John, Thomas id: '3952' last_name: John - first_name: Ralf full_name: Knackstedt, Ralf last_name: Knackstedt - first_name: Dennis full_name: Kundisch, Dennis id: '21117' last_name: Kundisch citation: ama: 'Szopinski D, Schoormann T, John T, Knackstedt R, Kundisch D. How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In: Bosch Business Model Innovation Summit 2017. ; 2017.' apa: 'Szopinski, D., Schoormann, T., John, T., Knackstedt, R., & Kundisch, D. (2017). How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools. In Bosch Business Model Innovation Summit 2017. Renningen, Germany.' bibtex: '@inproceedings{Szopinski_Schoormann_John_Knackstedt_Kundisch_2017, title={How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools}, booktitle={Bosch Business Model Innovation Summit 2017}, author={Szopinski, Daniel and Schoormann, Thorsten and John, Thomas and Knackstedt, Ralf and Kundisch, Dennis}, year={2017} }' chicago: 'Szopinski, Daniel, Thorsten Schoormann, Thomas John, Ralf Knackstedt, and Dennis Kundisch. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” In Bosch Business Model Innovation Summit 2017, 2017.' ieee: 'D. Szopinski, T. Schoormann, T. John, R. Knackstedt, and D. Kundisch, “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools,” in Bosch Business Model Innovation Summit 2017, Renningen, Germany, 2017.' mla: 'Szopinski, Daniel, et al. “How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools.” Bosch Business Model Innovation Summit 2017, 2017.' short: 'D. Szopinski, T. Schoormann, T. John, R. Knackstedt, D. Kundisch, in: Bosch Business Model Innovation Summit 2017, 2017.' conference: location: Renningen, Germany name: Bosch Business Model Innovation Summit 2017 date_created: 2017-10-17T12:41:09Z date_updated: 2022-01-06T07:04:09Z ddc: - '040' department: - _id: '276' file: - access_level: closed content_type: application/pdf creator: dsz date_created: 2018-11-29T15:02:15Z date_updated: 2018-11-29T15:02:15Z file_id: '5981' file_name: Bosch BMI Summit 2017.pdf file_size: 1359194 relation: main_file success: 1 file_date_updated: 2018-11-29T15:02:15Z has_accepted_license: '1' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '17' name: SFB 901 - Subprojekt C5 - _id: '4' name: SFB 901 - Project Area C publication: Bosch Business Model Innovation Summit 2017 status: public title: 'How Software Can Support Innovating Business Models: A Taxonomy of Functions of Business Model Development Tools' type: conference_abstract user_id: '477' year: '2017' ... --- _id: '93' abstract: - lang: eng text: "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.\r\nThe 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: - first_name: Michaela full_name: Geierhos, Michaela id: '42496' last_name: Geierhos orcid: 0000-0002-8180-5606 - first_name: Frederik Simon full_name: Bäumer, Frederik Simon id: '38837' last_name: Bäumer citation: ama: 'Geierhos M, Bäumer FS. Guesswork? Resolving Vagueness in User-Generated Software Requirements. In: Christiansen H, Jiménez-López MD, Loukanova R, Moss LS, eds. Partiality and Underspecification in Information, Languages, and Knowledge. 1st ed. Newcastle upon Tyne, UK: Cambridge Scholars Publishing; 2017:65-108.' apa: 'Geierhos, M., & Bäumer, F. S. (2017). Guesswork? Resolving Vagueness in User-Generated Software Requirements. In H. Christiansen, M. D. Jiménez-López, R. Loukanova, & L. S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge (1st ed., pp. 65–108). Newcastle upon Tyne, UK: Cambridge Scholars Publishing.' bibtex: '@inbook{Geierhos_Bäumer_2017, place={Newcastle upon Tyne, UK}, edition={1}, title={Guesswork? Resolving Vagueness in User-Generated Software Requirements}, booktitle={Partiality and Underspecification in Information, Languages, and Knowledge}, publisher={Cambridge Scholars Publishing}, author={Geierhos, Michaela and Bäumer, Frederik Simon}, editor={Christiansen, Henning and Jiménez-López, M. Dolores and Loukanova, Roussanka and Moss, Lawrence S.Editors}, year={2017}, pages={65–108} }' chicago: 'Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” In Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen, M. Dolores Jiménez-López, Roussanka Loukanova, and Lawrence S. Moss, 1st ed., 65–108. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017.' ieee: 'M. Geierhos and F. S. Bäumer, “Guesswork? Resolving Vagueness in User-Generated Software Requirements,” in Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., H. Christiansen, M. D. Jiménez-López, R. Loukanova, and L. S. Moss, Eds. Newcastle upon Tyne, UK: Cambridge Scholars Publishing, 2017, pp. 65–108.' mla: Geierhos, Michaela, and Frederik Simon Bäumer. “Guesswork? Resolving Vagueness in User-Generated Software Requirements.” Partiality and Underspecification in Information, Languages, and Knowledge, edited by Henning Christiansen et al., 1st ed., Cambridge Scholars Publishing, 2017, pp. 65–108. short: 'M. Geierhos, F.S. Bäumer, in: H. Christiansen, M.D. Jiménez-López, R. Loukanova, L.S. Moss (Eds.), Partiality and Underspecification in Information, Languages, and Knowledge, 1st ed., Cambridge Scholars Publishing, Newcastle upon Tyne, UK, 2017, pp. 65–108.' date_created: 2017-10-17T12:41:09Z date_updated: 2022-01-06T07:04:13Z ddc: - '004' department: - _id: '36' - _id: '1' - _id: '579' edition: '1' editor: - first_name: 'Henning ' full_name: 'Christiansen, Henning ' last_name: Christiansen - first_name: M. Dolores full_name: Jiménez-López, M. Dolores last_name: Jiménez-López - first_name: 'Roussanka ' full_name: 'Loukanova, Roussanka ' last_name: Loukanova - first_name: Lawrence S. full_name: Moss, Lawrence S. last_name: Moss file: - access_level: closed content_type: application/pdf creator: fbaeumer date_created: 2019-01-11T11:43:23Z date_updated: 2019-01-11T11:43:23Z file_id: '6625' file_name: CSP_Chapter_GeierhosBaeumer.pdf file_size: 2888473 relation: main_file success: 1 file_date_updated: 2019-01-11T11:43:23Z has_accepted_license: '1' language: - iso: eng page: 65-108 place: Newcastle upon Tyne, UK project: - _id: '1' name: SFB 901 - _id: '3' name: SFB 901 - Project Area B - _id: '9' name: SFB 901 - Subproject B1 publication: Partiality and Underspecification in Information, Languages, and Knowledge publication_identifier: isbn: - 978-1- 4438-7947-7 publication_status: published publisher: Cambridge Scholars Publishing quality_controlled: '1' status: public title: Guesswork? Resolving Vagueness in User-Generated Software Requirements type: book_chapter user_id: '38837' year: '2017' ...