[{"citation":{"short":"R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, C. Winsløw, eds., Practice-Oriented Research in Tertiary Mathematics Education, Springer International Publishing, Cham, 2023.","chicago":"Biehler, Rolf, Michael Liebendörfer, Ghislaine Gueudet, Chris Rasmussen, and Carl Winsløw, eds. <i>Practice-Oriented Research in Tertiary Mathematics Education</i>. Cham: Springer International Publishing, 2023. <a href=\"https://doi.org/10.1007/978-3-031-14175-1\">https://doi.org/10.1007/978-3-031-14175-1</a>.","ieee":"R. Biehler, M. Liebendörfer, G. Gueudet, C. Rasmussen, and C. Winsløw, Eds., <i>Practice-Oriented Research in Tertiary Mathematics Education</i>. Cham: Springer International Publishing, 2023.","apa":"Biehler, R., Liebendörfer, M., Gueudet, G., Rasmussen, C., &#38; Winsløw, C. (Eds.). (2023). <i>Practice-Oriented Research in Tertiary Mathematics Education</i>. Springer International Publishing. <a href=\"https://doi.org/10.1007/978-3-031-14175-1\">https://doi.org/10.1007/978-3-031-14175-1</a>","bibtex":"@book{Biehler_Liebendörfer_Gueudet_Rasmussen_Winsløw_2023, place={Cham}, title={Practice-Oriented Research in Tertiary Mathematics Education}, DOI={<a href=\"https://doi.org/10.1007/978-3-031-14175-1\">10.1007/978-3-031-14175-1</a>}, publisher={Springer International Publishing}, year={2023} }","ama":"Biehler R, Liebendörfer M, Gueudet G, Rasmussen C, Winsløw C, eds. <i>Practice-Oriented Research in Tertiary Mathematics Education</i>. Springer International Publishing; 2023. doi:<a href=\"https://doi.org/10.1007/978-3-031-14175-1\">10.1007/978-3-031-14175-1</a>","mla":"Biehler, Rolf, et al., editors. <i>Practice-Oriented Research in Tertiary Mathematics Education</i>. Springer International Publishing, 2023, doi:<a href=\"https://doi.org/10.1007/978-3-031-14175-1\">10.1007/978-3-031-14175-1</a>."},"date_created":"2023-01-18T22:17:58Z","place":"Cham","type":"book_editor","department":[{"_id":"10"}],"status":"public","year":"2023","title":"Practice-Oriented Research in Tertiary Mathematics Education","publication_identifier":{"isbn":["9783031141744","9783031141751"],"issn":["1869-4918","1869-4926"]},"publication_status":"published","date_updated":"2023-01-18T22:47:41Z","_id":"37469","publisher":"Springer International Publishing","user_id":"30933","doi":"10.1007/978-3-031-14175-1","editor":[{"first_name":"Rolf","last_name":"Biehler","full_name":"Biehler, Rolf"},{"last_name":"Liebendörfer","first_name":"Michael","full_name":"Liebendörfer, Michael"},{"first_name":"Ghislaine","last_name":"Gueudet","full_name":"Gueudet, Ghislaine"},{"last_name":"Rasmussen","first_name":"Chris","full_name":"Rasmussen, Chris"},{"full_name":"Winsløw, Carl","last_name":"Winsløw","first_name":"Carl"}]},{"publisher":"IEEE","_id":"37553","language":[{"iso":"eng"}],"user_id":"15782","doi":"10.1109/isse54508.2022.10005487","author":[{"last_name":"Schrader","first_name":"Elena","full_name":"Schrader, Elena"},{"first_name":"Ruslan","last_name":"Bernijazov","full_name":"Bernijazov, Ruslan"},{"full_name":"Foullois, Marc","last_name":"Foullois","first_name":"Marc"},{"last_name":"Hillebrand","first_name":"Michael","full_name":"Hillebrand, Michael"},{"first_name":"Lydia","last_name":"Kaiser","full_name":"Kaiser, Lydia"},{"full_name":"Dumitrescu, Roman","first_name":"Roman","last_name":"Dumitrescu","id":"16190"}],"year":"2023","status":"public","title":"Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering","publication_status":"published","date_updated":"2023-01-19T10:43:05Z","date_created":"2023-01-19T10:39:14Z","department":[{"_id":"563"}],"type":"conference","citation":{"short":"E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, R. Dumitrescu, in: 2022 IEEE International Symposium on Systems Engineering (ISSE), IEEE, 2023.","chicago":"Schrader, Elena, Ruslan Bernijazov, Marc Foullois, Michael Hillebrand, Lydia Kaiser, and Roman Dumitrescu. “Examples of AI-Based Assistance Systems in Context of Model-Based Systems Engineering.” In <i>2022 IEEE International Symposium on Systems Engineering (ISSE)</i>. IEEE, 2023. <a href=\"https://doi.org/10.1109/isse54508.2022.10005487\">https://doi.org/10.1109/isse54508.2022.10005487</a>.","apa":"Schrader, E., Bernijazov, R., Foullois, M., Hillebrand, M., Kaiser, L., &#38; Dumitrescu, R. (2023). Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. <i>2022 IEEE International Symposium on Systems Engineering (ISSE)</i>. <a href=\"https://doi.org/10.1109/isse54508.2022.10005487\">https://doi.org/10.1109/isse54508.2022.10005487</a>","ieee":"E. Schrader, R. Bernijazov, M. Foullois, M. Hillebrand, L. Kaiser, and R. Dumitrescu, “Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering,” 2023, doi: <a href=\"https://doi.org/10.1109/isse54508.2022.10005487\">10.1109/isse54508.2022.10005487</a>.","ama":"Schrader E, Bernijazov R, Foullois M, Hillebrand M, Kaiser L, Dumitrescu R. Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering. In: <i>2022 IEEE International Symposium on Systems Engineering (ISSE)</i>. IEEE; 2023. doi:<a href=\"https://doi.org/10.1109/isse54508.2022.10005487\">10.1109/isse54508.2022.10005487</a>","bibtex":"@inproceedings{Schrader_Bernijazov_Foullois_Hillebrand_Kaiser_Dumitrescu_2023, title={Examples of AI-based Assistance Systems in context of Model-Based Systems Engineering}, DOI={<a href=\"https://doi.org/10.1109/isse54508.2022.10005487\">10.1109/isse54508.2022.10005487</a>}, booktitle={2022 IEEE International Symposium on Systems Engineering (ISSE)}, publisher={IEEE}, author={Schrader, Elena and Bernijazov, Ruslan and Foullois, Marc and Hillebrand, Michael and Kaiser, Lydia and Dumitrescu, Roman}, year={2023} }","mla":"Schrader, Elena, et al. “Examples of AI-Based Assistance Systems in Context of Model-Based Systems Engineering.” <i>2022 IEEE International Symposium on Systems Engineering (ISSE)</i>, IEEE, 2023, doi:<a href=\"https://doi.org/10.1109/isse54508.2022.10005487\">10.1109/isse54508.2022.10005487</a>."},"publication":"2022 IEEE International Symposium on Systems Engineering (ISSE)"},{"project":[{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - B4: SFB 901 - Subproject B4"},{"name":"SFB 901: SFB 901","_id":"1"}],"publication":"37th IEEE/ACM International Conference on Automated Software Engineering","citation":{"mla":"Richter, Cedric, et al. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>, ACM, 2023, doi:<a href=\"https://doi.org/10.1145/3551349.3561156\">10.1145/3551349.3561156</a>.","apa":"Richter, C., Haltermann, J. F., Jakobs, M.-C., Pauck, F., Schott, S., &#38; Wehrheim, H. (2023). Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>. <a href=\"https://doi.org/10.1145/3551349.3561156\">https://doi.org/10.1145/3551349.3561156</a>","ieee":"C. Richter, J. F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, and H. Wehrheim, “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?,” 2023, doi: <a href=\"https://doi.org/10.1145/3551349.3561156\">10.1145/3551349.3561156</a>.","chicago":"Richter, Cedric, Jan Frederik Haltermann, Marie-Christine Jakobs, Felix Pauck, Stefan Schott, and Heike Wehrheim. “Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?” In <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>. ACM, 2023. <a href=\"https://doi.org/10.1145/3551349.3561156\">https://doi.org/10.1145/3551349.3561156</a>.","short":"C. Richter, J.F. Haltermann, M.-C. Jakobs, F. Pauck, S. Schott, H. Wehrheim, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.","ama":"Richter C, Haltermann JF, Jakobs M-C, Pauck F, Schott S, Wehrheim H. Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs? In: <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>. ACM; 2023. doi:<a href=\"https://doi.org/10.1145/3551349.3561156\">10.1145/3551349.3561156</a>","bibtex":"@inproceedings{Richter_Haltermann_Jakobs_Pauck_Schott_Wehrheim_2023, title={Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?}, DOI={<a href=\"https://doi.org/10.1145/3551349.3561156\">10.1145/3551349.3561156</a>}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Richter, Cedric and Haltermann, Jan Frederik and Jakobs, Marie-Christine and Pauck, Felix and Schott, Stefan and Wehrheim, Heike}, year={2023} }"},"type":"conference","oa":"1","department":[{"_id":"77"}],"date_created":"2023-01-09T06:28:44Z","date_updated":"2023-01-19T13:50:18Z","publication_status":"published","title":"Are Neural Bug Detectors Comparable to Software Developers on Variable Misuse Bugs?","status":"public","year":"2023","author":[{"id":"50003","full_name":"Richter, Cedric","first_name":"Cedric","last_name":"Richter"},{"last_name":"Haltermann","first_name":"Jan Frederik","full_name":"Haltermann, Jan Frederik","id":"44413"},{"last_name":"Jakobs","first_name":"Marie-Christine","full_name":"Jakobs, Marie-Christine"},{"id":"22398","full_name":"Pauck, Felix","first_name":"Felix","last_name":"Pauck"},{"last_name":"Schott","first_name":"Stefan","full_name":"Schott, Stefan","id":"54847"},{"full_name":"Wehrheim, Heike","last_name":"Wehrheim","first_name":"Heike","id":"573"}],"doi":"10.1145/3551349.3561156","user_id":"477","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1145/3551349.3561156"}],"publisher":"ACM","_id":"35426","language":[{"iso":"eng"}]},{"year":"2023","status":"public","title":"Benchmark Fuzzing for Android Taint Analyses","author":[{"first_name":"Stefan","last_name":"Schott","full_name":"Schott, Stefan","id":"54847"},{"full_name":"Pauck, Felix","last_name":"Pauck","first_name":"Felix","id":"22398"}],"publication_status":"published","date_updated":"2023-01-19T13:49:06Z","main_file_link":[{"url":"https://ieeexplore.ieee.org/document/10006876"}],"_id":"36848","language":[{"iso":"eng"}],"publisher":"IEEE","user_id":"477","doi":"10.1109/scam55253.2022.00007","publication":"2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)","citation":{"ieee":"S. Schott and F. Pauck, “Benchmark Fuzzing for Android Taint Analyses,” 2023, doi: <a href=\"https://doi.org/10.1109/scam55253.2022.00007\">10.1109/scam55253.2022.00007</a>.","apa":"Schott, S., &#38; Pauck, F. (2023). Benchmark Fuzzing for Android Taint Analyses. <i>2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. <a href=\"https://doi.org/10.1109/scam55253.2022.00007\">https://doi.org/10.1109/scam55253.2022.00007</a>","chicago":"Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” In <i>2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. IEEE, 2023. <a href=\"https://doi.org/10.1109/scam55253.2022.00007\">https://doi.org/10.1109/scam55253.2022.00007</a>.","short":"S. Schott, F. Pauck, in: 2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM), IEEE, 2023.","mla":"Schott, Stefan, and Felix Pauck. “Benchmark Fuzzing for Android Taint Analyses.” <i>2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, IEEE, 2023, doi:<a href=\"https://doi.org/10.1109/scam55253.2022.00007\">10.1109/scam55253.2022.00007</a>.","bibtex":"@inproceedings{Schott_Pauck_2023, title={Benchmark Fuzzing for Android Taint Analyses}, DOI={<a href=\"https://doi.org/10.1109/scam55253.2022.00007\">10.1109/scam55253.2022.00007</a>}, booktitle={2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)}, publisher={IEEE}, author={Schott, Stefan and Pauck, Felix}, year={2023} }","ama":"Schott S, Pauck F. Benchmark Fuzzing for Android Taint Analyses. In: <i>2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. IEEE; 2023. doi:<a href=\"https://doi.org/10.1109/scam55253.2022.00007\">10.1109/scam55253.2022.00007</a>"},"project":[{"name":"SFB 901 - T3: SFB 901 -Subproject T3","_id":"107"},{"name":"SFB 901 - T: SFB 901 - Project Area T","_id":"82"},{"name":"SFB 901: SFB 901","_id":"1"}],"date_created":"2023-01-16T07:17:12Z","type":"conference","department":[{"_id":"77"}]},{"publication_status":"published","date_updated":"2023-01-19T13:49:52Z","status":"public","year":"2023","title":"Scaling Arbitrary Android App Analyses","author":[{"id":"22398","first_name":"Felix","last_name":"Pauck","full_name":"Pauck, Felix"}],"user_id":"477","doi":"10.1145/3551349.3561339","main_file_link":[{"url":"https://doi.org/10.1145/3551349.3561339","open_access":"1"}],"_id":"35427","language":[{"iso":"eng"}],"publisher":"ACM","project":[{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - B4: SFB 901 - Subproject B4","_id":"12"}],"publication":"37th IEEE/ACM International Conference on Automated Software Engineering","citation":{"bibtex":"@inproceedings{Pauck_2023, title={Scaling Arbitrary Android App Analyses}, DOI={<a href=\"https://doi.org/10.1145/3551349.3561339\">10.1145/3551349.3561339</a>}, booktitle={37th IEEE/ACM International Conference on Automated Software Engineering}, publisher={ACM}, author={Pauck, Felix}, year={2023} }","ama":"Pauck F. Scaling Arbitrary Android App Analyses. In: <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>. ACM; 2023. doi:<a href=\"https://doi.org/10.1145/3551349.3561339\">10.1145/3551349.3561339</a>","mla":"Pauck, Felix. “Scaling Arbitrary Android App Analyses.” <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>, ACM, 2023, doi:<a href=\"https://doi.org/10.1145/3551349.3561339\">10.1145/3551349.3561339</a>.","short":"F. Pauck, in: 37th IEEE/ACM International Conference on Automated Software Engineering, ACM, 2023.","chicago":"Pauck, Felix. “Scaling Arbitrary Android App Analyses.” In <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>. ACM, 2023. <a href=\"https://doi.org/10.1145/3551349.3561339\">https://doi.org/10.1145/3551349.3561339</a>.","ieee":"F. Pauck, “Scaling Arbitrary Android App Analyses,” 2023, doi: <a href=\"https://doi.org/10.1145/3551349.3561339\">10.1145/3551349.3561339</a>.","apa":"Pauck, F. (2023). Scaling Arbitrary Android App Analyses. <i>37th IEEE/ACM International Conference on Automated Software Engineering</i>. <a href=\"https://doi.org/10.1145/3551349.3561339\">https://doi.org/10.1145/3551349.3561339</a>"},"type":"conference","department":[{"_id":"77"}],"oa":"1","date_created":"2023-01-09T06:32:33Z"},{"page":"137-148","language":[{"iso":"eng"}],"_id":"38280","doi":"10.1109/JLT.2022.3212936","user_id":"14931","volume":41,"status":"public","year":"2023","title":"Consistent Optical and Electrical Noise Figure","author":[{"id":"381","full_name":"Noé, Reinhold","last_name":"Noé","first_name":"Reinhold","orcid":"https://orcid.org/0000-0002-5839-7616"}],"date_updated":"2023-01-25T23:00:09Z","intvolume":"        41","date_created":"2023-01-23T18:04:58Z","type":"journal_article","department":[{"_id":"56"}],"issue":"1","publication":"Journal of Lightwave Technology","citation":{"short":"R. Noé, Journal of Lightwave Technology 41 (2023) 137–148.","chicago":"Noé, Reinhold. “Consistent Optical and Electrical Noise Figure.” <i>Journal of Lightwave Technology</i> 41, no. 1 (2023): 137–48. <a href=\"https://doi.org/10.1109/JLT.2022.3212936\">https://doi.org/10.1109/JLT.2022.3212936</a>.","ieee":"R. Noé, “Consistent Optical and Electrical Noise Figure,” <i>Journal of Lightwave Technology</i>, vol. 41, no. 1, pp. 137–148, 2023, doi: <a href=\"https://doi.org/10.1109/JLT.2022.3212936\">10.1109/JLT.2022.3212936</a>.","apa":"Noé, R. (2023). Consistent Optical and Electrical Noise Figure. <i>Journal of Lightwave Technology</i>, <i>41</i>(1), 137–148. <a href=\"https://doi.org/10.1109/JLT.2022.3212936\">https://doi.org/10.1109/JLT.2022.3212936</a>","bibtex":"@article{Noé_2023, title={Consistent Optical and Electrical Noise Figure}, volume={41}, DOI={<a href=\"https://doi.org/10.1109/JLT.2022.3212936\">10.1109/JLT.2022.3212936</a>}, number={1}, journal={Journal of Lightwave Technology}, author={Noé, Reinhold}, year={2023}, pages={137–148} }","ama":"Noé R. Consistent Optical and Electrical Noise Figure. <i>Journal of Lightwave Technology</i>. 2023;41(1):137-148. doi:<a href=\"https://doi.org/10.1109/JLT.2022.3212936\">10.1109/JLT.2022.3212936</a>","mla":"Noé, Reinhold. “Consistent Optical and Electrical Noise Figure.” <i>Journal of Lightwave Technology</i>, vol. 41, no. 1, 2023, pp. 137–48, doi:<a href=\"https://doi.org/10.1109/JLT.2022.3212936\">10.1109/JLT.2022.3212936</a>."}},{"date_created":"2023-01-26T16:07:19Z","department":[{"_id":"7"},{"_id":"64"}],"type":"mastersthesis","citation":{"ieee":"M. Pilot, <i>Updatable Privacy-Preserving Reputation System based on Blockchain</i>. 2023.","apa":"Pilot, M. (2023). <i>Updatable Privacy-Preserving Reputation System based on Blockchain</i>.","chicago":"Pilot, Matthias. <i>Updatable Privacy-Preserving Reputation System Based on Blockchain</i>, 2023.","short":"M. Pilot, Updatable Privacy-Preserving Reputation System Based on Blockchain, 2023.","mla":"Pilot, Matthias. <i>Updatable Privacy-Preserving Reputation System Based on Blockchain</i>. 2023.","bibtex":"@book{Pilot_2023, title={Updatable Privacy-Preserving Reputation System based on Blockchain}, author={Pilot, Matthias}, year={2023} }","ama":"Pilot M. <i>Updatable Privacy-Preserving Reputation System Based on Blockchain</i>.; 2023."},"supervisor":[{"id":"23","last_name":"Blömer","first_name":"Johannes","full_name":"Blömer, Johannes"}],"project":[{"_id":"1","name":"SFB 901: SFB 901"},{"name":"SFB 901 - C: SFB 901 - Project Area C","_id":"4"},{"_id":"13","name":"SFB 901 - C1: SFB 901 - Subproject C1"}],"extern":"1","_id":"40440","language":[{"iso":"eng"}],"user_id":"27207","author":[{"full_name":"Pilot, Matthias","first_name":"Matthias","last_name":"Pilot"}],"status":"public","title":"Updatable Privacy-Preserving Reputation System based on Blockchain","year":"2023","date_updated":"2023-01-26T16:08:11Z"},{"citation":{"ama":"Hüsing S, Schulte C, Winkelnkemper F. Epistemic Programming. In: <i>Computer Science Education</i>. Bloomsbury Academic; 2023. doi:<a href=\"https://doi.org/10.5040/9781350296947.ch-022\">10.5040/9781350296947.ch-022</a>","bibtex":"@inbook{Hüsing_Schulte_Winkelnkemper_2023, title={Epistemic Programming}, DOI={<a href=\"https://doi.org/10.5040/9781350296947.ch-022\">10.5040/9781350296947.ch-022</a>}, booktitle={Computer Science Education}, publisher={Bloomsbury Academic}, author={Hüsing, Sven and Schulte, Carsten and Winkelnkemper, Felix}, year={2023} }","mla":"Hüsing, Sven, et al. “Epistemic Programming.” <i>Computer Science Education</i>, Bloomsbury Academic, 2023, doi:<a href=\"https://doi.org/10.5040/9781350296947.ch-022\">10.5040/9781350296947.ch-022</a>.","chicago":"Hüsing, Sven, Carsten Schulte, and Felix Winkelnkemper. “Epistemic Programming.” In <i>Computer Science Education</i>. Bloomsbury Academic, 2023. <a href=\"https://doi.org/10.5040/9781350296947.ch-022\">https://doi.org/10.5040/9781350296947.ch-022</a>.","short":"S. Hüsing, C. Schulte, F. Winkelnkemper, in: Computer Science Education, Bloomsbury Academic, 2023.","apa":"Hüsing, S., Schulte, C., &#38; Winkelnkemper, F. (2023). Epistemic Programming. In <i>Computer Science Education</i>. Bloomsbury Academic. <a href=\"https://doi.org/10.5040/9781350296947.ch-022\">https://doi.org/10.5040/9781350296947.ch-022</a>","ieee":"S. Hüsing, C. Schulte, and F. Winkelnkemper, “Epistemic Programming,” in <i>Computer Science Education</i>, Bloomsbury Academic, 2023."},"publication":"Computer Science Education","department":[{"_id":"67"}],"type":"book_chapter","date_created":"2023-01-27T12:25:37Z","date_updated":"2023-01-27T12:26:06Z","publication_status":"published","author":[{"first_name":"Sven","last_name":"Hüsing","full_name":"Hüsing, Sven","id":"58465"},{"id":"60311","first_name":"Carsten","last_name":"Schulte","full_name":"Schulte, Carsten"},{"full_name":"Winkelnkemper, Felix","first_name":"Felix","last_name":"Winkelnkemper","id":"3117"}],"publication_identifier":{"isbn":["9781350296916","9781350296909","9781350296930","9781350296923","9781350296947"]},"status":"public","year":"2023","title":"Epistemic Programming","doi":"10.5040/9781350296947.ch-022","user_id":"58465","_id":"40511","language":[{"iso":"eng"}],"publisher":"Bloomsbury Academic"},{"publication":"Theoretical Computer Science","date_created":"2022-10-28T05:11:16Z","keyword":["General Computer Science","Theoretical Computer Science"],"type":"journal_article","department":[{"_id":"63"}],"title":"Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation","year":"2023","publication_identifier":{"issn":["0304-3975"]},"author":[{"last_name":"Castenow","first_name":"Jannik","full_name":"Castenow, Jannik","id":"38705"},{"id":"47213","last_name":"Harbig","first_name":"Jonas","full_name":"Harbig, Jonas"},{"full_name":"Jung, Daniel","last_name":"Jung","first_name":"Daniel","id":"37827"},{"id":"39241","full_name":"Knollmann, Till","last_name":"Knollmann","first_name":"Till","orcid":"0000-0003-2014-4696"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"}],"publication_status":"published","date_updated":"2023-01-30T09:20:09Z","article_type":"original","intvolume":"       939","language":[{"iso":"eng"}],"doi":"10.1016/j.tcs.2022.10.031","citation":{"apa":"Castenow, J., Harbig, J., Jung, D., Knollmann, T., &#38; Meyer auf der Heide, F. (2023). Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. <i>Theoretical Computer Science</i>, <i>939</i>, 261–291. <a href=\"https://doi.org/10.1016/j.tcs.2022.10.031\">https://doi.org/10.1016/j.tcs.2022.10.031</a>","ieee":"J. Castenow, J. Harbig, D. Jung, T. Knollmann, and F. Meyer auf der Heide, “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation,” <i>Theoretical Computer Science</i>, vol. 939, pp. 261–291, 2023, doi: <a href=\"https://doi.org/10.1016/j.tcs.2022.10.031\">10.1016/j.tcs.2022.10.031</a>.","short":"J. Castenow, J. Harbig, D. Jung, T. Knollmann, F. Meyer auf der Heide, Theoretical Computer Science 939 (2023) 261–291.","chicago":"Castenow, Jannik, Jonas Harbig, Daniel Jung, Till Knollmann, and Friedhelm Meyer auf der Heide. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” <i>Theoretical Computer Science</i> 939 (2023): 261–91. <a href=\"https://doi.org/10.1016/j.tcs.2022.10.031\">https://doi.org/10.1016/j.tcs.2022.10.031</a>.","mla":"Castenow, Jannik, et al. “Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation.” <i>Theoretical Computer Science</i>, vol. 939, Elsevier BV, 2023, pp. 261–91, doi:<a href=\"https://doi.org/10.1016/j.tcs.2022.10.031\">10.1016/j.tcs.2022.10.031</a>.","ama":"Castenow J, Harbig J, Jung D, Knollmann T, Meyer auf der Heide F. Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation. <i>Theoretical Computer Science</i>. 2023;939:261-291. doi:<a href=\"https://doi.org/10.1016/j.tcs.2022.10.031\">10.1016/j.tcs.2022.10.031</a>","bibtex":"@article{Castenow_Harbig_Jung_Knollmann_Meyer auf der Heide_2023, title={Gathering a Euclidean Closed Chain of Robots in Linear Time and Improved Algorithms for Chain-Formation}, volume={939}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2022.10.031\">10.1016/j.tcs.2022.10.031</a>}, journal={Theoretical Computer Science}, publisher={Elsevier BV}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Knollmann, Till and Meyer auf der Heide, Friedhelm}, year={2023}, pages={261–291} }"},"project":[{"_id":"106","name":"Algorithmen für Schwarmrobotik: Verteiltes Rechnen trifft Dynamische Systeme"}],"external_id":{"arxiv":["2010.04424 "]},"status":"public","page":"261-291","_id":"33947","publisher":"Elsevier BV","user_id":"38705","volume":939},{"citation":{"mla":"Böcker, Joachim. <i>Mechatronik und elektrische Antriebe / Mechatronics and electrical drives</i>. Paderborn University, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1640\">10.17619/UNIPB/1-1640</a>.","bibtex":"@book{Böcker, place={Paderborn}, title={Mechatronik und elektrische Antriebe / Mechatronics and electrical drives}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-1640\">10.17619/UNIPB/1-1640</a>}, publisher={Paderborn University}, author={Böcker, Joachim} }","ama":"Böcker J. <i>Mechatronik und elektrische Antriebe / Mechatronics and electrical drives</i>. Paderborn University doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1640\">10.17619/UNIPB/1-1640</a>","ieee":"J. Böcker, <i>Mechatronik und elektrische Antriebe / Mechatronics and electrical drives</i>. Paderborn: Paderborn University.","apa":"Böcker, J. (n.d.). <i>Mechatronik und elektrische Antriebe / Mechatronics and electrical drives</i>. Paderborn University. <a href=\"https://doi.org/10.17619/UNIPB/1-1640\">https://doi.org/10.17619/UNIPB/1-1640</a>","short":"J. Böcker, Mechatronik und elektrische Antriebe / Mechatronics and electrical drives, Paderborn University, Paderborn, n.d.","chicago":"Böcker, Joachim. <i>Mechatronik und elektrische Antriebe / Mechatronics and electrical drives</i>. Paderborn: Paderborn University, n.d. <a href=\"https://doi.org/10.17619/UNIPB/1-1640\">https://doi.org/10.17619/UNIPB/1-1640</a>."},"place":"Paderborn","date_created":"2023-02-01T12:46:34Z","type":"book","department":[{"_id":"52"}],"year":"2023","title":"Mechatronik und elektrische Antriebe / Mechatronics and electrical drives","status":"public","author":[{"id":"66","orcid":"0000-0002-8480-7295","last_name":"Böcker","first_name":"Joachim","full_name":"Böcker, Joachim"}],"date_updated":"2023-02-01T12:51:25Z","publication_status":"submitted","publisher":"Paderborn University","_id":"41369","language":[{"iso":"ger"},{"iso":"eng"}],"doi":"10.17619/UNIPB/1-1640","user_id":"66"},{"date_updated":"2023-02-06T10:46:00Z","title":"Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis","year":"2023","status":"public","author":[{"id":"66637","last_name":"Shivarpatna Venkatesh","first_name":"Ashwin Prasad","full_name":"Shivarpatna Venkatesh, Ashwin Prasad"},{"full_name":"Wang, Jiawei","last_name":"Wang","first_name":"Jiawei"},{"full_name":"Li, Li","first_name":"Li","last_name":"Li"},{"orcid":"0000-0003-3470-3647","first_name":"Eric","last_name":"Bodden","full_name":"Bodden, Eric","id":"59256"}],"user_id":"15249","language":[{"iso":"eng"}],"_id":"41813","publication":"IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)","citation":{"ama":"Shivarpatna Venkatesh AP, Wang J, Li L, Bodden E. Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. In: <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>. ; 2023.","bibtex":"@inproceedings{Shivarpatna Venkatesh_Wang_Li_Bodden_2023, title={Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis}, booktitle={IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)}, author={Shivarpatna Venkatesh, Ashwin Prasad and Wang, Jiawei and Li, Li and Bodden, Eric}, year={2023} }","mla":"Shivarpatna Venkatesh, Ashwin Prasad, et al. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, 2023.","chicago":"Shivarpatna Venkatesh, Ashwin Prasad, Jiawei Wang, Li Li, and Eric Bodden. “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis.” In <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>, 2023.","short":"A.P. Shivarpatna Venkatesh, J. Wang, L. Li, E. Bodden, in: IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023.","apa":"Shivarpatna Venkatesh, A. P., Wang, J., Li, L., &#38; Bodden, E. (2023). Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis. <i>IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER)</i>.","ieee":"A. P. Shivarpatna Venkatesh, J. Wang, L. Li, and E. Bodden, “Enhancing Comprehension and Navigation in Jupyter Notebooks with Static Analysis,” 2023."},"type":"conference","department":[{"_id":"76"}],"date_created":"2023-02-06T10:44:08Z"},{"citation":{"short":"E. Yigitbas, J. Klauke, S. Gottschalk, G. Engels, Journal on Computer Languages (COLA)  (2023).","chicago":"Yigitbas, Enes, Jonas Klauke, Sebastian Gottschalk, and Gregor Engels. “End-User Development of Interactive Web-Based Virtual Reality Scenes.” <i>Journal on Computer Languages (COLA) </i>, 2023.","apa":"Yigitbas, E., Klauke, J., Gottschalk, S., &#38; Engels, G. (2023). End-User Development of Interactive Web-Based Virtual Reality Scenes. <i>Journal on Computer Languages (COLA) </i>.","ieee":"E. Yigitbas, J. Klauke, S. Gottschalk, and G. Engels, “End-User Development of Interactive Web-Based Virtual Reality Scenes,” <i>Journal on Computer Languages (COLA) </i>, 2023.","ama":"Yigitbas E, Klauke J, Gottschalk S, Engels G. End-User Development of Interactive Web-Based Virtual Reality Scenes. <i>Journal on Computer Languages (COLA) </i>. Published online 2023.","bibtex":"@article{Yigitbas_Klauke_Gottschalk_Engels_2023, title={End-User Development of Interactive Web-Based Virtual Reality Scenes}, journal={Journal on Computer Languages (COLA) }, publisher={Elsevier}, author={Yigitbas, Enes and Klauke, Jonas and Gottschalk, Sebastian and Engels, Gregor}, year={2023} }","mla":"Yigitbas, Enes, et al. “End-User Development of Interactive Web-Based Virtual Reality Scenes.” <i>Journal on Computer Languages (COLA) </i>, Elsevier, 2023."},"publication":"Journal on Computer Languages (COLA) ","date_created":"2022-12-12T20:04:29Z","department":[{"_id":"66"},{"_id":"534"}],"type":"journal_article","author":[{"id":"8447","orcid":"0000-0002-5967-833X","first_name":"Enes","last_name":"Yigitbas","full_name":"Yigitbas, Enes"},{"orcid":"0000-0001-9160-9636","first_name":"Jonas","last_name":"Klauke","full_name":"Klauke, Jonas","id":"40915"},{"id":"47208","full_name":"Gottschalk, Sebastian","last_name":"Gottschalk","first_name":"Sebastian"},{"id":"107","full_name":"Engels, Gregor","last_name":"Engels","first_name":"Gregor"}],"year":"2023","status":"public","title":"End-User Development of Interactive Web-Based Virtual Reality Scenes","date_updated":"2023-02-14T10:48:12Z","publisher":"Elsevier","_id":"34402","language":[{"iso":"eng"}],"user_id":"8447"},{"date_updated":"2023-02-14T10:49:19Z","author":[{"id":"8447","full_name":"Yigitbas, Enes","first_name":"Enes","orcid":"0000-0002-5967-833X","last_name":"Yigitbas"},{"id":"107","first_name":"Gregor","last_name":"Engels","full_name":"Engels, Gregor"}],"title":"Enhancing Robot Programming through Digital Twin and Augmented Reality ","status":"public","year":"2023","user_id":"8447","publisher":"ScholarSpace","_id":"33511","language":[{"iso":"eng"}],"citation":{"short":"E. Yigitbas, G. Engels, in: 56th Hawaii International Conference on System Science (HICSS 2023) , ScholarSpace, 2023.","chicago":"Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital Twin and Augmented Reality .” In <i>56th Hawaii International Conference on System Science (HICSS 2023) </i>. ScholarSpace, 2023.","apa":"Yigitbas, E., &#38; Engels, G. (2023). Enhancing Robot Programming through Digital Twin and Augmented Reality . <i>56th Hawaii International Conference on System Science (HICSS 2023) </i>.","ieee":"E. Yigitbas and G. Engels, “Enhancing Robot Programming through Digital Twin and Augmented Reality ,” 2023.","ama":"Yigitbas E, Engels G. Enhancing Robot Programming through Digital Twin and Augmented Reality . In: <i>56th Hawaii International Conference on System Science (HICSS 2023) </i>. ScholarSpace; 2023.","bibtex":"@inproceedings{Yigitbas_Engels_2023, title={Enhancing Robot Programming through Digital Twin and Augmented Reality }, booktitle={56th Hawaii International Conference on System Science (HICSS 2023) }, publisher={ScholarSpace}, author={Yigitbas, Enes and Engels, Gregor}, year={2023} }","mla":"Yigitbas, Enes, and Gregor Engels. “Enhancing Robot Programming through Digital Twin and Augmented Reality .” <i>56th Hawaii International Conference on System Science (HICSS 2023) </i>, ScholarSpace, 2023."},"publication":"56th Hawaii International Conference on System Science (HICSS 2023) ","department":[{"_id":"66"},{"_id":"534"}],"type":"conference","date_created":"2022-10-04T13:30:06Z"},{"date_created":"2022-12-12T20:02:01Z","type":"conference","department":[{"_id":"66"},{"_id":"534"}],"publication":"Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP'23) ","citation":{"ieee":"E. Yigitbas, S. Krois, S. Gottschalk, and G. Engels, “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining,” 2023.","apa":"Yigitbas, E., Krois, S., Gottschalk, S., &#38; Engels, G. (2023). Towards Enhanced Guiding Mechanisms in VR Training through Process Mining. <i>Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) </i>.","chicago":"Yigitbas, Enes, Sebastian Krois, Sebastian Gottschalk, and Gregor Engels. “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining.” In <i>Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) </i>, 2023.","short":"E. Yigitbas, S. Krois, S. Gottschalk, G. Engels, in: Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) , 2023.","mla":"Yigitbas, Enes, et al. “Towards Enhanced Guiding Mechanisms in VR Training through Process Mining.” <i>Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) </i>, 2023.","bibtex":"@inproceedings{Yigitbas_Krois_Gottschalk_Engels_2023, title={Towards Enhanced Guiding Mechanisms in VR Training through Process Mining}, booktitle={Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) }, author={Yigitbas, Enes and Krois, Sebastian and Gottschalk, Sebastian and Engels, Gregor}, year={2023} }","ama":"Yigitbas E, Krois S, Gottschalk S, Engels G. Towards Enhanced Guiding Mechanisms in VR Training through Process Mining. In: <i>Proceedings of the 7th International Conference on Human Computer Interaction Theory and Applications (HUCAPP’23) </i>. ; 2023."},"language":[{"iso":"eng"}],"_id":"34401","user_id":"8447","title":"Towards Enhanced Guiding Mechanisms in VR Training through Process Mining","status":"public","year":"2023","author":[{"id":"8447","full_name":"Yigitbas, Enes","orcid":"0000-0002-5967-833X","last_name":"Yigitbas","first_name":"Enes"},{"full_name":"Krois, Sebastian","first_name":"Sebastian","last_name":"Krois"},{"id":"47208","full_name":"Gottschalk, Sebastian","last_name":"Gottschalk","first_name":"Sebastian"},{"id":"107","full_name":"Engels, Gregor","first_name":"Gregor","last_name":"Engels"}],"date_updated":"2023-02-14T10:49:40Z"},{"department":[{"_id":"63"}],"type":"conference","date_created":"2022-11-04T09:41:30Z","publication":"Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) ","doi":"10.4230/LIPIcs.OPODIS.2022.15","language":[{"iso":"eng"}],"series_title":"Leibniz International Proceedings in Informatics (LIPIcs)","intvolume":"       253","date_updated":"2023-02-15T14:53:12Z","publication_status":"published","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-265-5"]},"author":[{"id":"38705","first_name":"Jannik","last_name":"Castenow","full_name":"Castenow, Jannik"},{"id":"47213","full_name":"Harbig, Jonas","first_name":"Jonas","last_name":"Harbig"},{"id":"37827","last_name":"Jung","first_name":"Daniel","full_name":"Jung, Daniel"},{"last_name":"Kling","first_name":"Peter","full_name":"Kling, Peter"},{"orcid":"0000-0003-2014-4696","first_name":"Till","last_name":"Knollmann","full_name":"Knollmann, Till","id":"39241"},{"id":"15523","last_name":"Meyer auf der Heide","first_name":"Friedhelm","full_name":"Meyer auf der Heide, Friedhelm"}],"year":"2023","title":"A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility ","place":"Brussels","external_id":{"arxiv":["2206.07567 "]},"project":[{"name":"Algorithmen für Schwarmrobotik: Verteiltes Rechnen trifft Dynamische Systeme","_id":"106"}],"citation":{"ama":"Castenow J, Harbig J, Jung D, Kling P, Knollmann T, Meyer auf der Heide F. A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In: Hillel E, Palmieri R, Riviére E, eds. <i>Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) </i>. Vol 253. Leibniz International Proceedings in Informatics (LIPIcs). Schloss Dagstuhl – Leibniz Zentrum für Informatik; 2023:15:1–15:25. doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2022.15\">10.4230/LIPIcs.OPODIS.2022.15</a>","bibtex":"@inproceedings{Castenow_Harbig_Jung_Kling_Knollmann_Meyer auf der Heide_2023, place={Brussels}, series={Leibniz International Proceedings in Informatics (LIPIcs)}, title={A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility }, volume={253}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2022.15\">10.4230/LIPIcs.OPODIS.2022.15</a>}, booktitle={Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) }, publisher={Schloss Dagstuhl – Leibniz Zentrum für Informatik}, author={Castenow, Jannik and Harbig, Jonas and Jung, Daniel and Kling, Peter and Knollmann, Till and Meyer auf der Heide, Friedhelm}, editor={Hillel, Eshcar and Palmieri, Roberto and Riviére, Etienne}, year={2023}, pages={15:1–15:25}, collection={Leibniz International Proceedings in Informatics (LIPIcs)} }","mla":"Castenow, Jannik, et al. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” <i>Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) </i>, edited by Eshcar Hillel et al., vol. 253, Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023, p. 15:1–15:25, doi:<a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2022.15\">10.4230/LIPIcs.OPODIS.2022.15</a>.","chicago":"Castenow, Jannik, Jonas Harbig, Daniel Jung, Peter Kling, Till Knollmann, and Friedhelm Meyer auf der Heide. “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility .” In <i>Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) </i>, edited by Eshcar Hillel, Roberto Palmieri, and Etienne Riviére, 253:15:1–15:25. Leibniz International Proceedings in Informatics (LIPIcs). Brussels: Schloss Dagstuhl – Leibniz Zentrum für Informatik, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2022.15\">https://doi.org/10.4230/LIPIcs.OPODIS.2022.15</a>.","short":"J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, F. Meyer auf der Heide, in: E. Hillel, R. Palmieri, E. Riviére (Eds.), Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) , Schloss Dagstuhl – Leibniz Zentrum für Informatik, Brussels, 2023, p. 15:1–15:25.","apa":"Castenow, J., Harbig, J., Jung, D., Kling, P., Knollmann, T., &#38; Meyer auf der Heide, F. (2023). A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility . In E. Hillel, R. Palmieri, &#38; E. Riviére (Eds.), <i>Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) </i> (Vol. 253, p. 15:1–15:25). Schloss Dagstuhl – Leibniz Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2022.15\">https://doi.org/10.4230/LIPIcs.OPODIS.2022.15</a>","ieee":"J. Castenow, J. Harbig, D. Jung, P. Kling, T. Knollmann, and F. Meyer auf der Heide, “A Unifying Approach to Efficient (Near-)Gathering of Disoriented Robots with Limited Visibility ,” in <i>Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS) </i>, Brussels, 2023, vol. 253, p. 15:1–15:25, doi: <a href=\"https://doi.org/10.4230/LIPIcs.OPODIS.2022.15\">10.4230/LIPIcs.OPODIS.2022.15</a>."},"editor":[{"full_name":"Hillel, Eshcar","last_name":"Hillel","first_name":"Eshcar"},{"last_name":"Palmieri","first_name":"Roberto","full_name":"Palmieri, Roberto"},{"full_name":"Riviére, Etienne","first_name":"Etienne","last_name":"Riviére"}],"volume":253,"user_id":"38705","publisher":"Schloss Dagstuhl – Leibniz Zentrum für Informatik","_id":"34008","page":"15:1–15:25","conference":{"end_date":"2022-12-15","start_date":"2022-12-13","name":"26th International Conference on Principles of Distributed Systems (OPODIS)","location":"Brussels"},"status":"public"},{"abstract":[{"lang":"eng","text":"The goal of this paper is to make a strong point for the usage of dynamical models when using reinforcement learning (RL) for feedback control of dynamical systems governed by partial differential equations (PDEs). To breach the gap between the immense promises we see in RL and the applicability in complex engineering systems, the main challenges are the massive requirements in terms of the training data, as well as the lack of performance guarantees. We present a solution for the first issue using a data-driven surrogate model in the form of a convolutional LSTM with actuation. We demonstrate that learning an actuated model in parallel to training the RL agent significantly reduces the total amount of required data sampled from the real system. Furthermore, we show that iteratively updating the model is of major importance to avoid biases in the RL training. Detailed ablation studies reveal the most important ingredients of the modeling process. We use the chaotic Kuramoto-Sivashinsky equation do demonstarte our findings."}],"citation":{"ieee":"S. Werner and S. Peitz, “Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs,” <i>arXiv:2302.07160</i>. 2023.","apa":"Werner, S., &#38; Peitz, S. (2023). Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs. In <i>arXiv:2302.07160</i>.","chicago":"Werner, Stefan, and Sebastian Peitz. “Learning a Model Is Paramount for Sample Efficiency in Reinforcement  Learning Control of PDEs.” <i>ArXiv:2302.07160</i>, 2023.","short":"S. Werner, S. Peitz, ArXiv:2302.07160 (2023).","mla":"Werner, Stefan, and Sebastian Peitz. “Learning a Model Is Paramount for Sample Efficiency in Reinforcement  Learning Control of PDEs.” <i>ArXiv:2302.07160</i>, 2023.","bibtex":"@article{Werner_Peitz_2023, title={Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs}, journal={arXiv:2302.07160}, author={Werner, Stefan and Peitz, Sebastian}, year={2023} }","ama":"Werner S, Peitz S. Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs. <i>arXiv:230207160</i>. Published online 2023."},"publication":"arXiv:2302.07160","oa":"1","department":[{"_id":"655"}],"type":"preprint","date_created":"2023-02-15T20:57:20Z","external_id":{"arxiv":["2302.07160"]},"date_updated":"2023-02-15T20:58:33Z","author":[{"full_name":"Werner, Stefan","first_name":"Stefan","last_name":"Werner"},{"id":"47427","full_name":"Peitz, Sebastian","first_name":"Sebastian","orcid":"0000-0002-3389-793X","last_name":"Peitz"}],"status":"public","title":"Learning a model is paramount for sample efficiency in reinforcement  learning control of PDEs","year":"2023","user_id":"47427","language":[{"iso":"eng"}],"_id":"42160","main_file_link":[{"url":"https://arxiv.org/pdf/2302.07160","open_access":"1"}]},{"title":"A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus","year":"2023","author":[{"last_name":"Hanusch","first_name":"Maximilian","full_name":"Hanusch, Maximilian","id":"30905"}],"publication_identifier":{"issn":["0008-414X","1496-4279"]},"publication_status":"published","date_updated":"2023-02-22T11:38:32Z","article_type":"original","intvolume":"        75","language":[{"iso":"eng"}],"doi":"10.4153/s0008414x21000596","publication":"Canadian Journal of Mathematics","issue":"1","date_created":"2022-12-22T09:16:48Z","type":"journal_article","keyword":["extension of differentiable maps"],"department":[{"_id":"93"}],"status":"public","page":"170-201","publisher":"Canadian Mathematical Society","_id":"34814","user_id":"30905","volume":75,"citation":{"apa":"Hanusch, M. (2023). A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus. <i>Canadian Journal of Mathematics</i>, <i>75</i>(1), 170–201. <a href=\"https://doi.org/10.4153/s0008414x21000596\">https://doi.org/10.4153/s0008414x21000596</a>","ieee":"M. Hanusch, “A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus,” <i>Canadian Journal of Mathematics</i>, vol. 75, no. 1, pp. 170–201, 2023, doi: <a href=\"https://doi.org/10.4153/s0008414x21000596\">10.4153/s0008414x21000596</a>.","chicago":"Hanusch, Maximilian. “A $C^k$-Seeley-Extension-Theorem for Bastiani’s Differential Calculus.” <i>Canadian Journal of Mathematics</i> 75, no. 1 (2023): 170–201. <a href=\"https://doi.org/10.4153/s0008414x21000596\">https://doi.org/10.4153/s0008414x21000596</a>.","short":"M. Hanusch, Canadian Journal of Mathematics 75 (2023) 170–201.","mla":"Hanusch, Maximilian. “A $C^k$-Seeley-Extension-Theorem for Bastiani’s Differential Calculus.” <i>Canadian Journal of Mathematics</i>, vol. 75, no. 1, Canadian Mathematical Society, 2023, pp. 170–201, doi:<a href=\"https://doi.org/10.4153/s0008414x21000596\">10.4153/s0008414x21000596</a>.","ama":"Hanusch M. A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus. <i>Canadian Journal of Mathematics</i>. 2023;75(1):170-201. doi:<a href=\"https://doi.org/10.4153/s0008414x21000596\">10.4153/s0008414x21000596</a>","bibtex":"@article{Hanusch_2023, title={A $C^k$-seeley-extension-theorem for Bastiani’s differential calculus}, volume={75}, DOI={<a href=\"https://doi.org/10.4153/s0008414x21000596\">10.4153/s0008414x21000596</a>}, number={1}, journal={Canadian Journal of Mathematics}, publisher={Canadian Mathematical Society}, author={Hanusch, Maximilian}, year={2023}, pages={170–201} }"},"project":[{"_id":"161","name":"RegLie: Regularität von Lie-Gruppen und Lie's Dritter Satz (RegLie)"}]},{"status":"public","volume":251,"user_id":"71541","_id":"31872","page":"53:1-53:23","citation":{"ama":"Gharibian S, Rudolph D. Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement. In: <i>14th Innovations in Theoretical Computer Science (ITCS)</i>. Vol 251. ; 2023:53:1-53:23. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ITCS.2023.53\">10.4230/LIPIcs.ITCS.2023.53</a>","bibtex":"@inproceedings{Gharibian_Rudolph_2023, title={Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement}, volume={251}, DOI={<a href=\"https://doi.org/10.4230/LIPIcs.ITCS.2023.53\">10.4230/LIPIcs.ITCS.2023.53</a>}, booktitle={14th Innovations in Theoretical Computer Science (ITCS)}, author={Gharibian, Sevag and Rudolph, Dorian}, year={2023}, pages={53:1-53:23} }","mla":"Gharibian, Sevag, and Dorian Rudolph. “Quantum Space, Ground Space Traversal, and How to Embed Multi-Prover  Interactive Proofs into Unentanglement.” <i>14th Innovations in Theoretical Computer Science (ITCS)</i>, vol. 251, 2023, p. 53:1-53:23, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ITCS.2023.53\">10.4230/LIPIcs.ITCS.2023.53</a>.","chicago":"Gharibian, Sevag, and Dorian Rudolph. “Quantum Space, Ground Space Traversal, and How to Embed Multi-Prover  Interactive Proofs into Unentanglement.” In <i>14th Innovations in Theoretical Computer Science (ITCS)</i>, 251:53:1-53:23, 2023. <a href=\"https://doi.org/10.4230/LIPIcs.ITCS.2023.53\">https://doi.org/10.4230/LIPIcs.ITCS.2023.53</a>.","short":"S. Gharibian, D. Rudolph, in: 14th Innovations in Theoretical Computer Science (ITCS), 2023, p. 53:1-53:23.","apa":"Gharibian, S., &#38; Rudolph, D. (2023). Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement. <i>14th Innovations in Theoretical Computer Science (ITCS)</i>, <i>251</i>, 53:1-53:23. <a href=\"https://doi.org/10.4230/LIPIcs.ITCS.2023.53\">https://doi.org/10.4230/LIPIcs.ITCS.2023.53</a>","ieee":"S. Gharibian and D. Rudolph, “Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement,” in <i>14th Innovations in Theoretical Computer Science (ITCS)</i>, 2023, vol. 251, p. 53:1-53:23, doi: <a href=\"https://doi.org/10.4230/LIPIcs.ITCS.2023.53\">10.4230/LIPIcs.ITCS.2023.53</a>."},"external_id":{"arxiv":["2206.05243"]},"intvolume":"       251","publication_status":"published","date_updated":"2023-02-28T11:06:55Z","author":[{"last_name":"Gharibian","first_name":"Sevag","orcid":"0000-0002-9992-3379","full_name":"Gharibian, Sevag","id":"71541"},{"full_name":"Rudolph, Dorian","first_name":"Dorian","last_name":"Rudolph"}],"year":"2023","title":"Quantum space, ground space traversal, and how to embed multi-prover  interactive proofs into unentanglement","doi":"10.4230/LIPIcs.ITCS.2023.53","language":[{"iso":"eng"}],"abstract":[{"text":"Savitch's theorem states that NPSPACE computations can be simulated in\r\nPSPACE. We initiate the study of a quantum analogue of NPSPACE, denoted\r\nStreaming-QCMASPACE (SQCMASPACE), where an exponentially long classical proof\r\nis streamed to a poly-space quantum verifier. Besides two main results, we also\r\nshow that a quantum analogue of Savitch's theorem is unlikely to hold, as\r\nSQCMASPACE=NEXP. For completeness, we introduce Streaming-QMASPACE (SQMASPACE)\r\nwith an exponentially long streamed quantum proof, and show SQMASPACE=QMA_EXP\r\n(quantum analogue of NEXP). Our first main result shows, in contrast to the\r\nclassical setting, the solution space of a quantum constraint satisfaction\r\nproblem (i.e. a local Hamiltonian) is always connected when exponentially long\r\nproofs are permitted. For this, we show how to simulate any Lipschitz\r\ncontinuous path on the unit hypersphere via a sequence of local unitary gates,\r\nat the expense of blowing up the circuit size. This shows quantum\r\nerror-correcting codes can be unable to detect one codeword erroneously\r\nevolving to another if the evolution happens sufficiently slowly, and answers\r\nan open question of [Gharibian, Sikora, ICALP 2015] regarding the Ground State\r\nConnectivity problem. Our second main result is that any SQCMASPACE computation\r\ncan be embedded into \"unentanglement\", i.e. into a quantum constraint\r\nsatisfaction problem with unentangled provers. Formally, we show how to embed\r\nSQCMASPACE into the Sparse Separable Hamiltonian problem of [Chailloux,\r\nSattath, CCC 2012] (QMA(2)-complete for 1/poly promise gap), at the expense of\r\nscaling the promise gap with the streamed proof size. As a corollary, we obtain\r\nthe first systematic construction for obtaining QMA(2)-type upper bounds on\r\narbitrary multi-prover interactive proof systems, where the QMA(2) promise gap\r\nscales exponentially with the number of bits of communication in the\r\ninteractive proof.","lang":"eng"}],"publication":"14th Innovations in Theoretical Computer Science (ITCS)","department":[{"_id":"623"},{"_id":"7"}],"type":"conference","date_created":"2022-06-13T14:40:46Z"},{"citation":{"chicago":"Gebken, Bennet, Katharina Bieker, and Sebastian Peitz. “On the Structure of Regularization Paths for Piecewise Differentiable Regularization Terms.” <i>Journal of Global Optimization</i> 85, no. 3 (2023): 709–41. <a href=\"https://doi.org/10.1007/s10898-022-01223-2\">https://doi.org/10.1007/s10898-022-01223-2</a>.","short":"B. Gebken, K. Bieker, S. Peitz, Journal of Global Optimization 85 (2023) 709–741.","apa":"Gebken, B., Bieker, K., &#38; Peitz, S. (2023). On the structure of regularization paths for piecewise differentiable regularization terms. <i>Journal of Global Optimization</i>, <i>85</i>(3), 709–741. <a href=\"https://doi.org/10.1007/s10898-022-01223-2\">https://doi.org/10.1007/s10898-022-01223-2</a>","ieee":"B. Gebken, K. Bieker, and S. Peitz, “On the structure of regularization paths for piecewise differentiable regularization terms,” <i>Journal of Global Optimization</i>, vol. 85, no. 3, pp. 709–741, 2023, doi: <a href=\"https://doi.org/10.1007/s10898-022-01223-2\">10.1007/s10898-022-01223-2</a>.","ama":"Gebken B, Bieker K, Peitz S. On the structure of regularization paths for piecewise differentiable regularization terms. <i>Journal of Global Optimization</i>. 2023;85(3):709-741. doi:<a href=\"https://doi.org/10.1007/s10898-022-01223-2\">10.1007/s10898-022-01223-2</a>","bibtex":"@article{Gebken_Bieker_Peitz_2023, title={On the structure of regularization paths for piecewise differentiable regularization terms}, volume={85}, DOI={<a href=\"https://doi.org/10.1007/s10898-022-01223-2\">10.1007/s10898-022-01223-2</a>}, number={3}, journal={Journal of Global Optimization}, author={Gebken, Bennet and Bieker, Katharina and Peitz, Sebastian}, year={2023}, pages={709–741} }","mla":"Gebken, Bennet, et al. “On the Structure of Regularization Paths for Piecewise Differentiable Regularization Terms.” <i>Journal of Global Optimization</i>, vol. 85, no. 3, 2023, pp. 709–41, doi:<a href=\"https://doi.org/10.1007/s10898-022-01223-2\">10.1007/s10898-022-01223-2</a>."},"oa":"1","status":"public","page":"709-741","_id":"27426","user_id":"47427","volume":85,"issue":"3","publication":"Journal of Global Optimization","abstract":[{"lang":"eng","text":"Regularization is used in many different areas of optimization when solutions\r\nare sought which not only minimize a given function, but also possess a certain\r\ndegree of regularity. Popular applications are image denoising, sparse\r\nregression and machine learning. Since the choice of the regularization\r\nparameter is crucial but often difficult, path-following methods are used to\r\napproximate the entire regularization path, i.e., the set of all possible\r\nsolutions for all regularization parameters. Due to their nature, the\r\ndevelopment of these methods requires structural results about the\r\nregularization path. The goal of this article is to derive these results for\r\nthe case of a smooth objective function which is penalized by a piecewise\r\ndifferentiable regularization term. We do this by treating regularization as a\r\nmultiobjective optimization problem. Our results suggest that even in this\r\ngeneral case, the regularization path is piecewise smooth. Moreover, our theory\r\nallows for a classification of the nonsmooth features that occur in between\r\nsmooth parts. This is demonstrated in two applications, namely support-vector\r\nmachines and exact penalty methods."}],"date_created":"2021-11-15T09:24:59Z","type":"journal_article","department":[{"_id":"101"},{"_id":"655"}],"year":"2023","title":"On the structure of regularization paths for piecewise differentiable regularization terms","author":[{"id":"32643","full_name":"Gebken, Bennet","first_name":"Bennet","last_name":"Gebken"},{"full_name":"Bieker, Katharina","first_name":"Katharina","last_name":"Bieker","id":"32829"},{"id":"47427","last_name":"Peitz","first_name":"Sebastian","orcid":"0000-0002-3389-793X","full_name":"Peitz, Sebastian"}],"date_updated":"2023-03-11T17:16:33Z","intvolume":"        85","main_file_link":[{"open_access":"1","url":"https://link.springer.com/content/pdf/10.1007/s10898-022-01223-2.pdf"}],"language":[{"iso":"eng"}],"doi":"10.1007/s10898-022-01223-2"},{"title":"Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength","year":"2023","publication_identifier":{"issn":["0022-4073"]},"author":[{"id":"42456","full_name":"Alhaddad, Samer","first_name":"Samer","last_name":"Alhaddad"},{"full_name":"Förstner, Jens","orcid":"0000-0001-7059-9862","last_name":"Förstner","first_name":"Jens","id":"158"},{"id":"26059","first_name":"Yevgen","last_name":"Grynko","full_name":"Grynko, Yevgen"}],"date_updated":"2023-03-15T17:36:13Z","publication_status":"published","intvolume":"       302","article_number":"108557","language":[{"iso":"eng"}],"doi":"10.1016/j.jqsrt.2023.108557","publication":"Journal of Quantitative Spectroscopy and Radiative Transfer","file":[{"file_name":"2023-03 Alhaddad - JQSRT - Numerical study of light backscattering from layers of absorbing particles larger than the wavelength.pdf","file_size":1508833,"access_level":"local","relation":"main_file","date_updated":"2023-03-15T15:58:15Z","file_id":"43028","content_type":"application/pdf","creator":"fossie","date_created":"2023-03-15T15:58:15Z"},{"date_updated":"2023-03-15T17:35:29Z","relation":"main_file","file_size":4254386,"access_level":"open_access","file_name":"2023-03 Alhaddad - JQSRT - Numerical study of light backscattering from layers of absorbing particles larger than the wavelength (accepted manuscript).pdf","content_type":"application/pdf","file_id":"43029","creator":"fossie","date_created":"2023-03-15T17:35:29Z"}],"date_created":"2023-03-14T12:32:54Z","keyword":["tet_topic_scattering"],"type":"journal_article","department":[{"_id":"61"}],"status":"public","has_accepted_license":"1","publisher":"Elsevier BV","_id":"43018","ddc":["530"],"user_id":"158","volume":302,"file_date_updated":"2023-03-15T17:35:29Z","citation":{"chicago":"Alhaddad, Samer, Jens Förstner, and Yevgen Grynko. “Numerical Study of Light Backscattering from Layers of Absorbing Irregular Particles Larger than the Wavelength.” <i>Journal of Quantitative Spectroscopy and Radiative Transfer</i> 302 (2023). <a href=\"https://doi.org/10.1016/j.jqsrt.2023.108557\">https://doi.org/10.1016/j.jqsrt.2023.108557</a>.","short":"S. Alhaddad, J. Förstner, Y. Grynko, Journal of Quantitative Spectroscopy and Radiative Transfer 302 (2023).","apa":"Alhaddad, S., Förstner, J., &#38; Grynko, Y. (2023). Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength. <i>Journal of Quantitative Spectroscopy and Radiative Transfer</i>, <i>302</i>, Article 108557. <a href=\"https://doi.org/10.1016/j.jqsrt.2023.108557\">https://doi.org/10.1016/j.jqsrt.2023.108557</a>","ieee":"S. Alhaddad, J. Förstner, and Y. Grynko, “Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength,” <i>Journal of Quantitative Spectroscopy and Radiative Transfer</i>, vol. 302, Art. no. 108557, 2023, doi: <a href=\"https://doi.org/10.1016/j.jqsrt.2023.108557\">10.1016/j.jqsrt.2023.108557</a>.","ama":"Alhaddad S, Förstner J, Grynko Y. Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength. <i>Journal of Quantitative Spectroscopy and Radiative Transfer</i>. 2023;302. doi:<a href=\"https://doi.org/10.1016/j.jqsrt.2023.108557\">10.1016/j.jqsrt.2023.108557</a>","bibtex":"@article{Alhaddad_Förstner_Grynko_2023, title={Numerical study of light backscattering from layers of absorbing irregular particles larger than the wavelength}, volume={302}, DOI={<a href=\"https://doi.org/10.1016/j.jqsrt.2023.108557\">10.1016/j.jqsrt.2023.108557</a>}, number={108557}, journal={Journal of Quantitative Spectroscopy and Radiative Transfer}, publisher={Elsevier BV}, author={Alhaddad, Samer and Förstner, Jens and Grynko, Yevgen}, year={2023} }","mla":"Alhaddad, Samer, et al. “Numerical Study of Light Backscattering from Layers of Absorbing Irregular Particles Larger than the Wavelength.” <i>Journal of Quantitative Spectroscopy and Radiative Transfer</i>, vol. 302, 108557, Elsevier BV, 2023, doi:<a href=\"https://doi.org/10.1016/j.jqsrt.2023.108557\">10.1016/j.jqsrt.2023.108557</a>."},"project":[{"name":"PC2: Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"oa":"1"}]