---
_id: '20834'
author:
- first_name: Mary E
  full_name: Webb, Mary E
  last_name: Webb
- first_name: Andrew
  full_name: Fluck, Andrew
  last_name: Fluck
- first_name: Johannes
  full_name: Magenheim, Johannes
  last_name: Magenheim
- first_name: Joyce
  full_name: Malyn-Smith, Joyce
  last_name: Malyn-Smith
- first_name: Juliet
  full_name: Waters, Juliet
  last_name: Waters
- first_name: Michelle
  full_name: Deschênes , Michelle
  last_name: 'Deschênes '
- first_name: Jason
  full_name: Zagami, Jason
  last_name: Zagami
citation:
  ama: 'Webb ME, Fluck A, Magenheim J, et al. Machine learning for human learners:
    opportunities, issues, tensions and threats. <i>Educational Technology Research
    and Development</i>. 2020:1-22. doi:<a href="https://doi.org/10.1007/s11423-020-09858-2">10.1007/s11423-020-09858-2</a>'
  apa: 'Webb, M. E., Fluck, A., Magenheim, J., Malyn-Smith, J., Waters, J., Deschênes
    , M., &#38; Zagami, J. (2020). Machine learning for human learners: opportunities,
    issues, tensions and threats. <i>Educational Technology Research and Development</i>,
    1–22. <a href="https://doi.org/10.1007/s11423-020-09858-2">https://doi.org/10.1007/s11423-020-09858-2</a>'
  bibtex: '@article{Webb_Fluck_Magenheim_Malyn-Smith_Waters_Deschênes _Zagami_2020,
    title={Machine learning for human learners: opportunities, issues, tensions and
    threats}, DOI={<a href="https://doi.org/10.1007/s11423-020-09858-2">10.1007/s11423-020-09858-2</a>},
    journal={Educational Technology Research and Development}, publisher={Springer},
    author={Webb, Mary E and Fluck, Andrew and Magenheim, Johannes and Malyn-Smith,
    Joyce and Waters, Juliet and Deschênes , Michelle and Zagami, Jason}, year={2020},
    pages={1–22} }'
  chicago: 'Webb, Mary E, Andrew Fluck, Johannes Magenheim, Joyce Malyn-Smith, Juliet
    Waters, Michelle Deschênes , and Jason Zagami. “Machine Learning for Human Learners:
    Opportunities, Issues, Tensions and Threats.” <i>Educational Technology Research
    and Development</i>, 2020, 1–22. <a href="https://doi.org/10.1007/s11423-020-09858-2">https://doi.org/10.1007/s11423-020-09858-2</a>.'
  ieee: 'M. E. Webb <i>et al.</i>, “Machine learning for human learners: opportunities,
    issues, tensions and threats,” <i>Educational Technology Research and Development</i>,
    pp. 1–22, 2020.'
  mla: 'Webb, Mary E., et al. “Machine Learning for Human Learners: Opportunities,
    Issues, Tensions and Threats.” <i>Educational Technology Research and Development</i>,
    Springer, 2020, pp. 1–22, doi:<a href="https://doi.org/10.1007/s11423-020-09858-2">10.1007/s11423-020-09858-2</a>.'
  short: M.E. Webb, A. Fluck, J. Magenheim, J. Malyn-Smith, J. Waters, M. Deschênes
    , J. Zagami, Educational Technology Research and Development (2020) 1–22.
date_created: 2020-12-22T15:17:04Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '67'
doi: 10.1007/s11423-020-09858-2
language:
- iso: eng
page: 1-22
publication: Educational Technology Research and Development
publisher: Springer
status: public
title: 'Machine learning for human learners: opportunities, issues, tensions and threats'
type: journal_article
user_id: '21145'
year: '2020'
...
---
_id: '20835'
author:
- first_name: Johannes
  full_name: Magenheim, Johannes
  last_name: Magenheim
citation:
  ama: 'Magenheim J. &#60; Big Data&#62; aus der Perspektive von Informatischer Bildung
    und Medienpädagogik. <i>MedienPädagogik: Zeitschrift für Theorie und Praxis der
    Medienbildung</i>. 2020;37:139-163. doi:<a href="https://doi.org/10.21240/mpaed/37/2020.07.08.X">10.21240/mpaed/37/2020.07.08.X</a>'
  apa: 'Magenheim, J. (2020). &#60; Big Data&#62; aus der Perspektive von Informatischer
    Bildung und Medienpädagogik. <i>MedienPädagogik: Zeitschrift für Theorie und Praxis
    der Medienbildung</i>, <i>37</i>, 139–163. <a href="https://doi.org/10.21240/mpaed/37/2020.07.08.X">https://doi.org/10.21240/mpaed/37/2020.07.08.X</a>'
  bibtex: '@article{Magenheim_2020, title={&#60; Big Data&#62; aus der Perspektive
    von Informatischer Bildung und Medienpädagogik}, volume={37}, DOI={<a href="https://doi.org/10.21240/mpaed/37/2020.07.08.X">10.21240/mpaed/37/2020.07.08.X</a>},
    journal={MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung},
    author={Magenheim, Johannes}, year={2020}, pages={139–163} }'
  chicago: 'Magenheim, Johannes. “&#60; Big Data&#62; aus der Perspektive von Informatischer
    Bildung und Medienpädagogik.” <i>MedienPädagogik: Zeitschrift für Theorie und
    Praxis der Medienbildung</i> 37 (2020): 139–63. <a href="https://doi.org/10.21240/mpaed/37/2020.07.08.X">https://doi.org/10.21240/mpaed/37/2020.07.08.X</a>.'
  ieee: 'J. Magenheim, “&#60; Big Data&#62; aus der Perspektive von Informatischer
    Bildung und Medienpädagogik,” <i>MedienPädagogik: Zeitschrift für Theorie und
    Praxis der Medienbildung</i>, vol. 37, pp. 139–163, 2020.'
  mla: 'Magenheim, Johannes. “&#60; Big Data&#62; aus der Perspektive von Informatischer
    Bildung und Medienpädagogik.” <i>MedienPädagogik: Zeitschrift für Theorie und
    Praxis der Medienbildung</i>, vol. 37, 2020, pp. 139–63, doi:<a href="https://doi.org/10.21240/mpaed/37/2020.07.08.X">10.21240/mpaed/37/2020.07.08.X</a>.'
  short: 'J. Magenheim, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung
    37 (2020) 139–163.'
date_created: 2020-12-22T15:22:42Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '67'
doi: 10.21240/mpaed/37/2020.07.08.X
intvolume: '        37'
language:
- iso: ger
page: 139-163
publication: 'MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung'
status: public
title: < Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik
type: journal_article
user_id: '21145'
volume: 37
year: '2020'
...
---
_id: '20836'
author:
- first_name: Johannes
  full_name: Magenheim, Johannes
  last_name: Magenheim
- first_name: Carsten
  full_name: Schulte, Carsten
  id: '60311'
  last_name: Schulte
citation:
  ama: 'Magenheim J, Schulte C. Data science education. <i>Encyclopedia of Education
    and Information Technologies Cham: Springer</i>. 2020. doi:<a href="https://doi.org/10.1007/978-3-030-10576-1_253">10.1007/978-3-030-10576-1_253</a>'
  apa: 'Magenheim, J., &#38; Schulte, C. (2020). Data science education. <i>Encyclopedia
    of Education and Information Technologies. Cham: Springer</i>. <a href="https://doi.org/10.1007/978-3-030-10576-1_253">https://doi.org/10.1007/978-3-030-10576-1_253</a>'
  bibtex: '@article{Magenheim_Schulte_2020, title={Data science education}, DOI={<a
    href="https://doi.org/10.1007/978-3-030-10576-1_253">10.1007/978-3-030-10576-1_253</a>},
    journal={Encyclopedia of Education and Information Technologies. Cham: Springer},
    author={Magenheim, Johannes and Schulte, Carsten}, year={2020} }'
  chicago: 'Magenheim, Johannes, and Carsten Schulte. “Data Science Education.” <i>Encyclopedia
    of Education and Information Technologies. Cham: Springer</i>, 2020. <a href="https://doi.org/10.1007/978-3-030-10576-1_253">https://doi.org/10.1007/978-3-030-10576-1_253</a>.'
  ieee: 'J. Magenheim and C. Schulte, “Data science education,” <i>Encyclopedia of
    Education and Information Technologies. Cham: Springer</i>, 2020.'
  mla: 'Magenheim, Johannes, and Carsten Schulte. “Data Science Education.” <i>Encyclopedia
    of Education and Information Technologies. Cham: Springer</i>, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-10576-1_253">10.1007/978-3-030-10576-1_253</a>.'
  short: 'J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies.
    Cham: Springer (2020).'
