[{"editor":[{"full_name":"Haake, Claus-Jochen","last_name":"Haake","first_name":"Claus-Jochen"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm"},{"full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"full_name":"Wachsmuth, Henning","last_name":"Wachsmuth","first_name":"Henning"},{"last_name":"Wehrheim","full_name":"Wehrheim, Heike","first_name":"Heike"}],"status":"public","type":"book_chapter","file_date_updated":"2023-07-07T11:17:33Z","_id":"45893","project":[{"name":"SFB 901: SFB 901: On-The-Fly Computing - Individualisierte IT-Dienstleistungen in dynamischen Märkten ","_id":"1","grant_number":"160364472"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - C2: SFB 901 - On-The-Fly Compute Centers I: Heterogene Ausführungsumgebungen (Subproject C2)","_id":"14","grant_number":"160364472"}],"department":[{"_id":"7"},{"_id":"27"},{"_id":"518"},{"_id":"78"}],"series_title":"Verlagsschriftenreihe des Heinz Nixdorf Instituts","user_id":"398","place":"Paderborn","page":"165-182","intvolume":"       412","citation":{"ieee":"T. Hansmeier, T. Kenter, M. Meyer, H. Riebler, M. Platzner, and C. Plessl, “Compute Centers I: Heterogeneous Execution Environments,” in <i>On-The-Fly Computing -- Individualized IT-services in dynamic markets</i>, vol. 412, C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, and H. Wehrheim, Eds. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 165–182.","chicago":"Hansmeier, Tim, Tobias Kenter, Marius Meyer, Heinrich Riebler, Marco Platzner, and Christian Plessl. “Compute Centers I: Heterogeneous Execution Environments.” In <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets</i>, edited by Claus-Jochen Haake, Friedhelm Meyer auf der Heide, Marco Platzner, Henning Wachsmuth, and Heike Wehrheim, 412:165–82. Verlagsschriftenreihe Des Heinz Nixdorf Instituts. Paderborn: Heinz Nixdorf Institut, Universität Paderborn, 2023. <a href=\"https://doi.org/10.5281/zenodo.8068642\">https://doi.org/10.5281/zenodo.8068642</a>.","ama":"Hansmeier T, Kenter T, Meyer M, Riebler H, Platzner M, Plessl C. Compute Centers I: Heterogeneous Execution Environments. In: Haake C-J, Meyer auf der Heide F, Platzner M, Wachsmuth H, Wehrheim H, eds. <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets</i>. Vol 412. Verlagsschriftenreihe des Heinz Nixdorf Instituts. Heinz Nixdorf Institut, Universität Paderborn; 2023:165-182. doi:<a href=\"https://doi.org/10.5281/zenodo.8068642\">10.5281/zenodo.8068642</a>","bibtex":"@inbook{Hansmeier_Kenter_Meyer_Riebler_Platzner_Plessl_2023, place={Paderborn}, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts}, title={Compute Centers I: Heterogeneous Execution Environments}, volume={412}, DOI={<a href=\"https://doi.org/10.5281/zenodo.8068642\">10.5281/zenodo.8068642</a>}, booktitle={On-The-Fly Computing -- Individualized IT-services in dynamic markets}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Hansmeier, Tim and Kenter, Tobias and Meyer, Marius and Riebler, Heinrich and Platzner, Marco and Plessl, Christian}, editor={Haake, Claus-Jochen and Meyer auf der Heide, Friedhelm and Platzner, Marco and Wachsmuth, Henning and Wehrheim, Heike}, year={2023}, pages={165–182}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts} }","short":"T. Hansmeier, T. Kenter, M. Meyer, H. Riebler, M. Platzner, C. Plessl, in: C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, H. Wehrheim (Eds.), On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets, Heinz Nixdorf Institut, Universität Paderborn, Paderborn, 2023, pp. 165–182.","mla":"Hansmeier, Tim, et al. “Compute Centers I: Heterogeneous Execution Environments.” <i>On-The-Fly Computing -- Individualized IT-Services in Dynamic Markets</i>, edited by Claus-Jochen Haake et al., vol. 412, Heinz Nixdorf Institut, Universität Paderborn, 2023, pp. 165–82, doi:<a href=\"https://doi.org/10.5281/zenodo.8068642\">10.5281/zenodo.8068642</a>.","apa":"Hansmeier, T., Kenter, T., Meyer, M., Riebler, H., Platzner, M., &#38; Plessl, C. (2023). Compute Centers I: Heterogeneous Execution Environments. In C.-J. Haake, F. Meyer auf der Heide, M. Platzner, H. Wachsmuth, &#38; H. Wehrheim (Eds.), <i>On-The-Fly Computing -- Individualized IT-services in dynamic markets</i> (Vol. 412, pp. 165–182). Heinz Nixdorf Institut, Universität Paderborn. <a href=\"https://doi.org/10.5281/zenodo.8068642\">https://doi.org/10.5281/zenodo.8068642</a>"},"has_accepted_license":"1","doi":"10.5281/zenodo.8068642","oa":"1","date_updated":"2024-05-02T10:33:00Z","volume":412,"author":[{"orcid":"0000-0003-1377-3339","last_name":"Hansmeier","full_name":"Hansmeier, Tim","id":"49992","first_name":"Tim"},{"first_name":"Tobias","full_name":"Kenter, Tobias","id":"3145","last_name":"Kenter"},{"id":"40778","full_name":"Meyer, Marius","last_name":"Meyer","first_name":"Marius"},{"last_name":"Riebler","id":"8961","full_name":"Riebler, Heinrich","first_name":"Heinrich"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"first_name":"Christian","full_name":"Plessl, Christian","id":"16153","last_name":"Plessl","orcid":"0000-0001-5728-9982"}],"file":[{"relation":"main_file","content_type":"application/pdf","file_id":"45894","access_level":"open_access","file_name":"C2-Chapter-SFB-Buch-Final.pdf","file_size":2288788,"date_created":"2023-07-07T08:15:35Z","creator":"florida","date_updated":"2023-07-07T11:17:33Z"}],"publication":"On-The-Fly Computing -- Individualized IT-services in dynamic markets","ddc":["004"],"language":[{"iso":"eng"}],"year":"2023","title":"Compute Centers I: Heterogeneous Execution Environments","publisher":"Heinz Nixdorf Institut, Universität Paderborn","date_created":"2023-07-07T08:15:45Z"},{"year":"2022","date_created":"2022-04-28T09:42:33Z","publisher":"Springer International Publishing","title":"Integrating Safety Guarantees into the Learning Classifier System XCS","publication":"Applications of Evolutionary Computation, EvoApplications 2022, Proceedings","language":[{"iso":"eng"}],"publication_status":"published","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["9783031024610","9783031024627"]},"citation":{"ama":"Hansmeier T, Platzner M. Integrating Safety Guarantees into the Learning Classifier System XCS. In: <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>. Vol 13224. Lecture Notes in Computer Science. Springer International Publishing; 2022:386-401. doi:<a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>","ieee":"T. Hansmeier and M. Platzner, “Integrating Safety Guarantees into the Learning Classifier System XCS,” in <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, Madrid, 2022, vol. 13224, pp. 386–401, doi: <a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>.","chicago":"Hansmeier, Tim, and Marco Platzner. “Integrating Safety Guarantees into the Learning Classifier System XCS.” In <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, 13224:386–401. Lecture Notes in Computer Science. Springer International Publishing, 2022. <a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">https://doi.org/10.1007/978-3-031-02462-7_25</a>.","short":"T. Hansmeier, M. Platzner, in: Applications of Evolutionary Computation, EvoApplications 2022, Proceedings, Springer International Publishing, 2022, pp. 386–401.","mla":"Hansmeier, Tim, and Marco Platzner. “Integrating Safety Guarantees into the Learning Classifier System XCS.” <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, vol. 13224, Springer International Publishing, 2022, pp. 386–401, doi:<a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>.","bibtex":"@inproceedings{Hansmeier_Platzner_2022, series={Lecture Notes in Computer Science}, title={Integrating Safety Guarantees into the Learning Classifier System XCS}, volume={13224}, DOI={<a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">10.1007/978-3-031-02462-7_25</a>}, booktitle={Applications of Evolutionary Computation, EvoApplications 2022, Proceedings}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco}, year={2022}, pages={386–401}, collection={Lecture Notes in Computer Science} }","apa":"Hansmeier, T., &#38; Platzner, M. (2022). Integrating Safety Guarantees into the Learning Classifier System XCS. <i>Applications of Evolutionary Computation, EvoApplications 2022, Proceedings</i>, <i>13224</i>, 386–401. <a href=\"https://doi.org/10.1007/978-3-031-02462-7_25\">https://doi.org/10.1007/978-3-031-02462-7_25</a>"},"page":"386-401","intvolume":"     13224","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","last_name":"Hansmeier","orcid":"0000-0003-1377-3339"},{"last_name":"Platzner","id":"398","full_name":"Platzner, Marco","first_name":"Marco"}],"volume":13224,"date_updated":"2022-04-28T10:24:18Z","conference":{"name":"25th International Conference on Applications of Evolutionary Computation, EvoApplications 2022","start_date":"2022-04-20","end_date":"2022-04-22","location":"Madrid"},"doi":"10.1007/978-3-031-02462-7_25","type":"conference","status":"public","series_title":"Lecture Notes in Computer Science","user_id":"49992","department":[{"_id":"78"}],"project":[{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901 - C2: SFB 901 - Subproject C2","_id":"14"},{"_id":"1","name":"SFB 901: SFB 901"}],"_id":"30971"},{"place":"New York, NY, United States","year":"2022","page":"2071-2079","citation":{"mla":"Hansmeier, Tim, et al. “XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion.” <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2022, pp. 2071–79, doi:<a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>.","bibtex":"@inproceedings{Hansmeier_Brede_Platzner_2022, place={New York, NY, United States}, title={XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion}, DOI={<a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>}, booktitle={GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Brede, Mathis and Platzner, Marco}, year={2022}, pages={2071–2079} }","short":"T. Hansmeier, M. Brede, M. Platzner, in: GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2022, pp. 2071–2079.","apa":"Hansmeier, T., Brede, M., &#38; Platzner, M. (2022). XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion. <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 2071–2079. <a href=\"https://doi.org/10.1145/3520304.3533977\">https://doi.org/10.1145/3520304.3533977</a>","ama":"Hansmeier T, Brede M, Platzner M. XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion. In: <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. Association for Computing Machinery (ACM); 2022:2071-2079. doi:<a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>","chicago":"Hansmeier, Tim, Mathis Brede, and Marco Platzner. “XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion.” In <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 2071–79. New York, NY, United States: Association for Computing Machinery (ACM), 2022. <a href=\"https://doi.org/10.1145/3520304.3533977\">https://doi.org/10.1145/3520304.3533977</a>.","ieee":"T. Hansmeier, M. Brede, and M. Platzner, “XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion,” in <i>GECCO ’22: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Boston, MA, USA, 2022, pp. 2071–2079, doi: <a href=\"https://doi.org/10.1145/3520304.3533977\">10.1145/3520304.3533977</a>."},"publication_status":"published","title":"XCS on Embedded Systems: An Analysis of Execution Profiles and Accelerated Classifier Deletion","doi":"10.1145/3520304.3533977","conference":{"end_date":"2022-07-13","location":"Boston, MA, USA","name":"International Workshop on Learning Classifier Systems (IWLCS 2022)","start_date":"2022-07-09"},"publisher":"Association for Computing Machinery (ACM)","date_updated":"2022-11-18T10:13:22Z","date_created":"2022-09-02T11:47:17Z","author":[{"id":"49992","full_name":"Hansmeier, Tim","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","first_name":"Tim"},{"full_name":"Brede, Mathis","last_name":"Brede","first_name":"Mathis"},{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"}],"status":"public","publication":"GECCO '22: Proceedings of the Genetic and Evolutionary Computation Conference Companion","type":"conference","language":[{"iso":"eng"}],"_id":"33253","project":[{"_id":"1","name":"SFB 901: SFB 901"},{"_id":"14","name":"SFB 901 - C2: SFB 901 - Subproject C2"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"}],"department":[{"_id":"78"}],"user_id":"477"},{"status":"public","type":"conference","publication":"HEART '21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies","language":[{"iso":"eng"}],"project":[{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"1","name":"SFB 901: SFB 901"},{"name":"SFB 901 - C2: SFB 901 - Subproject C2","_id":"14"}],"_id":"29137","user_id":"477","department":[{"_id":"78"}],"year":"2021","place":"New York, NY, United States","citation":{"bibtex":"@inproceedings{Hansmeier_2021, place={New York, NY, United States}, title={Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS}, DOI={<a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>}, booktitle={HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim}, year={2021} }","mla":"Hansmeier, Tim. “Self-Aware Operation of Heterogeneous Compute Nodes Using the Learning Classifier System XCS.” <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>, Association for Computing Machinery (ACM), 2021, doi:<a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>.","short":"T. Hansmeier, in: HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies, Association for Computing Machinery (ACM), New York, NY, United States, 2021.","apa":"Hansmeier, T. (2021). Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS. <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>. International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART ’21), Online. <a href=\"https://doi.org/10.1145/3468044.3468055\">https://doi.org/10.1145/3468044.3468055</a>","chicago":"Hansmeier, Tim. “Self-Aware Operation of Heterogeneous Compute Nodes Using the Learning Classifier System XCS.” In <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>. New York, NY, United States: Association for Computing Machinery (ACM), 2021. <a href=\"https://doi.org/10.1145/3468044.3468055\">https://doi.org/10.1145/3468044.3468055</a>.","ieee":"T. Hansmeier, “Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS,” presented at the International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART ’21), Online, 2021, doi: <a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>.","ama":"Hansmeier T. Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS. In: <i>HEART ’21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies</i>. Association for Computing Machinery (ACM); 2021. doi:<a href=\"https://doi.org/10.1145/3468044.3468055\">10.1145/3468044.3468055</a>"},"publication_status":"published","title":"Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS","doi":"10.1145/3468044.3468055","conference":{"name":"International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART ’21)","start_date":"2021-06-21","end_date":"2021-06-23","location":"Online"},"date_updated":"2022-11-18T10:03:24Z","publisher":"Association for Computing Machinery (ACM)","date_created":"2021-12-27T12:01:02Z","author":[{"id":"49992","full_name":"Hansmeier, Tim","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","first_name":"Tim"}]},{"user_id":"49992","department":[{"_id":"78"}],"project":[{"name":"SFB 901 - Project Area C","_id":"4"},{"_id":"1","name":"SFB 901"},{"_id":"14","name":"SFB 901 - Subproject C2"}],"_id":"21813","language":[{"iso":"eng"}],"type":"conference","publication":"GECCO '21: Proceedings of the Genetic and Evolutionary Computation Conference Companion","status":"public","date_created":"2021-04-28T09:08:17Z","author":[{"last_name":"Hansmeier","orcid":"0000-0003-1377-3339","id":"49992","full_name":"Hansmeier, Tim","first_name":"Tim"},{"first_name":"Marco","last_name":"Platzner","full_name":"Platzner, Marco","id":"398"}],"date_updated":"2022-09-02T09:42:38Z","publisher":"Association for Computing Machinery (ACM)","conference":{"end_date":"2021-07-14","location":"Lille, France","name":"International Workshop on Learning Classifier Systems (IWLCS 2021)","start_date":"2021-07-10"},"doi":"10.1145/3449726.3463159","title":"An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS","publication_status":"published","publication_identifier":{"isbn":["978-1-4503-8351-6"]},"citation":{"apa":"Hansmeier, T., &#38; Platzner, M. (2021). An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS. <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1639–1647. <a href=\"https://doi.org/10.1145/3449726.3463159\">https://doi.org/10.1145/3449726.3463159</a>","mla":"Hansmeier, Tim, and Marco Platzner. “An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS.” <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2021, pp. 1639–1647, doi:<a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>.","bibtex":"@inproceedings{Hansmeier_Platzner_2021, place={New York, NY, United States}, title={An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS}, DOI={<a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>}, booktitle={GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Platzner, Marco}, year={2021}, pages={1639–1647} }","short":"T. Hansmeier, M. Platzner, in: GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2021, pp. 1639–1647.","chicago":"Hansmeier, Tim, and Marco Platzner. “An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS.” In <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1639–1647. New York, NY, United States: Association for Computing Machinery (ACM), 2021. <a href=\"https://doi.org/10.1145/3449726.3463159\">https://doi.org/10.1145/3449726.3463159</a>.","ieee":"T. Hansmeier and M. Platzner, “An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS,” in <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Lille, France, 2021, pp. 1639–1647, doi: <a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>.","ama":"Hansmeier T, Platzner M. An Experimental Comparison of Explore/Exploit Strategies for the Learning Classifier System XCS. In: <i>GECCO ’21: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. Association for Computing Machinery (ACM); 2021:1639–1647. doi:<a href=\"https://doi.org/10.1145/3449726.3463159\">10.1145/3449726.3463159</a>"},"page":"1639–1647","place":"New York, NY, United States","year":"2021"},{"publication_status":"published","publication_identifier":{"isbn":["978-1-4503-7127-8"]},"place":"New York, NY, United States","year":"2020","citation":{"bibtex":"@inproceedings{Hansmeier_Kaufmann_Platzner_2020, place={New York, NY, United States}, title={An Adaption Mechanism for the Error Threshold of XCSF}, DOI={<a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>}, booktitle={GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Kaufmann, Paul and Platzner, Marco}, year={2020}, pages={1756–1764} }","mla":"Hansmeier, Tim, et al. “An Adaption Mechanism for the Error Threshold of XCSF.” <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2020, pp. 1756–64, doi:<a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>.","short":"T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 1756–1764.","apa":"Hansmeier, T., Kaufmann, P., &#38; Platzner, M. (2020). An Adaption Mechanism for the Error Threshold of XCSF. <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1756–1764. <a href=\"https://doi.org/10.1145/3377929.3398106\">https://doi.org/10.1145/3377929.3398106</a>","ama":"Hansmeier T, Kaufmann P, Platzner M. An Adaption Mechanism for the Error Threshold of XCSF. In: <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. Association for Computing Machinery (ACM); 2020:1756-1764. doi:<a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>","chicago":"Hansmeier, Tim, Paul Kaufmann, and Marco Platzner. “An Adaption Mechanism for the Error Threshold of XCSF.” In <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 1756–64. New York, NY, United States: Association for Computing Machinery (ACM), 2020. <a href=\"https://doi.org/10.1145/3377929.3398106\">https://doi.org/10.1145/3377929.3398106</a>.","ieee":"T. Hansmeier, P. Kaufmann, and M. Platzner, “An Adaption Mechanism for the Error Threshold of XCSF,” in <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Cancún, Mexico, 2020, pp. 1756–1764, doi: <a href=\"https://doi.org/10.1145/3377929.3398106\">10.1145/3377929.3398106</a>."},"page":"1756-1764","publisher":"Association for Computing Machinery (ACM)","date_updated":"2022-01-06T06:53:03Z","date_created":"2020-05-27T14:14:58Z","author":[{"id":"49992","full_name":"Hansmeier, Tim","orcid":"0000-0003-1377-3339","last_name":"Hansmeier","first_name":"Tim"},{"last_name":"Kaufmann","full_name":"Kaufmann, Paul","first_name":"Paul"},{"first_name":"Marco","last_name":"Platzner","id":"398","full_name":"Platzner, Marco"}],"title":"An Adaption Mechanism for the Error Threshold of XCSF","conference":{"name":"International Workshop on Learning Classifier Systems (IWLCS 2020)","start_date":"2020-07-08","end_date":"2020-07-12","location":"Cancún, Mexico"},"doi":"10.1145/3377929.3398106","type":"conference","publication":"GECCO '20: Proceedings of the Genetic and Evolutionary Computation Conference Companion","status":"public","project":[{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901","_id":"1"},{"_id":"14","name":"SFB 901 - Subproject C2"}],"_id":"17063","user_id":"477","department":[{"_id":"78"}],"language":[{"iso":"eng"}]},{"date_created":"2020-04-02T10:07:10Z","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","orcid":"0000-0003-1377-3339","last_name":"Hansmeier"},{"first_name":"Paul","full_name":"Kaufmann, Paul","last_name":"Kaufmann"},{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"}],"publisher":"Association for Computing Machinery (ACM)","date_updated":"2022-01-06T06:52:49Z","doi":"10.1145/3377929.3389968","conference":{"name":"The Genetic and Evolutionary Computation Conference (GECCO 2020)","start_date":"2020-07-08","end_date":"2020-07-12","location":"Cancún, Mexico"},"title":"Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold","publication_status":"published","publication_identifier":{"isbn":["978-1-4503-7127-8"]},"citation":{"apa":"Hansmeier, T., Kaufmann, P., &#38; Platzner, M. (2020). Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold. In <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i> (pp. 125–126). New York, NY, United States: Association for Computing Machinery (ACM). <a href=\"https://doi.org/10.1145/3377929.3389968\">https://doi.org/10.1145/3377929.3389968</a>","mla":"Hansmeier, Tim, et al. “Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold.” <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Association for Computing Machinery (ACM), 2020, pp. 125–26, doi:<a href=\"https://doi.org/10.1145/3377929.3389968\">10.1145/3377929.3389968</a>.","bibtex":"@inproceedings{Hansmeier_Kaufmann_Platzner_2020, place={New York, NY, United States}, title={Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold}, DOI={<a href=\"https://doi.org/10.1145/3377929.3389968\">10.1145/3377929.3389968</a>}, booktitle={GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion}, publisher={Association for Computing Machinery (ACM)}, author={Hansmeier, Tim and Kaufmann, Paul and Platzner, Marco}, year={2020}, pages={125–126} }","short":"T. Hansmeier, P. Kaufmann, M. Platzner, in: GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion, Association for Computing Machinery (ACM), New York, NY, United States, 2020, pp. 125–126.","ama":"Hansmeier T, Kaufmann P, Platzner M. Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold. In: <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>. New York, NY, United States: Association for Computing Machinery (ACM); 2020:125-126. doi:<a href=\"https://doi.org/10.1145/3377929.3389968\">10.1145/3377929.3389968</a>","ieee":"T. Hansmeier, P. Kaufmann, and M. Platzner, “Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold,” in <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, Cancún, Mexico, 2020, pp. 125–126.","chicago":"Hansmeier, Tim, Paul Kaufmann, and Marco Platzner. “Enabling XCSF to Cope with Dynamic Environments via an Adaptive Error Threshold.” In <i>GECCO ’20: Proceedings of the Genetic and Evolutionary Computation Conference Companion</i>, 125–26. New York, NY, United States: Association for Computing Machinery (ACM), 2020. <a href=\"https://doi.org/10.1145/3377929.3389968\">https://doi.org/10.1145/3377929.3389968</a>."},"page":"125-126","year":"2020","place":"New York, NY, United States","user_id":"477","department":[{"_id":"78"}],"project":[{"name":"SFB 901 - Project Area C","_id":"4"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subproject C2","_id":"14"}],"_id":"16363","language":[{"iso":"eng"}],"type":"conference","publication":"GECCO '20: Proceedings of the Genetic and Evolutionary Computation Conference Companion","status":"public"},{"type":"journal_article","publication":"Journal of Signal Processing Systems","status":"public","abstract":[{"text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory.","lang":"eng"}],"user_id":"49992","department":[{"_id":"78"}],"_id":"12967","language":[{"iso":"eng"}],"issue":"11","publication_status":"published","publication_identifier":{"issn":["1939-8018","1939-8115"]},"citation":{"apa":"Hansmeier, T., Platzner, M., Pantho, M. J. H., &#38; Andrews, D. (2019). An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>, <i>91</i>(11), 1259–1272. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>","bibtex":"@article{Hansmeier_Platzner_Pantho_Andrews_2019, title={An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology}, volume={91}, DOI={<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>}, number={11}, journal={Journal of Signal Processing Systems}, author={Hansmeier, Tim and Platzner, Marco and Pantho, Md Jubaer Hossain and Andrews, David}, year={2019}, pages={1259–1272} }","mla":"Hansmeier, Tim, et al. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, 2019, pp. 1259–72, doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>.","short":"T. Hansmeier, M. Platzner, M.J.H. Pantho, D. Andrews, Journal of Signal Processing Systems 91 (2019) 1259–1272.","chicago":"Hansmeier, Tim, Marco Platzner, Md Jubaer Hossain Pantho, and David Andrews. “An Accelerator for Resolution Proof Checking Based on FPGA and Hybrid Memory Cube Technology.” <i>Journal of Signal Processing Systems</i> 91, no. 11 (2019): 1259–72. <a href=\"https://doi.org/10.1007/s11265-018-1435-y\">https://doi.org/10.1007/s11265-018-1435-y</a>.","ieee":"T. Hansmeier, M. Platzner, M. J. H. Pantho, and D. Andrews, “An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology,” <i>Journal of Signal Processing Systems</i>, vol. 91, no. 11, pp. 1259–1272, 2019.","ama":"Hansmeier T, Platzner M, Pantho MJH, Andrews D. An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology. <i>Journal of Signal Processing Systems</i>. 2019;91(11):1259-1272. doi:<a href=\"https://doi.org/10.1007/s11265-018-1435-y\">10.1007/s11265-018-1435-y</a>"},"page":"1259 - 1272","intvolume":"        91","year":"2019","date_created":"2019-08-26T13:41:57Z","author":[{"full_name":"Hansmeier, Tim","id":"49992","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","first_name":"Tim"},{"id":"398","full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco"},{"first_name":"Md Jubaer Hossain","full_name":"Pantho, Md Jubaer Hossain","last_name":"Pantho"},{"first_name":"David","full_name":"Andrews, David","last_name":"Andrews"}],"volume":91,"date_updated":"2022-01-06T06:51:27Z","doi":"10.1007/s11265-018-1435-y","title":"An Accelerator for Resolution Proof Checking based on FPGA and Hybrid Memory Cube Technology"},{"language":[{"iso":"eng"}],"department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"user_id":"477","_id":"14546","project":[{"_id":"14","name":"SFB 901 - Subproject C2"},{"_id":"4","name":"SFB 901 - Project Area C"},{"_id":"1","name":"SFB 901"}],"status":"public","type":"mastersthesis","title":"Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers","author":[{"full_name":"Hansmeier, Tim","id":"49992","last_name":"Hansmeier","orcid":"0000-0003-1377-3339","first_name":"Tim"}],"date_created":"2019-11-05T14:32:46Z","supervisor":[{"full_name":"Platzner, Marco","id":"398","last_name":"Platzner","first_name":"Marco"}],"date_updated":"2022-01-06T06:52:02Z","publisher":"Universität Paderborn","citation":{"mla":"Hansmeier, Tim. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019.","bibtex":"@book{Hansmeier_2019, title={Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2019} }","short":"T. Hansmeier, Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers, Universität Paderborn, 2019.","apa":"Hansmeier, T. (2019). <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn.","ama":"Hansmeier T. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn; 2019.","chicago":"Hansmeier, Tim. <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019.","ieee":"T. Hansmeier, <i>Autonomous Operation of High-Performance Compute Nodes through Self-Awareness and Learning Classifiers</i>. Universität Paderborn, 2019."},"year":"2019"},{"publication":"ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications","file":[{"content_type":"application/pdf","relation":"main_file","success":1,"date_created":"2018-11-02T13:55:07Z","creator":"ups","date_updated":"2018-11-02T13:55:07Z","file_name":"AnFPGAHMC-BasedAcceleratorForR.pdf","access_level":"closed","file_id":"5257","file_size":612367}],"abstract":[{"text":"Modern Boolean satisfiability solvers can emit proofs of unsatisfiability. There is substantial interest in being able to verify such proofs and also in using them for further computations. In this paper, we present an FPGA accelerator for checking resolution proofs, a popular proof format. Our accelerator exploits parallelism at the low level by implementing the basic resolution step in hardware, and at the high level by instantiating a number of parallel modules for proof checking. Since proof checking involves highly irregular memory accesses, we employ Hybrid Memory Cube technology for accelerator memory. The results show that while the accelerator is scalable and achieves speedups for all benchmark proofs, performance improvements are currently limited by the overhead of transitioning the proof into the accelerator memory.","lang":"eng"}],"language":[{"iso":"eng"}],"ddc":["000"],"year":"2018","date_created":"2018-06-27T09:30:24Z","publisher":"Springer International Publishing","title":"An FPGA/HMC-Based Accelerator for Resolution Proof Checking","type":"conference","status":"public","department":[{"_id":"78"}],"user_id":"3118","series_title":"Lecture Notes in Computer Science","_id":"3373","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"1","name":"SFB 901"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-11-02T13:55:07Z","has_accepted_license":"1","publication_identifier":{"isbn":["9783319788890","9783319788906"],"issn":["0302-9743","1611-3349"]},"publication_status":"published","intvolume":"     10824","page":"153-165","citation":{"ama":"Hansmeier T, Platzner M, Andrews D. An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In: <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>. Vol 10824. Lecture Notes in Computer Science. Springer International Publishing; 2018:153-165. doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>","ieee":"T. Hansmeier, M. Platzner, and D. Andrews, “An FPGA/HMC-Based Accelerator for Resolution Proof Checking,” in <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, Santorini, Greece, 2018, vol. 10824, pp. 153–165.","chicago":"Hansmeier, Tim, Marco Platzner, and David Andrews. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, 10824:153–65. Lecture Notes in Computer Science. Springer International Publishing, 2018. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>.","bibtex":"@inproceedings{Hansmeier_Platzner_Andrews_2018, series={Lecture Notes in Computer Science}, title={An FPGA/HMC-Based Accelerator for Resolution Proof Checking}, volume={10824}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>}, booktitle={ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications}, publisher={Springer International Publishing}, author={Hansmeier, Tim and Platzner, Marco and Andrews, David}, year={2018}, pages={153–165}, collection={Lecture Notes in Computer Science} }","mla":"Hansmeier, Tim, et al. “An FPGA/HMC-Based Accelerator for Resolution Proof Checking.” <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i>, vol. 10824, Springer International Publishing, 2018, pp. 153–65, doi:<a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">10.1007/978-3-319-78890-6_13</a>.","short":"T. Hansmeier, M. Platzner, D. Andrews, in: ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications, Springer International Publishing, 2018, pp. 153–165.","apa":"Hansmeier, T., Platzner, M., &#38; Andrews, D. (2018). An FPGA/HMC-Based Accelerator for Resolution Proof Checking. In <i>ARC 2018: Applied Reconfigurable Computing. Architectures, Tools, and Applications</i> (Vol. 10824, pp. 153–165). Santorini, Greece: Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-319-78890-6_13\">https://doi.org/10.1007/978-3-319-78890-6_13</a>"},"volume":10824,"author":[{"last_name":"Hansmeier","orcid":"0000-0003-1377-3339","full_name":"Hansmeier, Tim","id":"49992","first_name":"Tim"},{"last_name":"Platzner","full_name":"Platzner, Marco","id":"398","first_name":"Marco"},{"last_name":"Andrews","full_name":"Andrews, David","first_name":"David"}],"date_updated":"2022-01-06T06:59:13Z","doi":"10.1007/978-3-319-78890-6_13","conference":{"location":"Santorini, Greece","end_date":"2018-05-04","start_date":"2018-05-02","name":"ARC: International Symposium on Applied Reconfigurable Computing"}},{"year":"2017","citation":{"ieee":"T. Hansmeier, <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","chicago":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","ama":"Hansmeier T. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn; 2017.","short":"T. Hansmeier, An FPGA Accelerator for Checking Resolution Proofs, Universität Paderborn, 2017.","mla":"Hansmeier, Tim. <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn, 2017.","bibtex":"@book{Hansmeier_2017, title={An FPGA Accelerator for Checking Resolution Proofs}, publisher={Universität Paderborn}, author={Hansmeier, Tim}, year={2017} }","apa":"Hansmeier, T. (2017). <i>An FPGA Accelerator for Checking Resolution Proofs</i>. Universität Paderborn."},"publisher":"Universität Paderborn","date_updated":"2022-01-06T06:59:25Z","date_created":"2018-07-20T13:44:34Z","author":[{"last_name":"Hansmeier","orcid":"0000-0003-1377-3339","id":"49992","full_name":"Hansmeier, Tim","first_name":"Tim"}],"supervisor":[{"first_name":"Marco","last_name":"Platzner","id":"398","full_name":"Platzner, Marco"}],"title":"An FPGA Accelerator for Checking Resolution Proofs","type":"bachelorsthesis","status":"public","_id":"3580","project":[{"name":"SFB 901","_id":"1"},{"_id":"3","name":"SFB 901 - Project Area B"},{"name":"SFB 901 - Subproject B4","_id":"12"}],"department":[{"_id":"78"},{"_id":"34"},{"_id":"7"}],"user_id":"3118","language":[{"iso":"eng"}]}]