---
_id: '2381'
abstract:
- lang: eng
  text: Metric facility location and K-means are well-known problems of combinatorial
    optimization. Both admit a fairly simple heuristic called single-swap, which adds,
    drops or swaps open facilities until it reaches a local optimum. For both problems,
    it is known that this algorithm produces a solution that is at most a constant
    factor worse than the respective global optimum. In this paper, we show that single-swap
    applied to the weighted metric uncapacitated facility location and weighted discrete
    K-means problem is tightly PLS-complete and hence has exponential worst-case running
    time.
author:
- first_name: Sascha
  full_name: Brauer, Sascha
  id: '13291'
  last_name: Brauer
citation:
  ama: 'Brauer S. Complexity of Single-Swap Heuristics for Metric Facility Location
    and Related Problems. In: Fotakis D, Pagourtzis A, Paschos VT, eds. <i>Lecture
    Notes in Computer Science</i>. Vol 10236. Cham: Springer International Publishing;
    2017:116-127. doi:<a href="https://doi.org/10.1007/978-3-319-57586-5_11">10.1007/978-3-319-57586-5_11</a>'
  apa: 'Brauer, S. (2017). Complexity of Single-Swap Heuristics for Metric Facility
    Location and Related Problems. In D. Fotakis, A. Pagourtzis, &#38; V. T. Paschos
    (Eds.), <i>Lecture Notes in Computer Science</i> (Vol. 10236, pp. 116–127). Cham:
    Springer International Publishing. <a href="https://doi.org/10.1007/978-3-319-57586-5_11">https://doi.org/10.1007/978-3-319-57586-5_11</a>'
  bibtex: '@inbook{Brauer_2017, place={Cham}, title={Complexity of Single-Swap Heuristics
    for Metric Facility Location and Related Problems}, volume={10236}, DOI={<a href="https://doi.org/10.1007/978-3-319-57586-5_11">10.1007/978-3-319-57586-5_11</a>},
    booktitle={Lecture Notes in Computer Science}, publisher={Springer International
    Publishing}, author={Brauer, Sascha}, editor={Fotakis, Dimitris and Pagourtzis,
    Aris and Paschos, Vangelis Th.Editors}, year={2017}, pages={116–127} }'
  chicago: 'Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility
    Location and Related Problems.” In <i>Lecture Notes in Computer Science</i>, edited
    by Dimitris Fotakis, Aris Pagourtzis, and Vangelis Th. Paschos, 10236:116–27.
    Cham: Springer International Publishing, 2017. <a href="https://doi.org/10.1007/978-3-319-57586-5_11">https://doi.org/10.1007/978-3-319-57586-5_11</a>.'
  ieee: 'S. Brauer, “Complexity of Single-Swap Heuristics for Metric Facility Location
    and Related Problems,” in <i>Lecture Notes in Computer Science</i>, vol. 10236,
    D. Fotakis, A. Pagourtzis, and V. T. Paschos, Eds. Cham: Springer International
    Publishing, 2017, pp. 116–127.'
  mla: Brauer, Sascha. “Complexity of Single-Swap Heuristics for Metric Facility Location
    and Related Problems.” <i>Lecture Notes in Computer Science</i>, edited by Dimitris
    Fotakis et al., vol. 10236, Springer International Publishing, 2017, pp. 116–27,
    doi:<a href="https://doi.org/10.1007/978-3-319-57586-5_11">10.1007/978-3-319-57586-5_11</a>.
  short: 'S. Brauer, in: D. Fotakis, A. Pagourtzis, V.T. Paschos (Eds.), Lecture Notes
    in Computer Science, Springer International Publishing, Cham, 2017, pp. 116–127.'
conference:
  end_date: 2017-05-26
  location: Athens, Greece
  name: 10th International Conference on Algorithms and Complexity
  start_date: 2017-05-24
date_created: 2018-04-17T12:20:53Z
date_updated: 2022-01-06T06:56:00Z
department:
- _id: '64'
doi: 10.1007/978-3-319-57586-5_11
editor:
- first_name: Dimitris
  full_name: Fotakis, Dimitris
  last_name: Fotakis
- first_name: Aris
  full_name: Pagourtzis, Aris
  last_name: Pagourtzis
- first_name: Vangelis Th.
  full_name: Paschos, Vangelis Th.
  last_name: Paschos
intvolume: '     10236'
language:
- iso: eng
page: 116-127
place: Cham
publication: Lecture Notes in Computer Science
publication_identifier:
  isbn:
  - '9783319575858'
  - '9783319575865'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer International Publishing
status: public
title: Complexity of Single-Swap Heuristics for Metric Facility Location and Related
  Problems
type: book_chapter
user_id: '13291'
volume: 10236
year: '2017'
...
---
_id: '23910'
author:
- first_name: Anatolii
  full_name: Andreiev, Anatolii
  id: '50215'
  last_name: Andreiev
- first_name: Olexandr
  full_name: Grydin, Olexandr
  id: '43822'
  last_name: Grydin
- first_name: Mirko
  full_name: Schaper, Mirko
  id: '43720'
  last_name: Schaper
citation:
  ama: 'Andreiev A, Grydin O, Schaper M. A Rapid Heating Method for Press Hardening
    Processing. In: <i>Proceedings of the 3rd Pan American Materials Congress</i>.
    Cham; 2017. doi:<a href="https://doi.org/10.1007/978-3-319-52132-9_72">10.1007/978-3-319-52132-9_72</a>'
  apa: Andreiev, A., Grydin, O., &#38; Schaper, M. (2017). A Rapid Heating Method
    for Press Hardening Processing. In <i>Proceedings of the 3rd Pan American Materials
    Congress</i>. Cham. <a href="https://doi.org/10.1007/978-3-319-52132-9_72">https://doi.org/10.1007/978-3-319-52132-9_72</a>
  bibtex: '@inbook{Andreiev_Grydin_Schaper_2017, place={Cham}, title={A Rapid Heating
    Method for Press Hardening Processing}, DOI={<a href="https://doi.org/10.1007/978-3-319-52132-9_72">10.1007/978-3-319-52132-9_72</a>},
    booktitle={Proceedings of the 3rd Pan American Materials Congress}, author={Andreiev,
    Anatolii and Grydin, Olexandr and Schaper, Mirko}, year={2017} }'
  chicago: Andreiev, Anatolii, Olexandr Grydin, and Mirko Schaper. “A Rapid Heating
    Method for Press Hardening Processing.” In <i>Proceedings of the 3rd Pan American
    Materials Congress</i>. Cham, 2017. <a href="https://doi.org/10.1007/978-3-319-52132-9_72">https://doi.org/10.1007/978-3-319-52132-9_72</a>.
  ieee: A. Andreiev, O. Grydin, and M. Schaper, “A Rapid Heating Method for Press
    Hardening Processing,” in <i>Proceedings of the 3rd Pan American Materials Congress</i>,
    Cham, 2017.
  mla: Andreiev, Anatolii, et al. “A Rapid Heating Method for Press Hardening Processing.”
    <i>Proceedings of the 3rd Pan American Materials Congress</i>, 2017, doi:<a href="https://doi.org/10.1007/978-3-319-52132-9_72">10.1007/978-3-319-52132-9_72</a>.
  short: 'A. Andreiev, O. Grydin, M. Schaper, in: Proceedings of the 3rd Pan American
    Materials Congress, Cham, 2017.'
date_created: 2021-09-08T07:32:09Z
date_updated: 2022-01-06T06:56:04Z
department:
- _id: '158'
- _id: '321'
doi: 10.1007/978-3-319-52132-9_72
language:
- iso: eng
place: Cham
publication: Proceedings of the 3rd Pan American Materials Congress
publication_identifier:
  issn:
  - 2367-1181
  - 2367-1696
publication_status: published
status: public
title: A Rapid Heating Method for Press Hardening Processing
type: book_chapter
user_id: '50215'
year: '2017'
...
---
_id: '2050'
author:
- first_name: Dieter
  full_name: Krimphove, Dieter
  id: '282'
  last_name: Krimphove