date_created: 2020-12-22T15:26:36Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '67'
doi: 10.1007/978-3-030-10576-1_253
language:
- iso: eng
publication: 'Encyclopedia of Education and Information Technologies. Cham: Springer'
status: public
title: Data science education
type: journal_article
user_id: '21145'
year: '2020'
...
---
_id: '20840'
author:
- first_name: Carsten
  full_name: Schulte, Carsten
  id: '60311'
  last_name: Schulte
- first_name: Lea
  full_name: Budde, Lea
  id: '32443'
  last_name: Budde
- first_name: Felix
  full_name: Winkelnkemper, Felix
  id: '3117'
  last_name: Winkelnkemper
citation:
  ama: 'Schulte C, Budde L, Winkelnkemper F. Programmieren - Lehren und Lernen mit
    und über Medien. In: <i>Mobile Medien Im Schulkontext</i>. Springer; 2020:215-240.
    doi:<a href="https://doi.org/10.1007/978-3-658-29039-9">10.1007/978-3-658-29039-9</a>'
  apa: Schulte, C., Budde, L., &#38; Winkelnkemper, F. (2020). Programmieren - Lehren
    und Lernen mit und über Medien. In <i>Mobile Medien im Schulkontext</i> (pp. 215–240).
    Springer. <a href="https://doi.org/10.1007/978-3-658-29039-9">https://doi.org/10.1007/978-3-658-29039-9</a>
  bibtex: '@inbook{Schulte_Budde_Winkelnkemper_2020, title={Programmieren - Lehren
    und Lernen mit und über Medien}, DOI={<a href="https://doi.org/10.1007/978-3-658-29039-9">10.1007/978-3-658-29039-9</a>},
    booktitle={Mobile Medien im Schulkontext}, publisher={Springer}, author={Schulte,
    Carsten and Budde, Lea and Winkelnkemper, Felix}, year={2020}, pages={215–240}
    }'
  chicago: Schulte, Carsten, Lea Budde, and Felix Winkelnkemper. “Programmieren -
    Lehren Und Lernen Mit Und Über Medien.” In <i>Mobile Medien Im Schulkontext</i>,
    215–40. Springer, 2020. <a href="https://doi.org/10.1007/978-3-658-29039-9">https://doi.org/10.1007/978-3-658-29039-9</a>.
  ieee: C. Schulte, L. Budde, and F. Winkelnkemper, “Programmieren - Lehren und Lernen
    mit und über Medien,” in <i>Mobile Medien im Schulkontext</i>, Springer, 2020,
    pp. 215–240.
  mla: Schulte, Carsten, et al. “Programmieren - Lehren Und Lernen Mit Und Über Medien.”
    <i>Mobile Medien Im Schulkontext</i>, Springer, 2020, pp. 215–40, doi:<a href="https://doi.org/10.1007/978-3-658-29039-9">10.1007/978-3-658-29039-9</a>.
  short: 'C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext,
    Springer, 2020, pp. 215–240.'
date_created: 2020-12-23T09:30:05Z
date_updated: 2022-01-06T06:54:40Z
department:
- _id: '67'
doi: 10.1007/978-3-658-29039-9
language:
- iso: eng
page: 215-240
publication: Mobile Medien im Schulkontext
publisher: Springer
status: public
title: Programmieren - Lehren und Lernen mit und über Medien
type: book_chapter
user_id: '21145'
year: '2020'
...
---
_id: '20888'
author:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
- first_name: Sascha
  full_name: Brauer, Sascha
  id: '13291'
  last_name: Brauer
- first_name: Kathrin
  full_name: Bujna, Kathrin
  last_name: Bujna
citation:
  ama: Blömer J, Brauer S, Bujna K. A Complexity Theoretical Study of Fuzzy K-Means.
    <i>ACM Transactions on Algorithms</i>. 2020;16(4):1-25. doi:<a href="https://doi.org/10.1145/3409385">10.1145/3409385</a>
  apa: Blömer, J., Brauer, S., &#38; Bujna, K. (2020). A Complexity Theoretical Study
    of Fuzzy K-Means. <i>ACM Transactions on Algorithms</i>, <i>16</i>(4), 1–25. <a
    href="https://doi.org/10.1145/3409385">https://doi.org/10.1145/3409385</a>
  bibtex: '@article{Blömer_Brauer_Bujna_2020, title={A Complexity Theoretical Study
    of Fuzzy K-Means}, volume={16}, DOI={<a href="https://doi.org/10.1145/3409385">10.1145/3409385</a>},
    number={4}, journal={ACM Transactions on Algorithms}, author={Blömer, Johannes
    and Brauer, Sascha and Bujna, Kathrin}, year={2020}, pages={1–25} }'
  chicago: 'Blömer, Johannes, Sascha Brauer, and Kathrin Bujna. “A Complexity Theoretical
    Study of Fuzzy K-Means.” <i>ACM Transactions on Algorithms</i> 16, no. 4 (2020):
    1–25. <a href="https://doi.org/10.1145/3409385">https://doi.org/10.1145/3409385</a>.'
  ieee: J. Blömer, S. Brauer, and K. Bujna, “A Complexity Theoretical Study of Fuzzy
    K-Means,” <i>ACM Transactions on Algorithms</i>, vol. 16, no. 4, pp. 1–25, 2020.
  mla: Blömer, Johannes, et al. “A Complexity Theoretical Study of Fuzzy K-Means.”
    <i>ACM Transactions on Algorithms</i>, vol. 16, no. 4, 2020, pp. 1–25, doi:<a
    href="https://doi.org/10.1145/3409385">10.1145/3409385</a>.
  short: J. Blömer, S. Brauer, K. Bujna, ACM Transactions on Algorithms 16 (2020)
    1–25.
date_created: 2021-01-08T08:51:42Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '64'
doi: 10.1145/3409385
intvolume: '        16'
issue: '4'
language:
- iso: eng
page: 1-25
project:
- _id: '45'
  name: Soft-Clustering - Von Heuristiken zu Approximationsalgorithmen
publication: ACM Transactions on Algorithms
publication_identifier:
  issn:
  - 1549-6325
  - 1549-6333
publication_status: published
status: public
title: A Complexity Theoretical Study of Fuzzy K-Means
type: journal_article
user_id: '13291'
volume: 16
year: '2020'
...
---
_id: '20891'
abstract:
- lang: eng
  text: "Today, software systems are rarely developed monolithically, but may be composed
    of numerous individually developed features. Their modularization facilitates
    independent development and verification. While feature-based strategies to verify
    features in isolation have existed for years, they cannot address interactions
    between features. The problem with feature interactions is that they are typically
    unknown and may involve any subset of the features. Contrary, a family-based verification
    strategy captures feature interactions, but does not scale well when features
    evolve frequently. To the best of our knowledge, there currently exists no approach
    with focus on evolving features that combines both strategies and aims at eliminating
    their respective drawbacks. To fill this gap, we introduce Fefalution, a feature-family-based
    verification approach based on abstract contracts to verify evolving features
    and their interactions. Fefalution builds partial proofs for each evolving feature
    and then reuses the resulting partial proofs in verifying feature interactions,
    yielding a full verification of the complete software system. Moreover, to investigate
    whether a combination of both strategies is fruitful, we present the first empirical
    study for the verification of evolving features implemented by means of feature-oriented
    programming and by comparing Fefalution with another five family-based approaches
    varying in a set of optimizations. Our results indicate that partial proofs based
    on abstract contracts exhibit huge reuse potential, but also come with a substantial
    overhead for smaller evolution scenarios.\r\n"
