[{"citation":{"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>.","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} }","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>","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.","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>","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.","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>."},"publication":"Educational Technology Research and Development","date_created":"2020-12-22T15:17:04Z","department":[{"_id":"67"}],"type":"journal_article","author":[{"full_name":"Webb, Mary E","first_name":"Mary E","last_name":"Webb"},{"first_name":"Andrew","last_name":"Fluck","full_name":"Fluck, Andrew"},{"last_name":"Magenheim","first_name":"Johannes","full_name":"Magenheim, Johannes"},{"last_name":"Malyn-Smith","first_name":"Joyce","full_name":"Malyn-Smith, Joyce"},{"full_name":"Waters, Juliet","first_name":"Juliet","last_name":"Waters"},{"last_name":"Deschênes ","first_name":"Michelle","full_name":"Deschênes , Michelle"},{"last_name":"Zagami","first_name":"Jason","full_name":"Zagami, Jason"}],"status":"public","year":"2020","title":"Machine learning for human learners: opportunities, issues, tensions and threats","date_updated":"2022-01-06T06:54:40Z","language":[{"iso":"eng"}],"_id":"20834","publisher":"Springer","page":"1-22","user_id":"21145","doi":"10.1007/s11423-020-09858-2"},{"publication":"MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung","citation":{"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>","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.","short":"J. Magenheim, MedienPädagogik: Zeitschrift für Theorie und Praxis der Medienbildung 37 (2020) 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>.","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>.","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>","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} }"},"date_created":"2020-12-22T15:22:42Z","type":"journal_article","department":[{"_id":"67"}],"title":"< Big Data> aus der Perspektive von Informatischer Bildung und Medienpädagogik","year":"2020","status":"public","author":[{"last_name":"Magenheim","first_name":"Johannes","full_name":"Magenheim, Johannes"}],"date_updated":"2022-01-06T06:54:40Z","intvolume":"        37","page":"139-163","_id":"20835","language":[{"iso":"ger"}],"doi":"10.21240/mpaed/37/2020.07.08.X","user_id":"21145","volume":37},{"citation":{"short":"J. Magenheim, C. Schulte, Encyclopedia of Education and Information Technologies. Cham: Springer (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>.","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>","ieee":"J. Magenheim and C. Schulte, “Data science education,” <i>Encyclopedia of Education and Information Technologies. Cham: Springer</i>, 2020.","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>","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} }","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>."},"publication":"Encyclopedia of Education and Information Technologies. Cham: Springer","date_created":"2020-12-22T15:26:36Z","department":[{"_id":"67"}],"type":"journal_article","author":[{"full_name":"Magenheim, Johannes","last_name":"Magenheim","first_name":"Johannes"},{"id":"60311","full_name":"Schulte, Carsten","last_name":"Schulte","first_name":"Carsten"}],"year":"2020","title":"Data science education","status":"public","date_updated":"2022-01-06T06:54:40Z","language":[{"iso":"eng"}],"_id":"20836","doi":"10.1007/978-3-030-10576-1_253","user_id":"21145"},{"date_updated":"2022-01-06T06:54:40Z","year":"2020","title":"Programmieren - Lehren und Lernen mit und über Medien","status":"public","author":[{"full_name":"Schulte, Carsten","last_name":"Schulte","first_name":"Carsten","id":"60311"},{"id":"32443","full_name":"Budde, Lea","last_name":"Budde","first_name":"Lea"},{"first_name":"Felix","last_name":"Winkelnkemper","full_name":"Winkelnkemper, Felix","id":"3117"}],"user_id":"21145","doi":"10.1007/978-3-658-29039-9","page":"215-240","_id":"20840","publisher":"Springer","language":[{"iso":"eng"}],"publication":"Mobile Medien im Schulkontext","citation":{"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>.","short":"C. Schulte, L. Budde, F. Winkelnkemper, in: Mobile Medien Im Schulkontext, Springer, 2020, pp. 215–240.","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.","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} }","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>","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>."},"type":"book_chapter","department":[{"_id":"67"}],"date_created":"2020-12-23T09:30:05Z"},{"language":[{"iso":"eng"}],"doi":"10.1145/3409385","title":"A Complexity Theoretical Study of Fuzzy K-Means","year":"2020","author":[{"last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes","id":"23"},{"first_name":"Sascha","last_name":"Brauer","full_name":"Brauer, Sascha","id":"13291"},{"last_name":"Bujna","first_name":"Kathrin","full_name":"Bujna, Kathrin"}],"publication_identifier":{"issn":["1549-6325","1549-6333"]},"publication_status":"published","date_updated":"2022-01-06T06:54:41Z","intvolume":"        16","date_created":"2021-01-08T08:51:42Z","type":"journal_article","department":[{"_id":"64"}],"publication":"ACM Transactions on Algorithms","issue":"4","page":"1-25","_id":"20888","user_id":"13291","volume":16,"status":"public","citation":{"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>.","short":"J. Blömer, S. Brauer, K. Bujna, ACM Transactions on Algorithms 16 (2020) 1–25.","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>","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.","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>","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} }","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>."},"project":[{"_id":"45","name":"Soft-Clustering - Von Heuristiken zu Approximationsalgorithmen"}]},{"date_updated":"2022-01-06T06:54:41Z","publication_status":"published","author":[{"full_name":"Knüppel, Alexander","last_name":"Knüppel","first_name":"Alexander"},{"full_name":"Krüger, Stefan","first_name":"Stefan","last_name":"Krüger"},{"last_name":"Thüm","first_name":"Thomas","full_name":"Thüm, Thomas"},{"full_name":"Bubel, Richard","first_name":"Richard","last_name":"Bubel"},{"full_name":"Krieter, Sebastian","first_name":"Sebastian","last_name":"Krieter"},{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","orcid":"0000-0003-3470-3647","id":"59256"},{"full_name":"Schaefer, Ina","last_name":"Schaefer","first_name":"Ina"}],"publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783030643539","9783030643546"]},"year":"2020","title":"Using Abstract Contracts for Verifying Evolving Features and Their Interactions","status":"public","doi":"10.1007/978-3-030-64354-6_5","user_id":"5786","language":[{"iso":"eng"}],"_id":"20891","abstract":[{"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","lang":"eng"}],"citation":{"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>","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.","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>.","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.","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>.","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>","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} }"},"publication":"Lecture Notes in Computer Science","department":[{"_id":"76"}],"type":"book_chapter","place":"Cham","date_created":"2021-01-11T09:15:41Z"},{"page":"216 - 232","publisher":"Springer","_id":"18014","user_id":"76599","volume":12096,"status":"public","place":"Cham","citation":{"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>.","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.","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>","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.","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>","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} }","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>."},"project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-53552-0_22","year":"2020","title":"Pool-Based Realtime Algorithm Configuration: A Preselection Bandit Approach","publication_identifier":{"isbn":["9783030535513","9783030535520"],"issn":["0302-9743","1611-3349"]},"author":[{"last_name":"El Mesaoudi-Paul","first_name":"Adil","full_name":"El Mesaoudi-Paul, Adil"},{"full_name":"Weiß, Dimitri","first_name":"Dimitri","last_name":"Weiß"},{"id":"76599","full_name":"Bengs, Viktor","first_name":"Viktor","last_name":"Bengs"},{"last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke","id":"48129"},{"last_name":"Tierney","first_name":"Kevin","full_name":"Tierney, Kevin"}],"date_updated":"2022-01-06T06:53:25Z","publication_status":"published","intvolume":"     12096","date_created":"2020-08-17T11:44:37Z","type":"book_chapter","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"publication":"Learning and Intelligent Optimization. LION 2020."},{"abstract":[{"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.","lang":"eng"}],"project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"publication":"arXiv:2002.04275","citation":{"mla":"El Mesaoudi-Paul, Adil, et al. “Online Preselection with Context Information under the Plackett-Luce  Model.” <i>ArXiv:2002.04275</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>.","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>. .","ama":"El Mesaoudi-Paul A, Bengs V, Hüllermeier E. Online Preselection with Context Information under the Plackett-Luce  Model. <i>arXiv:200204275</i>.","short":"A. El Mesaoudi-Paul, V. Bengs, E. Hüllermeier, ArXiv:2002.04275 (n.d.).","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.","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} }"},"type":"preprint","department":[{"_id":"34"},{"_id":"7"},{"_id":"355"}],"date_created":"2020-08-17T11:49:40Z","date_updated":"2022-01-06T06:53:25Z","publication_status":"draft","year":"2020","title":"Online Preselection with Context Information under the Plackett-Luce  Model","status":"public","author":[{"first_name":"Adil","last_name":"El Mesaoudi-Paul","full_name":"El Mesaoudi-Paul, Adil"},{"id":"76599","full_name":"Bengs, Viktor","first_name":"Viktor","last_name":"Bengs"},{"id":"48129","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","first_name":"Eyke"}],"user_id":"76599","_id":"18017","language":[{"iso":"eng"}]},{"author":[{"id":"8447","last_name":"Yigitbas","first_name":"Enes","orcid":"0000-0002-5967-833X","full_name":"Yigitbas, Enes"},{"full_name":"Tejedor, Christopher Bernal","last_name":"Tejedor","first_name":"Christopher Bernal"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"title":"Experiencing and Programming the ENIAC in VR","status":"public","year":"2020","date_updated":"2022-01-06T06:53:25Z","language":[{"iso":"eng"}],"_id":"18021","user_id":"8447","citation":{"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.","short":"E. Yigitbas, C.B. Tejedor, G. Engels, in: Proceedings of the Mensch Und Computer 2020 (MuC ’20), 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.","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} }","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.","mla":"Yigitbas, Enes, et al. “Experiencing and Programming the ENIAC in VR.” <i>Proceedings of the Mensch Und Computer 2020 (MuC ’20)</i>, 2020."},"publication":"Proceedings of the Mensch und Computer 2020 (MuC ’20)","date_created":"2020-08-17T17:49:02Z","department":[{"_id":"66"},{"_id":"534"}],"type":"conference"},{"citation":{"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.","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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the Mensch und Computer 2020 (MuC ’20)","department":[{"_id":"66"},{"_id":"534"}],"type":"conference","date_created":"2020-08-17T17:55:42Z","date_updated":"2022-01-06T06:53:25Z","author":[{"last_name":"Augstein","first_name":"Mirjam","full_name":"Augstein, Mirjam"},{"last_name":"Buschek","first_name":"Daniel","full_name":"Buschek, Daniel"},{"last_name":"Herder","first_name":"Eelco","full_name":"Herder, Eelco"},{"first_name":"Benedikt","last_name":"Loepp","full_name":"Loepp, Benedikt"},{"id":"8447","orcid":"0000-0002-5967-833X","last_name":"Yigitbas","first_name":"Enes","full_name":"Yigitbas, Enes"},{"full_name":"Ziegler, Jürgen","last_name":"Ziegler","first_name":"Jürgen"}],"title":"UCAI 2020 - 1st International Workshop on User-Centered Artificial Intelligence","year":"2020","status":"public","user_id":"8447","language":[{"iso":"eng"}],"_id":"18022","publisher":"ACM"},{"_id":"18038","language":[{"iso":"eng"}],"user_id":"14961","doi":"10.1145/3391274.3393638","year":"2020","title":"QSGG: query simulation in grammar-compressed graphs","status":"public","publication_identifier":{"isbn":["9781450379748"]},"author":[{"full_name":"Böttcher, Stefan","first_name":"Stefan","last_name":"Böttcher","id":"624"},{"id":"14961","full_name":"Hartel, Rita","first_name":"Rita","last_name":"Hartel"},{"first_name":"Sven","last_name":"Peeters","full_name":"Peeters, Sven"}],"publication_status":"published","date_updated":"2022-01-06T06:53:25Z","date_created":"2020-08-18T12:42:28Z","type":"conference","department":[{"_id":"69"}],"publication":"Proceedings of The International Workshop on Semantic Big Data","citation":{"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>","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.","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>.","short":"S. Böttcher, R. Hartel, S. Peeters, in: Proceedings of The International Workshop on Semantic Big Data, 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>.","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>","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} }"}},{"publication":"2020 Data Compression Conference (DCC) (Poster)","citation":{"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>","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.","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>.","short":"S. Böttcher, R. Hartel, S. Peeters, in: 2020 Data Compression Conference (DCC) (Poster), 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>.","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>","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} }"},"date_created":"2020-08-18T12:45:17Z","type":"conference","department":[{"_id":"69"}],"year":"2020","status":"public","title":"Pattern Search in Grammar-Compressed Graphs","author":[{"first_name":"Stefan","last_name":"Böttcher","full_name":"Böttcher, Stefan","id":"624"},{"first_name":"Rita","last_name":"Hartel","full_name":"Hartel, Rita","id":"14961"},{"full_name":"Peeters, Sven","last_name":"Peeters","first_name":"Sven"}],"publication_identifier":{"isbn":["9781728164571"]},"publication_status":"published","date_updated":"2022-01-06T06:53:25Z","_id":"18039","language":[{"iso":"eng"}],"user_id":"14961","doi":"10.1109/dcc47342.2020.00054"},{"supervisor":[{"id":"20792","full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian"}],"citation":{"chicago":"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.","ieee":"M. Skowronek, <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} }","ama":"Skowronek M. <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."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"5","name":"SFB 901 - Subproject A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"date_created":"2020-08-20T07:40:58Z","type":"bachelorsthesis","department":[{"_id":"79"}],"status":"public","year":"2020","title":"Approaches for Competetive Routing through Intersections of Hole Abstractions in Hybrid Communication Networks","author":[{"full_name":"Skowronek, Michael","last_name":"Skowronek","first_name":"Michael"}],"date_updated":"2022-01-06T06:53:25Z","publisher":"Universität Paderborn","_id":"18066","language":[{"iso":"eng"}],"user_id":"477"},{"user_id":"13703","_id":"18085","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:53:26Z","title":"Distributed Key Generation for Attribute-Based Signatures","year":"2020","status":"public","author":[{"last_name":"Heimann","first_name":"Jonas","full_name":"Heimann, Jonas"}],"type":"bachelorsthesis","department":[{"_id":"64"}],"date_created":"2020-08-20T11:23:11Z","supervisor":[{"full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer","id":"23"}],"citation":{"chicago":"Heimann, Jonas. <i>Distributed Key Generation for Attribute-Based Signatures</i>, 2020.","short":"J. Heimann, Distributed Key Generation for Attribute-Based Signatures, 2020.","apa":"Heimann, J. (2020). <i>Distributed Key Generation for Attribute-Based Signatures</i>.","ieee":"J. Heimann, <i>Distributed Key Generation for Attribute-Based Signatures</i>. 2020.","ama":"Heimann J. <i>Distributed Key Generation for Attribute-Based Signatures</i>.; 2020.","bibtex":"@book{Heimann_2020, title={Distributed Key Generation for Attribute-Based Signatures}, author={Heimann, Jonas}, year={2020} }","mla":"Heimann, Jonas. <i>Distributed Key Generation for Attribute-Based Signatures</i>. 2020."}},{"user_id":"8447","_id":"18109","language":[{"iso":"eng"}],"publisher":"ACM","date_updated":"2022-01-06T06:53:26Z","author":[{"id":"8447","full_name":"Yigitbas, Enes","last_name":"Yigitbas","first_name":"Enes","orcid":"0000-0002-5967-833X"},{"full_name":"Jovanovikj, Ivan","first_name":"Ivan","orcid":"https://orcid.org/0000-0002-1838-794X","last_name":"Jovanovikj","id":"39187"},{"full_name":"Scholand, Janis","last_name":"Scholand","first_name":"Janis"},{"last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor","id":"107"}],"status":"public","year":"2020","title":"VR Training for Warehouse Management ","department":[{"_id":"66"},{"_id":"534"}],"type":"conference","date_created":"2020-08-21T08:09:44Z","citation":{"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} }","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.","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.","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.","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.","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."},"publication":"Proceedings of the 26th ACM Symposium on Virtual Reality Software and Technology (VRST)"},{"citation":{"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.","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>","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>.","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.","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>.","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} }","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>"},"file_date_updated":"2020-11-30T08:36:52Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"17","name":"SFB 901 - Subproject C5"}],"place":"Cham","oa":"1","conference":{"end_date":"2020-12-02","name":"8th International Working Conference on Human-Centered Software Engineering (HCSE'20)","start_date":"2020-11-30","location":"Eindhoven"},"status":"public","has_accepted_license":"1","publisher":"Springer","_id":"18249","editor":[{"last_name":"Bernhaupt","first_name":"Regina","full_name":"Bernhaupt, Regina"},{"first_name":"Carmelo","last_name":"Ardito","full_name":"Ardito, Carmelo"},{"last_name":"Sauer","first_name":"Stefan","full_name":"Sauer, Stefan"}],"volume":12481,"ddc":["000"],"user_id":"47208","publication":"Human-Centered Software Engineering. HCSE 2020","abstract":[{"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 configuration 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-figuration 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 configured out of these parts, are stored in a feature model. At runtime, this feature model can be used to configure 3D object compositions out of the product parts and adapt to user needs and environmental constraints. The benefits of this approach are demonstrated by a case study of configuring modular kitchens with the help of a prototypical mobile-based implementation.","lang":"eng"}],"date_created":"2020-08-25T08:27:38Z","file":[{"relation":"main_file","date_updated":"2020-11-30T08:36:52Z","file_name":"HCSE20_full.pdf","access_level":"open_access","file_size":2258601,"file_id":"20541","content_type":"application/pdf","creator":"sego","date_created":"2020-11-30T08:33:30Z"}],"department":[{"_id":"66"},{"_id":"534"}],"type":"conference","keyword":["Product Configuration","Augmented Reality","Runtime Adaptation","Dynamic Software Product Lines"],"author":[{"last_name":"Gottschalk","first_name":"Sebastian","full_name":"Gottschalk, Sebastian","id":"47208"},{"id":"8447","full_name":"Yigitbas, Enes","last_name":"Yigitbas","first_name":"Enes","orcid":"0000-0002-5967-833X"},{"full_name":"Schmidt, Eugen","last_name":"Schmidt","first_name":"Eugen"},{"full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels","id":"107"}],"year":"2020","title":"Model-based Product Configuration in Augmented Reality Applications","intvolume":"     12481","date_updated":"2022-01-06T06:53:28Z","publication_status":"published","series_title":"Lecture Notes in Computer Science","language":[{"iso":"eng"}],"doi":"10.1007/978-3-030-64266-2_5"},{"main_file_link":[{"url":"https://arxiv.org/pdf/2007.02816.pdf"}],"language":[{"iso":"eng"}],"_id":"18276","user_id":"5786","status":"public","title":"Run2Survive: A Decision-theoretic Approach to Algorithm Selection based on Survival Analysis","year":"2020","author":[{"id":"38209","full_name":"Tornede, Alexander","first_name":"Alexander","last_name":"Tornede"},{"id":"33176","full_name":"Wever, Marcel Dominik","orcid":" https://orcid.org/0000-0001-9782-6818","first_name":"Marcel Dominik","last_name":"Wever"},{"full_name":"Werner, Stefan","last_name":"Werner","first_name":"Stefan"},{"full_name":"Mohr, Felix","last_name":"Mohr","first_name":"Felix"},{"id":"48129","last_name":"Hüllermeier","first_name":"Eyke","full_name":"Hüllermeier, Eyke"}],"conference":{"end_date":"2020-11-20","location":"Bangkok, Thailand","name":"12th Asian Conference on Machine Learning","start_date":"2020-11-18"},"date_updated":"2022-01-06T06:53:28Z","date_created":"2020-08-25T12:09:28Z","type":"conference","department":[{"_id":"34"},{"_id":"355"},{"_id":"26"}],"publication":"ACML 2020","citation":{"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} }","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.","mla":"Tornede, Alexander, et al. “Run2Survive: A Decision-Theoretic Approach to Algorithm Selection Based on Survival Analysis.” <i>ACML 2020</i>, 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.","short":"A. Tornede, M.D. Wever, S. Werner, F. Mohr, E. Hüllermeier, in: ACML 2020, 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.","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."},"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."}],"project":[{"name":"SFB 901","_id":"1"},{"_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_status":"published","date_updated":"2022-01-06T06:53:29Z","article_type":"original","year":"2020","status":"public","title":"Framework and Functionality Patterns for Smart Service Innovation","author":[{"first_name":"Christian","last_name":"Koldewey","orcid":"https://orcid.org/0000-0001-7992-6399","full_name":"Koldewey, Christian","id":"43136"},{"id":"77201","full_name":"Meyer, Maurice","orcid":"0000-0003-0606-7321","last_name":"Meyer","first_name":"Maurice"},{"full_name":"Stockbrügger, Patrick","last_name":"Stockbrügger","first_name":"Patrick"},{"id":"16190","last_name":"Dumitrescu","first_name":"Roman","full_name":"Dumitrescu, Roman"},{"full_name":"Gausemeier, Jürgen","first_name":"Jürgen","last_name":"Gausemeier"}],"publication_identifier":{"issn":["2212-8271"]},"user_id":"77201","doi":"10.1016/j.procir.2020.02.244","page":"851-857","language":[{"iso":"eng"}],"_id":"18350","quality_controlled":"1","issue":"91","publication":"Procedia CIRP","citation":{"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>.","short":"C. Koldewey, M. Meyer, P. Stockbrügger, R. Dumitrescu, J. Gausemeier, Procedia CIRP (2020) 851–857.","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>","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.","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>","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} }","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>."},"type":"journal_article","department":[{"_id":"563"}],"date_created":"2020-08-26T09:39:12Z"},{"date_created":"2020-08-28T06:50:29Z","type":"dissertation","department":[{"_id":"79"}],"supervisor":[{"id":"20792","full_name":"Scheideler, Christian","last_name":"Scheideler","first_name":"Christian"}],"citation":{"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>.","short":"A. Setzer, Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks, Universität Paderborn, 2020.","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>","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>.","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>"},"project":[{"name":"SFB 901","_id":"1"},{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"13","name":"SFB 901 - Subproject C1"}],"publisher":"Universität Paderborn","_id":"18520","language":[{"iso":"eng"}],"doi":"10.17619/UNIPB/1-1026","user_id":"477","title":"Local Graph Transformation Primitives For Some Basic Problems In Overlay Networks","year":"2020","status":"public","author":[{"last_name":"Setzer","first_name":"Alexander","full_name":"Setzer, Alexander","id":"11108"}],"date_updated":"2022-01-06T06:53:36Z"},{"citation":{"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} }","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.","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.","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.","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."},"supervisor":[{"id":"23","full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer"}],"file_date_updated":"2020-10-23T08:36:34Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - Subproject C1","_id":"13"}],"oa":"1","status":"public","has_accepted_license":"1","_id":"18637","publisher":"Universität Paderborn","user_id":"25078","ddc":["000"],"extern":"1","date_created":"2020-08-29T13:24:51Z","file":[{"content_type":"application/pdf","file_id":"20186","file_size":1060142,"access_level":"open_access","file_name":"thesis_schuermann_published.pdf","date_updated":"2020-10-23T08:36:34Z","relation":"main_file","date_created":"2020-10-23T08:36:34Z","description":"This is a bachelor thesis.","creator":"feidens"}],"department":[{"_id":"7"},{"_id":"64"}],"type":"bachelorsthesis","author":[{"last_name":"Schürmann","first_name":"Patrick","full_name":"Schürmann, Patrick"}],"title":"A Group Signature Scheme from Flexible Public Key Signatures and Structure-Preserving Signatures on Equivalence Classes","year":"2020","date_updated":"2022-01-06T06:53:50Z","language":[{"iso":"eng"}]}]