citation:
  ama: 'Krimphove D. Kommentierung § 3 GWB (Mittelstandskartelle). In: Busche J, Röhling
    A, eds. <i>Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)</i>. Köln:
    Carl Heymanns Verlag KG; 2017:466 – 538.'
  apa: 'Krimphove, D. (2017). Kommentierung § 3 GWB (Mittelstandskartelle). In J.
    Busche &#38; A. Röhling (Eds.), <i>Kölner Kommentar zum Kartellrecht Bd. 1 ( §§
    1 – 34a GWB)</i> (pp. 466 – 538). Köln: Carl Heymanns Verlag KG.'
  bibtex: '@inbook{Krimphove_2017, place={Köln}, title={Kommentierung § 3 GWB (Mittelstandskartelle)},
    booktitle={Kölner Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)}, publisher={Carl
    Heymanns Verlag KG}, author={Krimphove, Dieter}, editor={Busche, Jan and Röhling,
    AndreasEditors}, year={2017}, pages={466 – 538} }'
  chicago: 'Krimphove, Dieter. “Kommentierung § 3 GWB (Mittelstandskartelle).” In
    <i>Kölner Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)</i>, edited by Jan
    Busche and Andreas Röhling, 466 – 538. Köln: Carl Heymanns Verlag KG, 2017.'
  ieee: 'D. Krimphove, “Kommentierung § 3 GWB (Mittelstandskartelle),” in <i>Kölner
    Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)</i>, J. Busche and A. Röhling,
    Eds. Köln: Carl Heymanns Verlag KG, 2017, pp. 466 – 538.'
  mla: Krimphove, Dieter. “Kommentierung § 3 GWB (Mittelstandskartelle).” <i>Kölner
    Kommentar Zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)</i>, edited by Jan Busche and
    Andreas Röhling, Carl Heymanns Verlag KG, 2017, pp. 466 – 538.
  short: 'D. Krimphove, in: J. Busche, A. Röhling (Eds.), Kölner Kommentar Zum Kartellrecht
    Bd. 1 ( §§ 1 – 34a GWB), Carl Heymanns Verlag KG, Köln, 2017, pp. 466 – 538.'
date_created: 2018-03-29T12:52:52Z
date_updated: 2022-01-06T06:54:28Z
editor:
- first_name: Jan
  full_name: Busche, Jan
  last_name: Busche
- first_name: Andreas
  full_name: Röhling, Andreas
  last_name: Röhling