author:
- first_name: Alexander
  full_name: Knüppel, Alexander
  last_name: Knüppel
- first_name: Stefan
  full_name: Krüger, Stefan
  last_name: Krüger
- first_name: Thomas
  full_name: Thüm, Thomas
  last_name: Thüm
- first_name: Richard
  full_name: Bubel, Richard
  last_name: Bubel
- first_name: Sebastian
  full_name: Krieter, Sebastian
  last_name: Krieter
- first_name: Eric
  full_name: Bodden, Eric
  id: '59256'
  last_name: Bodden
  orcid: 0000-0003-3470-3647
- first_name: Ina
  full_name: Schaefer, Ina
  last_name: Schaefer
citation:
  ama: 'Knüppel A, Krüger S, Thüm T, et al. Using Abstract Contracts for Verifying
    Evolving Features and Their Interactions. In: <i>Lecture Notes in Computer Science</i>.
    ; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-64354-6_5">10.1007/978-3-030-64354-6_5</a>'
  apa: Knüppel, A., Krüger, S., Thüm, T., Bubel, R., Krieter, S., Bodden, E., &#38;
    Schaefer, I. (2020). Using Abstract Contracts for Verifying Evolving Features
    and Their Interactions. In <i>Lecture Notes in Computer Science</i>. <a href="https://doi.org/10.1007/978-3-030-64354-6_5">https://doi.org/10.1007/978-3-030-64354-6_5</a>
  bibtex: '@inbook{Knüppel_Krüger_Thüm_Bubel_Krieter_Bodden_Schaefer_2020, place={Cham},
    title={Using Abstract Contracts for Verifying Evolving Features and Their Interactions},
    DOI={<a href="https://doi.org/10.1007/978-3-030-64354-6_5">10.1007/978-3-030-64354-6_5</a>},
    booktitle={Lecture Notes in Computer Science}, author={Knüppel, Alexander and
    Krüger, Stefan and Thüm, Thomas and Bubel, Richard and Krieter, Sebastian and
    Bodden, Eric and Schaefer, Ina}, year={2020} }'
  chicago: Knüppel, Alexander, Stefan Krüger, Thomas Thüm, Richard Bubel, Sebastian
    Krieter, Eric Bodden, and Ina Schaefer. “Using Abstract Contracts for Verifying
    Evolving Features and Their Interactions.” In <i>Lecture Notes in Computer Science</i>.
    Cham, 2020. <a href="https://doi.org/10.1007/978-3-030-64354-6_5">https://doi.org/10.1007/978-3-030-64354-6_5</a>.
  ieee: A. Knüppel <i>et al.</i>, “Using Abstract Contracts for Verifying Evolving
    Features and Their Interactions,” in <i>Lecture Notes in Computer Science</i>,
    Cham, 2020.
  mla: Knüppel, Alexander, et al. “Using Abstract Contracts for Verifying Evolving
    Features and Their Interactions.” <i>Lecture Notes in Computer Science</i>, 2020,
    doi:<a href="https://doi.org/10.1007/978-3-030-64354-6_5">10.1007/978-3-030-64354-6_5</a>.
  short: 'A. Knüppel, S. Krüger, T. Thüm, R. Bubel, S. Krieter, E. Bodden, I. Schaefer,
    in: Lecture Notes in Computer Science, Cham, 2020.'
date_created: 2021-01-11T09:15:41Z
date_updated: 2022-01-06T06:54:41Z
department:
- _id: '76'
doi: 10.1007/978-3-030-64354-6_5
language:
- iso: eng
place: Cham
publication: Lecture Notes in Computer Science
publication_identifier:
  isbn:
  - '9783030643539'
  - '9783030643546'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
status: public
title: Using Abstract Contracts for Verifying Evolving Features and Their Interactions
type: book_chapter
user_id: '5786'
year: '2020'
...
---
_id: '18014'
author:
- first_name: Adil
  full_name: El Mesaoudi-Paul, Adil
  last_name: El Mesaoudi-Paul
- first_name: Dimitri
  full_name: Weiß, Dimitri
  last_name: Weiß
- first_name: Viktor
  full_name: Bengs, Viktor
  id: '76599'
  last_name: Bengs
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
- first_name: Kevin
  full_name: Tierney, Kevin
  last_name: Tierney
citation:
  ama: 'El Mesaoudi-Paul A, Weiß D, Bengs V, Hüllermeier E, Tierney K. Pool-Based
    Realtime Algorithm Configuration: A Preselection Bandit Approach. In: <i>Learning
    and Intelligent Optimization. LION 2020.</i> Vol 12096. Lecture Notes in Computer
    Science. Cham: Springer; 2020:216-232. doi:<a href="https://doi.org/10.1007/978-3-030-53552-0_22">10.1007/978-3-030-53552-0_22</a>'
  apa: 'El Mesaoudi-Paul, A., Weiß, D., Bengs, V., Hüllermeier, E., &#38; Tierney,
    K. (2020). Pool-Based Realtime Algorithm Configuration: A Preselection Bandit
    Approach. In <i>Learning and Intelligent Optimization. LION 2020.</i> (Vol. 12096,
    pp. 216–232). Cham: Springer. <a href="https://doi.org/10.1007/978-3-030-53552-0_22">https://doi.org/10.1007/978-3-030-53552-0_22</a>'
  bibtex: '@inbook{El Mesaoudi-Paul_Weiß_Bengs_Hüllermeier_Tierney_2020, place={Cham},
    series={Lecture Notes in Computer Science}, title={Pool-Based Realtime Algorithm
    Configuration: A Preselection Bandit Approach}, volume={12096}, DOI={<a href="https://doi.org/10.1007/978-3-030-53552-0_22">10.1007/978-3-030-53552-0_22</a>},
    booktitle={Learning and Intelligent Optimization. LION 2020.}, publisher={Springer},
    author={El Mesaoudi-Paul, Adil and Weiß, Dimitri and Bengs, Viktor and Hüllermeier,
    Eyke and Tierney, Kevin}, year={2020}, pages={216–232}, collection={Lecture Notes
    in Computer Science} }'
  chicago: 'El Mesaoudi-Paul, Adil, Dimitri Weiß, Viktor Bengs, Eyke Hüllermeier,
    and Kevin Tierney. “Pool-Based Realtime Algorithm Configuration: A Preselection
    Bandit Approach.” In <i>Learning and Intelligent Optimization. LION 2020.</i>,
    12096:216–32. Lecture Notes in Computer Science. Cham: Springer, 2020. <a href="https://doi.org/10.1007/978-3-030-53552-0_22">https://doi.org/10.1007/978-3-030-53552-0_22</a>.'
  ieee: 'A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, and K. Tierney, “Pool-Based
    Realtime Algorithm Configuration: A Preselection Bandit Approach,” in <i>Learning
    and Intelligent Optimization. LION 2020.</i>, vol. 12096, Cham: Springer, 2020,
    pp. 216–232.'
  mla: 'El Mesaoudi-Paul, Adil, et al. “Pool-Based Realtime Algorithm Configuration:
    A Preselection Bandit Approach.” <i>Learning and Intelligent Optimization. LION
    2020.</i>, vol. 12096, Springer, 2020, pp. 216–32, doi:<a href="https://doi.org/10.1007/978-3-030-53552-0_22">10.1007/978-3-030-53552-0_22</a>.'
  short: 'A. El Mesaoudi-Paul, D. Weiß, V. Bengs, E. Hüllermeier, K. Tierney, in:
    Learning and Intelligent Optimization. LION 2020., Springer, Cham, 2020, pp. 216–232.'
