[{"department":[{"_id":"66"},{"_id":"534"}],"user_id":"8447","citation":{"ama":"Yigitbas E, Gorissen S, Weidmann N, Engels G. Collaborative Software Modeling in Virtual Reality. In: <i>Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21) </i>. ACM/IEEE; 2021.","apa":"Yigitbas, E., Gorissen, S., Weidmann, N., &#38; Engels, G. (2021). Collaborative Software Modeling in Virtual Reality. <i>Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21) </i>.","ieee":"E. Yigitbas, S. Gorissen, N. Weidmann, and G. Engels, “Collaborative Software Modeling in Virtual Reality,” 2021.","chicago":"Yigitbas, Enes, Simon Gorissen, Nils Weidmann, and Gregor Engels. “Collaborative Software Modeling in Virtual Reality.” In <i>Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21) </i>. ACM/IEEE, 2021.","bibtex":"@inproceedings{Yigitbas_Gorissen_Weidmann_Engels_2021, title={Collaborative Software Modeling in Virtual Reality}, booktitle={Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21) }, publisher={ACM/IEEE}, author={Yigitbas, Enes and Gorissen, Simon and Weidmann, Nils and Engels, Gregor}, year={2021} }","mla":"Yigitbas, Enes, et al. “Collaborative Software Modeling in Virtual Reality.” <i>Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21) </i>, ACM/IEEE, 2021.","short":"E. Yigitbas, S. Gorissen, N. Weidmann, G. Engels, in: Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS’21) , ACM/IEEE, 2021."},"author":[{"orcid":"0000-0002-5967-833X","full_name":"Yigitbas, Enes","first_name":"Enes","id":"8447","last_name":"Yigitbas"},{"full_name":"Gorissen, Simon","first_name":"Simon","last_name":"Gorissen"},{"last_name":"Weidmann","id":"53103","first_name":"Nils","full_name":"Weidmann, Nils"},{"id":"107","last_name":"Engels","full_name":"Engels, Gregor","first_name":"Gregor"}],"title":"Collaborative Software Modeling in Virtual Reality","date_updated":"2022-03-21T14:37:47Z","_id":"22706","status":"public","language":[{"iso":"eng"}],"type":"conference","year":"2021","publisher":"ACM/IEEE","date_created":"2021-07-12T11:42:08Z","publication":"Proceedings of the 24th International Conference on Model Driven Engineering Languages and Systems (MODELS'21) "},{"date_updated":"2022-03-25T07:49:35Z","_id":"21598","status":"public","year":"2021","type":"conference","language":[{"iso":"eng"}],"publication":"European Conference on Object-Oriented Programming (ECOOP)","date_created":"2021-04-08T11:24:59Z","department":[{"_id":"76"}],"user_id":"60543","oa":"1","main_file_link":[{"open_access":"1","url":"https://drops.dagstuhl.de/opus/volltexte/2021/14045/"}],"citation":{"chicago":"Schubert, Philipp, Ben Hermann, and Eric Bodden. “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis.” In <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2021.","ieee":"P. Schubert, B. Hermann, and E. Bodden, “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis,” 2021.","apa":"Schubert, P., Hermann, B., &#38; Bodden, E. (2021). Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. <i>European Conference on Object-Oriented Programming (ECOOP)</i>.","ama":"Schubert P, Hermann B, Bodden E. Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis. In: <i>European Conference on Object-Oriented Programming (ECOOP)</i>. ; 2021.","short":"P. Schubert, B. Hermann, E. Bodden, in: European Conference on Object-Oriented Programming (ECOOP), 2021.","mla":"Schubert, Philipp, et al. “Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis.” <i>European Conference on Object-Oriented Programming (ECOOP)</i>, 2021.","bibtex":"@inproceedings{Schubert_Hermann_Bodden_2021, title={Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis}, booktitle={European Conference on Object-Oriented Programming (ECOOP)}, author={Schubert, Philipp and Hermann, Ben and Bodden, Eric}, year={2021} }"},"abstract":[{"text":"Static analysis is used to automatically detect bugs and security breaches, and aids compileroptimization. Whole-program analysis (WPA) can yield high precision, however causes long analysistimes and thus does not match common software-development workflows, making it often impracticalto use for large, real-world applications.This paper thus presents the design and implementation ofModAlyzer, a novel static-analysisapproach that aims at accelerating whole-program analysis by making the analysis modular andcompositional. It shows how to computelossless, persisted summaries for callgraph, points-to anddata-flow information, and it reports under which circumstances this function-level compositionalanalysis outperforms WPA.We implementedModAlyzeras an extension to LLVM and PhASAR, and applied it to 12 real-world C and C++ applications. At analysis time,ModAlyzermodularly and losslessly summarizesthe analysis effect of the library code those applications share, hence avoiding its repeated re-analysis.The experimental results show that the reuse of these summaries can save, on average, 72% ofanalysis time over WPA. Moreover, because it is lossless, the module-wise analysis fully retainsprecision and recall. Surprisingly, as our results show, it sometimes even yields precision superior toWPA. The initial summary generation, on average, takes about 3.67 times as long as WPA.","lang":"eng"}],"project":[{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"12","name":"SFB 901 - Subproject B4"},{"_id":"1","name":"SFB 901"}],"author":[{"orcid":"0000-0002-8674-1859","full_name":"Schubert, Philipp","first_name":"Philipp","id":"60543","last_name":"Schubert"},{"first_name":"Ben","full_name":"Hermann, Ben","last_name":"Hermann","id":"66173","orcid":"0000-0001-9848-2017"},{"full_name":"Bodden, Eric","first_name":"Eric","last_name":"Bodden","id":"59256","orcid":"0000-0003-3470-3647"}],"title":"Lossless, Persisted Summarization of Static Callgraph, Points-To and Data-Flow Analysis"},{"quality_controlled":"1","publication":"Proceedings of The 24th International Conference on Discovery Science (DS 2021)","type":"conference","page":"166-180","volume":12986,"title":"Ranking Structured Objects with Graph Neural Networks","abstract":[{"lang":"eng","text":"Graph neural networks (GNNs) have been successfully applied in many structured data domains, with applications ranging from molecular property prediction to the analysis of social networks. Motivated by the broad applicability of GNNs, we propose the family of so-called RankGNNs, a combination of neural Learning to Rank (LtR) methods and GNNs. RankGNNs are trained with a set of pair-wise preferences between graphs, suggesting that one of them is preferred over the other. One practical application of this problem is drug screening, where an expert wants to find the most promising molecules in a large collection of drug candidates. We empirically demonstrate that our proposed pair-wise RankGNN approach either significantly outperforms or at least matches the ranking performance of the naive point-wise baseline approach, in which the LtR problem is solved via GNN-based graph regression."}],"doi":"10.1007/978-3-030-88942-5","user_id":"48192","keyword":["Graph-structured data","Graph neural networks","Preference learning","Learning to rank"],"external_id":{"arxiv":["2104.08869"]},"date_created":"2021-11-11T14:15:18Z","publisher":"Springer","publication_identifier":{"isbn":["9783030889418","9783030889425"],"issn":["0302-9743","1611-3349"]},"year":"2021","language":[{"iso":"eng"}],"status":"public","_id":"27381","date_updated":"2022-04-11T22:08:12Z","conference":{"end_date":"2021-10-13","location":"Halifax, Canada","start_date":"2021-10-11","name":"24th International Conference on Discovery Science"},"author":[{"orcid":"0000-0002-0455-0048","id":"48192","last_name":"Damke","first_name":"Clemens","full_name":"Damke, Clemens"},{"id":"48129","last_name":"Hüllermeier","full_name":"Hüllermeier, Eyke","first_name":"Eyke"}],"editor":[{"full_name":"Soares, Carlos","first_name":"Carlos","last_name":"Soares"},{"first_name":"Luis","full_name":"Torgo, Luis","last_name":"Torgo"}],"intvolume":"     12986","series_title":"Lecture Notes in Computer Science","citation":{"short":"C. Damke, E. Hüllermeier, in: C. Soares, L. Torgo (Eds.), Proceedings of The 24th International Conference on Discovery Science (DS 2021), Springer, 2021, pp. 166–180.","bibtex":"@inproceedings{Damke_Hüllermeier_2021, series={Lecture Notes in Computer Science}, title={Ranking Structured Objects with Graph Neural Networks}, volume={12986}, DOI={<a href=\"https://doi.org/10.1007/978-3-030-88942-5\">10.1007/978-3-030-88942-5</a>}, booktitle={Proceedings of The 24th International Conference on Discovery Science (DS 2021)}, publisher={Springer}, author={Damke, Clemens and Hüllermeier, Eyke}, editor={Soares, Carlos and Torgo, Luis}, year={2021}, pages={166–180}, collection={Lecture Notes in Computer Science} }","mla":"Damke, Clemens, and Eyke Hüllermeier. “Ranking Structured Objects with Graph Neural Networks.” <i>Proceedings of The 24th International Conference on Discovery Science (DS 2021)</i>, edited by Carlos Soares and Luis Torgo, vol. 12986, Springer, 2021, pp. 166–80, doi:<a href=\"https://doi.org/10.1007/978-3-030-88942-5\">10.1007/978-3-030-88942-5</a>.","ieee":"C. Damke and E. Hüllermeier, “Ranking Structured Objects with Graph Neural Networks,” in <i>Proceedings of The 24th International Conference on Discovery Science (DS 2021)</i>, Halifax, Canada, 2021, vol. 12986, pp. 166–180, doi: <a href=\"https://doi.org/10.1007/978-3-030-88942-5\">10.1007/978-3-030-88942-5</a>.","chicago":"Damke, Clemens, and Eyke Hüllermeier. “Ranking Structured Objects with Graph Neural Networks.” In <i>Proceedings of The 24th International Conference on Discovery Science (DS 2021)</i>, edited by Carlos Soares and Luis Torgo, 12986:166–80. Lecture Notes in Computer Science. Springer, 2021. <a href=\"https://doi.org/10.1007/978-3-030-88942-5\">https://doi.org/10.1007/978-3-030-88942-5</a>.","ama":"Damke C, Hüllermeier E. Ranking Structured Objects with Graph Neural Networks. In: Soares C, Torgo L, eds. <i>Proceedings of The 24th International Conference on Discovery Science (DS 2021)</i>. Vol 12986. Lecture Notes in Computer Science. Springer; 2021:166-180. doi:<a href=\"https://doi.org/10.1007/978-3-030-88942-5\">10.1007/978-3-030-88942-5</a>","apa":"Damke, C., &#38; Hüllermeier, E. (2021). Ranking Structured Objects with Graph Neural Networks. In C. Soares &#38; L. Torgo (Eds.), <i>Proceedings of The 24th International Conference on Discovery Science (DS 2021)</i> (Vol. 12986, pp. 166–180). Springer. <a href=\"https://doi.org/10.1007/978-3-030-88942-5\">https://doi.org/10.1007/978-3-030-88942-5</a>"},"publication_status":"published","department":[{"_id":"355"}]},{"department":[{"_id":"34"},{"_id":"7"},{"_id":"26"}],"external_id":{"arxiv":["2111.05850"]},"citation":{"mla":"Tornede, Tanja, et al. “Towards Green Automated Machine Learning: Status Quo and Future Directions.” <i>ArXiv:2111.05850</i>, 2021.","bibtex":"@article{Tornede_Tornede_Hanselle_Wever_Mohr_Hüllermeier_2021, title={Towards Green Automated Machine Learning: Status Quo and Future Directions}, journal={arXiv:2111.05850}, author={Tornede, Tanja and Tornede, Alexander and Hanselle, Jonas Manuel and Wever, Marcel Dominik and Mohr, Felix and Hüllermeier, Eyke}, year={2021} }","short":"T. Tornede, A. Tornede, J.M. Hanselle, M.D. Wever, F. Mohr, E. Hüllermeier, ArXiv:2111.05850 (2021).","apa":"Tornede, T., Tornede, A., Hanselle, J. M., Wever, M. D., Mohr, F., &#38; Hüllermeier, E. (2021). Towards Green Automated Machine Learning: Status Quo and Future Directions. In <i>arXiv:2111.05850</i>.","ama":"Tornede T, Tornede A, Hanselle JM, Wever MD, Mohr F, Hüllermeier E. Towards Green Automated Machine Learning: Status Quo and Future Directions. <i>arXiv:211105850</i>. Published online 2021.","chicago":"Tornede, Tanja, Alexander Tornede, Jonas Manuel Hanselle, Marcel Dominik Wever, Felix Mohr, and Eyke Hüllermeier. “Towards Green Automated Machine Learning: Status Quo and Future Directions.” <i>ArXiv:2111.05850</i>, 2021.","ieee":"T. Tornede, A. Tornede, J. M. Hanselle, M. D. Wever, F. Mohr, and E. Hüllermeier, “Towards Green Automated Machine Learning: Status Quo and Future Directions,” <i>arXiv:2111.05850</i>. 2021."},"user_id":"38209","project":[{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - B2: SFB 901 - Subproject B2","_id":"10"}],"abstract":[{"text":"Automated machine learning (AutoML) strives for the automatic configuration\r\nof machine learning algorithms and their composition into an overall (software)\r\nsolution - a machine learning pipeline - tailored to the learning task\r\n(dataset) at hand. Over the last decade, AutoML has developed into an\r\nindependent research field with hundreds of contributions. While AutoML offers\r\nmany prospects, it is also known to be quite resource-intensive, which is one\r\nof its major points of criticism. The primary cause for a high resource\r\nconsumption is that many approaches rely on the (costly) evaluation of many\r\nmachine learning pipelines while searching for good candidates. This problem is\r\namplified in the context of research on AutoML methods, due to large scale\r\nexperiments conducted with many datasets and approaches, each of them being run\r\nwith several repetitions to rule out random effects. In the spirit of recent\r\nwork on Green AI, this paper is written in an attempt to raise the awareness of\r\nAutoML researchers for the problem and to elaborate on possible remedies. To\r\nthis end, we identify four categories of actions the community may take towards\r\nmore sustainable research on AutoML, i.e. Green AutoML: design of AutoML\r\nsystems, benchmarking, transparency and research incentives.","lang":"eng"}],"title":"Towards Green Automated Machine Learning: Status Quo and Future Directions","author":[{"first_name":"Tanja","full_name":"Tornede, Tanja","last_name":"Tornede","id":"40795"},{"id":"38209","last_name":"Tornede","first_name":"Alexander","full_name":"Tornede, Alexander"},{"orcid":"0000-0002-1231-4985","id":"43980","last_name":"Hanselle","full_name":"Hanselle, Jonas Manuel","first_name":"Jonas Manuel"},{"first_name":"Marcel Dominik","full_name":"Wever, Marcel Dominik","id":"33176","last_name":"Wever","orcid":" https://orcid.org/0000-0001-9782-6818"},{"full_name":"Mohr, Felix","first_name":"Felix","last_name":"Mohr"},{"first_name":"Eyke","full_name":"Hüllermeier, Eyke","last_name":"Hüllermeier","id":"48129"}],"date_updated":"2022-04-12T12:01:23Z","_id":"30866","language":[{"iso":"eng"}],"year":"2021","type":"preprint","status":"public","date_created":"2022-04-12T11:57:15Z","publication":"arXiv:2111.05850"},{"user_id":"33176","oa":"1","file":[{"file_size":8098177,"file_name":"dissertation_publish_upload.pdf","creator":"wever","date_created":"2022-04-13T09:35:25Z","file_id":"30886","content_type":"application/pdf","access_level":"open_access","relation":"main_file","date_updated":"2022-04-13T09:39:56Z"}],"title":"Automated Machine Learning for Multi-Label Classification","doi":"10.17619/UNIPB/1-1302","has_accepted_license":"1","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"_id":"10","name":"SFB 901 - Subproject B2"}],"ddc":["000"],"type":"dissertation","publication_status":"published","citation":{"bibtex":"@book{Wever_2021, title={Automated Machine Learning for Multi-Label Classification}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-1302\">10.17619/UNIPB/1-1302</a>}, author={Wever, Marcel Dominik}, year={2021} }","mla":"Wever, Marcel Dominik. <i>Automated Machine Learning for Multi-Label Classification</i>. 2021, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1302\">10.17619/UNIPB/1-1302</a>.","short":"M.D. Wever, Automated Machine Learning for Multi-Label Classification, 2021.","apa":"Wever, M. D. (2021). <i>Automated Machine Learning for Multi-Label Classification</i>. <a href=\"https://doi.org/10.17619/UNIPB/1-1302\">https://doi.org/10.17619/UNIPB/1-1302</a>","ama":"Wever MD. <i>Automated Machine Learning for Multi-Label Classification</i>.; 2021. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1302\">10.17619/UNIPB/1-1302</a>","ieee":"M. D. Wever, <i>Automated Machine Learning for Multi-Label Classification</i>. 2021.","chicago":"Wever, Marcel Dominik. <i>Automated Machine Learning for Multi-Label Classification</i>, 2021. <a href=\"https://doi.org/10.17619/UNIPB/1-1302\">https://doi.org/10.17619/UNIPB/1-1302</a>."},"department":[{"_id":"355"}],"author":[{"id":"33176","last_name":"Wever","first_name":"Marcel Dominik","full_name":"Wever, Marcel Dominik","orcid":" https://orcid.org/0000-0001-9782-6818"}],"supervisor":[{"last_name":"Hüllermeier","id":"48129","full_name":"Hüllermeier, Eyke","first_name":"Eyke"}],"_id":"27284","file_date_updated":"2022-04-13T09:39:56Z","date_updated":"2022-04-13T09:39:56Z","date_created":"2021-11-08T14:05:19Z","status":"public","language":[{"iso":"eng"}],"year":"2021"},{"volume":18,"article_number":"25","issue":"1","publication":"Journal of NeuroEngineering and Rehabilitation","type":"journal_article","user_id":"398","keyword":["Health Informatics","Rehabilitation"],"title":"Immersive augmented reality system for the training of pattern classification control with a myoelectric prosthesis","abstract":[{"text":"<jats:title>Abstract</jats:title><jats:sec>\r\n                <jats:title>Background</jats:title>\r\n                <jats:p>Hand amputation can have a truly debilitating impact on the life of the affected person. A multifunctional myoelectric prosthesis controlled using pattern classification can be used to restore some of the lost motor abilities. However, learning to control an advanced prosthesis can be a challenging task, but virtual and augmented reality (AR) provide means to create an engaging and motivating training.</jats:p>\r\n              </jats:sec><jats:sec>\r\n                <jats:title>Methods</jats:title>\r\n                <jats:p>In this study, we present a novel training framework that integrates virtual elements within a real scene (AR) while allowing the view from the first-person perspective. The framework was evaluated in 13 able-bodied subjects and a limb-deficient person divided into intervention (IG) and control (CG) groups. The IG received training by performing simulated clothespin task and both groups conducted a pre- and posttest with a real prosthesis. When training with the AR, the subjects received visual feedback on the generated grasping force. The main outcome measure was the number of pins that were successfully transferred within 20 min (task duration), while the number of dropped and broken pins were also registered. The participants were asked to score the difficulty of the real task (posttest), fun-factor and motivation, as well as the utility of the feedback.</jats:p>\r\n              </jats:sec><jats:sec>\r\n                <jats:title>Results</jats:title>\r\n                <jats:p>The performance (median/interquartile range) consistently increased during the training sessions (4/3 to 22/4). While the results were similar for the two groups in the pretest, the performance improved in the posttest only in IG. In addition, the subjects in IG transferred significantly more pins (28/10.5 versus 14.5/11), and dropped (1/2.5 versus 3.5/2) and broke (5/3.8 versus 14.5/9) significantly fewer pins in the posttest compared to CG. The participants in IG assigned (mean ± std) significantly lower scores to the difficulty compared to CG (5.2 ± 1.9 versus 7.1 ± 0.9), and they highly rated the fun factor (8.7 ± 1.3) and usefulness of feedback (8.5 ± 1.7).</jats:p>\r\n              </jats:sec><jats:sec>\r\n                <jats:title>Conclusion</jats:title>\r\n                <jats:p>The results demonstrated that the proposed AR system allows for the transfer of skills from the simulated to the real task while providing a positive user experience. The present study demonstrates the effectiveness and flexibility of the proposed AR framework. Importantly, the developed system is open source and available for download and further development.</jats:p>\r\n              </jats:sec>","lang":"eng"}],"doi":"10.1186/s12984-021-00822-6","_id":"30906","date_updated":"2022-04-18T10:04:16Z","date_created":"2022-04-18T10:02:20Z","publisher":"Springer Science and Business Media LLC","year":"2021","publication_identifier":{"issn":["1743-0003"]},"language":[{"iso":"eng"}],"status":"public","citation":{"bibtex":"@article{Boschmann_Neuhaus_Vogt_Kaltschmidt_Platzner_Dosen_2021, title={Immersive augmented reality system for the training of pattern classification control with a myoelectric prosthesis}, volume={18}, DOI={<a href=\"https://doi.org/10.1186/s12984-021-00822-6\">10.1186/s12984-021-00822-6</a>}, number={125}, journal={Journal of NeuroEngineering and Rehabilitation}, publisher={Springer Science and Business Media LLC}, author={Boschmann, Alexander and Neuhaus, Dorothee and Vogt, Sarah and Kaltschmidt, Christian and Platzner, Marco and Dosen, Strahinja}, year={2021} }","mla":"Boschmann, Alexander, et al. “Immersive Augmented Reality System for the Training of Pattern Classification Control with a Myoelectric Prosthesis.” <i>Journal of NeuroEngineering and Rehabilitation</i>, vol. 18, no. 1, 25, Springer Science and Business Media LLC, 2021, doi:<a href=\"https://doi.org/10.1186/s12984-021-00822-6\">10.1186/s12984-021-00822-6</a>.","short":"A. Boschmann, D. Neuhaus, S. Vogt, C. Kaltschmidt, M. Platzner, S. Dosen, Journal of NeuroEngineering and Rehabilitation 18 (2021).","apa":"Boschmann, A., Neuhaus, D., Vogt, S., Kaltschmidt, C., Platzner, M., &#38; Dosen, S. (2021). Immersive augmented reality system for the training of pattern classification control with a myoelectric prosthesis. <i>Journal of NeuroEngineering and Rehabilitation</i>, <i>18</i>(1), Article 25. <a href=\"https://doi.org/10.1186/s12984-021-00822-6\">https://doi.org/10.1186/s12984-021-00822-6</a>","ama":"Boschmann A, Neuhaus D, Vogt S, Kaltschmidt C, Platzner M, Dosen S. Immersive augmented reality system for the training of pattern classification control with a myoelectric prosthesis. <i>Journal of NeuroEngineering and Rehabilitation</i>. 2021;18(1). doi:<a href=\"https://doi.org/10.1186/s12984-021-00822-6\">10.1186/s12984-021-00822-6</a>","ieee":"A. Boschmann, D. Neuhaus, S. Vogt, C. Kaltschmidt, M. Platzner, and S. Dosen, “Immersive augmented reality system for the training of pattern classification control with a myoelectric prosthesis,” <i>Journal of NeuroEngineering and Rehabilitation</i>, vol. 18, no. 1, Art. no. 25, 2021, doi: <a href=\"https://doi.org/10.1186/s12984-021-00822-6\">10.1186/s12984-021-00822-6</a>.","chicago":"Boschmann, Alexander, Dorothee Neuhaus, Sarah Vogt, Christian Kaltschmidt, Marco Platzner, and Strahinja Dosen. “Immersive Augmented Reality System for the Training of Pattern Classification Control with a Myoelectric Prosthesis.” <i>Journal of NeuroEngineering and Rehabilitation</i> 18, no. 1 (2021). <a href=\"https://doi.org/10.1186/s12984-021-00822-6\">https://doi.org/10.1186/s12984-021-00822-6</a>."},"publication_status":"published","department":[{"_id":"78"}],"author":[{"first_name":"Alexander","full_name":"Boschmann, Alexander","last_name":"Boschmann"},{"last_name":"Neuhaus","first_name":"Dorothee","full_name":"Neuhaus, Dorothee"},{"last_name":"Vogt","full_name":"Vogt, Sarah","first_name":"Sarah"},{"last_name":"Kaltschmidt","full_name":"Kaltschmidt, Christian","first_name":"Christian"},{"last_name":"Platzner","id":"398","first_name":"Marco","full_name":"Platzner, Marco"},{"first_name":"Strahinja","full_name":"Dosen, Strahinja","last_name":"Dosen"}],"intvolume":"        18"},{"title":"Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs","author":[{"last_name":"Rodriguez","full_name":"Rodriguez, Alfonso","first_name":"Alfonso"},{"first_name":"Andres","full_name":"Otero, Andres","last_name":"Otero"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"},{"full_name":"De la Torre, Eduardo","first_name":"Eduardo","last_name":"De la Torre"}],"doi":"10.1109/tc.2021.3107196","citation":{"chicago":"Rodriguez, Alfonso, Andres Otero, Marco Platzner, and Eduardo De la Torre. “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs.” <i>IEEE Transactions on Computers</i>, 2021, 1–1. <a href=\"https://doi.org/10.1109/tc.2021.3107196\">https://doi.org/10.1109/tc.2021.3107196</a>.","ieee":"A. Rodriguez, A. Otero, M. Platzner, and E. De la Torre, “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs,” <i>IEEE Transactions on Computers</i>, pp. 1–1, 2021, doi: <a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>.","apa":"Rodriguez, A., Otero, A., Platzner, M., &#38; De la Torre, E. (2021). Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. <i>IEEE Transactions on Computers</i>, 1–1. <a href=\"https://doi.org/10.1109/tc.2021.3107196\">https://doi.org/10.1109/tc.2021.3107196</a>","ama":"Rodriguez A, Otero A, Platzner M, De la Torre E. Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs. <i>IEEE Transactions on Computers</i>. Published online 2021:1-1. doi:<a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>","short":"A. Rodriguez, A. Otero, M. Platzner, E. De la Torre, IEEE Transactions on Computers (2021) 1–1.","mla":"Rodriguez, Alfonso, et al. “Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs.” <i>IEEE Transactions on Computers</i>, Institute of Electrical and Electronics Engineers (IEEE), 2021, pp. 1–1, doi:<a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>.","bibtex":"@article{Rodriguez_Otero_Platzner_De la Torre_2021, title={Exploiting Hardware-Based Data-Parallel and Multithreading Models for Smart Edge Computing in Reconfigurable FPGAs}, DOI={<a href=\"https://doi.org/10.1109/tc.2021.3107196\">10.1109/tc.2021.3107196</a>}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Rodriguez, Alfonso and Otero, Andres and Platzner, Marco and De la Torre, Eduardo}, year={2021}, pages={1–1} }"},"keyword":["Computational Theory and Mathematics","Hardware and Architecture","Theoretical Computer Science","Software"],"publication_status":"published","user_id":"398","department":[{"_id":"78"}],"date_created":"2022-04-18T10:03:16Z","publication":"IEEE Transactions on Computers","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0018-9340","1557-9956","2326-3814"]},"year":"2021","type":"journal_article","status":"public","_id":"30907","page":"1-1","date_updated":"2022-04-18T10:04:21Z"},{"date_created":"2022-04-07T10:10:13Z","language":[{"iso":"ger"}],"type":"dissertation","year":"2021","status":"public","_id":"30849","date_updated":"2022-04-26T08:59:22Z","title":"Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler","author":[{"full_name":"Henkenius, Carsten","first_name":"Carsten","last_name":"Henkenius"}],"doi":"10.17619/UNIPB/1-1109","citation":{"bibtex":"@book{Henkenius_2021, title={Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-1109\">10.17619/UNIPB/1-1109</a>}, author={Henkenius, Carsten}, year={2021} }","ama":"Henkenius C. <i>Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler</i>.; 2021. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1109\">10.17619/UNIPB/1-1109</a>","apa":"Henkenius, C. (2021). <i>Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler</i>. <a href=\"https://doi.org/10.17619/UNIPB/1-1109\">https://doi.org/10.17619/UNIPB/1-1109</a>","mla":"Henkenius, Carsten. <i>Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler</i>. 2021, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1109\">10.17619/UNIPB/1-1109</a>.","ieee":"C. Henkenius, <i>Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler</i>. 2021.","chicago":"Henkenius, Carsten. <i>Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler</i>, 2021. <a href=\"https://doi.org/10.17619/UNIPB/1-1109\">https://doi.org/10.17619/UNIPB/1-1109</a>.","short":"C. Henkenius, Entwurf netzfreundlicher Synchrongleichrichter mit integriertem Synchronwandler, 2021."},"user_id":"71353","department":[{"_id":"52"}]},{"date_created":"2021-08-02T13:42:06Z","publication":"Measurement","status":"public","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0263-2241"]},"type":"journal_article","year":"2021","_id":"22925","date_updated":"2022-04-26T09:01:07Z","article_number":"109919","author":[{"orcid":"0000-0002-4393-268X","first_name":"Leander","full_name":"Claes, Leander","last_name":"Claes","id":"11829"},{"last_name":"Chatwell","first_name":"René Spencer","full_name":"Chatwell, René Spencer"},{"id":"15164","last_name":"Baumhögger","full_name":"Baumhögger, Elmar","first_name":"Elmar"},{"last_name":"Hetkämper","id":"38123","first_name":"Tim","full_name":"Hetkämper, Tim"},{"id":"32580","last_name":"Zeipert","full_name":"Zeipert, Henning","first_name":"Henning"},{"full_name":"Vrabec, Jadran","first_name":"Jadran","last_name":"Vrabec"},{"last_name":"Henning","id":"213","first_name":"Bernd","full_name":"Henning, Bernd"}],"title":"Measurement procedure for acoustic absorption and bulk viscosity of liquids","doi":"10.1016/j.measurement.2021.109919","project":[{"name":"Computing Resources Provided by the Paderborn Center for Parallel Computing","_id":"52"}],"publication_status":"published","user_id":"15164","citation":{"apa":"Claes, L., Chatwell, R. S., Baumhögger, E., Hetkämper, T., Zeipert, H., Vrabec, J., &#38; Henning, B. (2021). Measurement procedure for acoustic absorption and bulk viscosity of liquids. <i>Measurement</i>, Article 109919. <a href=\"https://doi.org/10.1016/j.measurement.2021.109919\">https://doi.org/10.1016/j.measurement.2021.109919</a>","ama":"Claes L, Chatwell RS, Baumhögger E, et al. Measurement procedure for acoustic absorption and bulk viscosity of liquids. <i>Measurement</i>. Published online 2021. doi:<a href=\"https://doi.org/10.1016/j.measurement.2021.109919\">10.1016/j.measurement.2021.109919</a>","ieee":"L. Claes <i>et al.</i>, “Measurement procedure for acoustic absorption and bulk viscosity of liquids,” <i>Measurement</i>, Art. no. 109919, 2021, doi: <a href=\"https://doi.org/10.1016/j.measurement.2021.109919\">10.1016/j.measurement.2021.109919</a>.","chicago":"Claes, Leander, René Spencer Chatwell, Elmar Baumhögger, Tim Hetkämper, Henning Zeipert, Jadran Vrabec, and Bernd Henning. “Measurement Procedure for Acoustic Absorption and Bulk Viscosity of Liquids.” <i>Measurement</i>, 2021. <a href=\"https://doi.org/10.1016/j.measurement.2021.109919\">https://doi.org/10.1016/j.measurement.2021.109919</a>.","bibtex":"@article{Claes_Chatwell_Baumhögger_Hetkämper_Zeipert_Vrabec_Henning_2021, title={Measurement procedure for acoustic absorption and bulk viscosity of liquids}, DOI={<a href=\"https://doi.org/10.1016/j.measurement.2021.109919\">10.1016/j.measurement.2021.109919</a>}, number={109919}, journal={Measurement}, author={Claes, Leander and Chatwell, René Spencer and Baumhögger, Elmar and Hetkämper, Tim and Zeipert, Henning and Vrabec, Jadran and Henning, Bernd}, year={2021} }","mla":"Claes, Leander, et al. “Measurement Procedure for Acoustic Absorption and Bulk Viscosity of Liquids.” <i>Measurement</i>, 109919, 2021, doi:<a href=\"https://doi.org/10.1016/j.measurement.2021.109919\">10.1016/j.measurement.2021.109919</a>.","short":"L. Claes, R.S. Chatwell, E. Baumhögger, T. Hetkämper, H. Zeipert, J. Vrabec, B. Henning, Measurement (2021)."},"department":[{"_id":"49"},{"_id":"155"}]},{"_id":"21093","date_updated":"2022-04-30T13:48:49Z","publication":"Energy Informatics and Electro Mobility ICT","date_created":"2021-01-28T10:05:44Z","type":"conference","year":"2021","language":[{"iso":"eng"}],"status":"public","citation":{"mla":"Kirchhoff, Jonas, et al. “Towards a Decision Support System for Cross-Sectoral Energy Distribution Network Planning.” <i>Energy Informatics and Electro Mobility ICT</i>, edited by Michael H. Breitner et al., 2021.","bibtex":"@inproceedings{Kirchhoff_Burmeister_Weskamp_Engels_2021, title={Towards a Decision Support System for Cross-Sectoral Energy Distribution Network Planning}, booktitle={Energy Informatics and Electro Mobility ICT}, author={Kirchhoff, Jonas and Burmeister, Sascha Christian and Weskamp, Christoph and Engels, Gregor}, editor={Breitner, Michael H. and Lehnhoff, Sebastian and Nieße, Astrid and Staudt, Philipp and Weinhardt, Christof and Werth, Oliver}, year={2021} }","short":"J. Kirchhoff, S.C. Burmeister, C. Weskamp, G. Engels, in: M.H. Breitner, S. Lehnhoff, A. Nieße, P. Staudt, C. Weinhardt, O. Werth (Eds.), Energy Informatics and Electro Mobility ICT, 2021.","apa":"Kirchhoff, J., Burmeister, S. C., Weskamp, C., &#38; Engels, G. (2021). Towards a Decision Support System for Cross-Sectoral Energy Distribution Network Planning. In M. H. Breitner, S. Lehnhoff, A. Nieße, P. Staudt, C. Weinhardt, &#38; O. Werth (Eds.), <i>Energy Informatics and Electro Mobility ICT</i>.","ama":"Kirchhoff J, Burmeister SC, Weskamp C, Engels G. Towards a Decision Support System for Cross-Sectoral Energy Distribution Network Planning. In: Breitner MH, Lehnhoff S, Nieße A, Staudt P, Weinhardt C, Werth O, eds. <i>Energy Informatics and Electro Mobility ICT</i>. ; 2021.","chicago":"Kirchhoff, Jonas, Sascha Christian Burmeister, Christoph Weskamp, and Gregor Engels. “Towards a Decision Support System for Cross-Sectoral Energy Distribution Network Planning.” In <i>Energy Informatics and Electro Mobility ICT</i>, edited by Michael H. Breitner, Sebastian Lehnhoff, Astrid Nieße, Philipp Staudt, Christof Weinhardt, and Oliver Werth, 2021.","ieee":"J. Kirchhoff, S. C. Burmeister, C. Weskamp, and G. Engels, “Towards a Decision Support System for Cross-Sectoral Energy Distribution Network Planning,” in <i>Energy Informatics and Electro Mobility ICT</i>, 2021."},"oa":"1","user_id":"39928","main_file_link":[{"url":"https://oops.uni-oldenburg.de/5084/7/proceedings_ow_sto_2021.pdf#page=41","open_access":"1"}],"department":[{"_id":"534"},{"_id":"66"},{"_id":"277"}],"conference":{"end_date":"2021-03-11","start_date":"2021-03-08","name":"Pre-Conference 16. International Congress on Wirtschaftsinformatik Universität Duisburg-Essen"},"title":"Towards a Decision Support System for Cross-Sectoral Energy Distribution Network Planning","editor":[{"last_name":"Breitner","first_name":"Michael H.","full_name":"Breitner, Michael H."},{"full_name":"Lehnhoff, Sebastian","first_name":"Sebastian","last_name":"Lehnhoff"},{"last_name":"Nieße","first_name":"Astrid","full_name":"Nieße, Astrid"},{"last_name":"Staudt","full_name":"Staudt, Philipp","first_name":"Philipp"},{"last_name":"Weinhardt","first_name":"Christof","full_name":"Weinhardt, Christof"},{"last_name":"Werth","first_name":"Oliver","full_name":"Werth, Oliver"}],"author":[{"last_name":"Kirchhoff","id":"39928","full_name":"Kirchhoff, Jonas","first_name":"Jonas"},{"last_name":"Burmeister","id":"32685","first_name":"Sascha Christian","full_name":"Burmeister, Sascha Christian"},{"last_name":"Weskamp","full_name":"Weskamp, Christoph","first_name":"Christoph"},{"id":"107","last_name":"Engels","first_name":"Gregor","full_name":"Engels, Gregor"}],"abstract":[{"lang":"eng","text":"Requirements for energy distribution networks are changing fast due to the growing share of renewable energy, increasing electrification, and novel consumer and asset technologies. Since uncertainties about future developments increase planning difficulty, flexibility potentials such as synergies between the electricity, gas, heat, and transport sector often remain unused. In this paper, we therefore present a novel module-based concept for a decision support system that helps distribution network planners to identify cross-sectoral synergies and to select optimal network assets such as transformers, cables, pipes, energy storage systems or energy conversion technology. The concept enables long-term transformation plans and supports distribution network planners in designing reliable, sustainable and cost-efficient distribution networks for future demands."}]},{"date_created":"2022-06-20T09:54:24Z","status":"public","type":"dissertation","year":"2021","language":[{"iso":"eng"}],"_id":"32057","date_updated":"2022-06-20T13:40:30Z","author":[{"full_name":"Gerlach, Raphael","first_name":"Raphael","id":"32655","last_name":"Gerlach"}],"title":"The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems","supervisor":[{"full_name":"Dellnitz , Michael","first_name":"Michael","last_name":"Dellnitz "},{"full_name":"Koltai, Péter","first_name":"Péter","last_name":"Koltai"}],"doi":"10.17619/UNIPB/1-1278","abstract":[{"text":"Ein zentraler Aspekt bei der Untersuchung dynamischer Systeme ist die Analyse ihrer invarianten Mengen wie des globalen Attraktors und (in)stabiler Mannigfaltigkeiten. Insbesondere wenn das zugrunde liegende System von einem Parameter abhängt, ist es entscheidend, sie im Bezug auf diesen Parameter effizient zu verfolgen. Für die Berechnung invarianter Mengen stützen wir uns für ihre Approximation auf numerische Algorithmen. Typischerweise können diese Methoden jedoch nur auf endlich-dimensionale dynamische Systeme angewendet werden. In dieser Arbeit präsentieren wir daher einen numerischen Rahmen für die globale dynamische Analyse unendlich-dimensionaler Systeme. Wir werden Einbettungstechniken verwenden, um das core dynamical system (CDS) zu definieren, welches ein dynamisch äquivalentes endlich-dimensionales System ist.Das CDS wird dann verwendet, um eingebettete invariante Mengen, also eins-zu-eins Bilder, mittels Mengen-orientierten numerischen Methoden zu approximieren. Bei der Konstruktion des CDS ist es entscheidend, eine geeignete Beobachtungsabbildung auszuwählen und die geeignete inverse Abbildung zu entwerfen. Dazu werden wir geeignete numerische Implementierungen des CDS für DDEs und PDEs vorstellen. Für eine nachfolgende geometrische Analyse der eingebetteten invarianten Menge betrachten wir eine Lerntechnik namens diffusion maps, die ihre intrinsische Geometrie enthüllt sowie ihre Dimension schätzt. Schließlich wenden wir unsere entwickelten numerischen Methoden an einigen bekannten unendlich-dimensionale dynamischen Systeme an, wie die Mackey-Glass-Gleichung, die Kuramoto-Sivashinsky-Gleichung und die Navier-Stokes-Gleichung.","lang":"ger"},{"text":"One central aspect in the study of dynamical systems is the analysis of its invariant sets such as the global attractor and (un)stable manifolds. In particular, when the underlying system depends on a parameter it is crucial to efficiently track those set with respect to this parameter. For the computation of invariant sets we rely on numerical algorithms for their approximation but typically those tools can only be applied to finite-dimensional dynamical systems. Thus, in thesis we present a numerical framework for the global dynamical analysis of infinite-dimensional systems. We will use embedding techniques for the definition of the core dynamical system (CDS) which is a dynamically equivalent finite-dimensional system. The CDS is then used for the approximation of related embedded invariant sets, i.e, one-to-one images, by set-oriented numerical methods. For the construction of the CDS it is crucial to choose an appropriate observation map and to design its corresponding inverse. Therefore, we will present suitable numerical realizations of the CDS for DDEs and PDEs. For a subsequent geometric analysis of the embedded invariant set we will consider a manifold learning technique called diffusion maps which reveals its intrinsic geometry and estimates its dimension. Finally, we apply our develop numerical tools on some well-known infinite-dimensional dynamical systems such as the Mackey-Glass equation, the Kuramoto-Sivashinsky equation and the Navier-Stokes equation.","lang":"eng"}],"oa":"1","user_id":"32643","main_file_link":[{"open_access":"1","url":"https://digital.ub.uni-paderborn.de/hs/download/pdf/6214949"}],"citation":{"ama":"Gerlach R. <i>The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems</i>.; 2021. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1278\">10.17619/UNIPB/1-1278</a>","bibtex":"@book{Gerlach_2021, title={The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-1278\">10.17619/UNIPB/1-1278</a>}, author={Gerlach, Raphael}, year={2021} }","apa":"Gerlach, R. (2021). <i>The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems</i>. <a href=\"https://doi.org/10.17619/UNIPB/1-1278\">https://doi.org/10.17619/UNIPB/1-1278</a>","mla":"Gerlach, Raphael. <i>The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems</i>. 2021, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-1278\">10.17619/UNIPB/1-1278</a>.","ieee":"R. Gerlach, <i>The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems</i>. 2021.","short":"R. Gerlach, The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems, 2021.","chicago":"Gerlach, Raphael. <i>The Computation and Analysis of Invariant Sets of Infinite-Dimensional Systems</i>, 2021. <a href=\"https://doi.org/10.17619/UNIPB/1-1278\">https://doi.org/10.17619/UNIPB/1-1278</a>."},"department":[{"_id":"101"}]},{"intvolume":"        19","article_type":"original","author":[{"first_name":"Benjamin","full_name":"Delarue, Benjamin","id":"70575","last_name":"Delarue"},{"last_name":"Ramacher","first_name":"Pablo","full_name":"Ramacher, Pablo"}],"department":[{"_id":"548"}],"citation":{"short":"B. Delarue, P. Ramacher, Journal of Symplectic Geometry 19 (2021) 1281–1337.","mla":"Delarue, Benjamin, and Pablo Ramacher. “Asymptotic Expansion of Generalized Witten Integrals for Hamiltonian Circle Actions.” <i>Journal of Symplectic Geometry</i>, vol. 19, no. 6, 2021, pp. 1281–337, doi:<a href=\"https://doi.org/10.4310/JSG.2021.v19.n6.a1\">10.4310/JSG.2021.v19.n6.a1</a>.","bibtex":"@article{Delarue_Ramacher_2021, title={Asymptotic expansion of generalized Witten integrals for Hamiltonian circle actions}, volume={19}, DOI={<a href=\"https://doi.org/10.4310/JSG.2021.v19.n6.a1\">10.4310/JSG.2021.v19.n6.a1</a>}, number={6}, journal={Journal of Symplectic Geometry}, author={Delarue, Benjamin and Ramacher, Pablo}, year={2021}, pages={1281–1337} }","chicago":"Delarue, Benjamin, and Pablo Ramacher. “Asymptotic Expansion of Generalized Witten Integrals for Hamiltonian Circle Actions.” <i>Journal of Symplectic Geometry</i> 19, no. 6 (2021): 1281–1337. <a href=\"https://doi.org/10.4310/JSG.2021.v19.n6.a1\">https://doi.org/10.4310/JSG.2021.v19.n6.a1</a>.","ieee":"B. Delarue and P. Ramacher, “Asymptotic expansion of generalized Witten integrals for Hamiltonian circle actions,” <i>Journal of Symplectic Geometry</i>, vol. 19, no. 6, pp. 1281–1337, 2021, doi: <a href=\"https://doi.org/10.4310/JSG.2021.v19.n6.a1\">10.4310/JSG.2021.v19.n6.a1</a>.","ama":"Delarue B, Ramacher P. Asymptotic expansion of generalized Witten integrals for Hamiltonian circle actions. <i>Journal of Symplectic Geometry</i>. 2021;19(6):1281-1337. doi:<a href=\"https://doi.org/10.4310/JSG.2021.v19.n6.a1\">10.4310/JSG.2021.v19.n6.a1</a>","apa":"Delarue, B., &#38; Ramacher, P. (2021). Asymptotic expansion of generalized Witten integrals for Hamiltonian circle actions. <i>Journal of Symplectic Geometry</i>, <i>19</i>(6), 1281–1337. <a href=\"https://doi.org/10.4310/JSG.2021.v19.n6.a1\">https://doi.org/10.4310/JSG.2021.v19.n6.a1</a>"},"publication_status":"published","publication_identifier":{"unknown":["1540-2347","1527-5256"]},"year":"2021","language":[{"iso":"eng"}],"status":"public","date_created":"2022-06-20T08:46:56Z","date_updated":"2022-06-21T11:54:50Z","_id":"32016","doi":"10.4310/JSG.2021.v19.n6.a1","title":"Asymptotic expansion of generalized Witten integrals for Hamiltonian circle actions","user_id":"70575","type":"journal_article","publication":"Journal of Symplectic Geometry","issue":"6","page":"1281 - 1337","volume":19},{"department":[{"_id":"58"}],"citation":{"bibtex":"@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2021, place={Munich, DE}, title={Register and Instruction Coverage Analysis for Different RISC-V ISA Modules}, booktitle={MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop}, publisher={VDE}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2021} }","mla":"Adelt, Peer, et al. “Register and Instruction Coverage Analysis for Different RISC-V ISA Modules.” <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>, VDE, 2021.","short":"P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, VDE, Munich, DE, 2021.","apa":"Adelt, P., Koppelmann, B., Müller, W., &#38; Scheytt, C. (2021). Register and Instruction Coverage Analysis for Different RISC-V ISA Modules. <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>.","ama":"Adelt P, Koppelmann B, Müller W, Scheytt C. Register and Instruction Coverage Analysis for Different RISC-V ISA Modules. In: <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>. VDE; 2021.","ieee":"P. Adelt, B. Koppelmann, W. Müller, and C. Scheytt, “Register and Instruction Coverage Analysis for Different RISC-V ISA Modules,” 2021.","chicago":"Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “Register and Instruction Coverage Analysis for Different RISC-V ISA Modules.” In <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>. Munich, DE: VDE, 2021."},"publication_status":"published","user_id":"5603","place":"Munich, DE","abstract":[{"lang":"eng","text":"Fault coverage analysis and fault simulation are well-established methods for the qualification of test vectors in hardware design. However, their role in virtual prototyping and the correlation to later steps in the design process need further investigation. We introduce a metric for RISC-V instruction and register coverage for binary software. The metric measures if RISC-V instruction types are executed and if GPRs, CSRs, and FPRs are accessed. The analysis is applied by the means of a virtual prototype which is based on an abstract instruction and register model with direct correspondence to their bit level representation. In this context, we analyzed three different openly available test suites: the RISC-V architectural testing framework, the RISC-V unit tests, and programs which are automatically generated by the RISC-V Torture test generator. We discuss their tradeoffs and show that by combining them to a unified test suite we can arrive at a 100% GPR and FPR register coverage and a 98.7% instruction type coverage."}],"title":"Register and Instruction Coverage Analysis for Different RISC-V ISA Modules","conference":{"end_date":"2021-03-19","start_date":"2021-03-18"},"author":[{"last_name":"Adelt","id":"5603","full_name":"Adelt, Peer","first_name":"Peer"},{"id":"25260","last_name":"Koppelmann","first_name":"Bastian","full_name":"Koppelmann, Bastian"},{"id":"16243","last_name":"Müller","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"id":"37144","last_name":"Scheytt","first_name":"Christoph","full_name":"Scheytt, Christoph"}],"date_updated":"2022-06-23T11:54:16Z","_id":"32125","language":[{"iso":"eng"}],"publication_identifier":{"isbn":["978-3-8007-5500-4"]},"year":"2021","type":"conference","status":"public","date_created":"2022-06-23T11:52:50Z","related_material":{"link":[{"url":"https://ieeexplore.ieee.org/document/9399723","relation":"confirmation"}]},"publication":"MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop","publisher":"VDE"},{"page":"61-80","volume":153,"publication":"Journal of Combinatorial Theory, Series B","type":"journal_article","keyword":["Computational Theory and Mathematics","Discrete Mathematics and Combinatorics","Theoretical Computer Science"],"user_id":"15540","title":"Nowhere-zero 3-flows in toroidal graphs","doi":"10.1016/j.jctb.2021.11.001","_id":"34042","date_updated":"2022-11-09T08:44:37Z","date_created":"2022-11-09T08:43:55Z","publisher":"Elsevier BV","language":[{"iso":"eng"}],"publication_identifier":{"issn":["0095-8956"]},"year":"2021","status":"public","citation":{"chicago":"Li, Jiaao, Yulai Ma, Zhengke Miao, Yongtang Shi, Weifan Wang, and Cun-Quan Zhang. “Nowhere-Zero 3-Flows in Toroidal Graphs.” <i>Journal of Combinatorial Theory, Series B</i> 153 (2021): 61–80. <a href=\"https://doi.org/10.1016/j.jctb.2021.11.001\">https://doi.org/10.1016/j.jctb.2021.11.001</a>.","ieee":"J. Li, Y. Ma, Z. Miao, Y. Shi, W. Wang, and C.-Q. Zhang, “Nowhere-zero 3-flows in toroidal graphs,” <i>Journal of Combinatorial Theory, Series B</i>, vol. 153, pp. 61–80, 2021, doi: <a href=\"https://doi.org/10.1016/j.jctb.2021.11.001\">10.1016/j.jctb.2021.11.001</a>.","apa":"Li, J., Ma, Y., Miao, Z., Shi, Y., Wang, W., &#38; Zhang, C.-Q. (2021). Nowhere-zero 3-flows in toroidal graphs. <i>Journal of Combinatorial Theory, Series B</i>, <i>153</i>, 61–80. <a href=\"https://doi.org/10.1016/j.jctb.2021.11.001\">https://doi.org/10.1016/j.jctb.2021.11.001</a>","ama":"Li J, Ma Y, Miao Z, Shi Y, Wang W, Zhang C-Q. Nowhere-zero 3-flows in toroidal graphs. <i>Journal of Combinatorial Theory, Series B</i>. 2021;153:61-80. doi:<a href=\"https://doi.org/10.1016/j.jctb.2021.11.001\">10.1016/j.jctb.2021.11.001</a>","short":"J. Li, Y. Ma, Z. Miao, Y. Shi, W. Wang, C.-Q. Zhang, Journal of Combinatorial Theory, Series B 153 (2021) 61–80.","mla":"Li, Jiaao, et al. “Nowhere-Zero 3-Flows in Toroidal Graphs.” <i>Journal of Combinatorial Theory, Series B</i>, vol. 153, Elsevier BV, 2021, pp. 61–80, doi:<a href=\"https://doi.org/10.1016/j.jctb.2021.11.001\">10.1016/j.jctb.2021.11.001</a>.","bibtex":"@article{Li_Ma_Miao_Shi_Wang_Zhang_2021, title={Nowhere-zero 3-flows in toroidal graphs}, volume={153}, DOI={<a href=\"https://doi.org/10.1016/j.jctb.2021.11.001\">10.1016/j.jctb.2021.11.001</a>}, journal={Journal of Combinatorial Theory, Series B}, publisher={Elsevier BV}, author={Li, Jiaao and Ma, Yulai and Miao, Zhengke and Shi, Yongtang and Wang, Weifan and Zhang, Cun-Quan}, year={2021}, pages={61–80} }"},"publication_status":"published","department":[{"_id":"542"}],"author":[{"full_name":"Li, Jiaao","first_name":"Jiaao","last_name":"Li"},{"id":"92748","last_name":"Ma","first_name":"Yulai","full_name":"Ma, Yulai"},{"last_name":"Miao","first_name":"Zhengke","full_name":"Miao, Zhengke"},{"full_name":"Shi, Yongtang","first_name":"Yongtang","last_name":"Shi"},{"full_name":"Wang, Weifan","first_name":"Weifan","last_name":"Wang"},{"last_name":"Zhang","full_name":"Zhang, Cun-Quan","first_name":"Cun-Quan"}],"intvolume":"       153"},{"author":[{"id":"22398","last_name":"Pauck","first_name":"Felix","full_name":"Pauck, Felix"},{"full_name":"Wehrheim, Heike","first_name":"Heike","id":"573","last_name":"Wehrheim"}],"title":"Jicer: Simplifying Cooperative Android App Analysis Tasks","doi":"10.1109/scam52516.2021.00031","project":[{"name":"SFB 901 - Subproject B4","_id":"12"},{"_id":"1","name":"SFB 901: SFB 901"},{"name":"SFB 901 - B: SFB 901 - Project Area B","_id":"3"}],"publication_status":"published","user_id":"477","citation":{"ieee":"F. Pauck and H. Wehrheim, “Jicer: Simplifying Cooperative Android App Analysis Tasks,” 2021, doi: <a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>.","chicago":"Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.” In <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 2021. <a href=\"https://doi.org/10.1109/scam52516.2021.00031\">https://doi.org/10.1109/scam52516.2021.00031</a>.","short":"F. Pauck, H. Wehrheim, in: 2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM), 2021.","apa":"Pauck, F., &#38; Wehrheim, H. (2021). Jicer: Simplifying Cooperative Android App Analysis Tasks. <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. <a href=\"https://doi.org/10.1109/scam52516.2021.00031\">https://doi.org/10.1109/scam52516.2021.00031</a>","ama":"Pauck F, Wehrheim H. Jicer: Simplifying Cooperative Android App Analysis Tasks. In: <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>. ; 2021. doi:<a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>","bibtex":"@inproceedings{Pauck_Wehrheim_2021, title={Jicer: Simplifying Cooperative Android App Analysis Tasks}, DOI={<a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>}, booktitle={2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)}, author={Pauck, Felix and Wehrheim, Heike}, year={2021} }","mla":"Pauck, Felix, and Heike Wehrheim. “Jicer: Simplifying Cooperative Android App Analysis Tasks.” <i>2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)</i>, 2021, doi:<a href=\"https://doi.org/10.1109/scam52516.2021.00031\">10.1109/scam52516.2021.00031</a>."},"department":[{"_id":"77"}],"date_created":"2021-12-01T08:53:29Z","publication":"2021 IEEE 21st International Working Conference on Source Code Analysis and Manipulation (SCAM)","status":"public","language":[{"iso":"eng"}],"year":"2021","type":"conference","_id":"28199","date_updated":"2022-11-17T14:26:19Z"},{"oa":"1","user_id":"477","main_file_link":[{"open_access":"1","url":"https://eprint.iacr.org/2021/961"}],"citation":{"ama":"Bobolz J, Eidens F, Heitjohann R, Fell J. Cryptimeleon: A Library for Fast Prototyping of Privacy-Preserving Cryptographic Schemes. Published online 2021.","bibtex":"@article{Bobolz_Eidens_Heitjohann_Fell_2021, title={Cryptimeleon: A Library for Fast Prototyping of Privacy-Preserving Cryptographic Schemes}, publisher={IACR eprint}, author={Bobolz, Jan and Eidens, Fabian and Heitjohann, Raphael and Fell, Jeremy}, year={2021} }","apa":"Bobolz, J., Eidens, F., Heitjohann, R., &#38; Fell, J. (2021). <i>Cryptimeleon: A Library for Fast Prototyping of Privacy-Preserving Cryptographic Schemes</i>. IACR eprint.","mla":"Bobolz, Jan, et al. <i>Cryptimeleon: A Library for Fast Prototyping of Privacy-Preserving Cryptographic Schemes</i>. IACR eprint, 2021.","ieee":"J. Bobolz, F. Eidens, R. Heitjohann, and J. Fell, “Cryptimeleon: A Library for Fast Prototyping of Privacy-Preserving Cryptographic Schemes.” IACR eprint, 2021.","chicago":"Bobolz, Jan, Fabian Eidens, Raphael Heitjohann, and Jeremy Fell. “Cryptimeleon: A Library for Fast Prototyping of Privacy-Preserving Cryptographic Schemes.” IACR eprint, 2021.","short":"J. Bobolz, F. Eidens, R. Heitjohann, J. Fell, (2021)."},"department":[{"_id":"64"}],"author":[{"id":"27207","last_name":"Bobolz","first_name":"Jan","full_name":"Bobolz, Jan"},{"id":"25078","last_name":"Eidens","full_name":"Eidens, Fabian","first_name":"Fabian"},{"last_name":"Heitjohann","full_name":"Heitjohann, Raphael","first_name":"Raphael"},{"full_name":"Fell, Jeremy","first_name":"Jeremy","last_name":"Fell"}],"title":"Cryptimeleon: A Library for Fast Prototyping of Privacy-Preserving Cryptographic Schemes","project":[{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901 - Project Area T","_id":"82"},{"_id":"84","name":"SFB 901 -Subproject T2"},{"name":"SFB 901: SFB 901","_id":"1"},{"name":"SFB 901 - C1: SFB 901 - Subproject C1","_id":"13"}],"_id":"26645","date_updated":"2022-11-18T09:38:42Z","publisher":"IACR eprint","date_created":"2021-10-21T07:51:32Z","status":"public","type":"preprint","year":"2021","language":[{"iso":"eng"}]},{"keyword":["tet_topic_waveguide"],"user_id":"477","oa":"1","doi":"10.1364/osac.437549","abstract":[{"lang":"eng","text":"We show that narrow trenches in a high-contrast silicon-photonics slab can act as lossless power dividers for semi-guided waves. Reflectance and transmittance can be easily configured by selecting the trench width. At sufficiently high angles of incidence, the devices are lossless, apart from material attenuation and scattering due to surface roughness. We numerically simulate a series of devices within the full 0-to-1-range of splitting ratios, for semi-guided plane wave incidence as well as for excitation by focused Gaussian wave bundles. Straightforward cascading of the trenches leads to concepts for 1×M-power dividers and a polarization beam splitter."}],"has_accepted_license":"1","project":[{"_id":"53","name":"TRR 142"},{"name":"TRR 142 - Project Area C","_id":"56"}],"file":[{"file_name":"2021-11 Hammer - OSA Continuum - Trenches.pdf","file_size":6618403,"creator":"fossie","date_created":"2021-11-30T20:07:53Z","file_id":"28197","content_type":"application/pdf","access_level":"open_access","date_updated":"2021-11-30T20:19:15Z","relation":"main_file"}],"title":"Configurable lossless broadband beam splitters for semi-guided waves in integrated silicon photonics","issue":"12","volume":4,"page":"3081","type":"journal_article","ddc":["530"],"publication":"OSA Continuum","department":[{"_id":"61"},{"_id":"230"},{"_id":"429"}],"publication_status":"published","citation":{"short":"M. Hammer, L. Ebers, J. Förstner, OSA Continuum 4 (2021) 3081.","bibtex":"@article{Hammer_Ebers_Förstner_2021, title={Configurable lossless broadband beam splitters for semi-guided waves in integrated silicon photonics}, volume={4}, DOI={<a href=\"https://doi.org/10.1364/osac.437549\">10.1364/osac.437549</a>}, number={12}, journal={OSA Continuum}, author={Hammer, Manfred and Ebers, Lena and Förstner, Jens}, year={2021}, pages={3081} }","mla":"Hammer, Manfred, et al. “Configurable Lossless Broadband Beam Splitters for Semi-Guided Waves in Integrated Silicon Photonics.” <i>OSA Continuum</i>, vol. 4, no. 12, 2021, p. 3081, doi:<a href=\"https://doi.org/10.1364/osac.437549\">10.1364/osac.437549</a>.","ieee":"M. Hammer, L. Ebers, and J. Förstner, “Configurable lossless broadband beam splitters for semi-guided waves in integrated silicon photonics,” <i>OSA Continuum</i>, vol. 4, no. 12, p. 3081, 2021, doi: <a href=\"https://doi.org/10.1364/osac.437549\">10.1364/osac.437549</a>.","chicago":"Hammer, Manfred, Lena Ebers, and Jens Förstner. “Configurable Lossless Broadband Beam Splitters for Semi-Guided Waves in Integrated Silicon Photonics.” <i>OSA Continuum</i> 4, no. 12 (2021): 3081. <a href=\"https://doi.org/10.1364/osac.437549\">https://doi.org/10.1364/osac.437549</a>.","apa":"Hammer, M., Ebers, L., &#38; Förstner, J. (2021). Configurable lossless broadband beam splitters for semi-guided waves in integrated silicon photonics. <i>OSA Continuum</i>, <i>4</i>(12), 3081. <a href=\"https://doi.org/10.1364/osac.437549\">https://doi.org/10.1364/osac.437549</a>","ama":"Hammer M, Ebers L, Förstner J. Configurable lossless broadband beam splitters for semi-guided waves in integrated silicon photonics. <i>OSA Continuum</i>. 2021;4(12):3081. doi:<a href=\"https://doi.org/10.1364/osac.437549\">10.1364/osac.437549</a>"},"intvolume":"         4","author":[{"full_name":"Hammer, Manfred","first_name":"Manfred","id":"48077","last_name":"Hammer","orcid":"0000-0002-6331-9348"},{"id":"40428","last_name":"Ebers","full_name":"Ebers, Lena","first_name":"Lena"},{"orcid":"0000-0001-7059-9862","first_name":"Jens","full_name":"Förstner, Jens","last_name":"Förstner","id":"158"}],"date_updated":"2022-11-18T09:58:03Z","file_date_updated":"2021-11-30T20:19:15Z","_id":"28196","status":"public","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2578-7519"]},"year":"2021","date_created":"2021-11-30T20:04:57Z"},{"file":[{"relation":"main_file","date_updated":"2022-10-20T16:41:10Z","creator":"stschn","file_size":2521656,"file_name":"preprint.pdf","content_type":"application/pdf","file_id":"33855","access_level":"open_access","date_created":"2022-10-20T16:41:10Z"}],"author":[{"orcid":"0000-0001-8210-4011","first_name":"Stefan Balthasar","full_name":"Schneider, Stefan Balthasar","last_name":"Schneider","id":"35343"},{"full_name":"Karl, Holger","first_name":"Holger","id":"126","last_name":"Karl"},{"full_name":"Khalili, Ramin","first_name":"Ramin","last_name":"Khalili"},{"last_name":"Hecker","first_name":"Artur","full_name":"Hecker, Artur"}],"title":"DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning","abstract":[{"lang":"eng","text":"Macrodiversity is a key technique to increase the capacity of mobile networks. It can be realized using coordinated multipoint (CoMP), simultaneously connecting users to multiple overlapping cells. Selecting which users to serve by how many and which cells is NP-hard but needs to happen continuously in real time as users move and channel state changes. Existing approaches often require strict assumptions about or perfect knowledge of the underlying radio system, its resource allocation scheme, or user movements, none of which is readily available in practice.\r\n\r\nInstead, we propose three novel self-learning and self-adapting approaches using model-free deep reinforcement learning (DRL): DeepCoMP, DD-CoMP, and D3-CoMP. DeepCoMP leverages central observations and control of all users to select cells almost optimally. DD-CoMP and D3-CoMP use multi-agent DRL, which allows distributed, robust, and highly scalable coordination. All three approaches learn from experience and self-adapt to varying scenarios, reaching 2x higher Quality of Experience than other approaches. They have very few built-in assumptions and do not need prior system knowledge, making them more robust to change and better applicable in practice than existing approaches."}],"has_accepted_license":"1","project":[{"_id":"4","name":"SFB 901 - C: SFB 901 - Project Area C"},{"_id":"16","name":"SFB 901 - C4: SFB 901 - Subproject C4"},{"_id":"1","name":"SFB 901: SFB 901"}],"keyword":["mobility management","coordinated multipoint","CoMP","cell selection","resource management","reinforcement learning","multi agent","MARL","self-learning","self-adaptation","QoE"],"user_id":"477","oa":"1","citation":{"short":"S.B. Schneider, H. Karl, R. Khalili, A. Hecker, DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning, 2021.","bibtex":"@book{Schneider_Karl_Khalili_Hecker_2021, title={DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning}, author={Schneider, Stefan Balthasar and Karl, Holger and Khalili, Ramin and Hecker, Artur}, year={2021} }","mla":"Schneider, Stefan Balthasar, et al. <i>DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning</i>. 2021.","ieee":"S. B. Schneider, H. Karl, R. Khalili, and A. Hecker, <i>DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning</i>. 2021.","chicago":"Schneider, Stefan Balthasar, Holger Karl, Ramin Khalili, and Artur Hecker. <i>DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning</i>, 2021.","apa":"Schneider, S. B., Karl, H., Khalili, R., &#38; Hecker, A. (2021). <i>DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning</i>.","ama":"Schneider SB, Karl H, Khalili R, Hecker A. <i>DeepCoMP: Coordinated Multipoint Using Multi-Agent Deep Reinforcement Learning</i>.; 2021."},"department":[{"_id":"75"}],"date_created":"2022-10-20T16:44:19Z","ddc":["004"],"status":"public","language":[{"iso":"eng"}],"year":"2021","type":"working_paper","file_date_updated":"2022-10-20T16:41:10Z","_id":"33854","date_updated":"2022-11-18T09:59:27Z"},{"date_updated":"2022-11-18T10:03:24Z","_id":"29137","type":"conference","year":"2021","language":[{"iso":"eng"}],"status":"public","publication":"HEART '21: Proceedings of the 11th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies","date_created":"2021-12-27T12:01:02Z","publisher":"Association for Computing Machinery (ACM)","department":[{"_id":"78"}],"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>","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>","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>.","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>."},"user_id":"477","publication_status":"published","project":[{"_id":"4","name":"SFB 901 - Project Area C"},{"name":"SFB 901: SFB 901","_id":"1"},{"_id":"14","name":"SFB 901 - C2: SFB 901 - Subproject C2"}],"place":"New York, NY, United States","doi":"10.1145/3468044.3468055","conference":{"end_date":"2021-06-23","name":"International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART ’21)","start_date":"2021-06-21","location":"Online"},"title":"Self-aware Operation of Heterogeneous Compute Nodes using the Learning Classifier System XCS","author":[{"first_name":"Tim","full_name":"Hansmeier, Tim","id":"49992","last_name":"Hansmeier","orcid":"0000-0003-1377-3339"}]},{"author":[{"first_name":"Peer","full_name":"Adelt, Peer","last_name":"Adelt","id":"5603"},{"last_name":"Koppelmann","id":"25260","full_name":"Koppelmann, Bastian","first_name":"Bastian"},{"last_name":"Müller","id":"16243","first_name":"Wolfgang","full_name":"Müller, Wolfgang"},{"first_name":"Christoph","full_name":"Scheytt, Christoph","last_name":"Scheytt","id":"37144","orcid":"https://orcid.org/0000-0002-5950-6618"}],"conference":{"start_date":"2021-03-18","end_date":"2021-03-19"},"title":"QEMU zur Simulation von Worst-Case-Ausführungszeiten","abstract":[{"text":"Die Werkzeugdemonstration des QEMU Timing Analyzers (QTA) stellt eine Erweiterung des quelloffenen CPU Emulators QEMU zur Simulation von Softwareprogrammen und deren Worst-Case Zeitverhaltens vor, das durch eine statische Zeitanalyse vorher aus dem Softwareprogramm extrahiert wurde. Der Ablauf der Analyse gliedert sich in mehrere Schritte: Zunächst wird für das zu simulierende Binärprogramm eine WCET-Analyse mit aiT durchgeführt. Im Preprocessing des aiT-Reports wird daraufhin ein WCET-annotierter Kontrollflussgraph erzeugt. Dabei entsprechen die Knoten im Kontrollflussgraph den aiT-Blöcken und die Kanten dem jeweiligen Worst-Case-Zeitverbrauch, um das Programm im aktuellen Ausführungskontext vom Quell- bis zum Zielblock laufen zu lassen. Nach dem Preprocessing werden Binärprogramm und der zuvor erzeugte, zeitannotierte Kontrollflussgraph von QEMU geladen und gemeinsam simuliert.\r\n\r\nDie Implementierung des QTA basiert auf der Standard TGI Plugin API (Tiny Code Generator Plugin API), die seit Ende 2019 mit QEMU V4.2 verfügbar ist. Dieses API erlaubt die Entwicklung von versionsunabhängigen QEMU-Erweiterungen. Die QEMU-QTA-Erweiterung wird zum Zeitpunkt der Werkzeugdemonstration inklusive des ait2qta-Preprozessors unter github.com im Quellcode frei verfügbar sein.\r\n\r\nDie Demonstration geht von einer existierenden aiT-Analyse eines für TriCore© kompilierten binären Softwareprograms aus, erläutert das Kontrollflusszwischenformat und zeigt die zeitannotierte Simulation der Software.","lang":"ger"}],"place":"Munich, DE","user_id":"5603","publication_status":"published","keyword":["QEMU","aiT","Zeitannotation","WCET"],"citation":{"chicago":"Adelt, Peer, Bastian Koppelmann, Wolfgang Müller, and Christoph Scheytt. “QEMU zur Simulation von Worst-Case-Ausführungszeiten.” In <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>. Munich, DE: VDE, 2021.","ieee":"P. Adelt, B. Koppelmann, W. Müller, and C. Scheytt, “QEMU zur Simulation von Worst-Case-Ausführungszeiten,” 2021.","ama":"Adelt P, Koppelmann B, Müller W, Scheytt C. QEMU zur Simulation von Worst-Case-Ausführungszeiten. In: <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>. VDE; 2021.","apa":"Adelt, P., Koppelmann, B., Müller, W., &#38; Scheytt, C. (2021). QEMU zur Simulation von Worst-Case-Ausführungszeiten. <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>.","short":"P. Adelt, B. Koppelmann, W. Müller, C. Scheytt, in: MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop, VDE, Munich, DE, 2021.","mla":"Adelt, Peer, et al. “QEMU zur Simulation von Worst-Case-Ausführungszeiten.” <i>MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop</i>, VDE, 2021.","bibtex":"@inproceedings{Adelt_Koppelmann_Müller_Scheytt_2021, place={Munich, DE}, title={QEMU zur Simulation von Worst-Case-Ausführungszeiten}, booktitle={MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop}, publisher={VDE}, author={Adelt, Peer and Koppelmann, Bastian and Müller, Wolfgang and Scheytt, Christoph}, year={2021} }"},"department":[{"_id":"58"}],"publisher":"VDE","publication":"MBMV 2021 - Methods and Description Languages for Modelling and Verification of Circuits and Systems; GMM/ITG/GI-Workshop","date_created":"2022-06-23T12:07:10Z","status":"public","year":"2021","type":"conference","language":[{"iso":"ger"}],"_id":"32132","date_updated":"2022-12-06T13:24:44Z"}]