page: 466 – 538
place: Köln
publication: Kölner Kommentar zum Kartellrecht Bd. 1 ( §§ 1 – 34a GWB)
publisher: Carl Heymanns Verlag KG
status: public
title: Kommentierung § 3 GWB (Mittelstandskartelle)
type: book_chapter
user_id: '282'
year: '2017'
...
---
_id: '20552'
abstract:
- lang: eng
  text: Das Zukunftsszenario der Industrie 4.0 ist gepr{\"a}gt durch einen massiven
    Anstieg der unternehmens{\"u}bergreifenden Vernetzung. Um einer Bedrohung durch
    unautorisierte Weitergabe oder Sabotage vertraulicher Daten entgegenzuwirken,
    muss der Informationssicherheit bereits im Entwurf der cyber-physischen Produktionssysteme
    ein hoher Stellenwert einger{\"a}umt werden. Dieses Paradigma wird als Security
    by Design bezeichnet. {\"U}ber den gesamten Entstehungsprozess hinweg muss nachverfolgt
    werden k{\"o}nnen, ob die Systeme spezifische Anforderungen an die Informationssicherheit
    erf{\"u}llen und damit die Eigenschaft der Industrial Security gew{\"a}hrleisten.
    Dieser Beitrag stellt einen Entwurfsansatz zur Nachverfolgung der Informationssicherheit
    vor, der durch Integration softwaretechnischer Methoden in das Systems Engineering
    eine Entwicklung nach dem Paradigma Security by Design erm{\"o}glicht.
author:
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Wilhelm
  full_name: Schäfer, Wilhelm
  last_name: Schäfer
citation:
  ama: 'Gerking C, Bodden E, Schäfer W. Industrial Security by Design. In: Maier GW,
    Engels G, Steffen E, eds. <i>Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten</i>.
    Springer Berlin Heidelberg; 2017:1-24. doi:<a href="https://doi.org/10.1007/978-3-662-52903-4_8-1">10.1007/978-3-662-52903-4_8-1</a>'
  apa: Gerking, C., Bodden, E., &#38; Schäfer, W. (2017). Industrial Security by Design.
    In G. W. Maier, G. Engels, &#38; E. Steffen (Eds.), <i>Handbuch Gestaltung digitaler
    und vernetzter Arbeitswelten</i> (pp. 1–24). Springer Berlin Heidelberg. <a href="https://doi.org/10.1007/978-3-662-52903-4_8-1">https://doi.org/10.1007/978-3-662-52903-4_8-1</a>
  bibtex: '@inbook{Gerking_Bodden_Schäfer_2017, place={Berlin, Heidelberg}, title={Industrial
    Security by Design}, DOI={<a href="https://doi.org/10.1007/978-3-662-52903-4_8-1">10.1007/978-3-662-52903-4_8-1</a>},
    booktitle={Handbuch Gestaltung digitaler und vernetzter Arbeitswelten}, publisher={Springer
    Berlin Heidelberg}, author={Gerking, Christopher and Bodden, Eric and Schäfer,
    Wilhelm}, editor={Maier, Günter W. and Engels, Gregor and Steffen, Eckhard}, year={2017},
    pages={1–24} }'
  chicago: 'Gerking, Christopher, Eric Bodden, and Wilhelm Schäfer. “Industrial Security
    by Design.” In <i>Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten</i>,
    edited by Günter W. Maier, Gregor Engels, and Eckhard Steffen, 1–24. Berlin, Heidelberg:
    Springer Berlin Heidelberg, 2017. <a href="https://doi.org/10.1007/978-3-662-52903-4_8-1">https://doi.org/10.1007/978-3-662-52903-4_8-1</a>.'
  ieee: 'C. Gerking, E. Bodden, and W. Schäfer, “Industrial Security by Design,” in
    <i>Handbuch Gestaltung digitaler und vernetzter Arbeitswelten</i>, G. W. Maier,
    G. Engels, and E. Steffen, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg,
    2017, pp. 1–24.'
  mla: Gerking, Christopher, et al. “Industrial Security by Design.” <i>Handbuch Gestaltung
    Digitaler Und Vernetzter Arbeitswelten</i>, edited by Günter W. Maier et al.,
    Springer Berlin Heidelberg, 2017, pp. 1–24, doi:<a href="https://doi.org/10.1007/978-3-662-52903-4_8-1">10.1007/978-3-662-52903-4_8-1</a>.
  short: 'C. Gerking, E. Bodden, W. Schäfer, in: G.W. Maier, G. Engels, E. Steffen
    (Eds.), Handbuch Gestaltung Digitaler Und Vernetzter Arbeitswelten, Springer Berlin
    Heidelberg, Berlin, Heidelberg, 2017, pp. 1–24.'
date_created: 2020-11-30T09:56:23Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1007/978-3-662-52903-4_8-1
editor:
- first_name: Günter W.
  full_name: Maier, Günter W.
  last_name: Maier
- first_name: Gregor
  full_name: Engels, Gregor
  last_name: Engels
- first_name: Eckhard
  full_name: Steffen, Eckhard
  last_name: Steffen
keyword:
- ITSECWEBSITE
language:
- iso: eng
page: 1-24
place: Berlin, Heidelberg
publication: Handbuch Gestaltung digitaler und vernetzter Arbeitswelten
publication_identifier:
  isbn:
  - 978-3-662-52903-4
publisher: Springer Berlin Heidelberg
status: public
title: Industrial Security by Design
type: book_chapter
user_id: '5786'
year: '2017'
...
---
_id: '20792'
author:
- first_name: Stefano
  full_name: Schivo, Stefano
  last_name: Schivo
- first_name: Bugra M.
  full_name: Yildiz., Bugra M.
  last_name: Yildiz.
- first_name: Enno
  full_name: Ruijters, Enno
  last_name: Ruijters
- first_name: Christopher
  full_name: Gerking, Christopher
  last_name: Gerking
- first_name: Rajesh
  full_name: Kumar, Rajesh
  last_name: Kumar
- first_name: Stefan
  full_name: Dziwok, Stefan
  id: '3901'
  last_name: Dziwok
  orcid: http://orcid.org/0000-0002-8679-6673
- first_name: Arend
  full_name: Rensink, Arend
  last_name: Rensink
- first_name: Mariëlle
  full_name: Stoelinga, Mariëlle
  last_name: Stoelinga
citation:
  ama: 'Schivo S, Yildiz. BM, Ruijters E, et al. How to Efficiently Build a Front-End
    Tool for UPPAAL: A Model-Driven Approach. In: Larsen KG, Sokolsky O, Wang J, eds.
    <i>Dependable Software Engineering, 3rd International Symposium (SETTA 2017)</i>.
    Lecture Notes in Computer Science. Springer; 2017:319-336. doi:<a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>'
  apa: 'Schivo, S., Yildiz., B. M., Ruijters, E., Gerking, C., Kumar, R., Dziwok,
    S., Rensink, A., &#38; Stoelinga, M. (2017). How to Efficiently Build a Front-End
    Tool for UPPAAL: A Model-Driven Approach. In K. G. Larsen, O. Sokolsky, &#38;
    J. Wang (Eds.), <i>Dependable Software Engineering, 3rd International Symposium
    (SETTA 2017)</i> (Issue 10606, pp. 319–336). Springer. <a href="https://doi.org/10.1007/978-3-319-69483-2_19">https://doi.org/10.1007/978-3-319-69483-2_19</a>'
  bibtex: '@inproceedings{Schivo_Yildiz._Ruijters_Gerking_Kumar_Dziwok_Rensink_Stoelinga_2017,
    place={Changsha}, series={Lecture Notes in Computer Science}, title={How to Efficiently
    Build a Front-End Tool for UPPAAL: A Model-Driven Approach}, DOI={<a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>},
    number={10606}, booktitle={Dependable Software Engineering, 3rd International
    Symposium (SETTA 2017)}, publisher={Springer}, author={Schivo, Stefano and Yildiz.,
    Bugra M. and Ruijters, Enno and Gerking, Christopher and Kumar, Rajesh and Dziwok,
    Stefan and Rensink, Arend and Stoelinga, Mariëlle}, editor={Larsen, Kim G. and
    Sokolsky, Oleg and Wang, Ji}, year={2017}, pages={319–336}, collection={Lecture
    Notes in Computer Science} }'
  chicago: 'Schivo, Stefano, Bugra M. Yildiz., Enno Ruijters, Christopher Gerking,
    Rajesh Kumar, Stefan Dziwok, Arend Rensink, and Mariëlle Stoelinga. “How to Efficiently
    Build a Front-End Tool for UPPAAL: A Model-Driven Approach.” In <i>Dependable
    Software Engineering, 3rd International Symposium (SETTA 2017)</i>, edited by
    Kim G. Larsen, Oleg Sokolsky, and Ji Wang, 319–36. Lecture Notes in Computer Science.
    Changsha: Springer, 2017. <a href="https://doi.org/10.1007/978-3-319-69483-2_19">https://doi.org/10.1007/978-3-319-69483-2_19</a>.'
  ieee: 'S. Schivo <i>et al.</i>, “How to Efficiently Build a Front-End Tool for UPPAAL:
    A Model-Driven Approach,” in <i>Dependable Software Engineering, 3rd International
    Symposium (SETTA 2017)</i>, 2017, no. 10606, pp. 319–336, doi: <a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>.'
  mla: 'Schivo, Stefano, et al. “How to Efficiently Build a Front-End Tool for UPPAAL:
    A Model-Driven Approach.” <i>Dependable Software Engineering, 3rd International
    Symposium (SETTA 2017)</i>, edited by Kim G. Larsen et al., no. 10606, Springer,
    2017, pp. 319–36, doi:<a href="https://doi.org/10.1007/978-3-319-69483-2_19">10.1007/978-3-319-69483-2_19</a>.'
  short: 'S. Schivo, B.M. Yildiz., E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A.
    Rensink, M. Stoelinga, in: K.G. Larsen, O. Sokolsky, J. Wang (Eds.), Dependable
    Software Engineering, 3rd International Symposium (SETTA 2017), Springer, Changsha,
    2017, pp. 319–336.'
date_created: 2020-12-17T13:30:15Z
date_updated: 2022-01-06T06:54:38Z
department:
- _id: '76'
- _id: '241'
doi: 10.1007/978-3-319-69483-2_19
editor:
- first_name: Kim G.
  full_name: Larsen, Kim G.
  last_name: Larsen
- first_name: Oleg
  full_name: Sokolsky, Oleg
  last_name: Sokolsky
- first_name: Ji
  full_name: Wang, Ji
  last_name: Wang
issue: '10606'
language:
- iso: eng
page: 319-336
place: Changsha
publication: Dependable Software Engineering, 3rd International Symposium (SETTA 2017)
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach'
type: conference
user_id: '5786'
year: '2017'
...
---
_id: '18026'
author:
- first_name: 'Michél '
  full_name: 'Burkhardt, Michél '
  last_name: Burkhardt
citation:
  ama: Burkhardt M. <i>Untersuchungen Zum Cone-Hashing</i>. Universität Paderborn;
    2017.
  apa: Burkhardt, M. (2017). <i>Untersuchungen zum Cone-Hashing</i>. Universität Paderborn.
  bibtex: '@book{Burkhardt_2017, title={Untersuchungen zum Cone-Hashing}, publisher={Universität
    Paderborn}, author={Burkhardt, Michél }, year={2017} }'
  chicago: Burkhardt, Michél . <i>Untersuchungen Zum Cone-Hashing</i>. Universität
    Paderborn, 2017.
  ieee: M. Burkhardt, <i>Untersuchungen zum Cone-Hashing</i>. Universität Paderborn,
    2017.
  mla: Burkhardt, Michél. <i>Untersuchungen Zum Cone-Hashing</i>. Universität Paderborn,
    2017.
  short: M. Burkhardt, Untersuchungen Zum Cone-Hashing, Universität Paderborn, 2017.
date_created: 2020-08-18T08:39:19Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '2'
  name: SFB 901 - Project Area A
- _id: '5'
  name: SFB 901 - Subproject A1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Untersuchungen zum Cone-Hashing
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18028'
author:
- first_name: Andreas
  full_name: Schenk, Andreas
  last_name: Schenk
citation:
  ama: Schenk A. <i>Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen</i>.
    Universität Paderborn; 2017.
  apa: Schenk, A. (2017). <i>Monotone Suchbarkeit in mehrdimensionalen verteilten
    Datenstrukturen</i>. Universität Paderborn.
  bibtex: '@book{Schenk_2017, title={Monotone Suchbarkeit in mehrdimensionalen verteilten
    Datenstrukturen}, publisher={Universität Paderborn}, author={Schenk, Andreas},
    year={2017} }'
  chicago: Schenk, Andreas. <i>Monotone Suchbarkeit in Mehrdimensionalen Verteilten
    Datenstrukturen</i>. Universität Paderborn, 2017.
  ieee: A. Schenk, <i>Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen</i>.
    Universität Paderborn, 2017.
  mla: Schenk, Andreas. <i>Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen</i>.
    Universität Paderborn, 2017.
  short: A. Schenk, Monotone Suchbarkeit in Mehrdimensionalen Verteilten Datenstrukturen,
    Universität Paderborn, 2017.
date_created: 2020-08-18T08:41:42Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '5'
  name: SFB 901 - Subproject A1
- _id: '2'
  name: SFB 901 - Project Area A
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Monotone Suchbarkeit in mehrdimensionalen verteilten Datenstrukturen
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '18029'
author:
- first_name: Björn
  full_name: Beckendorf, Björn
  last_name: Beckendorf
citation:
  ama: Beckendorf B. <i>Visualisierung Zu Algorithmen Verteilter Netzwerksysteme</i>.
    Universität Paderborn; 2017.
  apa: Beckendorf, B. (2017). <i>Visualisierung zu Algorithmen verteilter Netzwerksysteme</i>.
    Universität Paderborn.
  bibtex: '@book{Beckendorf_2017, title={Visualisierung zu Algorithmen verteilter
    Netzwerksysteme}, publisher={Universität Paderborn}, author={Beckendorf, Björn},
    year={2017} }'
  chicago: Beckendorf, Björn. <i>Visualisierung Zu Algorithmen Verteilter Netzwerksysteme</i>.
    Universität Paderborn, 2017.
  ieee: B. Beckendorf, <i>Visualisierung zu Algorithmen verteilter Netzwerksysteme</i>.
    Universität Paderborn, 2017.
  mla: Beckendorf, Björn. <i>Visualisierung Zu Algorithmen Verteilter Netzwerksysteme</i>.
    Universität Paderborn, 2017.
  short: B. Beckendorf, Visualisierung Zu Algorithmen Verteilter Netzwerksysteme,
    Universität Paderborn, 2017.