date_created: 2020-08-17T11:44:37Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
doi: 10.1007/978-3-030-53552-0_22
intvolume: '     12096'
language:
- iso: eng
page: 216 - 232
place: Cham
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: Learning and Intelligent Optimization. LION 2020.
publication_identifier:
  isbn:
  - '9783030535513'
  - '9783030535520'
  issn:
  - 0302-9743
  - 1611-3349
publication_status: published
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: 'Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach'
type: book_chapter
user_id: '76599'
volume: 12096
year: '2020'
...
---
_id: '18017'
abstract:
- lang: eng
  text: "We consider an extension of the contextual multi-armed bandit problem, in\r\nwhich,
    instead of selecting a single alternative (arm), a learner is supposed\r\nto make
    a preselection in the form of a subset of alternatives. More\r\nspecifically,
    in each iteration, the learner is presented a set of arms and a\r\ncontext, both
    described in terms of feature vectors. The task of the learner is\r\nto preselect
    $k$ of these arms, among which a final choice is made in a second\r\nstep. In
    our setup, we assume that each arm has a latent (context-dependent)\r\nutility,
    and that feedback on a preselection is produced according to a\r\nPlackett-Luce
    model. We propose the CPPL algorithm, which is inspired by the\r\nwell-known UCB
    algorithm, and evaluate this algorithm on synthetic and real\r\ndata. In particular,
    we consider an online algorithm selection scenario, which\r\nserved as a main
    motivation of our problem setting. Here, an instance (which\r\ndefines the context)
    from a certain problem class (such as SAT) can be solved\r\nby different algorithms
    (the arms), but only $k$ of these algorithms can\r\nactually be run."
author:
- first_name: Adil
  full_name: El Mesaoudi-Paul, Adil
  last_name: El Mesaoudi-Paul
- first_name: Viktor
  full_name: Bengs, Viktor
  id: '76599'
  last_name: Bengs
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
citation:
  ama: El Mesaoudi-Paul A, Bengs V, Hüllermeier E. Online Preselection with Context
    Information under the Plackett-Luce  Model. <i>arXiv:200204275</i>.
  apa: El Mesaoudi-Paul, A., Bengs, V., &#38; Hüllermeier, E. (n.d.). Online Preselection
    with Context Information under the Plackett-Luce  Model. <i>ArXiv:2002.04275</i>.
  bibtex: '@article{El Mesaoudi-Paul_Bengs_Hüllermeier, title={Online Preselection
    with Context Information under the Plackett-Luce  Model}, journal={arXiv:2002.04275},
    author={El Mesaoudi-Paul, Adil and Bengs, Viktor and Hüllermeier, Eyke} }'
  chicago: El Mesaoudi-Paul, Adil, Viktor Bengs, and Eyke Hüllermeier. “Online Preselection
    with Context Information under the Plackett-Luce  Model.” <i>ArXiv:2002.04275</i>,
    n.d.
  ieee: A. El Mesaoudi-Paul, V. Bengs, and E. Hüllermeier, “Online Preselection with
    Context Information under the Plackett-Luce  Model,” <i>arXiv:2002.04275</i>.
    .
  mla: El Mesaoudi-Paul, Adil, et al. “Online Preselection with Context Information
    under the Plackett-Luce  Model.” <i>ArXiv:2002.04275</i>.
  short: A. El Mesaoudi-Paul, V. Bengs, E. Hüllermeier, ArXiv:2002.04275 (n.d.).
date_created: 2020-08-17T11:49:40Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '34'
- _id: '7'
- _id: '355'
language:
- iso: eng
project:
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: arXiv:2002.04275
publication_status: draft
status: public
title: Online Preselection with Context Information under the Plackett-Luce  Model
type: preprint
user_id: '76599'
year: '2020'
...
---
_id: '18021'
author:
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Christopher Bernal
  full_name: Tejedor, Christopher Bernal
  last_name: Tejedor
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Yigitbas E, Tejedor CB, Engels G. Experiencing and Programming the ENIAC in
    VR. In: <i>Proceedings of the Mensch Und Computer 2020 (MuC ’20)</i>. ; 2020.'
  apa: Yigitbas, E., Tejedor, C. B., &#38; Engels, G. (2020). Experiencing and Programming
    the ENIAC in VR. In <i>Proceedings of the Mensch und Computer 2020 (MuC ’20)</i>.
  bibtex: '@inproceedings{Yigitbas_Tejedor_Engels_2020, title={Experiencing and Programming
    the ENIAC in VR}, booktitle={Proceedings of the Mensch und Computer 2020 (MuC
    ’20)}, author={Yigitbas, Enes and Tejedor, Christopher Bernal and Engels, Gregor},
    year={2020} }'
  chicago: Yigitbas, Enes, Christopher Bernal Tejedor, and Gregor Engels. “Experiencing
    and Programming the ENIAC in VR.” In <i>Proceedings of the Mensch Und Computer
    2020 (MuC ’20)</i>, 2020.
  ieee: E. Yigitbas, C. B. Tejedor, and G. Engels, “Experiencing and Programming the
    ENIAC in VR,” in <i>Proceedings of the Mensch und Computer 2020 (MuC ’20)</i>,
    2020.
  mla: Yigitbas, Enes, et al. “Experiencing and Programming the ENIAC in VR.” <i>Proceedings
    of the Mensch Und Computer 2020 (MuC ’20)</i>, 2020.
  short: 'E. Yigitbas, C.B. Tejedor, G. Engels, in: Proceedings of the Mensch Und
    Computer 2020 (MuC ’20), 2020.'
date_created: 2020-08-17T17:49:02Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: Proceedings of the Mensch und Computer 2020 (MuC ’20)
status: public
title: Experiencing and Programming the ENIAC in VR
type: conference
user_id: '8447'
year: '2020'
...
---
_id: '18022'
author:
- first_name: Mirjam
  full_name: Augstein, Mirjam
  last_name: Augstein
- first_name: Daniel
  full_name: Buschek, Daniel
  last_name: Buschek
- first_name: Eelco
  full_name: Herder, Eelco
  last_name: Herder
- first_name: Benedikt
  full_name: Loepp, Benedikt
  last_name: Loepp
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Jürgen
  full_name: Ziegler, Jürgen
  last_name: Ziegler
citation:
  ama: 'Augstein M, Buschek D, Herder E, Loepp B, Yigitbas E, Ziegler J. UCAI 2020
    - 1st International Workshop on User-Centered Artificial Intelligence. In: <i>Proceedings
    of the Mensch Und Computer 2020 (MuC ’20)</i>. ACM; 2020.'
  apa: Augstein, M., Buschek, D., Herder, E., Loepp, B., Yigitbas, E., &#38; Ziegler,
    J. (2020). UCAI 2020 - 1st International Workshop on User-Centered Artificial
    Intelligence. In <i>Proceedings of the Mensch und Computer 2020 (MuC ’20)</i>.
    ACM.
  bibtex: '@inproceedings{Augstein_Buschek_Herder_Loepp_Yigitbas_Ziegler_2020, title={UCAI
    2020 - 1st International Workshop on User-Centered Artificial Intelligence}, booktitle={Proceedings
    of the Mensch und Computer 2020 (MuC ’20)}, publisher={ACM}, author={Augstein,
    Mirjam and Buschek, Daniel and Herder, Eelco and Loepp, Benedikt and Yigitbas,
    Enes and Ziegler, Jürgen}, year={2020} }'
  chicago: Augstein, Mirjam, Daniel Buschek, Eelco Herder, Benedikt Loepp, Enes Yigitbas,
    and Jürgen Ziegler. “UCAI 2020 - 1st International Workshop on User-Centered Artificial
    Intelligence.” In <i>Proceedings of the Mensch Und Computer 2020 (MuC ’20)</i>.
    ACM, 2020.
  ieee: M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, and J. Ziegler,
    “UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence,”
    in <i>Proceedings of the Mensch und Computer 2020 (MuC ’20)</i>, 2020.
  mla: Augstein, Mirjam, et al. “UCAI 2020 - 1st International Workshop on User-Centered
    Artificial Intelligence.” <i>Proceedings of the Mensch Und Computer 2020 (MuC
    ’20)</i>, ACM, 2020.
  short: 'M. Augstein, D. Buschek, E. Herder, B. Loepp, E. Yigitbas, J. Ziegler, in:
    Proceedings of the Mensch Und Computer 2020 (MuC ’20), ACM, 2020.'
