---
_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'
...