date_created: 2020-08-18T08:42:36Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '79'
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '2'
  name: SFB 901 - Project Area A
- _id: '5'
  name: SFB 901 - Subproject A1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Visualisierung zu Algorithmen verteilter Netzwerksysteme
type: bachelorsthesis
user_id: '477'
year: '2017'
...
---
_id: '1815'
author:
- first_name: Joshua
  full_name: J. Daymude, Joshua
  last_name: J. Daymude
- first_name: Robert
  full_name: Gmyr, Robert
  last_name: Gmyr
- first_name: Andrea
  full_name: W. Richa, Andrea
  last_name: W. Richa
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
- first_name: Thim Frederik
  full_name: Strothmann, Thim Frederik
  id: '11319'
  last_name: Strothmann
citation:
  ama: 'J. Daymude J, Gmyr R, W. Richa A, Scheideler C, Strothmann TF. Improved Leader
    Election for Self-organizing Programmable Matter. In: <i>Algorithms for Sensor
    Systems - 13th International Symposium on Algorithms and Experiments for Wireless
    Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8, 2017, Revised
    Selected Papers</i>. ; 2017:127--140. doi:<a href="https://doi.org/10.1007/978-3-319-72751-6_10">10.1007/978-3-319-72751-6_10</a>'
  apa: J. Daymude, J., Gmyr, R., W. Richa, A., Scheideler, C., &#38; Strothmann, T.
    F. (2017). Improved Leader Election for Self-organizing Programmable Matter. In
    <i>Algorithms for Sensor Systems - 13th International Symposium on Algorithms
    and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
    September 7-8, 2017, Revised Selected Papers</i> (pp. 127--140). <a href="https://doi.org/10.1007/978-3-319-72751-6_10">https://doi.org/10.1007/978-3-319-72751-6_10</a>
  bibtex: '@inproceedings{J. Daymude_Gmyr_W. Richa_Scheideler_Strothmann_2017, title={Improved
    Leader Election for Self-organizing Programmable Matter}, DOI={<a href="https://doi.org/10.1007/978-3-319-72751-6_10">10.1007/978-3-319-72751-6_10</a>},
    booktitle={Algorithms for Sensor Systems - 13th International Symposium on Algorithms
    and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
    September 7-8, 2017, Revised Selected Papers}, author={J. Daymude, Joshua and
    Gmyr, Robert and W. Richa, Andrea and Scheideler, Christian and Strothmann, Thim
    Frederik}, year={2017}, pages={127--140} }'
  chicago: J. Daymude, Joshua, Robert Gmyr, Andrea W. Richa, Christian Scheideler,
    and Thim Frederik Strothmann. “Improved Leader Election for Self-Organizing Programmable
    Matter.” In <i>Algorithms for Sensor Systems - 13th International Symposium on
    Algorithms and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna,
    Austria, September 7-8, 2017, Revised Selected Papers</i>, 127--140, 2017. <a
    href="https://doi.org/10.1007/978-3-319-72751-6_10">https://doi.org/10.1007/978-3-319-72751-6_10</a>.
  ieee: J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, and T. F. Strothmann,
    “Improved Leader Election for Self-organizing Programmable Matter,” in <i>Algorithms
    for Sensor Systems - 13th International Symposium on Algorithms and Experiments
    for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September 7-8,
    2017, Revised Selected Papers</i>, 2017, pp. 127--140.
  mla: J. Daymude, Joshua, et al. “Improved Leader Election for Self-Organizing Programmable
    Matter.” <i>Algorithms for Sensor Systems - 13th International Symposium on Algorithms
    and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
    September 7-8, 2017, Revised Selected Papers</i>, 2017, pp. 127--140, doi:<a href="https://doi.org/10.1007/978-3-319-72751-6_10">10.1007/978-3-319-72751-6_10</a>.
  short: 'J. J. Daymude, R. Gmyr, A. W. Richa, C. Scheideler, T.F. Strothmann, in:
    Algorithms for Sensor Systems - 13th International Symposium on Algorithms and
    Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria, September
    7-8, 2017, Revised Selected Papers, 2017, pp. 127--140.'
date_created: 2018-03-27T11:25:58Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '79'
doi: 10.1007/978-3-319-72751-6_10
language:
- iso: eng
page: 127--140
publication: Algorithms for Sensor Systems - 13th International Symposium on Algorithms
  and Experiments for Wireless Sensor Networks, ALGOSENSORS 2017, Vienna, Austria,
  September 7-8, 2017, Revised Selected Papers
status: public
title: Improved Leader Election for Self-organizing Programmable Matter
type: conference
user_id: '15504'
year: '2017'
...
---
_id: '22419'
abstract:
- lang: eng
  text: Schwingungen und Vibrationen sind in Technik und Alltag häufig anzutreffen.
    Meist sind sie unerwünscht und müssen durch Dämpfung reduziert werden. Hierzu
    werden aktuell häufig zusätzlich zu montierende Dämpfungselemente eingesetzt.
    Diese sind durch zusätzlichen Montageaufwand und erhöhte Kosten gekennzeichnet.
    Durch die zusätzliche Masse wird Leichtbauansätzen widersprochen. Additive Fertigungsverfahren
    bieten große Freiheiten in der Bauteilgestaltung. Dies ermöglicht ein hohes Maß
    an Funktionsintegration. So ergeben sich auch im Bereich der Schwingungsdämpfung
    Möglichkeiten zur gezielten Integration von Dämpfungsfunktionen durch die Eigenschaften
    der additiven Fertigungsverfahren. Mittels der pulverbasierten Verfahren kann
    disperses Stützmaterial innerhalb von Hohlräumen in der Struktur belassen werden.
    Dieses Pulvermaterial kann als Partikeldämpfer fungieren. Durch die Freiheiten
    in der Bauteilgestalt kann die Dämpfungswirkung über die geometrischen Merkmale
    der Hohlräume gezielt eingestellt werden. Im Rahmen dieses Beitrags werden speziell
    Untersuchungen zur Dämpfungswirkung additiv gefertigter Bauteile bei freien Biegeschwingungen
    betrachtet. Die praxisnahe Umsetzung zur Funktionsintegration von Dämpfungsstrukturen
    erfolgt am Beispiel der Ankerscheibe einer Federkraftbremse. Hier kann durch die
    additive Fertigung verbunden mit der Funktionsintegration von Partikeldämpfern
    eine Reduzierung der Schallabstrahlung für den Schaltvorgang der Bremse erreicht
    werden.
author:
- first_name: Thomas
  full_name: Künneke, Thomas
  id: '13226'
  last_name: Künneke
- first_name: Detmar
  full_name: Zimmer, Detmar
  id: '604'
  last_name: Zimmer