date_created: 2020-08-17T17:55:42Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: Proceedings of the Mensch und Computer 2020 (MuC ’20)
publisher: ACM
status: public
title: UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence
type: conference
user_id: '8447'
year: '2020'
...
---
_id: '18038'
author:
- first_name: Stefan
  full_name: Böttcher, Stefan
  id: '624'
  last_name: Böttcher
- first_name: Rita
  full_name: Hartel, Rita
  id: '14961'
  last_name: Hartel
- first_name: Sven
  full_name: Peeters, Sven
  last_name: Peeters
citation:
  ama: 'Böttcher S, Hartel R, Peeters S. QSGG: query simulation in grammar-compressed
    graphs. In: <i>Proceedings of The International Workshop on Semantic Big Data</i>.
    ; 2020. doi:<a href="https://doi.org/10.1145/3391274.3393638">10.1145/3391274.3393638</a>'
  apa: 'Böttcher, S., Hartel, R., &#38; Peeters, S. (2020). QSGG: query simulation
    in grammar-compressed graphs. In <i>Proceedings of The International Workshop
    on Semantic Big Data</i>. <a href="https://doi.org/10.1145/3391274.3393638">https://doi.org/10.1145/3391274.3393638</a>'
  bibtex: '@inproceedings{Böttcher_Hartel_Peeters_2020, title={QSGG: query simulation
    in grammar-compressed graphs}, DOI={<a href="https://doi.org/10.1145/3391274.3393638">10.1145/3391274.3393638</a>},
    booktitle={Proceedings of The International Workshop on Semantic Big Data}, author={Böttcher,
    Stefan and Hartel, Rita and Peeters, Sven}, year={2020} }'
  chicago: 'Böttcher, Stefan, Rita Hartel, and Sven Peeters. “QSGG: Query Simulation
    in Grammar-Compressed Graphs.” In <i>Proceedings of The International Workshop
    on Semantic Big Data</i>, 2020. <a href="https://doi.org/10.1145/3391274.3393638">https://doi.org/10.1145/3391274.3393638</a>.'
  ieee: 'S. Böttcher, R. Hartel, and S. Peeters, “QSGG: query simulation in grammar-compressed
    graphs,” in <i>Proceedings of The International Workshop on Semantic Big Data</i>,
    2020.'
  mla: 'Böttcher, Stefan, et al. “QSGG: Query Simulation in Grammar-Compressed Graphs.”
    <i>Proceedings of The International Workshop on Semantic Big Data</i>, 2020, doi:<a
    href="https://doi.org/10.1145/3391274.3393638">10.1145/3391274.3393638</a>.'
  short: 'S. Böttcher, R. Hartel, S. Peeters, in: Proceedings of The International
    Workshop on Semantic Big Data, 2020.'
date_created: 2020-08-18T12:42:28Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '69'
doi: 10.1145/3391274.3393638
language:
- iso: eng
publication: Proceedings of The International Workshop on Semantic Big Data
publication_identifier:
  isbn:
  - '9781450379748'
publication_status: published
status: public
title: 'QSGG: query simulation in grammar-compressed graphs'
type: conference
user_id: '14961'
year: '2020'
...
---
_id: '18039'
author:
- first_name: Stefan
  full_name: Böttcher, Stefan
  id: '624'
  last_name: Böttcher
- first_name: Rita
  full_name: Hartel, Rita
  id: '14961'
  last_name: Hartel
- first_name: Sven
  full_name: Peeters, Sven
  last_name: Peeters
citation:
  ama: 'Böttcher S, Hartel R, Peeters S. Pattern Search in Grammar-Compressed Graphs.
    In: <i>2020 Data Compression Conference (DCC) (Poster)</i>. ; 2020. doi:<a href="https://doi.org/10.1109/dcc47342.2020.00054">10.1109/dcc47342.2020.00054</a>'
  apa: Böttcher, S., Hartel, R., &#38; Peeters, S. (2020). Pattern Search in Grammar-Compressed
    Graphs. In <i>2020 Data Compression Conference (DCC) (Poster)</i>. <a href="https://doi.org/10.1109/dcc47342.2020.00054">https://doi.org/10.1109/dcc47342.2020.00054</a>
  bibtex: '@inproceedings{Böttcher_Hartel_Peeters_2020, title={Pattern Search in Grammar-Compressed
    Graphs}, DOI={<a href="https://doi.org/10.1109/dcc47342.2020.00054">10.1109/dcc47342.2020.00054</a>},
    booktitle={2020 Data Compression Conference (DCC) (Poster)}, author={Böttcher,
    Stefan and Hartel, Rita and Peeters, Sven}, year={2020} }'
  chicago: Böttcher, Stefan, Rita Hartel, and Sven Peeters. “Pattern Search in Grammar-Compressed
    Graphs.” In <i>2020 Data Compression Conference (DCC) (Poster)</i>, 2020. <a href="https://doi.org/10.1109/dcc47342.2020.00054">https://doi.org/10.1109/dcc47342.2020.00054</a>.
  ieee: S. Böttcher, R. Hartel, and S. Peeters, “Pattern Search in Grammar-Compressed
    Graphs,” in <i>2020 Data Compression Conference (DCC) (Poster)</i>, 2020.
  mla: Böttcher, Stefan, et al. “Pattern Search in Grammar-Compressed Graphs.” <i>2020
    Data Compression Conference (DCC) (Poster)</i>, 2020, doi:<a href="https://doi.org/10.1109/dcc47342.2020.00054">10.1109/dcc47342.2020.00054</a>.
  short: 'S. Böttcher, R. Hartel, S. Peeters, in: 2020 Data Compression Conference
    (DCC) (Poster), 2020.'
date_created: 2020-08-18T12:45:17Z
date_updated: 2022-01-06T06:53:25Z
department:
- _id: '69'
doi: 10.1109/dcc47342.2020.00054
language:
- iso: eng
publication: 2020 Data Compression Conference (DCC) (Poster)
publication_identifier:
  isbn:
  - '9781728164571'
publication_status: published
status: public
title: Pattern Search in Grammar-Compressed Graphs
type: conference
user_id: '14961'
year: '2020'
...
---
_id: '18066'
author:
- first_name: Michael
  full_name: Skowronek, Michael
  last_name: Skowronek
citation:
  ama: Skowronek M. <i>Approaches for Competetive Routing through Intersections of
    Hole Abstractions in Hybrid Communication Networks</i>. Universität Paderborn;
    2020.
  apa: Skowronek, M. (2020). <i>Approaches for Competetive Routing through Intersections
    of Hole Abstractions in Hybrid Communication Networks</i>. Universität Paderborn.
  bibtex: '@book{Skowronek_2020, title={Approaches for Competetive Routing through
    Intersections of Hole Abstractions in Hybrid Communication Networks}, publisher={Universität
    Paderborn}, author={Skowronek, Michael}, year={2020} }'
  chicago: Skowronek, Michael. <i>Approaches for Competetive Routing through Intersections
    of Hole Abstractions in Hybrid Communication Networks</i>. Universität Paderborn,
    2020.
  ieee: M. Skowronek, <i>Approaches for Competetive Routing through Intersections
    of Hole Abstractions in Hybrid Communication Networks</i>. Universität Paderborn,
    2020.
  mla: Skowronek, Michael. <i>Approaches for Competetive Routing through Intersections
    of Hole Abstractions in Hybrid Communication Networks</i>. Universität Paderborn,
    2020.
  short: M. Skowronek, Approaches for Competetive Routing through Intersections of
    Hole Abstractions in Hybrid Communication Networks, Universität Paderborn, 2020.
