--- _id: '46368' abstract: - lang: eng text: Exploratory Landscape Analysis (ELA) aims at understanding characteristics of single-objective continuous (black-box) optimization problems in an automated way. Moreover, the approach provides the basis for constructing algorithm selection models for unseen problem instances. Recently, it has gained increasing attention and numerical features have been designed by various research groups. This paper introduces the R-Package FLACCO which makes all relevant features available in a unified framework together with efficient helper functions. Moreover, a case study which gives perspectives to ELA for multi-objective optimization problems is presented. author: - first_name: Pascal full_name: Kerschke, Pascal last_name: Kerschke - first_name: Heike full_name: Trautmann, Heike id: '100740' last_name: Trautmann orcid: 0000-0002-9788-8282 citation: ama: 'Kerschke P, Trautmann H. The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems. In: Proceedings of the IEEE Congress on Evolutionary Computation (CEC). ; 2016. doi:10.1109/CEC.2016.7748359' apa: Kerschke, P., & Trautmann, H. (2016). The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems. Proceedings of the IEEE Congress on Evolutionary Computation (CEC). https://doi.org/10.1109/CEC.2016.7748359 bibtex: '@inproceedings{Kerschke_Trautmann_2016, place={Vancouver, BC, Kanada}, title={The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems}, DOI={10.1109/CEC.2016.7748359}, booktitle={Proceedings of the IEEE Congress on Evolutionary Computation (CEC)}, author={Kerschke, Pascal and Trautmann, Heike}, year={2016} }' chicago: Kerschke, Pascal, and Heike Trautmann. “The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems.” In Proceedings of the IEEE Congress on Evolutionary Computation (CEC). Vancouver, BC, Kanada, 2016. https://doi.org/10.1109/CEC.2016.7748359. ieee: 'P. Kerschke and H. Trautmann, “The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems,” 2016, doi: 10.1109/CEC.2016.7748359.' mla: Kerschke, Pascal, and Heike Trautmann. “The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems.” Proceedings of the IEEE Congress on Evolutionary Computation (CEC), 2016, doi:10.1109/CEC.2016.7748359. short: 'P. Kerschke, H. Trautmann, in: Proceedings of the IEEE Congress on Evolutionary Computation (CEC), Vancouver, BC, Kanada, 2016.' date_created: 2023-08-04T15:14:52Z date_updated: 2023-10-16T13:39:06Z department: - _id: '34' - _id: '819' doi: 10.1109/CEC.2016.7748359 language: - iso: eng place: Vancouver, BC, Kanada publication: Proceedings of the IEEE Congress on Evolutionary Computation (CEC) status: public title: The R-Package FLACCO for Exploratory Landscape Analysis with Applications to Multi-Objective Optimization Problems type: conference user_id: '15504' year: '2016' ... --- _id: '46370' abstract: - lang: eng text: This report documents the talks and discussions at the Dagstuhl Seminar 15211 "Theory of Evolutionary Algorithms". This seminar, now in its 8th edition, is the main meeting point of the highly active theory of randomized search heuristics subcommunities in Australia, Asia, North America, and Europe. Topics intensively discussed include rigorous runtime analysis and computational complexity theory for randomised search heuristics, information geometry of randomised search, and synergies between the theory of evolutionary algorithms and theories of natural evolution. author: - first_name: F full_name: Neumann, F last_name: Neumann - first_name: Heike full_name: Trautmann, Heike id: '100740' last_name: Trautmann orcid: 0000-0002-9788-8282 citation: ama: 'Neumann F, Trautmann H. Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211). Dagstuhl Reports. 2016;5(5):78–79. doi:10.4230/DagRep.5.5.57' apa: 'Neumann, F., & Trautmann, H. (2016). Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211). Dagstuhl Reports, 5(5), 78–79. https://doi.org/10.4230/DagRep.5.5.57' bibtex: '@article{Neumann_Trautmann_2016, title={Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)}, volume={5}, DOI={10.4230/DagRep.5.5.57}, number={5}, journal={Dagstuhl Reports}, author={Neumann, F and Trautmann, Heike}, year={2016}, pages={78–79} }' chicago: 'Neumann, F, and Heike Trautmann. “Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211).” Dagstuhl Reports 5, no. 5 (2016): 78–79. https://doi.org/10.4230/DagRep.5.5.57.' ieee: 'F. Neumann and H. Trautmann, “Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211),” Dagstuhl Reports, vol. 5, no. 5, pp. 78–79, 2016, doi: 10.4230/DagRep.5.5.57.' mla: 'Neumann, F., and Heike Trautmann. “Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211).” Dagstuhl Reports, vol. 5, no. 5, 2016, pp. 78–79, doi:10.4230/DagRep.5.5.57.' short: F. Neumann, H. Trautmann, Dagstuhl Reports 5 (2016) 78–79. date_created: 2023-08-04T15:17:00Z date_updated: 2023-10-16T13:40:00Z department: - _id: '34' - _id: '819' doi: 10.4230/DagRep.5.5.57 intvolume: ' 5' issue: '5' language: - iso: eng page: 78–79 publication: Dagstuhl Reports status: public title: 'Working Group Report: Bridging the Gap Between Experiments and Theory Using Feature-Based Run-Time Analysis; Theory of Evolutionary Algorithms (Dagstuhl Seminar 15211)' type: journal_article user_id: '15504' volume: 5 year: '2016' ... --- _id: '48309' author: - first_name: Ivan full_name: Habernal, Ivan id: '101881' last_name: Habernal - first_name: Iryna full_name: Gurevych, Iryna last_name: Gurevych citation: ama: 'Habernal I, Gurevych I. What makes a convincing argument? Empirical analysis and detecting            attributes of convincingness in Web argumentation. In: Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing. Association for Computational Linguistics; 2016. doi:10.18653/v1/d16-1129' apa: Habernal, I., & Gurevych, I. (2016). What makes a convincing argument? Empirical analysis and detecting            attributes of convincingness in Web argumentation. Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing. https://doi.org/10.18653/v1/d16-1129 bibtex: '@inproceedings{Habernal_Gurevych_2016, title={What makes a convincing argument? Empirical analysis and detecting            attributes of convincingness in Web argumentation}, DOI={10.18653/v1/d16-1129}, booktitle={Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing}, publisher={Association for Computational Linguistics}, author={Habernal, Ivan and Gurevych, Iryna}, year={2016} }' chicago: Habernal, Ivan, and Iryna Gurevych. “What Makes a Convincing Argument? Empirical Analysis and Detecting            Attributes of Convincingness in Web Argumentation.” In Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing. Association for Computational Linguistics, 2016. https://doi.org/10.18653/v1/d16-1129. ieee: 'I. Habernal and I. Gurevych, “What makes a convincing argument? Empirical analysis and detecting            attributes of convincingness in Web argumentation,” 2016, doi: 10.18653/v1/d16-1129.' mla: Habernal, Ivan, and Iryna Gurevych. “What Makes a Convincing Argument? Empirical Analysis and Detecting            Attributes of Convincingness in Web Argumentation.” Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing, Association for Computational Linguistics, 2016, doi:10.18653/v1/d16-1129. short: 'I. Habernal, I. Gurevych, in: Proceedings of the 2016 Conference on Empirical Methods in Natural          Language Processing, Association for Computational Linguistics, 2016.' date_created: 2023-10-19T08:31:58Z date_updated: 2023-10-19T12:07:05Z department: - _id: '34' - _id: '820' doi: 10.18653/v1/d16-1129 language: - iso: eng publication: Proceedings of the 2016 Conference on Empirical Methods in Natural Language Processing publication_status: published publisher: Association for Computational Linguistics status: public title: What makes a convincing argument? Empirical analysis and detecting attributes of convincingness in Web argumentation type: conference user_id: '15504' year: '2016' ... --- _id: '11890' abstract: - lang: eng text: In this paper we study the influence of directional radio patterns of Bluetooth low energy (BLE) beacons on smartphone localization accuracy and beacon network planning. A two-dimensional model of the power emission characteristic is derived from measurements of the radiation pattern of BLE beacons carried out in an RF chamber. The Cramer-Rao lower bound (CRLB) for position estimation is then derived for this directional power emission model. With this lower bound on the RMS positioning error the coverage of different beacon network configurations can be evaluated. For near-optimal network planing an evolutionary optimization algorithm for finding the best beacon placement is presented. author: - first_name: Joerg full_name: Schmalenstroeer, Joerg id: '460' last_name: Schmalenstroeer - first_name: Reinhold full_name: Haeb-Umbach, Reinhold id: '242' last_name: Haeb-Umbach citation: ama: 'Schmalenstroeer J, Haeb-Umbach R. Investigations into Bluetooth Low Energy Localization Precision Limits. In: 24th European Signal Processing Conference (EUSIPCO 2016). ; 2016.' apa: Schmalenstroeer, J., & Haeb-Umbach, R. (2016). Investigations into Bluetooth Low Energy Localization Precision Limits. 24th European Signal Processing Conference (EUSIPCO 2016). bibtex: '@inproceedings{Schmalenstroeer_Haeb-Umbach_2016, title={Investigations into Bluetooth Low Energy Localization Precision Limits}, booktitle={24th European Signal Processing Conference (EUSIPCO 2016)}, author={Schmalenstroeer, Joerg and Haeb-Umbach, Reinhold}, year={2016} }' chicago: Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Investigations into Bluetooth Low Energy Localization Precision Limits.” In 24th European Signal Processing Conference (EUSIPCO 2016), 2016. ieee: J. Schmalenstroeer and R. Haeb-Umbach, “Investigations into Bluetooth Low Energy Localization Precision Limits,” 2016. mla: Schmalenstroeer, Joerg, and Reinhold Haeb-Umbach. “Investigations into Bluetooth Low Energy Localization Precision Limits.” 24th European Signal Processing Conference (EUSIPCO 2016), 2016. short: 'J. Schmalenstroeer, R. Haeb-Umbach, in: 24th European Signal Processing Conference (EUSIPCO 2016), 2016.' date_created: 2019-07-12T05:30:14Z date_updated: 2023-10-26T08:11:52Z department: - _id: '54' language: - iso: eng main_file_link: - open_access: '1' url: https://groups.uni-paderborn.de/nt/pubs/2016/SchHaeb16.pdf oa: '1' publication: 24th European Signal Processing Conference (EUSIPCO 2016) quality_controlled: '1' related_material: link: - description: Poster relation: supplementary_material url: https://groups.uni-paderborn.de/nt/pubs/2016/SchHaeb16_Poster.pdf status: public title: Investigations into Bluetooth Low Energy Localization Precision Limits type: conference user_id: '460' year: '2016' ... --- _id: '47241' author: - first_name: Yasemin full_name: Acar, Yasemin id: '94636' last_name: Acar - first_name: Michael full_name: Backes, Michael last_name: Backes - first_name: Sascha full_name: Fahl, Sascha last_name: Fahl - first_name: Doowon full_name: Kim, Doowon last_name: Kim - first_name: Michelle L. full_name: Mazurek, Michelle L. last_name: Mazurek - first_name: Christian full_name: Stransky, Christian last_name: Stransky citation: ama: 'Acar Y, Backes M, Fahl S, Kim D, Mazurek ML, Stransky C. You Get Where You’re Looking for: The Impact of Information Sources on Code Security. In: 2016 IEEE Symposium on Security and Privacy (SP). IEEE; 2016. doi:10.1109/sp.2016.25' apa: 'Acar, Y., Backes, M., Fahl, S., Kim, D., Mazurek, M. L., & Stransky, C. (2016). You Get Where You’re Looking for: The Impact of Information Sources on Code Security. 2016 IEEE Symposium on Security and Privacy (SP). https://doi.org/10.1109/sp.2016.25' bibtex: '@inproceedings{Acar_Backes_Fahl_Kim_Mazurek_Stransky_2016, title={You Get Where You’re Looking for: The Impact of Information Sources on Code Security}, DOI={10.1109/sp.2016.25}, booktitle={2016 IEEE Symposium on Security and Privacy (SP)}, publisher={IEEE}, author={Acar, Yasemin and Backes, Michael and Fahl, Sascha and Kim, Doowon and Mazurek, Michelle L. and Stransky, Christian}, year={2016} }' chicago: 'Acar, Yasemin, Michael Backes, Sascha Fahl, Doowon Kim, Michelle L. Mazurek, and Christian Stransky. “You Get Where You’re Looking for: The Impact of Information Sources on Code Security.” In 2016 IEEE Symposium on Security and Privacy (SP). IEEE, 2016. https://doi.org/10.1109/sp.2016.25.' ieee: 'Y. Acar, M. Backes, S. Fahl, D. Kim, M. L. Mazurek, and C. Stransky, “You Get Where You’re Looking for: The Impact of Information Sources on Code Security,” 2016, doi: 10.1109/sp.2016.25.' mla: 'Acar, Yasemin, et al. “You Get Where You’re Looking for: The Impact of Information Sources on Code Security.” 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016, doi:10.1109/sp.2016.25.' short: 'Y. Acar, M. Backes, S. Fahl, D. Kim, M.L. Mazurek, C. Stransky, in: 2016 IEEE Symposium on Security and Privacy (SP), IEEE, 2016.' date_created: 2023-09-22T12:42:01Z date_updated: 2023-11-22T09:24:35Z department: - _id: '34' - _id: '740' doi: 10.1109/sp.2016.25 extern: '1' language: - iso: eng publication: 2016 IEEE Symposium on Security and Privacy (SP) publication_status: published publisher: IEEE status: public title: 'You Get Where You''re Looking for: The Impact of Information Sources on Code Security' type: conference user_id: '15458' year: '2016' ... --- _id: '47239' author: - first_name: Sergej full_name: Dechand, Sergej last_name: Dechand - first_name: Dominik full_name: Schürmann, Dominik last_name: Schürmann - first_name: Karoline full_name: Busse, Karoline last_name: Busse - first_name: Yasemin full_name: Acar, Yasemin id: '94636' last_name: Acar - first_name: Sascha full_name: Fahl, Sascha last_name: Fahl - first_name: Matthew full_name: Smith, Matthew last_name: Smith citation: ama: 'Dechand S, Schürmann D, Busse K, Acar Y, Fahl S, Smith M. An Empirical Study of Textual Key-Fingerprint Representations. In: Holz T, Savage S, eds. 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016. USENIX Association; 2016:193–208.' apa: Dechand, S., Schürmann, D., Busse, K., Acar, Y., Fahl, S., & Smith, M. (2016). An Empirical Study of Textual Key-Fingerprint Representations. In T. Holz & S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016 (pp. 193–208). USENIX Association. bibtex: '@inproceedings{Dechand_Schürmann_Busse_Acar_Fahl_Smith_2016, title={An Empirical Study of Textual Key-Fingerprint Representations}, booktitle={25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016}, publisher={USENIX Association}, author={Dechand, Sergej and Schürmann, Dominik and Busse, Karoline and Acar, Yasemin and Fahl, Sascha and Smith, Matthew}, editor={Holz, Thorsten and Savage, Stefan}, year={2016}, pages={193–208} }' chicago: Dechand, Sergej, Dominik Schürmann, Karoline Busse, Yasemin Acar, Sascha Fahl, and Matthew Smith. “An Empirical Study of Textual Key-Fingerprint Representations.” In 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, edited by Thorsten Holz and Stefan Savage, 193–208. USENIX Association, 2016. ieee: S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, and M. Smith, “An Empirical Study of Textual Key-Fingerprint Representations,” in 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, 2016, pp. 193–208. mla: Dechand, Sergej, et al. “An Empirical Study of Textual Key-Fingerprint Representations.” 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, edited by Thorsten Holz and Stefan Savage, USENIX Association, 2016, pp. 193–208. short: 'S. Dechand, D. Schürmann, K. Busse, Y. Acar, S. Fahl, M. Smith, in: T. Holz, S. Savage (Eds.), 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016, USENIX Association, 2016, pp. 193–208.' date_created: 2023-09-22T12:40:35Z date_updated: 2023-11-22T09:24:57Z department: - _id: '34' - _id: '740' editor: - first_name: Thorsten full_name: Holz, Thorsten last_name: Holz - first_name: Stefan full_name: Savage, Stefan last_name: Savage extern: '1' language: - iso: eng page: 193–208 publication: 25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016 publisher: USENIX Association status: public title: An Empirical Study of Textual Key-Fingerprint Representations type: conference user_id: '15458' year: '2016' ... --- _id: '48873' abstract: - lang: eng text: Despite the intrinsic hardness of the Traveling Salesperson Problem (TSP) heuristic solvers, e.g., LKH+restart and EAX+restart, are remarkably successful in generating satisfactory or even optimal solutions. However, the reasons for their success are not yet fully understood. Recent approaches take an analytical viewpoint and try to identify instance features, which make an instance hard or easy to solve. We contribute to this area by generating instance sets for couples of TSP algorithms A and B by maximizing/minimizing their performance difference in order to generate instances which are easier to solve for one solver and much harder to solve for the other. This instance set offers the potential to identify key features which allow to distinguish between the problem hardness classes of both algorithms. author: - first_name: Jakob full_name: Bossek, Jakob id: '102979' last_name: Bossek orcid: 0000-0002-4121-4668 - first_name: Heike full_name: Trautmann, Heike last_name: Trautmann citation: ama: 'Bossek J, Trautmann H. Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers. In: Festa P, Sellmann M, Vanschoren J, eds. Learning and Intelligent Optimization. Lecture Notes in Computer Science. Springer International Publishing; 2016:48–59. doi:10.1007/978-3-319-50349-3_4' apa: Bossek, J., & Trautmann, H. (2016). Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers. In P. Festa, M. Sellmann, & J. Vanschoren (Eds.), Learning and Intelligent Optimization (pp. 48–59). Springer International Publishing. https://doi.org/10.1007/978-3-319-50349-3_4 bibtex: '@inproceedings{Bossek_Trautmann_2016, place={Cham}, series={Lecture Notes in Computer Science}, title={Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers}, DOI={10.1007/978-3-319-50349-3_4}, booktitle={Learning and Intelligent Optimization}, publisher={Springer International Publishing}, author={Bossek, Jakob and Trautmann, Heike}, editor={Festa, Paola and Sellmann, Meinolf and Vanschoren, Joaquin}, year={2016}, pages={48–59}, collection={Lecture Notes in Computer Science} }' chicago: 'Bossek, Jakob, and Heike Trautmann. “Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers.” In Learning and Intelligent Optimization, edited by Paola Festa, Meinolf Sellmann, and Joaquin Vanschoren, 48–59. Lecture Notes in Computer Science. Cham: Springer International Publishing, 2016. https://doi.org/10.1007/978-3-319-50349-3_4.' ieee: 'J. Bossek and H. Trautmann, “Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers,” in Learning and Intelligent Optimization, 2016, pp. 48–59, doi: 10.1007/978-3-319-50349-3_4.' mla: Bossek, Jakob, and Heike Trautmann. “Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers.” Learning and Intelligent Optimization, edited by Paola Festa et al., Springer International Publishing, 2016, pp. 48–59, doi:10.1007/978-3-319-50349-3_4. short: 'J. Bossek, H. Trautmann, in: P. Festa, M. Sellmann, J. Vanschoren (Eds.), Learning and Intelligent Optimization, Springer International Publishing, Cham, 2016, pp. 48–59.' date_created: 2023-11-14T15:58:57Z date_updated: 2023-12-13T10:47:05Z department: - _id: '819' doi: 10.1007/978-3-319-50349-3_4 editor: - first_name: Paola full_name: Festa, Paola last_name: Festa - first_name: Meinolf full_name: Sellmann, Meinolf last_name: Sellmann - first_name: Joaquin full_name: Vanschoren, Joaquin last_name: Vanschoren extern: '1' keyword: - Algorithm selection - Feature selection - Instance hardness - TSP language: - iso: eng page: 48–59 place: Cham publication: Learning and Intelligent Optimization publication_identifier: isbn: - 978-3-319-50349-3 publication_status: published publisher: Springer International Publishing series_title: Lecture Notes in Computer Science status: public title: Evolving Instances for Maximizing Performance Differences of State-of-the-Art Inexact TSP Solvers type: conference user_id: '102979' year: '2016' ... --- _id: '51464' author: - first_name: Joachim full_name: Hilgert, Joachim id: '220' last_name: Hilgert citation: ama: 'Hilgert J. Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen. In: Hoppenbrock A, et al., eds. Lehren und Lernen von Mathematik in der Studieneingangsphase. Springer Spektrum; 2016.' apa: Hilgert, J. (2016). Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen. In A. Hoppenbrock & et al. (Eds.), Lehren und Lernen von Mathematik in der Studieneingangsphase. Springer Spektrum. bibtex: '@inbook{Hilgert_2016, title={Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen}, booktitle={Lehren und Lernen von Mathematik in der Studieneingangsphase}, publisher={Springer Spektrum}, author={Hilgert, Joachim}, editor={Hoppenbrock, A. and et al.}, year={2016} }' chicago: Hilgert, Joachim. “Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen.” In Lehren und Lernen von Mathematik in der Studieneingangsphase, edited by A. Hoppenbrock and et al. Springer Spektrum, 2016. ieee: J. Hilgert, “Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen,” in Lehren und Lernen von Mathematik in der Studieneingangsphase, A. Hoppenbrock and et al., Eds. Springer Spektrum, 2016. mla: Hilgert, Joachim. “Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen.” Lehren und Lernen von Mathematik in der Studieneingangsphase, edited by A. Hoppenbrock and et al., Springer Spektrum, 2016. short: 'J. Hilgert, in: A. Hoppenbrock, et al. (Eds.), Lehren und Lernen von Mathematik in der Studieneingangsphase, Springer Spektrum, 2016.' corporate_editor: - et al. date_created: 2024-02-19T08:06:18Z date_updated: 2024-02-19T08:06:22Z department: - _id: '91' editor: - first_name: A. full_name: Hoppenbrock, A. last_name: Hoppenbrock language: - iso: ger publication: Lehren und Lernen von Mathematik in der Studieneingangsphase publication_status: published publisher: Springer Spektrum status: public title: Schwierigkeiten beim Übergang von Schule zu Hochschule im zeitlichen Vergleich - Ein Blick auf Defizite beim Erwerb von Schlüsselkompetenzen type: book_chapter user_id: '49063' year: '2016' ... --- _id: '51463' author: - first_name: Joachim full_name: Hilgert, Joachim id: '220' last_name: Hilgert - first_name: A. full_name: Pasquale, A. last_name: Pasquale - first_name: T. full_name: Przebinda, T. last_name: Przebinda citation: ama: 'Hilgert J, Pasquale A, Przebinda T. Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd). In: Kielanowski P, et al., eds. Geometric Methods in Physics. Birkhäuser; 2016.' apa: 'Hilgert, J., Pasquale, A., & Przebinda, T. (2016). Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd). In P. Kielanowski & et al. (Eds.), Geometric Methods in Physics. Birkhäuser.' bibtex: '@inbook{Hilgert_Pasquale_Przebinda_2016, title={Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd)}, booktitle={Geometric Methods in Physics}, publisher={Birkhäuser}, author={Hilgert, Joachim and Pasquale, A. and Przebinda, T.}, editor={Kielanowski, P. and et al.}, year={2016} }' chicago: 'Hilgert, Joachim, A. Pasquale, and T. Przebinda. “Resonances for the Laplacian: The Cases BC2 and C2 (except SO(p,2) with P>2 Odd).” In Geometric Methods in Physics, edited by P. Kielanowski and et al. Birkhäuser, 2016.' ieee: 'J. Hilgert, A. Pasquale, and T. Przebinda, “Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd),” in Geometric Methods in Physics, P. Kielanowski and et al., Eds. Birkhäuser, 2016.' mla: 'Hilgert, Joachim, et al. “Resonances for the Laplacian: The Cases BC2 and C2 (except SO(p,2) with P>2 Odd).” Geometric Methods in Physics, edited by P. Kielanowski and et al., Birkhäuser, 2016.' short: 'J. Hilgert, A. Pasquale, T. Przebinda, in: P. Kielanowski, et al. (Eds.), Geometric Methods in Physics, Birkhäuser, 2016.' corporate_editor: - et al. date_created: 2024-02-19T08:05:20Z date_updated: 2024-02-19T08:05:24Z department: - _id: '91' editor: - first_name: P. full_name: Kielanowski, P. last_name: Kielanowski language: - iso: eng publication: Geometric Methods in Physics publication_status: published publisher: Birkhäuser status: public title: 'Resonances for the Laplacian: the cases BC2 and C2 (except SO(p,2) with p>2 odd)' type: book_chapter user_id: '49063' year: '2016' ... --- _id: '51489' citation: ama: Hilgert J, ed. Mathematische Strukturen. Springer Spektrum; 2016. apa: Hilgert, J. (Ed.). (2016). Mathematische Strukturen. Springer Spektrum. bibtex: '@book{Hilgert_2016, title={Mathematische Strukturen}, publisher={Springer Spektrum}, year={2016} }' chicago: Hilgert, Joachim, ed. Mathematische Strukturen. Springer Spektrum, 2016. ieee: J. Hilgert, Ed., Mathematische Strukturen. Springer Spektrum, 2016. mla: Hilgert, Joachim, editor. Mathematische Strukturen. Springer Spektrum, 2016. short: J. Hilgert, ed., Mathematische Strukturen, Springer Spektrum, 2016. date_created: 2024-02-19T10:16:40Z date_updated: 2024-02-19T10:16:47Z department: - _id: '91' editor: - first_name: Joachim full_name: Hilgert, Joachim id: '220' last_name: Hilgert language: - iso: ger main_file_link: - url: https://link.springer.com/book/10.1007/978-3-662-48870-6 publication_status: published publisher: Springer Spektrum status: public title: Mathematische Strukturen type: book_editor user_id: '49063' year: '2016' ... --- _id: '52575' author: - first_name: Gerda full_name: Werth, Gerda id: '578' last_name: Werth citation: ama: 'Werth G. Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? In: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg, ed. Beiträge zum Mathematikunterricht. WTM; 2016.' apa: Werth, G. (2016). Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? In Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht. WTM. bibtex: '@inproceedings{Werth_2016, place={Münster}, title={Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?}, booktitle={Beiträge zum Mathematikunterricht}, publisher={WTM}, author={Werth, Gerda}, editor={Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg}, year={2016} }' chicago: 'Werth, Gerda. “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?” In Beiträge zum Mathematikunterricht, edited by Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg. Münster: WTM, 2016.' ieee: G. Werth, “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?,” in Beiträge zum Mathematikunterricht, Heidelberg, 2016. mla: Werth, Gerda. “Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen?” Beiträge zum Mathematikunterricht, edited by Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg, WTM, 2016. short: 'G. Werth, in: Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg (Ed.), Beiträge zum Mathematikunterricht, WTM, Münster, 2016.' conference: end_date: 2016-03-11 location: Heidelberg name: 50. Tagung für Didaktik der Mathematik start_date: 2016-03-07 corporate_editor: - Institut für Mathematik und Informatik der Pädagogischen Hochschule Heidelberg date_created: 2024-03-14T11:23:04Z date_updated: 2024-03-14T11:23:50Z department: - _id: '98' language: - iso: ger place: Münster publication: Beiträge zum Mathematikunterricht publication_status: published publisher: WTM status: public title: Ziehen und Beweisen mit DGS - Welche Beweiskraft haben für Studierende die Erkenntnisse, die sie im Zugmodus gewinnen? type: conference user_id: '578' year: '2016' ... --- _id: '52803' author: - first_name: Stefan full_name: Borgwardt, Stefan last_name: Borgwardt - first_name: Theofilos full_name: Mailis, Theofilos last_name: Mailis - first_name: Rafael full_name: Peñaloza, Rafael last_name: Peñaloza - first_name: Anni-Yasmin full_name: Turhan, Anni-Yasmin id: '104470' last_name: Turhan citation: ama: Borgwardt S, Mailis T, Peñaloza R, Turhan A-Y. Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics. 2016;5(2):55-75. doi:10.1007/s13740-015-0055-y apa: Borgwardt, S., Mailis, T., Peñaloza, R., & Turhan, A.-Y. (2016). Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies. Journal on Data Semantics, 5(2), 55–75. https://doi.org/10.1007/s13740-015-0055-y bibtex: '@article{Borgwardt_Mailis_Peñaloza_Turhan_2016, title={Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies}, volume={5}, DOI={10.1007/s13740-015-0055-y}, number={2}, journal={Journal on Data Semantics}, publisher={Springer Science and Business Media LLC}, author={Borgwardt, Stefan and Mailis, Theofilos and Peñaloza, Rafael and Turhan, Anni-Yasmin}, year={2016}, pages={55–75} }' chicago: 'Borgwardt, Stefan, Theofilos Mailis, Rafael Peñaloza, and Anni-Yasmin Turhan. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” Journal on Data Semantics 5, no. 2 (2016): 55–75. https://doi.org/10.1007/s13740-015-0055-y.' ieee: 'S. Borgwardt, T. Mailis, R. Peñaloza, and A.-Y. Turhan, “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies,” Journal on Data Semantics, vol. 5, no. 2, pp. 55–75, 2016, doi: 10.1007/s13740-015-0055-y.' mla: Borgwardt, Stefan, et al. “Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies.” Journal on Data Semantics, vol. 5, no. 2, Springer Science and Business Media LLC, 2016, pp. 55–75, doi:10.1007/s13740-015-0055-y. short: S. Borgwardt, T. Mailis, R. Peñaloza, A.-Y. Turhan, Journal on Data Semantics 5 (2016) 55–75. date_created: 2024-03-25T09:23:39Z date_updated: 2024-03-25T13:50:33Z department: - _id: '888' doi: 10.1007/s13740-015-0055-y intvolume: ' 5' issue: '2' keyword: - Artificial Intelligence - Computer Networks and Communications - Information Systems language: - iso: eng page: 55-75 publication: Journal on Data Semantics publication_identifier: issn: - 1861-2032 - 1861-2040 publication_status: published publisher: Springer Science and Business Media LLC status: public title: Answering Fuzzy Conjunctive Queries Over Finitely Valued Fuzzy Ontologies type: journal_article user_id: '9503' volume: 5 year: '2016' ... --- _id: '250' abstract: - lang: eng text: Before execution, users should formally validate the correctness of software received from untrusted providers. To accelerate this validation, in the proof carrying code (PCC) paradigm the provider delivers the software together with a certificate, a formal proof of the software’s correctness. Thus, the user only checks if the attached certificate shows correctness of the delivered software.Recently, we introduced configurable program certification, a generic, PCC based framework supporting various software analyses and safety properties. Evaluation of our framework revealed that validation suffers from certificate reading. In this paper, we present two orthogonal approaches which improve certificate validation, both reducing the impact of certificate reading. The first approach reduces the certificate size, storing information only if it cannot easily be recomputed. The second approach partitions the certificate into independently checkable parts. The trick is to read parts of the certificate while already checking read parts. Our experiments show that validation highly benefits from our improvements. author: - first_name: Marie-Christine full_name: Jakobs, Marie-Christine last_name: Jakobs citation: ama: 'Jakobs M-C. Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM). LNCS. ; 2015:159--174. doi:10.1007/978-3-319-22969-0_12' apa: Jakobs, M.-C. (2015). Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM) (pp. 159--174). https://doi.org/10.1007/978-3-319-22969-0_12 bibtex: '@inproceedings{Jakobs_2015, series={LNCS}, title={Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning}, DOI={10.1007/978-3-319-22969-0_12}, booktitle={Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM)}, author={Jakobs, Marie-Christine}, year={2015}, pages={159--174}, collection={LNCS} }' chicago: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 159--174. LNCS, 2015. https://doi.org/10.1007/978-3-319-22969-0_12. ieee: M.-C. Jakobs, “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning,” in Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174. mla: Jakobs, Marie-Christine. “Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning.” Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174, doi:10.1007/978-3-319-22969-0_12. short: 'M.-C. Jakobs, in: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM), 2015, pp. 159--174.' date_created: 2017-10-17T12:41:40Z date_updated: 2022-01-06T06:56:43Z ddc: - '040' department: - _id: '77' doi: 10.1007/978-3-319-22969-0_12 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-21T09:45:15Z date_updated: 2018-03-21T09:45:15Z file_id: '1489' file_name: 250-Jakobs2015.pdf file_size: 724308 relation: main_file success: 1 file_date_updated: 2018-03-21T09:45:15Z has_accepted_license: '1' language: - iso: eng page: 159--174 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publication: Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM) series_title: LNCS status: public title: Speed Up Configurable Certificate Validation by Certificate Reduction and Partitioning type: conference user_id: '477' year: '2015' ... --- _id: '25073' abstract: - lang: eng text: In this paper, we introduce an approach for combining embedded systems with Service-oriented Computing techniques based on a concrete application scenario from the robotics domain. Our proposed Service-oriented Architecture allows for incorporating computational expensive functionality as services into a distributed computing environment. Furthermore, our framework facilitates a seamless integration of embedded systems such as robots as service providers into the computing environment. The entire communication is based on so-called recipes, which can be interpreted as autonomous messages that contain all necessary information for executing compositions of services. author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Jan full_name: Jatzkowski, Jan last_name: Jatzkowski - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Jungmann A, Jatzkowski J, Kleinjohann B. Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. In: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer-Verlag; 2015.' apa: Jungmann, A., Jatzkowski, J., & Kleinjohann, B. (2015). Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study. Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). bibtex: '@inproceedings{Jungmann_Jatzkowski_Kleinjohann_2015, title={Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer-Verlag}, author={Jungmann, Alexander and Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }' chicago: Jungmann, Alexander, Jan Jatzkowski, and Bernd Kleinjohann. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” In Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer-Verlag, 2015. ieee: A. Jungmann, J. Jatzkowski, and B. Kleinjohann, “Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study,” 2015. mla: Jungmann, Alexander, et al. “Combining Service-Oriented Computing with Embedded Systems - A Robotics Case Study.” Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015. short: 'A. Jungmann, J. Jatzkowski, B. Kleinjohann, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer-Verlag, 2015.' conference: end_date: 2015-11-06 start_date: 2015-11-03 date_created: 2021-09-28T11:42:10Z date_updated: 2022-01-06T06:56:50Z department: - _id: '672' language: - iso: eng publication: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS) publisher: Springer-Verlag status: public title: Combining Service-oriented Computing with Embedded Systems - A Robotics Case Study type: conference user_id: '21240' year: '2015' ... --- _id: '25074' author: - first_name: Jan full_name: Jatzkowski, Jan last_name: Jatzkowski - first_name: Marcio Eduardo full_name: Kreutz, Marcio Eduardo last_name: Kreutz - first_name: Achim full_name: Rettberg, Achim last_name: Rettberg citation: ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. In: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer; 2015.' apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems. Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems}, booktitle={Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS)}, publisher={Springer}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }' chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” In Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS). Springer, 2015. ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems,” 2015. mla: Jatzkowski, Jan, et al. “Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems.” Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015. short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS), Springer, 2015.' conference: end_date: 2015-11-06 start_date: 2015-11-03 date_created: 2021-09-28T11:45:59Z date_updated: 2022-01-06T06:56:50Z department: - _id: '672' language: - iso: eng publication: Proceedings of the 5th IFIP International Embedded Systems Symposium (IESS) publisher: Springer status: public title: Hierarchical Multicore-Scheduling for Virtualization of Dependent Real-Time Systems type: conference user_id: '21240' year: '2015' ... --- _id: '25075' author: - first_name: Katharina full_name: Stahl, Katharina last_name: Stahl - first_name: Jörg full_name: Stöcklein, Jörg last_name: Stöcklein - first_name: Silja full_name: Li, Silja last_name: Li citation: ama: 'Stahl K, Stöcklein J, Li S. Evaluation of Autonomous Approaches using Virtual Environments. In: Shumaker R, Lackey S, eds. Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015. Vol 9179. LNCS. Springer International Publishing Switzerland; 2015:499-512.' apa: Stahl, K., Stöcklein, J., & Li, S. (2015). Evaluation of Autonomous Approaches using Virtual Environments. In R. Shumaker & S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015 (Vol. 9179, pp. 499–512). Springer International Publishing Switzerland. bibtex: '@inproceedings{Stahl_Stöcklein_Li_2015, series={LNCS}, title={Evaluation of Autonomous Approaches using Virtual Environments}, volume={9179}, booktitle={Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015}, publisher={Springer International Publishing Switzerland}, author={Stahl, Katharina and Stöcklein, Jörg and Li, Silja}, editor={Shumaker, Randall and Lackey, Stephanie}, year={2015}, pages={499–512}, collection={LNCS} }' chicago: Stahl, Katharina, Jörg Stöcklein, and Silja Li. “Evaluation of Autonomous Approaches Using Virtual Environments.” In Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, edited by Randall Shumaker and Stephanie Lackey, 9179:499–512. LNCS. Springer International Publishing Switzerland, 2015. ieee: K. Stahl, J. Stöcklein, and S. Li, “Evaluation of Autonomous Approaches using Virtual Environments,” in Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Los Angeles, CA, USA, 2. - 7. Aug. 2015, 2015, vol. 9179, pp. 499–512. mla: Stahl, Katharina, et al. “Evaluation of Autonomous Approaches Using Virtual Environments.” Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, edited by Randall Shumaker and Stephanie Lackey, vol. 9179, Springer International Publishing Switzerland, 2015, pp. 499–512. short: 'K. Stahl, J. Stöcklein, S. Li, in: R. Shumaker, S. Lackey (Eds.), Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015, Springer International Publishing Switzerland, 2015, pp. 499–512.' conference: end_date: 2015-08-07 location: Los Angeles, CA, USA, 2. - 7. Aug. 2015 start_date: 2015-08-02 date_created: 2021-09-28T11:54:54Z date_updated: 2022-01-06T06:56:50Z department: - _id: '672' editor: - first_name: Randall full_name: Shumaker, Randall last_name: Shumaker - first_name: Stephanie full_name: Lackey, Stephanie last_name: Lackey language: - iso: eng page: 499-512 publication: Virtual, Augmented and Mixed Reality VAMR 2015 Held as Part of HCI International 2015 publisher: Springer International Publishing Switzerland series_title: LNCS status: public title: Evaluation of Autonomous Approaches using Virtual Environments type: conference user_id: '21240' volume: ' 9179' year: '2015' ... --- _id: '25076' abstract: - lang: eng text: Automated service composition aims at automatically generating software solutions based on services to provide more complex functionality. In this paper, we give an initial overview about why adaptivity becomes increasingly important when aiming for automated composition of service functionality in dynamic and freely accessible environments such as service markets. We systematically derive dependencies among crucial processes such as service composition and service execution in a holistic view. Furthermore, we briefly discuss the influences and effects of changes in the environment according to the derived dependencies, and discuss possible future research directions. author: - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann citation: ama: 'Jungmann A. On Adaptivity for Automated Composition of Service Functionality. In: Proceedings of the IEEE 11th World Congress on Services (SERVICES). IEEE Computer Society; 2015:329-332.' apa: Jungmann, A. (2015). On Adaptivity for Automated Composition of Service Functionality. Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329–332. bibtex: '@inproceedings{Jungmann_2015, title={On Adaptivity for Automated Composition of Service Functionality}, booktitle={Proceedings of the IEEE 11th World Congress on Services (SERVICES)}, publisher={IEEE Computer Society}, author={Jungmann, Alexander}, year={2015}, pages={329–332} }' chicago: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” In Proceedings of the IEEE 11th World Congress on Services (SERVICES), 329–32. IEEE Computer Society, 2015. ieee: A. Jungmann, “On Adaptivity for Automated Composition of Service Functionality,” in Proceedings of the IEEE 11th World Congress on Services (SERVICES), 2015, pp. 329–332. mla: Jungmann, Alexander. “On Adaptivity for Automated Composition of Service Functionality.” Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–32. short: 'A. Jungmann, in: Proceedings of the IEEE 11th World Congress on Services (SERVICES), IEEE Computer Society, 2015, pp. 329–332.' conference: end_date: 2015-07-02 start_date: 2016-06-26 date_created: 2021-09-28T12:06:08Z date_updated: 2022-01-06T06:56:50Z department: - _id: '672' language: - iso: eng page: 329-332 publication: Proceedings of the IEEE 11th World Congress on Services (SERVICES) publisher: IEEE Computer Society status: public title: On Adaptivity for Automated Composition of Service Functionality type: conference user_id: '21240' year: '2015' ... --- _id: '25080' abstract: - lang: eng text: ervices are self-contained and platform independent software components that aim at maximizing software reuse. The automated composition of services to a target software artifact has been tackled with many AI techniques, but existing approaches make unreasonably strong assumptions such as a predefined data flow, are limited to tiny problem sizes, ignore non-functional properties, or assume offline service repositories. This paper presents an algorithm that automatically composes services without making such assumptions. We employ a backward search algorithm that starts from an empty composition and prepends service calls to already discovered candidates until a solution is found. Available services are determined during the search process. We implemented our algorithm, performed an experimental evaluation, and compared it to other approaches. author: - first_name: Felix full_name: Mohr, Felix last_name: Mohr - first_name: Alexander full_name: Jungmann, Alexander last_name: Jungmann - first_name: Hans full_name: Kleine Büning, Hans last_name: Kleine Büning citation: ama: 'Mohr F, Jungmann A, Kleine Büning H. Automated Online Service Composition. In: Proceedings of the 12th IEEE International Conference on Services Computing (SCC). IEEE Computer Society; 2015:57-64.' apa: Mohr, F., Jungmann, A., & Kleine Büning, H. (2015). Automated Online Service Composition. Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57–64. bibtex: '@inproceedings{Mohr_Jungmann_Kleine Büning_2015, title={Automated Online Service Composition}, booktitle={Proceedings of the 12th IEEE International Conference on Services Computing (SCC)}, publisher={ IEEE Computer Society}, author={Mohr, Felix and Jungmann, Alexander and Kleine Büning, Hans}, year={2015}, pages={57–64} }' chicago: Mohr, Felix, Alexander Jungmann, and Hans Kleine Büning. “Automated Online Service Composition.” In Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 57–64. IEEE Computer Society, 2015. ieee: F. Mohr, A. Jungmann, and H. Kleine Büning, “Automated Online Service Composition,” in Proceedings of the 12th IEEE International Conference on Services Computing (SCC), 2015, pp. 57–64. mla: Mohr, Felix, et al. “Automated Online Service Composition.” Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64. short: 'F. Mohr, A. Jungmann, H. Kleine Büning, in: Proceedings of the 12th IEEE International Conference on Services Computing (SCC), IEEE Computer Society, 2015, pp. 57–64.' conference: end_date: 2015-07-02 start_date: 2015-06-26 date_created: 2021-09-28T12:27:27Z date_updated: 2022-01-06T06:56:50Z department: - _id: '672' language: - iso: eng page: 57-64 publication: Proceedings of the 12th IEEE International Conference on Services Computing (SCC) publisher: ' IEEE Computer Society' status: public title: Automated Online Service Composition type: conference user_id: '21240' year: '2015' ... --- _id: '25082' author: - first_name: Jan full_name: Jatzkowski, Jan last_name: Jatzkowski - first_name: Marcio Eduardo full_name: Kreutz, Marcio Eduardo last_name: Kreutz - first_name: Achim full_name: Rettberg, Achim last_name: Rettberg citation: ama: 'Jatzkowski J, Kreutz ME, Rettberg A. Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. In: Proceedings of Electronic System Level Synthesis Conference (ESLsyn). ; 2015.' apa: Jatzkowski, J., Kreutz, M. E., & Rettberg, A. (2015). Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization. Proceedings of Electronic System Level Synthesis Conference (ESLsyn). bibtex: '@inproceedings{Jatzkowski_Kreutz_Rettberg_2015, title={Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization}, booktitle={Proceedings of Electronic System Level Synthesis Conference (ESLsyn)}, author={Jatzkowski, Jan and Kreutz, Marcio Eduardo and Rettberg, Achim}, year={2015} }' chicago: Jatzkowski, Jan, Marcio Eduardo Kreutz, and Achim Rettberg. “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” In Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015. ieee: J. Jatzkowski, M. E. Kreutz, and A. Rettberg, “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization,” 2015. mla: Jatzkowski, Jan, et al. “Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-Based Virtualization.” Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015. short: 'J. Jatzkowski, M.E. Kreutz, A. Rettberg, in: Proceedings of Electronic System Level Synthesis Conference (ESLsyn), 2015.' conference: end_date: 2015-06-11 start_date: 2015-06-10 date_created: 2021-09-28T12:31:36Z date_updated: 2022-01-06T06:56:50Z department: - _id: '672' language: - iso: eng publication: Proceedings of Electronic System Level Synthesis Conference (ESLsyn) status: public title: Towards Hierarchical Scheduling of Dependent Systems with Hypervisor-based Virtualization type: conference user_id: '21240' year: '2015' ... --- _id: '25083' author: - first_name: Jan full_name: Jatzkowski, Jan last_name: Jatzkowski - first_name: Bernd full_name: Kleinjohann, Bernd last_name: Kleinjohann citation: ama: 'Jatzkowski J, Kleinjohann B. Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. In: Mechatronics. Elsevier; 2015.' apa: Jatzkowski, J., & Kleinjohann, B. (2015). Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems. Mechatronics. bibtex: '@inproceedings{Jatzkowski_Kleinjohann_2015, title={Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems}, booktitle={Mechatronics}, publisher={Elsevier}, author={Jatzkowski, Jan and Kleinjohann, Bernd}, year={2015} }' chicago: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” In Mechatronics. Elsevier, 2015. ieee: J. Jatzkowski and B. Kleinjohann, “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems,” Mai 2015, 2015. mla: Jatzkowski, Jan, and Bernd Kleinjohann. “Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems.” Mechatronics, Elsevier, 2015. short: 'J. Jatzkowski, B. Kleinjohann, in: Mechatronics, Elsevier, 2015.' conference: location: Mai 2015 date_created: 2021-09-28T12:42:40Z date_updated: 2022-01-06T06:56:50Z department: - _id: '672' language: - iso: eng publication: Mechatronics publisher: Elsevier status: public title: Self-Reconfiguration of Real-Time Communication within Cyber-Physical Systems type: conference user_id: '21240' year: '2015' ...