citation:
  ama: Künneke T, Zimmer D. <i>Funktionsintegration Additiv Gefertigter Dämpfungsstrukturen
    Bei Biegeschwingungen</i>. Springer Fachmedien Wiesbaden GmbH; 2017:61-74. doi:<a
    href="https://doi.org/10.1007/978-3-658-17780-5">10.1007/978-3-658-17780-5</a>
  apa: Künneke, T., &#38; Zimmer, D. (2017). <i>Funktionsintegration additiv gefertigter
    Dämpfungsstrukturen bei Biegeschwingungen</i> (pp. 61–74). Springer Fachmedien
    Wiesbaden GmbH. <a href="https://doi.org/10.1007/978-3-658-17780-5">https://doi.org/10.1007/978-3-658-17780-5</a>
  bibtex: '@book{Künneke_Zimmer_2017, title={Funktionsintegration additiv gefertigter
    Dämpfungsstrukturen bei Biegeschwingungen}, DOI={<a href="https://doi.org/10.1007/978-3-658-17780-5">10.1007/978-3-658-17780-5</a>},
    publisher={Springer Fachmedien Wiesbaden GmbH}, author={Künneke, Thomas and Zimmer,
    Detmar}, year={2017}, pages={61–74} }'
  chicago: Künneke, Thomas, and Detmar Zimmer. <i>Funktionsintegration Additiv Gefertigter
    Dämpfungsstrukturen Bei Biegeschwingungen</i>. Springer Fachmedien Wiesbaden GmbH,
    2017. <a href="https://doi.org/10.1007/978-3-658-17780-5">https://doi.org/10.1007/978-3-658-17780-5</a>.
  ieee: T. Künneke and D. Zimmer, <i>Funktionsintegration additiv gefertigter Dämpfungsstrukturen
    bei Biegeschwingungen</i>. Springer Fachmedien Wiesbaden GmbH, 2017, pp. 61–74.
  mla: Künneke, Thomas, and Detmar Zimmer. <i>Funktionsintegration Additiv Gefertigter
    Dämpfungsstrukturen Bei Biegeschwingungen</i>. Springer Fachmedien Wiesbaden GmbH,
    2017, pp. 61–74, doi:<a href="https://doi.org/10.1007/978-3-658-17780-5">10.1007/978-3-658-17780-5</a>.
  short: T. Künneke, D. Zimmer, Funktionsintegration Additiv Gefertigter Dämpfungsstrukturen
    Bei Biegeschwingungen, Springer Fachmedien Wiesbaden GmbH, 2017.
date_created: 2021-06-15T11:09:49Z
date_updated: 2022-01-06T06:55:32Z
department:
- _id: '9'
- _id: '146'
- _id: '219'
- _id: '624'
doi: 10.1007/978-3-658-17780-5
language:
- iso: eng
page: 61-74
publication_identifier:
  isbn:
  - 978-3-658-17780-5
publisher: Springer Fachmedien Wiesbaden GmbH
status: public
title: Funktionsintegration additiv gefertigter Dämpfungsstrukturen bei Biegeschwingungen
type: book
user_id: '38077'
year: '2017'
...
---
_id: '22420'
abstract:
- lang: eng
  text: 'Additive Fertigungsverfahren (engl.: Additive Manufacturing, kurz: AM) ermöglichen
    die werkzeuglose Herstellung von Komponenten und kompletten Baugruppen direkt
    aus dem 3D-CAD-Modell. Insbesondere additiv hergestellte Leichtbaukonstruktionen
    weisen ein hohes Potential für den Elektromaschinenbau auf. In diesem Paper werden
    erste Ansätze zur additiven Fertigung einer Rotorwelle für eine permanentmagneterregte
    Synchronmaschine (PMSM) aufgezeigt. Die Verbesserung einer ausgeprägten Leichtbaukonstruktion
    der Rotorwelle sowie die Charakterisierung des additiv verarbeiteten Werkstoffs
    werden aufgeführt. Hierzu wurden Prüfkörper aus dem Werkstoffs H13 (1.2344) hergestellt.
    Des Weiteren wurden Prüfkörper additiv gefertigter Gitterstrukturen entwickelt
    und untersucht. Zur Werkstoffcharakterisierung wurden sowohl mechanische Eigenschaften
    ermittelt, wie die Streckgrenze, die Zugfestigkeit und die Härte als auch elektromagnetische
    Eigenschaften, wie die Koerzitivfeldstärke, die elektrische Leitfähigkeit und
    die Permeabilität. Die Ergebnisse zeigen, dass die magnetischen Eigenschaften
    von H13 durch eine angeschlossene Wärmebehandlung deutlich verbessert werden konnten.
    Im Anschluss an die Werkstoffcharakterisierung wurde ein innovatives Leichtbau-Rotorwellenkonzept
    mit internen Gitterstrukturen entwickelt. Verglichen mit einem konventionell gefertigten
    Rotor konnte die Rotormasse um 25% reduziert werden sowie das Massenträgheitsmoment
    um 23% reduziert werden bei einer Testdrehzahl von 3000 U/min und einem Drehmoment
    von 71,98 Nm.'
author:
- first_name: Stefan
  full_name: Lammers, Stefan
  id: '13835'
  last_name: Lammers
- first_name: Francesco
  full_name: Quattrone, Francesco
  last_name: Quattrone
- first_name: Rafael
  full_name: Mrozek, Rafael
  last_name: Mrozek
- first_name: Detmar
  full_name: Zimmer, Detmar
  id: '604'
  last_name: Zimmer
- first_name: Hans-Joachim
  full_name: Schmid, Hans-Joachim
  last_name: Schmid
- first_name: Bernd
  full_name: Ponick, Bernd
  last_name: Ponick
- first_name: Michael
  full_name: Hoffmann, Michael
  last_name: Hoffmann
citation:
  ama: 'Lammers S, Quattrone F, Mrozek R, et al. Entwicklung und additive Herstellung
    einer Leichtbau-Rotorwelle für eine permanentmagneterregte Synchronmaschine. In:
    <i>Proceedings of the 14th Rapid.Tech Conference</i>. Hanser Verlag; 2017:80-93.
    doi:<a href="https://doi.org/10.3139/9783446454606.006">10.3139/9783446454606.006</a>'
  apa: Lammers, S., Quattrone, F., Mrozek, R., Zimmer, D., Schmid, H.-J., Ponick,
    B., &#38; Hoffmann, M. (2017). Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle
    für eine permanentmagneterregte Synchronmaschine. In <i>Proceedings of the 14th
    Rapid.Tech Conference</i> (pp. 80–93). Hanser Verlag. <a href="https://doi.org/10.3139/9783446454606.006">https://doi.org/10.3139/9783446454606.006</a>
  bibtex: '@inproceedings{Lammers_Quattrone_Mrozek_Zimmer_Schmid_Ponick_Hoffmann_2017,
    title={Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle für eine
    permanentmagneterregte Synchronmaschine}, DOI={<a href="https://doi.org/10.3139/9783446454606.006">10.3139/9783446454606.006</a>},
    booktitle={Proceedings of the 14th Rapid.Tech Conference}, publisher={Hanser Verlag},
    author={Lammers, Stefan and Quattrone, Francesco and Mrozek, Rafael and Zimmer,
    Detmar and Schmid, Hans-Joachim and Ponick, Bernd and Hoffmann, Michael}, year={2017},
    pages={80–93} }'
  chicago: Lammers, Stefan, Francesco Quattrone, Rafael Mrozek, Detmar Zimmer, Hans-Joachim
    Schmid, Bernd Ponick, and Michael Hoffmann. “Entwicklung Und Additive Herstellung
    Einer Leichtbau-Rotorwelle Für Eine Permanentmagneterregte Synchronmaschine.”
    In <i>Proceedings of the 14th Rapid.Tech Conference</i>, 80–93. Hanser Verlag,
    2017. <a href="https://doi.org/10.3139/9783446454606.006">https://doi.org/10.3139/9783446454606.006</a>.
  ieee: S. Lammers <i>et al.</i>, “Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle
    für eine permanentmagneterregte Synchronmaschine,” in <i>Proceedings of the 14th
    Rapid.Tech Conference</i>, 2017, pp. 80–93.
  mla: Lammers, Stefan, et al. “Entwicklung Und Additive Herstellung Einer Leichtbau-Rotorwelle
    Für Eine Permanentmagneterregte Synchronmaschine.” <i>Proceedings of the 14th
    Rapid.Tech Conference</i>, Hanser Verlag, 2017, pp. 80–93, doi:<a href="https://doi.org/10.3139/9783446454606.006">10.3139/9783446454606.006</a>.
  short: 'S. Lammers, F. Quattrone, R. Mrozek, D. Zimmer, H.-J. Schmid, B. Ponick,
    M. Hoffmann, in: Proceedings of the 14th Rapid.Tech Conference, Hanser Verlag,
    2017, pp. 80–93.'
date_created: 2021-06-15T11:09:50Z
date_updated: 2022-01-06T06:55:32Z
department:
- _id: '9'
- _id: '146'
- _id: '219'
- _id: '624'
doi: 10.3139/9783446454606.006
language:
- iso: eng
page: 80-93
publication: Proceedings of the 14th Rapid.Tech Conference
publication_identifier:
  isbn:
  - 978-3-446-45459-0