date_created: 2020-08-20T07:40:58Z
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: Approaches for Competetive Routing through Intersections of Hole Abstractions
  in Hybrid Communication Networks
type: bachelorsthesis
user_id: '477'
year: '2020'
...
---
_id: '18085'
author:
- first_name: Jonas
  full_name: Heimann, Jonas
  last_name: Heimann
citation:
  ama: Heimann J. <i>Distributed Key Generation for Attribute-Based Signatures</i>.;
    2020.
  apa: Heimann, J. (2020). <i>Distributed Key Generation for Attribute-Based Signatures</i>.
  bibtex: '@book{Heimann_2020, title={Distributed Key Generation for Attribute-Based
    Signatures}, author={Heimann, Jonas}, year={2020} }'
  chicago: Heimann, Jonas. <i>Distributed Key Generation for Attribute-Based Signatures</i>,
    2020.
  ieee: J. Heimann, <i>Distributed Key Generation for Attribute-Based Signatures</i>.
    2020.
  mla: Heimann, Jonas. <i>Distributed Key Generation for Attribute-Based Signatures</i>.
    2020.
  short: J. Heimann, Distributed Key Generation for Attribute-Based Signatures, 2020.
date_created: 2020-08-20T11:23:11Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '64'
language:
- iso: eng
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: Distributed Key Generation for Attribute-Based Signatures
type: bachelorsthesis
user_id: '13703'
year: '2020'
...
---
_id: '18109'
author:
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Ivan
  full_name: Jovanovikj, Ivan
  id: '39187'
  last_name: Jovanovikj
  orcid: https://orcid.org/0000-0002-1838-794X
- first_name: Janis
  full_name: Scholand, Janis
  last_name: Scholand
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Yigitbas E, Jovanovikj I, Scholand J, Engels G. VR Training for Warehouse
    Management . In: <i>Proceedings of the 26th ACM Symposium on Virtual Reality Software
    and Technology (VRST)</i>. ACM; 2020.'
  apa: Yigitbas, E., Jovanovikj, I., Scholand, J., &#38; Engels, G. (2020). VR Training
    for Warehouse Management . In <i>Proceedings of the 26th ACM Symposium on Virtual
    Reality Software and Technology (VRST)</i>. ACM.
  bibtex: '@inproceedings{Yigitbas_Jovanovikj_Scholand_Engels_2020, title={VR Training
    for Warehouse Management }, booktitle={Proceedings of the 26th ACM Symposium on
    Virtual Reality Software and Technology (VRST)}, publisher={ACM}, author={Yigitbas,
    Enes and Jovanovikj, Ivan and Scholand, Janis and Engels, Gregor}, year={2020}
    }'
  chicago: Yigitbas, Enes, Ivan Jovanovikj, Janis Scholand, and Gregor Engels. “VR
    Training for Warehouse Management .” In <i>Proceedings of the 26th ACM Symposium
    on Virtual Reality Software and Technology (VRST)</i>. ACM, 2020.
  ieee: E. Yigitbas, I. Jovanovikj, J. Scholand, and G. Engels, “VR Training for Warehouse
    Management ,” in <i>Proceedings of the 26th ACM Symposium on Virtual Reality Software
    and Technology (VRST)</i>, 2020.
  mla: Yigitbas, Enes, et al. “VR Training for Warehouse Management .” <i>Proceedings
    of the 26th ACM Symposium on Virtual Reality Software and Technology (VRST)</i>,
    ACM, 2020.
  short: 'E. Yigitbas, I. Jovanovikj, J. Scholand, G. Engels, in: Proceedings of the
    26th ACM Symposium on Virtual Reality Software and Technology (VRST), ACM, 2020.'
date_created: 2020-08-21T08:09:44Z
date_updated: 2022-01-06T06:53:26Z
department:
- _id: '66'
- _id: '534'
language:
- iso: eng
publication: Proceedings of the 26th ACM Symposium on Virtual Reality Software and
  Technology (VRST)
publisher: ACM
status: public
title: 'VR Training for Warehouse Management '
type: conference
user_id: '8447'
year: '2020'
...
---
_id: '18249'
abstract:
- lang: eng
  text: Augmented Reality (AR) has recently found high attention in mobile shopping
    apps such as in domains like furniture or decoration. Here, the developers of
    the apps focus on the positioning of atomic 3D objects in the physical environment.
    With this focus, they neglect the conﬁguration of multi-faceted 3D object composition
    according to the user needs and environmental constraints. To tackle these challenges,
    we present a model-based approach to support AR-assisted product con-ﬁguration
    based on the concept of Dynamic Software Product Lines. Our approach splits products
    (e.g. table) into parts (e.g. tabletop, ta-ble legs, funnier) with their 3D objects
    and additional information (e.g. name, price). The possible products, which can
    be conﬁgured out of these parts, are stored in a feature model. At runtime, this
    feature model can be used to conﬁgure 3D object compositions out of the product
    parts and adapt to user needs and environmental constraints. The beneﬁts of this
    approach are demonstrated by a case study of conﬁguring modular kitchens with
    the help of a prototypical mobile-based implementation.
author:
- first_name: Sebastian
  full_name: Gottschalk, Sebastian
  id: '47208'
  last_name: Gottschalk
- first_name: Enes
  full_name: Yigitbas, Enes
  id: '8447'
  last_name: Yigitbas
  orcid: 0000-0002-5967-833X
- first_name: Eugen
  full_name: Schmidt, Eugen
  last_name: Schmidt
- first_name: Gregor
  full_name: Engels, Gregor
  id: '107'
  last_name: Engels
citation:
  ama: 'Gottschalk S, Yigitbas E, Schmidt E, Engels G. Model-based Product Configuration
    in Augmented Reality Applications. In: Bernhaupt R, Ardito C, Sauer S, eds. <i>Human-Centered
    Software Engineering. HCSE 2020</i>. Vol 12481. Lecture Notes in Computer Science.
    Cham: Springer; 2020. doi:<a href="https://doi.org/10.1007/978-3-030-64266-2_5">10.1007/978-3-030-64266-2_5</a>'
  apa: 'Gottschalk, S., Yigitbas, E., Schmidt, E., &#38; Engels, G. (2020). Model-based
    Product Configuration in Augmented Reality Applications. In R. Bernhaupt, C. Ardito,
    &#38; S. Sauer (Eds.), <i>Human-Centered Software Engineering. HCSE 2020</i> (Vol.
    12481). Cham: Springer. <a href="https://doi.org/10.1007/978-3-030-64266-2_5">https://doi.org/10.1007/978-3-030-64266-2_5</a>'
  bibtex: '@inproceedings{Gottschalk_Yigitbas_Schmidt_Engels_2020, place={Cham}, series={Lecture
    Notes in Computer Science}, title={Model-based Product Configuration in Augmented
    Reality Applications}, volume={12481}, DOI={<a href="https://doi.org/10.1007/978-3-030-64266-2_5">10.1007/978-3-030-64266-2_5</a>},
    booktitle={Human-Centered Software Engineering. HCSE 2020}, publisher={Springer},
    author={Gottschalk, Sebastian and Yigitbas, Enes and Schmidt, Eugen and Engels,
    Gregor}, editor={Bernhaupt, Regina and Ardito, Carmelo and Sauer, StefanEditors},
    year={2020}, collection={Lecture Notes in Computer Science} }'
  chicago: 'Gottschalk, Sebastian, Enes Yigitbas, Eugen Schmidt, and Gregor Engels.
    “Model-Based Product Configuration in Augmented Reality Applications.” In <i>Human-Centered
    Software Engineering. HCSE 2020</i>, edited by Regina Bernhaupt, Carmelo Ardito,
    and Stefan Sauer, Vol. 12481. Lecture Notes in Computer Science. Cham: Springer,
    2020. <a href="https://doi.org/10.1007/978-3-030-64266-2_5">https://doi.org/10.1007/978-3-030-64266-2_5</a>.'
  ieee: S. Gottschalk, E. Yigitbas, E. Schmidt, and G. Engels, “Model-based Product
    Configuration in Augmented Reality Applications,” in <i>Human-Centered Software
    Engineering. HCSE 2020</i>, Eindhoven, 2020, vol. 12481.
  mla: Gottschalk, Sebastian, et al. “Model-Based Product Configuration in Augmented
    Reality Applications.” <i>Human-Centered Software Engineering. HCSE 2020</i>,
    edited by Regina Bernhaupt et al., vol. 12481, Springer, 2020, doi:<a href="https://doi.org/10.1007/978-3-030-64266-2_5">10.1007/978-3-030-64266-2_5</a>.
  short: 'S. Gottschalk, E. Yigitbas, E. Schmidt, G. Engels, in: R. Bernhaupt, C.
    Ardito, S. Sauer (Eds.), Human-Centered Software Engineering. HCSE 2020, Springer,
    Cham, 2020.'
conference:
  end_date: 2020-12-02
  location: Eindhoven
  name: 8th International Working Conference on Human-Centered Software Engineering
    (HCSE'20)
  start_date: 2020-11-30
date_created: 2020-08-25T08:27:38Z
date_updated: 2022-01-06T06:53:28Z
ddc:
- '000'
department:
- _id: '66'
- _id: '534'
doi: 10.1007/978-3-030-64266-2_5
editor:
- first_name: Regina
  full_name: Bernhaupt, Regina
  last_name: Bernhaupt
- first_name: Carmelo
  full_name: Ardito, Carmelo
  last_name: Ardito
- first_name: Stefan
  full_name: Sauer, Stefan
  last_name: Sauer
file:
- access_level: open_access
  content_type: application/pdf
  creator: sego
  date_created: 2020-11-30T08:33:30Z
  date_updated: 2020-11-30T08:36:52Z
  file_id: '20541'
  file_name: HCSE20_full.pdf
  file_size: 2258601
  relation: main_file
file_date_updated: 2020-11-30T08:36:52Z
has_accepted_license: '1'
intvolume: '     12481'
keyword:
- Product Configuration
- Augmented Reality
- Runtime Adaptation
- Dynamic Software Product Lines
language:
- iso: eng
oa: '1'
place: Cham
project:
- _id: '1'
  name: SFB 901
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '17'
  name: SFB 901 - Subproject C5
publication: Human-Centered Software Engineering. HCSE 2020
publication_status: published
publisher: Springer
series_title: Lecture Notes in Computer Science
status: public
title: Model-based Product Configuration in Augmented Reality Applications
type: conference
user_id: '47208'
volume: 12481
year: '2020'
...
---
_id: '18276'
abstract:
- lang: eng
  text: "Algorithm selection (AS) deals with the automatic selection of an algorithm\r\nfrom
    a fixed set of candidate algorithms most suitable for a specific instance\r\nof
    an algorithmic problem class, where \"suitability\" often refers to an\r\nalgorithm's
    runtime. Due to possibly extremely long runtimes of candidate\r\nalgorithms, training
    data for algorithm selection models is usually generated\r\nunder time constraints
    in the sense that not all algorithms are run to\r\ncompletion on all instances.
    Thus, training data usually comprises censored\r\ninformation, as the true runtime
    of algorithms timed out remains unknown.\r\nHowever, many standard AS approaches
    are not able to handle such information in\r\na proper way. On the other side,
    survival analysis (SA) naturally supports\r\ncensored data and offers appropriate
    ways to use such data for learning\r\ndistributional models of algorithm runtime,
    as we demonstrate in this work. We\r\nleverage such models as a basis of a sophisticated
    decision-theoretic approach\r\nto algorithm selection, which we dub Run2Survive.
    Moreover, taking advantage of\r\na framework of this kind, we advocate a risk-averse
    approach to algorithm\r\nselection, in which the avoidance of a timeout is given
    high priority. In an\r\nextensive experimental study with the standard benchmark
    ASlib, our approach is\r\nshown to be highly competitive and in many cases even
    superior to\r\nstate-of-the-art AS approaches."
author:
- first_name: Alexander
  full_name: Tornede, Alexander
  id: '38209'
  last_name: Tornede
- first_name: Marcel Dominik
  full_name: Wever, Marcel Dominik
  id: '33176'
  last_name: Wever
  orcid: ' https://orcid.org/0000-0001-9782-6818'
- first_name: Stefan
  full_name: Werner, Stefan
  last_name: Werner
- first_name: Felix
  full_name: Mohr, Felix
  last_name: Mohr
- first_name: Eyke
  full_name: Hüllermeier, Eyke
  id: '48129'
  last_name: Hüllermeier
citation:
  ama: 'Tornede A, Wever MD, Werner S, Mohr F, Hüllermeier E. Run2Survive: A Decision-theoretic
    Approach to Algorithm Selection based on Survival Analysis. In: <i>ACML 2020</i>.
    ; 2020.'
  apa: 'Tornede, A., Wever, M. D., Werner, S., Mohr, F., &#38; Hüllermeier, E. (2020).
    Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival
    Analysis. <i>ACML 2020</i>. 12th Asian Conference on Machine Learning, Bangkok,
    Thailand.'
  bibtex: '@inproceedings{Tornede_Wever_Werner_Mohr_Hüllermeier_2020, title={Run2Survive:
    A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis},
    booktitle={ACML 2020}, author={Tornede, Alexander and Wever, Marcel Dominik and
    Werner, Stefan and Mohr, Felix and Hüllermeier, Eyke}, year={2020} }'
  chicago: 'Tornede, Alexander, Marcel Dominik Wever, Stefan Werner, Felix Mohr, and
    Eyke Hüllermeier. “Run2Survive: A Decision-Theoretic Approach to Algorithm Selection
    Based on Survival Analysis.” In <i>ACML 2020</i>, 2020.'
  ieee: 'A. Tornede, M. D. Wever, S. Werner, F. Mohr, and E. Hüllermeier, “Run2Survive:
    A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis,”
    presented at the 12th Asian Conference on Machine Learning, Bangkok, Thailand,
    2020.'
  mla: 'Tornede, Alexander, et al. “Run2Survive: A Decision-Theoretic Approach to
    Algorithm Selection Based on Survival Analysis.” <i>ACML 2020</i>, 2020.'
  short: 'A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020,
    2020.'
conference:
  end_date: 2020-11-20
  location: Bangkok, Thailand
  name: 12th Asian Conference on Machine Learning
  start_date: 2020-11-18
date_created: 2020-08-25T12:09:28Z
date_updated: 2022-01-06T06:53:28Z
department:
- _id: '34'
- _id: '355'
- _id: '26'
language:
- iso: eng
main_file_link:
- url: https://arxiv.org/pdf/2007.02816.pdf
project:
- _id: '1'
  name: SFB 901
- _id: '3'
  name: SFB 901 - Project Area B
- _id: '10'
  name: SFB 901 - Subproject B2
- _id: '52'
  name: Computing Resources Provided by the Paderborn Center for Parallel Computing
publication: ACML 2020
status: public
title: 'Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on
  Survival Analysis'
type: conference
user_id: '5786'
year: '2020'
...
---
_id: '18350'
article_type: original
author:
- first_name: Christian
  full_name: Koldewey, Christian
  id: '43136'
  last_name: Koldewey
  orcid: https://orcid.org/0000-0001-7992-6399
- first_name: Maurice
  full_name: Meyer, Maurice
  id: '77201'
  last_name: Meyer
  orcid: 0000-0003-0606-7321
- first_name: Patrick
  full_name: Stockbrügger, Patrick
  last_name: Stockbrügger
- first_name: Roman
  full_name: Dumitrescu, Roman
  id: '16190'
  last_name: Dumitrescu
- first_name: Jürgen
  full_name: Gausemeier, Jürgen
  last_name: Gausemeier