publisher: Hanser Verlag
status: public
title: Entwicklung und additive Herstellung einer Leichtbau-Rotorwelle für eine permanentmagneterregte
  Synchronmaschine
type: conference
user_id: '38077'
year: '2017'
...
---
_id: '22421'
author:
- first_name: Tobias
  full_name: Lieneke, Tobias
  id: '13956'
  last_name: Lieneke
- first_name: Guido
  full_name: Adam, Guido
  last_name: Adam
- first_name: Stefan
  full_name: Josupeit, Stefan
  last_name: Josupeit
- first_name: Patrick
  full_name: Delfs, Patrick
  last_name: Delfs
- first_name: Detmar
  full_name: Zimmer, Detmar
  id: '604'
  last_name: Zimmer
citation:
  ama: 'Lieneke T, Adam G, Josupeit S, Delfs P, Zimmer D. Maßtoleranzen für die additive
    Fertigung: Experimentelle Untersuchungen für das Lasersintern. In: <i>Proceedings
    of the 14th Rapid.Tech Conference</i>. Hanser Verlag; 2017:327-344. doi:<a href="https://doi.org/10.3139/9783446454606.024
    ">10.3139/9783446454606.024 </a>'
  apa: 'Lieneke, T., Adam, G., Josupeit, S., Delfs, P., &#38; Zimmer, D. (2017). Maßtoleranzen
    für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern.
    In <i>Proceedings of the 14th Rapid.Tech Conference</i> (pp. 327–344). Hanser
    Verlag. <a href="https://doi.org/10.3139/9783446454606.024 ">https://doi.org/10.3139/9783446454606.024
    </a>'
  bibtex: '@inproceedings{Lieneke_Adam_Josupeit_Delfs_Zimmer_2017, title={Maßtoleranzen
    für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern},
    DOI={<a href="https://doi.org/10.3139/9783446454606.024 ">10.3139/9783446454606.024
    </a>}, booktitle={Proceedings of the 14th Rapid.Tech Conference}, publisher={Hanser
    Verlag}, author={Lieneke, Tobias and Adam, Guido and Josupeit, Stefan and Delfs,
    Patrick and Zimmer, Detmar}, year={2017}, pages={327–344} }'
  chicago: 'Lieneke, Tobias, Guido Adam, Stefan Josupeit, Patrick Delfs, and Detmar
    Zimmer. “Maßtoleranzen Für Die Additive Fertigung: Experimentelle Untersuchungen
    Für Das Lasersintern.” In <i>Proceedings of the 14th Rapid.Tech Conference</i>,
    327–44. Hanser Verlag, 2017. <a href="https://doi.org/10.3139/9783446454606.024
    ">https://doi.org/10.3139/9783446454606.024 </a>.'
  ieee: 'T. Lieneke, G. Adam, S. Josupeit, P. Delfs, and D. Zimmer, “Maßtoleranzen
    für die additive Fertigung: Experimentelle Untersuchungen für das Lasersintern,”
    in <i>Proceedings of the 14th Rapid.Tech Conference</i>, 2017, pp. 327–344.'
  mla: 'Lieneke, Tobias, et al. “Maßtoleranzen Für Die Additive Fertigung: Experimentelle
    Untersuchungen Für Das Lasersintern.” <i>Proceedings of the 14th Rapid.Tech Conference</i>,
    Hanser Verlag, 2017, pp. 327–44, doi:<a href="https://doi.org/10.3139/9783446454606.024
    ">10.3139/9783446454606.024 </a>.'
  short: 'T. Lieneke, G. Adam, S. Josupeit, P. Delfs, D. Zimmer, in: Proceedings of
    the 14th Rapid.Tech Conference, Hanser Verlag, 2017, pp. 327–344.'
date_created: 2021-06-15T11:09:51Z
date_updated: 2022-01-06T06:55:32Z
department:
- _id: '9'
- _id: '146'
- _id: '219'
- _id: '624'
- _id: '150'
doi: '10.3139/9783446454606.024 '
language:
- iso: eng
page: 327-344
publication: Proceedings of the 14th Rapid.Tech Conference
publication_identifier:
  isbn:
  - 978-3-446-45460-6
publisher: Hanser Verlag
status: public
title: 'Maßtoleranzen für die additive Fertigung: Experimentelle Untersuchungen für
  das Lasersintern'
type: conference
user_id: '38077'
year: '2017'
...
---
_id: '22425'
author:
- first_name: Tobias
  full_name: Lieneke, Tobias
  id: '13956'
  last_name: Lieneke
- first_name: Vera
  full_name: Denzer, Vera
  last_name: Denzer
- first_name: Detmar
  full_name: Zimmer, Detmar
  id: '604'
  last_name: Zimmer
citation:
  ama: 'Lieneke T, Denzer V, Zimmer D. Geometrische Toleranzen für additive Fertigungsverfahren.
    In: <i>3. Summer School Toleranzmangement 2017</i>. Vol 3. ; 2017.'
  apa: Lieneke, T., Denzer, V., &#38; Zimmer, D. (2017). Geometrische Toleranzen für
    additive Fertigungsverfahren. In <i>3. Summer School Toleranzmangement 2017</i>
    (Vol. 3).
  bibtex: '@inproceedings{Lieneke_Denzer_Zimmer_2017, title={Geometrische Toleranzen
    für additive Fertigungsverfahren}, volume={3}, booktitle={3. Summer School Toleranzmangement
    2017}, author={Lieneke, Tobias and Denzer, Vera and Zimmer, Detmar}, year={2017}
    }'
  chicago: Lieneke, Tobias, Vera Denzer, and Detmar Zimmer. “Geometrische Toleranzen
    Für Additive Fertigungsverfahren.” In <i>3. Summer School Toleranzmangement 2017</i>,
    Vol. 3, 2017.
  ieee: T. Lieneke, V. Denzer, and D. Zimmer, “Geometrische Toleranzen für additive
    Fertigungsverfahren,” in <i>3. Summer School Toleranzmangement 2017</i>, 2017,
    vol. 3.
  mla: Lieneke, Tobias, et al. “Geometrische Toleranzen Für Additive Fertigungsverfahren.”
    <i>3. Summer School Toleranzmangement 2017</i>, vol. 3, 2017.
  short: 'T. Lieneke, V. Denzer, D. Zimmer, in: 3. Summer School Toleranzmangement
    2017, 2017.'
date_created: 2021-06-15T11:09:56Z
date_updated: 2022-01-06T06:55:32Z
department:
- _id: '9'
- _id: '146'
- _id: '219'
- _id: '624'
intvolume: '         3'
language:
- iso: eng
publication: 3. Summer School Toleranzmangement 2017
status: public
title: Geometrische Toleranzen für additive Fertigungsverfahren
type: conference
user_id: '38077'
volume: 3
year: '2017'
...
---
_id: '22429'
author:
- first_name: Christian
  full_name: Lessmeier, Christian
  last_name: Lessmeier
citation:
  ama: Lessmeier C. <i>Datenbasierte Zustandsüberwachung von Wälzlagerschäden in Elektromechanischen
    Antriebssystemen</i>. Shaker Verlag GmbH ; 2017.
  apa: Lessmeier, C. (2017). <i>Datenbasierte Zustandsüberwachung von Wälzlagerschäden
    in elektromechanischen Antriebssystemen</i>. Shaker Verlag GmbH .
  bibtex: '@book{Lessmeier_2017, title={Datenbasierte Zustandsüberwachung von Wälzlagerschäden
    in elektromechanischen Antriebssystemen}, publisher={Shaker Verlag GmbH }, author={Lessmeier,
    Christian}, year={2017} }'
  chicago: Lessmeier, Christian. <i>Datenbasierte Zustandsüberwachung von Wälzlagerschäden
    in Elektromechanischen Antriebssystemen</i>. Shaker Verlag GmbH , 2017.
  ieee: C. Lessmeier, <i>Datenbasierte Zustandsüberwachung von Wälzlagerschäden in
    elektromechanischen Antriebssystemen</i>. Shaker Verlag GmbH , 2017.
  mla: Lessmeier, Christian. <i>Datenbasierte Zustandsüberwachung von Wälzlagerschäden
    in Elektromechanischen Antriebssystemen</i>. Shaker Verlag GmbH , 2017.
  short: C. Lessmeier, Datenbasierte Zustandsüberwachung von Wälzlagerschäden in Elektromechanischen
    Antriebssystemen, Shaker Verlag GmbH , 2017.
date_created: 2021-06-15T11:10:01Z
date_updated: 2022-01-06T06:55:32Z
department:
- _id: '9'
- _id: '146'
language:
- iso: eng
publication_identifier:
  isbn:
  - 978-3-8440-5490-3
publisher: 'Shaker Verlag GmbH '
status: public
title: Datenbasierte Zustandsüberwachung von Wälzlagerschäden in elektromechanischen
  Antriebssystemen
type: dissertation
user_id: '38077'
year: '2017'
...
---
_id: '22669'
author:
- first_name: Bastian
  full_name: Mosebach, Bastian
  last_name: Mosebach
- first_name: Berkem
  full_name: Ozkaya, Berkem
  last_name: Ozkaya
- first_name: Ignacio
  full_name: Giner, Ignacio
  last_name: Giner
- first_name: Adrian
  full_name: Keller, Adrian
  id: '48864'
  last_name: Keller
  orcid: 0000-0001-7139-3110
- first_name: Guido
  full_name: Grundmeier, Guido
  id: '194'
  last_name: Grundmeier
citation:
  ama: Mosebach B, Ozkaya B, Giner I, Keller A, Grundmeier G. Analysis of acid-base
    interactions at Al 2 O 3 (11-20) interfaces by means of single molecule force
    spectroscopy. <i>Applied Surface Science</i>. 2017;420:296-302. doi:<a href="https://doi.org/10.1016/j.apsusc.2017.05.105">10.1016/j.apsusc.2017.05.105</a>
  apa: Mosebach, B., Ozkaya, B., Giner, I., Keller, A., &#38; Grundmeier, G. (2017).
    Analysis of acid-base interactions at Al 2 O 3 (11-20) interfaces by means of
    single molecule force spectroscopy. <i>Applied Surface Science</i>, <i>420</i>,
    296–302. <a href="https://doi.org/10.1016/j.apsusc.2017.05.105">https://doi.org/10.1016/j.apsusc.2017.05.105</a>
  bibtex: '@article{Mosebach_Ozkaya_Giner_Keller_Grundmeier_2017, title={Analysis
    of acid-base interactions at Al 2 O 3 (11-20) interfaces by means of single molecule
    force spectroscopy}, volume={420}, DOI={<a href="https://doi.org/10.1016/j.apsusc.2017.05.105">10.1016/j.apsusc.2017.05.105</a>},
    journal={Applied Surface Science}, author={Mosebach, Bastian and Ozkaya, Berkem
    and Giner, Ignacio and Keller, Adrian and Grundmeier, Guido}, year={2017}, pages={296–302}
    }'
  chicago: 'Mosebach, Bastian, Berkem Ozkaya, Ignacio Giner, Adrian Keller, and Guido
    Grundmeier. “Analysis of Acid-Base Interactions at Al 2 O 3 (11-20) Interfaces
    by Means of Single Molecule Force Spectroscopy.” <i>Applied Surface Science</i>
    420 (2017): 296–302. <a href="https://doi.org/10.1016/j.apsusc.2017.05.105">https://doi.org/10.1016/j.apsusc.2017.05.105</a>.'
  ieee: B. Mosebach, B. Ozkaya, I. Giner, A. Keller, and G. Grundmeier, “Analysis
    of acid-base interactions at Al 2 O 3 (11-20) interfaces by means of single molecule
    force spectroscopy,” <i>Applied Surface Science</i>, vol. 420, pp. 296–302, 2017.
  mla: Mosebach, Bastian, et al. “Analysis of Acid-Base Interactions at Al 2 O 3 (11-20)
    Interfaces by Means of Single Molecule Force Spectroscopy.” <i>Applied Surface
    Science</i>, vol. 420, 2017, pp. 296–302, doi:<a href="https://doi.org/10.1016/j.apsusc.2017.05.105">10.1016/j.apsusc.2017.05.105</a>.
  short: B. Mosebach, B. Ozkaya, I. Giner, A. Keller, G. Grundmeier, Applied Surface
    Science 420 (2017) 296–302.
date_created: 2021-07-08T12:39:31Z
date_updated: 2022-01-06T06:55:38Z
department:
- _id: '302'
doi: 10.1016/j.apsusc.2017.05.105
intvolume: '       420'
language:
- iso: eng
page: 296-302
publication: Applied Surface Science
publication_identifier:
  issn:
  - 0169-4332
publication_status: published
status: public
title: Analysis of acid-base interactions at Al 2 O 3 (11-20) interfaces by means
  of single molecule force spectroscopy
type: journal_article
user_id: '48864'
volume: 420
year: '2017'
...
---
_id: '22848'
abstract:
- lang: eng
  text: <p>Heteroleptic and homoleptic In(<sc>iii</sc>)-amidinate complexes as promising
    CVD precursors for In<sub>2</sub>O<sub>3</sub> thin films.</p>
author:
- first_name: M.
  full_name: Gebhard, M.
  last_name: Gebhard
- first_name: M.
  full_name: Hellwig, M.
  last_name: Hellwig
- first_name: A.
  full_name: Kroll, A.
  last_name: Kroll
- first_name: D.
  full_name: Rogalla, D.
  last_name: Rogalla
- first_name: M.
  full_name: Winter, M.
  last_name: Winter
- first_name: B.
  full_name: Mallick, B.
  last_name: Mallick
- first_name: A.
  full_name: Ludwig, A.
  last_name: Ludwig
- first_name: M.
  full_name: Wiesing, M.
  last_name: Wiesing
- first_name: A. D.
  full_name: Wieck, A. D.
  last_name: Wieck
- first_name: Guido
  full_name: Grundmeier, Guido
  id: '194'
  last_name: Grundmeier
- first_name: A.
  full_name: Devi, A.
  last_name: Devi
citation:
  ama: 'Gebhard M, Hellwig M, Kroll A, et al. New amidinate complexes of indium(iii):
    promising CVD precursors for transparent and conductive In2O3 thin films. <i>Dalton
    Transactions</i>. 2017:10220-10231. doi:<a href="https://doi.org/10.1039/c7dt01280b">10.1039/c7dt01280b</a>'
  apa: 'Gebhard, M., Hellwig, M., Kroll, A., Rogalla, D., Winter, M., Mallick, B.,
    … Devi, A. (2017). New amidinate complexes of indium(iii): promising CVD precursors
    for transparent and conductive In2O3 thin films. <i>Dalton Transactions</i>, 10220–10231.
    <a href="https://doi.org/10.1039/c7dt01280b">https://doi.org/10.1039/c7dt01280b</a>'
  bibtex: '@article{Gebhard_Hellwig_Kroll_Rogalla_Winter_Mallick_Ludwig_Wiesing_Wieck_Grundmeier_et
    al._2017, title={New amidinate complexes of indium(iii): promising CVD precursors
    for transparent and conductive In2O3 thin films}, DOI={<a href="https://doi.org/10.1039/c7dt01280b">10.1039/c7dt01280b</a>},
    journal={Dalton Transactions}, author={Gebhard, M. and Hellwig, M. and Kroll,
    A. and Rogalla, D. and Winter, M. and Mallick, B. and Ludwig, A. and Wiesing,
    M. and Wieck, A. D. and Grundmeier, Guido and et al.}, year={2017}, pages={10220–10231}
    }'
  chicago: 'Gebhard, M., M. Hellwig, A. Kroll, D. Rogalla, M. Winter, B. Mallick,
    A. Ludwig, et al. “New Amidinate Complexes of Indium(Iii): Promising CVD Precursors
    for Transparent and Conductive In2O3 Thin Films.” <i>Dalton Transactions</i>,
    2017, 10220–31. <a href="https://doi.org/10.1039/c7dt01280b">https://doi.org/10.1039/c7dt01280b</a>.'
  ieee: 'M. Gebhard <i>et al.</i>, “New amidinate complexes of indium(iii): promising
    CVD precursors for transparent and conductive In2O3 thin films,” <i>Dalton Transactions</i>,
    pp. 10220–10231, 2017.'
  mla: 'Gebhard, M., et al. “New Amidinate Complexes of Indium(Iii): Promising CVD
    Precursors for Transparent and Conductive In2O3 Thin Films.” <i>Dalton Transactions</i>,
    2017, pp. 10220–31, doi:<a href="https://doi.org/10.1039/c7dt01280b">10.1039/c7dt01280b</a>.'
  short: M. Gebhard, M. Hellwig, A. Kroll, D. Rogalla, M. Winter, B. Mallick, A. Ludwig,
    M. Wiesing, A.D. Wieck, G. Grundmeier, A. Devi, Dalton Transactions (2017) 10220–10231.