citation:
  ama: Koldewey C, Meyer M, Stockbrügger P, Dumitrescu R, Gausemeier J. Framework
    and Functionality Patterns for Smart Service Innovation. <i>Procedia CIRP</i>.
    2020;(91):851-857. doi:<a href="https://doi.org/10.1016/j.procir.2020.02.244">10.1016/j.procir.2020.02.244</a>
  apa: Koldewey, C., Meyer, M., Stockbrügger, P., Dumitrescu, R., &#38; Gausemeier,
    J. (2020). Framework and Functionality Patterns for Smart Service Innovation.
    <i>Procedia CIRP</i>, (91), 851–857. <a href="https://doi.org/10.1016/j.procir.2020.02.244">https://doi.org/10.1016/j.procir.2020.02.244</a>
  bibtex: '@article{Koldewey_Meyer_Stockbrügger_Dumitrescu_Gausemeier_2020, title={Framework
    and Functionality Patterns for Smart Service Innovation}, DOI={<a href="https://doi.org/10.1016/j.procir.2020.02.244">10.1016/j.procir.2020.02.244</a>},
    number={91}, journal={Procedia CIRP}, author={Koldewey, Christian and Meyer, Maurice
    and Stockbrügger, Patrick and Dumitrescu, Roman and Gausemeier, Jürgen}, year={2020},
    pages={851–857} }'
  chicago: 'Koldewey, Christian, Maurice Meyer, Patrick Stockbrügger, Roman Dumitrescu,
    and Jürgen Gausemeier. “Framework and Functionality Patterns for Smart Service
    Innovation.” <i>Procedia CIRP</i>, no. 91 (2020): 851–57. <a href="https://doi.org/10.1016/j.procir.2020.02.244">https://doi.org/10.1016/j.procir.2020.02.244</a>.'
  ieee: C. Koldewey, M. Meyer, P. Stockbrügger, R. Dumitrescu, and J. Gausemeier,
    “Framework and Functionality Patterns for Smart Service Innovation,” <i>Procedia
    CIRP</i>, no. 91, pp. 851–857, 2020.
  mla: Koldewey, Christian, et al. “Framework and Functionality Patterns for Smart
    Service Innovation.” <i>Procedia CIRP</i>, no. 91, 2020, pp. 851–57, doi:<a href="https://doi.org/10.1016/j.procir.2020.02.244">10.1016/j.procir.2020.02.244</a>.
  short: C. Koldewey, M. Meyer, P. Stockbrügger, R. Dumitrescu, J. Gausemeier, Procedia
    CIRP (2020) 851–857.
date_created: 2020-08-26T09:39:12Z
date_updated: 2022-01-06T06:53:29Z
department:
- _id: '563'
doi: 10.1016/j.procir.2020.02.244
issue: '91'
language:
- iso: eng
page: 851-857
publication: Procedia CIRP
publication_identifier:
  issn:
  - 2212-8271
publication_status: published
quality_controlled: '1'
status: public
title: Framework and Functionality Patterns for Smart Service Innovation
type: journal_article
user_id: '77201'
year: '2020'
...
---
_id: '18520'
author:
- first_name: Alexander
  full_name: Setzer, Alexander
  id: '11108'
  last_name: Setzer
citation:
  ama: Setzer A. <i>Local Graph Transformation Primitives For Some Basic Problems
    In Overlay Networks</i>. Universität Paderborn; 2020. doi:<a href="https://doi.org/10.17619/UNIPB/1-1026">10.17619/UNIPB/1-1026</a>
  apa: Setzer, A. (2020). <i>Local Graph Transformation Primitives For Some Basic
    Problems In Overlay Networks</i>. Universität Paderborn. <a href="https://doi.org/10.17619/UNIPB/1-1026">https://doi.org/10.17619/UNIPB/1-1026</a>
  bibtex: '@book{Setzer_2020, title={Local Graph Transformation Primitives For Some
    Basic Problems In Overlay Networks}, DOI={<a href="https://doi.org/10.17619/UNIPB/1-1026">10.17619/UNIPB/1-1026</a>},
    publisher={Universität Paderborn}, author={Setzer, Alexander}, year={2020} }'
  chicago: Setzer, Alexander. <i>Local Graph Transformation Primitives For Some Basic
    Problems In Overlay Networks</i>. Universität Paderborn, 2020. <a href="https://doi.org/10.17619/UNIPB/1-1026">https://doi.org/10.17619/UNIPB/1-1026</a>.
  ieee: A. Setzer, <i>Local Graph Transformation Primitives For Some Basic Problems
    In Overlay Networks</i>. Universität Paderborn, 2020.
  mla: Setzer, Alexander. <i>Local Graph Transformation Primitives For Some Basic
    Problems In Overlay Networks</i>. Universität Paderborn, 2020, doi:<a href="https://doi.org/10.17619/UNIPB/1-1026">10.17619/UNIPB/1-1026</a>.
  short: A. Setzer, Local Graph Transformation Primitives For Some Basic Problems
    In Overlay Networks, Universität Paderborn, 2020.
date_created: 2020-08-28T06:50:29Z
date_updated: 2022-01-06T06:53:36Z
department:
- _id: '79'
doi: 10.17619/UNIPB/1-1026
language:
- iso: eng
project:
- _id: '1'
  name: SFB 901
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '13'
  name: SFB 901 - Subproject C1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Christian
  full_name: Scheideler, Christian
  id: '20792'
  last_name: Scheideler
title: Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks
type: dissertation
user_id: '477'
year: '2020'
...
---
_id: '18637'
author:
- first_name: Patrick
  full_name: Schürmann, Patrick
  last_name: Schürmann
citation:
  ama: Schürmann P. <i>A Group Signature Scheme from Flexible Public Key Signatures
    and Structure-Preserving Signatures on Equivalence Classes</i>. Universität Paderborn;
    2020.
  apa: Schürmann, P. (2020). <i>A Group Signature Scheme from Flexible Public Key
    Signatures and Structure-Preserving Signatures on Equivalence Classes</i>. Universität
    Paderborn.
  bibtex: '@book{Schürmann_2020, title={A Group Signature Scheme from Flexible Public
    Key Signatures and Structure-Preserving Signatures on Equivalence Classes}, publisher={Universität
    Paderborn}, author={Schürmann, Patrick}, year={2020} }'
  chicago: Schürmann, Patrick. <i>A Group Signature Scheme from Flexible Public Key
    Signatures and Structure-Preserving Signatures on Equivalence Classes</i>. Universität
    Paderborn, 2020.
  ieee: P. Schürmann, <i>A Group Signature Scheme from Flexible Public Key Signatures
    and Structure-Preserving Signatures on Equivalence Classes</i>. Universität Paderborn,
    2020.
  mla: Schürmann, Patrick. <i>A Group Signature Scheme from Flexible Public Key Signatures
    and Structure-Preserving Signatures on Equivalence Classes</i>. Universität Paderborn,
    2020.
  short: P. Schürmann, A Group Signature Scheme from Flexible Public Key Signatures
    and Structure-Preserving Signatures on Equivalence Classes, Universität Paderborn,
    2020.
date_created: 2020-08-29T13:24:51Z
date_updated: 2022-01-06T06:53:50Z
ddc:
- '000'
department:
- _id: '7'
- _id: '64'
extern: '1'
file:
- access_level: open_access
  content_type: application/pdf
  creator: feidens
  date_created: 2020-10-23T08:36:34Z
  date_updated: 2020-10-23T08:36:34Z
  description: This is a bachelor thesis.
  file_id: '20186'
  file_name: thesis_schuermann_published.pdf
  file_size: 1060142
  relation: main_file
file_date_updated: 2020-10-23T08:36:34Z
has_accepted_license: '1'
language:
- iso: eng
oa: '1'
project:
- _id: '1'
  name: SFB 901
- _id: '4'
  name: SFB 901 - Project Area C
- _id: '13'
  name: SFB 901 - Subproject C1
publisher: Universität Paderborn
status: public
supervisor:
- first_name: Johannes
  full_name: Blömer, Johannes
  id: '23'
  last_name: Blömer
title: A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving
  Signatures on Equivalence Classes
type: bachelorsthesis
user_id: '25078'
year: '2020'
...