date_created: 2021-07-27T14:18:28Z
date_updated: 2022-01-06T06:55:42Z
doi: 10.1039/c7dt01280b
language:
- iso: eng
page: 10220-10231
publication: Dalton Transactions
publication_identifier:
  issn:
  - 1477-9226
  - 1477-9234
publication_status: published
status: public
title: 'New amidinate complexes of indium(iii): promising CVD precursors for transparent
  and conductive In2O3 thin films'
type: journal_article
user_id: '194'
year: '2017'
...
---
_id: '21925'
author:
- first_name: Dominik
  full_name: Rumlich, Dominik
  id: '76026'
  last_name: Rumlich
  orcid: 0000-0001-8682-450X
- first_name: Sabine
  full_name: Ahlers, Sabine
  last_name: Ahlers
citation:
  ama: 'Rumlich D, Ahlers S. The rich environment of CLIL classes as an ideal setting
    for collaborative learning. In: Ludwig C, van de Poel K, eds. <i>Collaborative
    Learning and New Media</i>. Frankfurt am Main, Germany: Lang; 2017:259-274.'
  apa: 'Rumlich, D., &#38; Ahlers, S. (2017). The rich environment of CLIL classes
    as an ideal setting for collaborative learning. In C. Ludwig &#38; K. van de Poel
    (Eds.), <i>Collaborative learning and new media</i> (pp. 259–274). Frankfurt am
    Main, Germany: Lang.'
  bibtex: '@inbook{Rumlich_Ahlers_2017, place={Frankfurt am Main, Germany}, title={The
    rich environment of CLIL classes as an ideal setting for collaborative learning},
    booktitle={Collaborative learning and new media}, publisher={Lang}, author={Rumlich,
    Dominik and Ahlers, Sabine}, editor={Ludwig, Christian and van de Poel, KrisEditors},
    year={2017}, pages={259–274} }'
  chicago: 'Rumlich, Dominik, and Sabine Ahlers. “The Rich Environment of CLIL Classes
    as an Ideal Setting for Collaborative Learning.” In <i>Collaborative Learning
    and New Media</i>, edited by Christian Ludwig and Kris van de Poel, 259–74. Frankfurt
    am Main, Germany: Lang, 2017.'
  ieee: 'D. Rumlich and S. Ahlers, “The rich environment of CLIL classes as an ideal
    setting for collaborative learning,” in <i>Collaborative learning and new media</i>,
    C. Ludwig and K. van de Poel, Eds. Frankfurt am Main, Germany: Lang, 2017, pp.
    259–274.'
  mla: Rumlich, Dominik, and Sabine Ahlers. “The Rich Environment of CLIL Classes
    as an Ideal Setting for Collaborative Learning.” <i>Collaborative Learning and
    New Media</i>, edited by Christian Ludwig and Kris van de Poel, Lang, 2017, pp.
    259–74.
  short: 'D. Rumlich, S. Ahlers, in: C. Ludwig, K. van de Poel (Eds.), Collaborative
    Learning and New Media, Lang, Frankfurt am Main, Germany, 2017, pp. 259–274.'
date_created: 2021-04-30T08:07:00Z
date_updated: 2022-01-06T06:55:19Z
department:
- _id: '36'
- _id: '1'
- _id: '612'
editor:
- first_name: Christian
  full_name: Ludwig, Christian
  last_name: Ludwig
- first_name: Kris
  full_name: van de Poel, Kris
  last_name: van de Poel
extern: '1'
language:
- iso: eng
page: 259-274
place: Frankfurt am Main, Germany
publication: Collaborative learning and new media
publication_identifier:
  isbn:
  - 978-3-631-66797-2
publisher: Lang
status: public
title: The rich environment of CLIL classes as an ideal setting for collaborative
  learning
type: book_chapter
user_id: '76026'
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: <i>28th Annual International Solid Freeform
    Fabrication Symposium</i>. Vol 28. ; 2017:2757-2776. doi:<a href="http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf">http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf</a>'
  apa: Knoop, F., &#38; Schöppner, V. (2017). Geometrical Accuracy of Holes and Cylinders
    Manufactured with Fused Deposition Modeling. <i>28th Annual International Solid
    Freeform Fabrication Symposium</i>, <i>28</i>, 2757–2776. <a href="http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf">http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf</a>
  bibtex: '@inproceedings{Knoop_Schöppner_2017, title={Geometrical Accuracy of Holes
    and Cylinders Manufactured with Fused Deposition Modeling}, volume={28}, DOI={<a
    href="http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf">http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf</a>},
    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 <i>28th Annual International
    Solid Freeform Fabrication Symposium</i>, 28:2757–76, 2017. <a href="http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf">http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf</a>.
  ieee: 'F. Knoop and V. Schöppner, “Geometrical Accuracy of Holes and Cylinders Manufactured
    with Fused Deposition Modeling,” in <i>28th Annual International Solid Freeform
    Fabrication Symposium</i>, 2017, vol. 28, pp. 2757–2776, doi: <a href="http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf">http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf</a>.'
  mla: Knoop, F., and Volker Schöppner. “Geometrical Accuracy of Holes and Cylinders
    Manufactured with Fused Deposition Modeling.” <i>28th Annual International Solid
    Freeform Fabrication Symposium</i>, vol. 28, 2017, pp. 2757–76, doi:<a href="http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf">http://utw10945.utweb.utexas.edu/sites/default/files/2017/Manuscripts/GeometricalAccuracyofHolesandCylindersManufa.pdf</a>.
  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: '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.
    <i>ACM Transactions on Embedded Computing Systems</i>. 2017;(2):47:1-47:24. doi:<a
    href="https://doi.org/10.1145/2984640">10.1145/2984640</a>
  apa: Isenberg, T. (2017). Incremental Inductive Verification of Parameterized Timed
    Systems. <i>ACM Transactions on Embedded Computing Systems</i>, (2), 47:1-47:24.
    <a href="https://doi.org/10.1145/2984640">https://doi.org/10.1145/2984640</a>
  bibtex: '@article{Isenberg_2017, title={Incremental Inductive Verification of Parameterized
    Timed Systems}, DOI={<a href="https://doi.org/10.1145/2984640">10.1145/2984640</a>},
    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.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2 (2017):
    47:1-47:24. <a href="https://doi.org/10.1145/2984640">https://doi.org/10.1145/2984640</a>.'
  ieee: T. Isenberg, “Incremental Inductive Verification of Parameterized Timed Systems,”
    <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, pp. 47:1-47:24,
    2017.
  mla: Isenberg, Tobias. “Incremental Inductive Verification of Parameterized Timed
    Systems.” <i>ACM Transactions on Embedded Computing Systems</i>, no. 2, ACM, 2017,
    pp. 47:1-47:24, doi:<a href="https://doi.org/10.1145/2984640">10.1145/2984640</a>.
  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: '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.
    <i>Partiality and Underspecification in Information, Languages, and Knowledge</i>.
    1st ed. Newcastle upon Tyne, UK: Cambridge Scholars Publishing; 2017:65-108.'
  apa: 'Geierhos, M., &#38; Bäumer, F. S. (2017). Guesswork? Resolving Vagueness in
    User-Generated Software Requirements. In H. Christiansen, M. D. Jiménez-López,
    R. Loukanova, &#38; L. S. Moss (Eds.), <i>Partiality and Underspecification in
    Information, Languages, and Knowledge</i> (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 <i>Partiality and Underspecification
    in Information, Languages, and Knowledge</i>, 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 <i>Partiality and Underspecification in Information,
    Languages, and Knowledge</i>, 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.” <i>Partiality and Underspecification
    in Information, Languages, and Knowledge</i>, 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'
...
