[{"department":[{"_id":"49"}],"type":"dissertation","date_created":"2019-10-15T10:38:36Z","citation":{"apa":"Bause, F. (2016). <i>Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren</i>. Universität Paderborn.","ieee":"F. Bause, <i>Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren</i>. Universität Paderborn, 2016.","chicago":"Bause, Fabian. <i>Ein Ultraschallbasiertes Inverses Messverfahren Zur Charakterisierung Viskoelastischer Materialparameter von Polymeren</i>. Universität Paderborn, 2016.","short":"F. Bause, Ein Ultraschallbasiertes Inverses Messverfahren Zur Charakterisierung Viskoelastischer Materialparameter von Polymeren, Universität Paderborn, 2016.","mla":"Bause, Fabian. <i>Ein Ultraschallbasiertes Inverses Messverfahren Zur Charakterisierung Viskoelastischer Materialparameter von Polymeren</i>. Universität Paderborn, 2016.","ama":"Bause F. <i>Ein Ultraschallbasiertes Inverses Messverfahren Zur Charakterisierung Viskoelastischer Materialparameter von Polymeren</i>. Universität Paderborn; 2016.","bibtex":"@book{Bause_2016, title={Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren}, publisher={Universität Paderborn}, author={Bause, Fabian}, year={2016} }"},"user_id":"15911","_id":"13860","publisher":"Universität Paderborn","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:51:45Z","author":[{"first_name":"Fabian","last_name":"Bause","full_name":"Bause, Fabian"}],"year":"2016","title":"Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren","status":"public"},{"title":"5.3.1 - Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren","year":"2016","status":"public","author":[{"full_name":"Bause, F.","last_name":"Bause","first_name":"F."},{"id":"213","first_name":"Bernd","last_name":"Henning","full_name":"Henning, Bernd"}],"date_updated":"2022-01-06T06:51:45Z","_id":"13864","publisher":"LibreCat University","language":[{"iso":"eng"}],"user_id":"15911","doi":"10.5162/SENSOREN2016/5.3.1","citation":{"ama":"Bause F, Henning B. 5.3.1 - Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren. In: LibreCat University; 2016. doi:<a href=\"https://doi.org/10.5162/SENSOREN2016/5.3.1\">10.5162/SENSOREN2016/5.3.1</a>","bibtex":"@inproceedings{Bause_Henning_2016, title={5.3.1 - Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren}, DOI={<a href=\"https://doi.org/10.5162/SENSOREN2016/5.3.1\">10.5162/SENSOREN2016/5.3.1</a>}, publisher={LibreCat University}, author={Bause, F. and Henning, Bernd}, year={2016} }","mla":"Bause, F., and Bernd Henning. <i>5.3.1 - Ein Ultraschallbasiertes Inverses Messverfahren Zur Charakterisierung Viskoelastischer Materialparameter von Polymeren</i>. LibreCat University, 2016, doi:<a href=\"https://doi.org/10.5162/SENSOREN2016/5.3.1\">10.5162/SENSOREN2016/5.3.1</a>.","short":"F. Bause, B. Henning, in: LibreCat University, 2016.","chicago":"Bause, F., and Bernd Henning. “5.3.1 - Ein Ultraschallbasiertes Inverses Messverfahren Zur Charakterisierung Viskoelastischer Materialparameter von Polymeren.” LibreCat University, 2016. <a href=\"https://doi.org/10.5162/SENSOREN2016/5.3.1\">https://doi.org/10.5162/SENSOREN2016/5.3.1</a>.","apa":"Bause, F., &#38; Henning, B. (2016). 5.3.1 - Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren. LibreCat University. <a href=\"https://doi.org/10.5162/SENSOREN2016/5.3.1\">https://doi.org/10.5162/SENSOREN2016/5.3.1</a>","ieee":"F. Bause and B. Henning, “5.3.1 - Ein ultraschallbasiertes inverses Messverfahren zur Charakterisierung viskoelastischer Materialparameter von Polymeren,” 2016."},"date_created":"2019-10-15T11:03:43Z","type":"conference","department":[{"_id":"49"}]},{"citation":{"chicago":"Ester, S., M. Struschka, and Bernd Henning. “3.2.3 - Direktgravimetrischer Partikelmasse-Sensor Zur Quasikontinuierlichen Emissionsmessung.” LibreCat University, 2016. <a href=\"https://doi.org/10.5162/SENSOREN2016/3.2.3\">https://doi.org/10.5162/SENSOREN2016/3.2.3</a>.","short":"S. Ester, M. Struschka, B. Henning, in: LibreCat University, 2016.","apa":"Ester, S., Struschka, M., &#38; Henning, B. (2016). 3.2.3 - Direktgravimetrischer Partikelmasse-Sensor zur quasikontinuierlichen Emissionsmessung. LibreCat University. <a href=\"https://doi.org/10.5162/SENSOREN2016/3.2.3\">https://doi.org/10.5162/SENSOREN2016/3.2.3</a>","ieee":"S. Ester, M. Struschka, and B. Henning, “3.2.3 - Direktgravimetrischer Partikelmasse-Sensor zur quasikontinuierlichen Emissionsmessung,” 2016.","ama":"Ester S, Struschka M, Henning B. 3.2.3 - Direktgravimetrischer Partikelmasse-Sensor zur quasikontinuierlichen Emissionsmessung. In: LibreCat University; 2016. doi:<a href=\"https://doi.org/10.5162/SENSOREN2016/3.2.3\">10.5162/SENSOREN2016/3.2.3</a>","bibtex":"@inproceedings{Ester_Struschka_Henning_2016, title={3.2.3 - Direktgravimetrischer Partikelmasse-Sensor zur quasikontinuierlichen Emissionsmessung}, DOI={<a href=\"https://doi.org/10.5162/SENSOREN2016/3.2.3\">10.5162/SENSOREN2016/3.2.3</a>}, publisher={LibreCat University}, author={Ester, S. and Struschka, M. and Henning, Bernd}, year={2016} }","mla":"Ester, S., et al. <i>3.2.3 - Direktgravimetrischer Partikelmasse-Sensor Zur Quasikontinuierlichen Emissionsmessung</i>. LibreCat University, 2016, doi:<a href=\"https://doi.org/10.5162/SENSOREN2016/3.2.3\">10.5162/SENSOREN2016/3.2.3</a>."},"type":"conference","department":[{"_id":"49"}],"date_created":"2019-10-15T11:04:18Z","date_updated":"2022-01-06T06:51:45Z","title":"3.2.3 - Direktgravimetrischer Partikelmasse-Sensor zur quasikontinuierlichen Emissionsmessung","status":"public","year":"2016","author":[{"full_name":"Ester, S.","first_name":"S.","last_name":"Ester"},{"first_name":"M.","last_name":"Struschka","full_name":"Struschka, M."},{"full_name":"Henning, Bernd","last_name":"Henning","first_name":"Bernd","id":"213"}],"doi":"10.5162/SENSOREN2016/3.2.3","user_id":"15911","language":[{"iso":"eng"}],"_id":"13865","publisher":"LibreCat University"},{"has_accepted_license":"1","status":"public","user_id":"477","ddc":["000"],"page":" 1197--1216","_id":"139","publisher":"Springer","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"_id":"16","name":"SFB 901 - Subprojekt C4"},{"_id":"2","name":"SFB 901 - Project Area A"},{"_id":"4","name":"SFB 901 - Project Area C"}],"file_date_updated":"2018-11-02T15:57:25Z","citation":{"mla":"Abshoff, Sebastian, et al. “Towards the Price of Leasing Online.” <i>Journal of Combinatorial Optimization</i>, no. 4, Springer, 2016, pp. 1197--1216, doi:<a href=\"https://doi.org/10.1007/s10878-015-9915-5\">10.1007/s10878-015-9915-5</a>.","bibtex":"@article{Abshoff_Kling_Markarian_Meyer auf der Heide_Pietrzyk_2016, title={Towards the price of leasing online}, DOI={<a href=\"https://doi.org/10.1007/s10878-015-9915-5\">10.1007/s10878-015-9915-5</a>}, number={4}, journal={Journal of Combinatorial Optimization}, publisher={Springer}, author={Abshoff, Sebastian and Kling, Peter and Markarian, Christine and Meyer auf der Heide, Friedhelm and Pietrzyk, Peter }, year={2016}, pages={1197--1216} }","ama":"Abshoff S, Kling P, Markarian C, Meyer auf der Heide F, Pietrzyk P. Towards the price of leasing online. <i>Journal of Combinatorial Optimization</i>. 2016;(4):1197--1216. doi:<a href=\"https://doi.org/10.1007/s10878-015-9915-5\">10.1007/s10878-015-9915-5</a>","ieee":"S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, and P. Pietrzyk, “Towards the price of leasing online,” <i>Journal of Combinatorial Optimization</i>, no. 4, pp. 1197--1216, 2016.","apa":"Abshoff, S., Kling, P., Markarian, C., Meyer auf der Heide, F., &#38; Pietrzyk, P. (2016). Towards the price of leasing online. <i>Journal of Combinatorial Optimization</i>, (4), 1197--1216. <a href=\"https://doi.org/10.1007/s10878-015-9915-5\">https://doi.org/10.1007/s10878-015-9915-5</a>","short":"S. Abshoff, P. Kling, C. Markarian, F. Meyer auf der Heide, P. Pietrzyk, Journal of Combinatorial Optimization (2016) 1197--1216.","chicago":"Abshoff, Sebastian, Peter Kling, Christine Markarian, Friedhelm Meyer auf der Heide, and Peter  Pietrzyk. “Towards the Price of Leasing Online.” <i>Journal of Combinatorial Optimization</i>, no. 4 (2016): 1197--1216. <a href=\"https://doi.org/10.1007/s10878-015-9915-5\">https://doi.org/10.1007/s10878-015-9915-5</a>."},"date_updated":"2022-01-06T06:51:46Z","year":"2016","title":"Towards the price of leasing online","author":[{"first_name":"Sebastian","last_name":"Abshoff","full_name":"Abshoff, Sebastian"},{"first_name":"Peter","last_name":"Kling","full_name":"Kling, Peter"},{"id":"37612","full_name":"Markarian, Christine","last_name":"Markarian","first_name":"Christine"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide"},{"last_name":"Pietrzyk","first_name":"Peter ","full_name":"Pietrzyk, Peter "}],"doi":"10.1007/s10878-015-9915-5","language":[{"iso":"eng"}],"abstract":[{"text":"We consider online optimization problems in which certain goods have to be acquired in order to provide a service or infrastructure. Classically, decisions for such problems are considered as final: one buys the goods. However, in many real world applications, there is a shift away from the idea of buying goods. Instead, leasing is often a more flexible and lucrative business model. Research has realized this shift and recently initiated the theoretical study of leasing models (Anthony and Gupta in Proceedings of the integer programming and combinatorial optimization: 12th International IPCO Conference, Ithaca, NY, USA, June 25–27, 2007; Meyerson in Proceedings of the 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS 2005), 23–25 Oct 2005, Pittsburgh, PA, USA, 2005; Nagarajan and Williamson in Discret Optim 10(4):361–370, 2013) We extend this line of work and suggest a more systematic study of leasing aspects for a class of online optimization problems. We provide two major technical results. We introduce the leasing variant of online set multicover and give an O(log(mK)logn)-competitive algorithm (with n, m, and K being the number of elements, sets, and leases, respectively). Our results also imply improvements for the non-leasing variant of online set cover. Moreover, we extend results for the leasing variant of online facility location. Nagarajan and Williamson (Discret Optim 10(4):361–370, 2013) gave an O(Klogn)-competitive algorithm for this problem (with n and K being the number of clients and leases, respectively). We remove the dependency on n (and, thereby, on time). In general, this leads to a bound of O(lmaxloglmax) (with the maximal lease length lmax). For many natural problem instances, the bound improves to O(K2).","lang":"eng"}],"issue":"4","publication":"Journal of Combinatorial Optimization","type":"journal_article","department":[{"_id":"63"}],"file":[{"file_name":"Abshoff-TowardsThePriceOfLeasingOnline.pdf","access_level":"closed","file_size":654903,"relation":"main_file","date_updated":"2018-11-02T15:57:25Z","file_id":"5318","success":1,"content_type":"application/pdf","creator":"ups","date_created":"2018-11-02T15:57:25Z"}],"date_created":"2017-10-17T12:41:18Z"},{"file":[{"creator":"florida","date_created":"2018-03-21T13:00:24Z","relation":"main_file","date_updated":"2018-03-21T13:00:24Z","file_name":"140-Dissertation-Alexander_Jungmann.pdf","access_level":"closed","file_size":8006614,"file_id":"1559","content_type":"application/pdf","success":1}],"date_created":"2017-10-17T12:41:18Z","type":"dissertation","department":[{"_id":"70"}],"file_date_updated":"2018-03-21T13:00:24Z","supervisor":[{"full_name":"Rammig, Franz","first_name":"Franz","last_name":"Rammig"}],"citation":{"mla":"Jungmann, Alexander. <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn, 2016.","bibtex":"@book{Jungmann_2016, title={Towards On-The-Fly Image Processing}, publisher={Universität Paderborn}, author={Jungmann, Alexander}, year={2016} }","ama":"Jungmann A. <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn; 2016.","ieee":"A. Jungmann, <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn, 2016.","apa":"Jungmann, A. (2016). <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn.","short":"A. Jungmann, Towards On-The-Fly Image Processing, Universität Paderborn, 2016.","chicago":"Jungmann, Alexander. <i>Towards On-The-Fly Image Processing</i>. Universität Paderborn, 2016."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B2","_id":"10"},{"name":"SFB 901 - Project Area B","_id":"3"}],"publisher":"Universität Paderborn","_id":"140","ddc":["040"],"user_id":"477","status":"public","title":"Towards On-The-Fly Image Processing","year":"2016","author":[{"full_name":"Jungmann, Alexander","first_name":"Alexander","last_name":"Jungmann"}],"date_updated":"2022-01-06T06:51:49Z","has_accepted_license":"1"},{"department":[{"_id":"355"}],"type":"dissertation","date_created":"2017-10-17T12:41:19Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"10","name":"SFB 901 - Subprojekt B2"},{"_id":"3","name":"SFB 901 - Project Area B"}],"citation":{"mla":"Mohr, Felix. <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn, 2016, doi:<a href=\"https://doi.org/10.17619/UNIPB/1-171\">10.17619/UNIPB/1-171</a>.","bibtex":"@book{Mohr_2016, title={Towards Automated Service Composition Under Quality Constraints}, DOI={<a href=\"https://doi.org/10.17619/UNIPB/1-171\">10.17619/UNIPB/1-171</a>}, publisher={Universität Paderborn}, author={Mohr, Felix}, year={2016} }","ama":"Mohr F. <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn; 2016. doi:<a href=\"https://doi.org/10.17619/UNIPB/1-171\">10.17619/UNIPB/1-171</a>","ieee":"F. Mohr, <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn, 2016.","apa":"Mohr, F. (2016). <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn. <a href=\"https://doi.org/10.17619/UNIPB/1-171\">https://doi.org/10.17619/UNIPB/1-171</a>","chicago":"Mohr, Felix. <i>Towards Automated Service Composition Under Quality Constraints</i>. Universität Paderborn, 2016. <a href=\"https://doi.org/10.17619/UNIPB/1-171\">https://doi.org/10.17619/UNIPB/1-171</a>.","short":"F. Mohr, Towards Automated Service Composition Under Quality Constraints, Universität Paderborn, 2016."},"supervisor":[{"full_name":"Kleine Büning, Hans","first_name":"Hans","last_name":"Kleine Büning"}],"user_id":"477","doi":"10.17619/UNIPB/1-171","publisher":"Universität Paderborn","_id":"141","date_updated":"2022-01-06T06:51:55Z","author":[{"full_name":"Mohr, Felix","first_name":"Felix","last_name":"Mohr"}],"title":"Towards Automated Service Composition Under Quality Constraints","year":"2016","status":"public"},{"has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"477","page":"71--84","_id":"142","project":[{"_id":"1","name":"SFB 901"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"file_date_updated":"2018-03-21T12:59:29Z","citation":{"mla":"Scheideler, Christian, et al. “Towards a Universal Approach for Monotonic Searchability in Self-Stabilizing Overlay Networks.” <i>Proceedings of the 30th International Symposium on Distributed Computing (DISC)</i>, 2016, pp. 71--84, doi:<a href=\"https://doi.org/10.1007/978-3-662-53426-7_6\">10.1007/978-3-662-53426-7_6</a>.","ama":"Scheideler C, Setzer A, Strothmann TF. Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. In: <i>Proceedings of the 30th International Symposium on Distributed Computing (DISC)</i>. LNCS. ; 2016:71--84. doi:<a href=\"https://doi.org/10.1007/978-3-662-53426-7_6\">10.1007/978-3-662-53426-7_6</a>","bibtex":"@inproceedings{Scheideler_Setzer_Strothmann_2016, series={LNCS}, title={Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-53426-7_6\">10.1007/978-3-662-53426-7_6</a>}, booktitle={Proceedings of the 30th International Symposium on Distributed Computing (DISC)}, author={Scheideler, Christian and Setzer, Alexander and Strothmann, Thim Frederik}, year={2016}, pages={71--84}, collection={LNCS} }","apa":"Scheideler, C., Setzer, A., &#38; Strothmann, T. F. (2016). Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks. In <i>Proceedings of the 30th International Symposium on Distributed Computing (DISC)</i> (pp. 71--84). <a href=\"https://doi.org/10.1007/978-3-662-53426-7_6\">https://doi.org/10.1007/978-3-662-53426-7_6</a>","ieee":"C. Scheideler, A. Setzer, and T. F. Strothmann, “Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks,” in <i>Proceedings of the 30th International Symposium on Distributed Computing (DISC)</i>, 2016, pp. 71--84.","chicago":"Scheideler, Christian, Alexander Setzer, and Thim Frederik Strothmann. “Towards a Universal Approach for Monotonic Searchability in Self-Stabilizing Overlay Networks.” In <i>Proceedings of the 30th International Symposium on Distributed Computing (DISC)</i>, 71--84. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-662-53426-7_6\">https://doi.org/10.1007/978-3-662-53426-7_6</a>.","short":"C. Scheideler, A. Setzer, T.F. Strothmann, in: Proceedings of the 30th International Symposium on Distributed Computing (DISC), 2016, pp. 71--84."},"date_updated":"2022-01-06T06:51:56Z","title":"Towards a Universal Approach for Monotonic Searchability in Self-stabilizing Overlay Networks","year":"2016","author":[{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"},{"id":"11108","last_name":"Setzer","first_name":"Alexander","full_name":"Setzer, Alexander"},{"id":"11319","last_name":"Strothmann","first_name":"Thim Frederik","full_name":"Strothmann, Thim Frederik"}],"doi":"10.1007/978-3-662-53426-7_6","language":[{"iso":"eng"}],"series_title":"LNCS","abstract":[{"lang":"eng","text":"For overlay networks, the ability to recover from a variety of problems like membership changes or faults is a key element to preserve their functionality. In recent years, various self-stabilizing overlay networks have been proposed that have the advantage of being able to recover from any illegal state. However, the vast majority of these networks cannot give any guarantees on its functionality while the recovery process is going on. We are especially interested in searchability, i.e., the functionality that search messages for a specific identifier are answered successfully if a node with that identifier exists in the network. We investigate overlay networks that are not only self-stabilizing but that also ensure that monotonic searchability is maintained while the recovery process is going on, as long as there are no corrupted messages in the system. More precisely, once a search message from node u to another node v is successfully delivered, all future search messages from u to v succeed as well. Monotonic searchability was recently introduced in OPODIS 2015, in which the authors provide a solution for a simple line topology.We present the first universal approach to maintain monotonic searchability that is applicable to a wide range of topologies. As the base for our approach, we introduce a set of primitives for manipulating overlay networks that allows us to maintain searchability and show how existing protocols can be transformed to use theses primitives.We complement this result with a generic search protocol that together with the use of our primitives guarantees monotonic searchability.As an additional feature, searching existing nodes with the generic search protocol is as fast as searching a node with any other fixed routing protocol once the topology has stabilized."}],"publication":"Proceedings of the 30th International Symposium on Distributed Computing (DISC)","type":"conference","department":[{"_id":"79"}],"file":[{"date_updated":"2018-03-21T12:59:29Z","relation":"main_file","file_size":209638,"access_level":"closed","file_name":"142-SchSetStrDISC16.pdf","success":1,"content_type":"application/pdf","file_id":"1558","creator":"florida","date_created":"2018-03-21T12:59:29Z"}],"date_created":"2017-10-17T12:41:19Z"},{"project":[{"name":"SFB 901","_id":"1"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"name":"SFB 901 - Project Area A","_id":"2"}],"citation":{"chicago":"Abu-Khzam, Faisal N. , Shouwei Li, Christine Markarian, Friedhelm Meyer auf der Heide, and Pavel Podlipyan. “The Monotone Circuit Value Problem with Bounded Genus Is in NC.” In <i>Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)</i>, 92–102. LNCS, 2016. <a href=\"https://doi.org/10.1007/978-3-319-42634-1_8\">https://doi.org/10.1007/978-3-319-42634-1_8</a>.","short":"F.N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, P. Podlipyan, in: Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON), 2016, pp. 92–102.","apa":"Abu-Khzam, F. N., Li, S., Markarian, C., Meyer auf der Heide, F., &#38; Podlipyan, P. (2016). The Monotone Circuit Value Problem with Bounded Genus Is in NC. In <i>Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)</i> (pp. 92–102). <a href=\"https://doi.org/10.1007/978-3-319-42634-1_8\">https://doi.org/10.1007/978-3-319-42634-1_8</a>","ieee":"F. N. Abu-Khzam, S. Li, C. Markarian, F. Meyer auf der Heide, and P. Podlipyan, “The Monotone Circuit Value Problem with Bounded Genus Is in NC,” in <i>Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)</i>, 2016, pp. 92–102.","ama":"Abu-Khzam FN, Li S, Markarian C, Meyer auf der Heide F, Podlipyan P. The Monotone Circuit Value Problem with Bounded Genus Is in NC. In: <i>Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)</i>. LNCS. ; 2016:92-102. doi:<a href=\"https://doi.org/10.1007/978-3-319-42634-1_8\">10.1007/978-3-319-42634-1_8</a>","bibtex":"@inproceedings{Abu-Khzam_Li_Markarian_Meyer auf der Heide_Podlipyan_2016, series={LNCS}, title={The Monotone Circuit Value Problem with Bounded Genus Is in NC}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-42634-1_8\">10.1007/978-3-319-42634-1_8</a>}, booktitle={Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)}, author={Abu-Khzam, Faisal N.  and Li, Shouwei and Markarian, Christine and Meyer auf der Heide, Friedhelm and Podlipyan, Pavel}, year={2016}, pages={92–102}, collection={LNCS} }","mla":"Abu-Khzam, Faisal N., et al. “The Monotone Circuit Value Problem with Bounded Genus Is in NC.” <i>Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)</i>, 2016, pp. 92–102, doi:<a href=\"https://doi.org/10.1007/978-3-319-42634-1_8\">10.1007/978-3-319-42634-1_8</a>."},"file_date_updated":"2018-11-02T14:20:45Z","user_id":"477","ddc":["000"],"_id":"143","page":"92-102","has_accepted_license":"1","status":"public","department":[{"_id":"63"}],"type":"conference","date_created":"2017-10-17T12:41:19Z","file":[{"date_created":"2018-11-02T14:20:45Z","creator":"ups","file_id":"5269","success":1,"content_type":"application/pdf","file_name":"TheMonotoneCircuitValueProblem.pdf","access_level":"closed","file_size":234587,"relation":"main_file","date_updated":"2018-11-02T14:20:45Z"}],"abstract":[{"lang":"eng","text":"We present an efficient parallel algorithm for the general Monotone Circuit Value Problem (MCVP) with n gates and an underlying graph of bounded genus k. Our algorithm generalizes a recent result by Limaye et al. who showed that MCVP with toroidal embedding (genus 1) is in NC when the input contains a toroidal embedding of the circuit. In addition to extending this result from genus 1 to any bounded genus k, and unlike the work reported by Limaye et al., we do not require a precomputed embedding to be given. Most importantly, our results imply that given a P-complete problem, it is possible to find an algorithm that makes the problem fall into NC by fixing one or more parameters. Hence, we deduce the interesting analogy: Fixed Parameter Parallelizable (FPP) is with respect to P-complete what Fixed Parameter Tractable (FPT) is with respect to NP-complete. Similar work that uses treewidth as parameter was also presented by Elberfeld et al. in [6]."}],"publication":"Proceedings of the 22nd International Conference on Computing and Combinatorics (COCOON)","doi":"10.1007/978-3-319-42634-1_8","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T06:51:57Z","author":[{"first_name":"Faisal N. ","last_name":"Abu-Khzam","full_name":"Abu-Khzam, Faisal N. "},{"last_name":"Li","first_name":"Shouwei","full_name":"Li, Shouwei"},{"full_name":"Markarian, Christine","last_name":"Markarian","first_name":"Christine","id":"37612"},{"first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm","id":"15523"},{"last_name":"Podlipyan","first_name":"Pavel","full_name":"Podlipyan, Pavel"}],"title":"The Monotone Circuit Value Problem with Bounded Genus Is in NC","year":"2016"},{"doi":"10.1016/j.tcs.2016.04.013","language":[{"iso":"eng"}],"intvolume":"       634","date_updated":"2022-01-06T06:51:59Z","author":[{"first_name":"Burkhard","last_name":"Monien","full_name":"Monien, Burkhard"},{"full_name":"Mavronicolas, Marios","first_name":"Marios","last_name":"Mavronicolas"}],"year":"2016","title":"The complexity of equilibria for risk-modeling valuations","type":"journal_article","date_created":"2017-10-17T12:41:20Z","file":[{"success":1,"content_type":"application/pdf","file_id":"1557","file_size":633599,"access_level":"closed","file_name":"144-Monien_Mavronicolas-TCS2016_01.pdf","date_updated":"2018-03-21T12:58:42Z","relation":"main_file","date_created":"2018-03-21T12:58:42Z","creator":"florida"}],"abstract":[{"text":"Following the direction pioneered by Fiat and Papadimitriou in their 2010 paper [12], we study the complexity of deciding the existence of mixed equilibria for minimization games where players use valuations other than expectation to evaluate their costs. We consider risk-averse players seeking to minimize the sum V=E+R of expectationE and a risk valuationR of their costs; R is non-negative and vanishes exactly when the cost incurred to a player is constant over all choices of strategies by the other players. In a V-equilibrium, no player could unilaterally reduce her cost.Say that V has the Weak-Equilibrium-for-Expectation property if all strategies supported in a player's best-response mixed strategy incur the same conditional expectation of her cost. We introduce E-strict concavity and observe that every E-strictly concave valuation has the Weak-Equilibrium-for-Expectation property. We focus on a broad class of valuations shown to have the Weak-Equilibrium-for-Expectation property, which we exploit to prove two main complexity results, the first of their kind, for the two simplest cases of the problem:• Two strategies: Deciding the existence of a V-equilibrium is strongly NP-hard for the restricted class of player-specific scheduling games on two ordered links [22], when choosing R as (1)Var (variance), or (2)SD (standard deviation), or (3) a concave linear sum of even moments of small order.• Two players: Deciding the existence of a V-equilibrium is strongly NP-hard when choosing R as (1)γ⋅Var, or (2)γ⋅SD, where γ>0 is the risk-coefficient, or choosing V as (3) a convex combination of E+γ⋅Var and the concave ν-valuationν−1(E(ν(⋅))), where ν(x)=xr, with r≥2. This is a concrete consequence of a general strong NP-hardness result that only needs the Weak-Equilibrium-for-Expectation property and a few additional properties for V; its proof involves a reduction with a single parameter, which can be chosen efficiently so that each valuation satisfies the additional properties.","lang":"eng"}],"publication":"Theoretical Computer Science","volume":634,"ddc":["040"],"user_id":"42447","publisher":"Elsevier","_id":"144","page":"67-96","has_accepted_license":"1","status":"public","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A3","_id":"7"},{"_id":"2","name":"SFB 901 - Project Area A"}],"citation":{"apa":"Monien, B., &#38; Mavronicolas, M. (2016). The complexity of equilibria for risk-modeling valuations. <i>Theoretical Computer Science</i>, <i>634</i>, 67–96. <a href=\"https://doi.org/10.1016/j.tcs.2016.04.013\">https://doi.org/10.1016/j.tcs.2016.04.013</a>","ieee":"B. Monien and M. Mavronicolas, “The complexity of equilibria for risk-modeling valuations,” <i>Theoretical Computer Science</i>, vol. 634, pp. 67–96, 2016.","short":"B. Monien, M. Mavronicolas, Theoretical Computer Science 634 (2016) 67–96.","chicago":"Monien, Burkhard, and Marios Mavronicolas. “The Complexity of Equilibria for Risk-Modeling Valuations.” <i>Theoretical Computer Science</i> 634 (2016): 67–96. <a href=\"https://doi.org/10.1016/j.tcs.2016.04.013\">https://doi.org/10.1016/j.tcs.2016.04.013</a>.","mla":"Monien, Burkhard, and Marios Mavronicolas. “The Complexity of Equilibria for Risk-Modeling Valuations.” <i>Theoretical Computer Science</i>, vol. 634, Elsevier, 2016, pp. 67–96, doi:<a href=\"https://doi.org/10.1016/j.tcs.2016.04.013\">10.1016/j.tcs.2016.04.013</a>.","ama":"Monien B, Mavronicolas M. The complexity of equilibria for risk-modeling valuations. <i>Theoretical Computer Science</i>. 2016;634:67-96. doi:<a href=\"https://doi.org/10.1016/j.tcs.2016.04.013\">10.1016/j.tcs.2016.04.013</a>","bibtex":"@article{Monien_Mavronicolas_2016, title={The complexity of equilibria for risk-modeling valuations}, volume={634}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2016.04.013\">10.1016/j.tcs.2016.04.013</a>}, journal={Theoretical Computer Science}, publisher={Elsevier}, author={Monien, Burkhard and Mavronicolas, Marios}, year={2016}, pages={67–96} }"},"file_date_updated":"2018-03-21T12:58:42Z"},{"has_accepted_license":"1","status":"public","user_id":"14052","ddc":["040"],"volume":28,"page":"1655-1677","_id":"145","publisher":"Wiley Online Library","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"name":"SFB 901 - Project Area A","_id":"2"}],"file_date_updated":"2018-03-21T12:57:57Z","citation":{"bibtex":"@article{Feldotto_Graffi_2016, title={Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM}, volume={28}, DOI={<a href=\"https://doi.org/10.1002/cpe.3716\">10.1002/cpe.3716</a>}, number={5}, journal={Concurrency and Computation: Practice and Experience}, publisher={Wiley Online Library}, author={Feldotto, Matthias and Graffi, Kalman}, year={2016}, pages={1655–1677} }","ama":"Feldotto M, Graffi K. Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. <i>Concurrency and Computation: Practice and Experience</i>. 2016;28(5):1655-1677. doi:<a href=\"https://doi.org/10.1002/cpe.3716\">10.1002/cpe.3716</a>","short":"M. Feldotto, K. Graffi, Concurrency and Computation: Practice and Experience 28 (2016) 1655–1677.","chicago":"Feldotto, Matthias, and Kalman Graffi. “Systematic Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM.” <i>Concurrency and Computation: Practice and Experience</i> 28, no. 5 (2016): 1655–77. <a href=\"https://doi.org/10.1002/cpe.3716\">https://doi.org/10.1002/cpe.3716</a>.","ieee":"M. Feldotto and K. Graffi, “Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM,” <i>Concurrency and Computation: Practice and Experience</i>, vol. 28, no. 5, pp. 1655–1677, 2016.","apa":"Feldotto, M., &#38; Graffi, K. (2016). Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM. <i>Concurrency and Computation: Practice and Experience</i>, <i>28</i>(5), 1655–1677. <a href=\"https://doi.org/10.1002/cpe.3716\">https://doi.org/10.1002/cpe.3716</a>","mla":"Feldotto, Matthias, and Kalman Graffi. “Systematic Evaluation of Peer-to-Peer Systems Using PeerfactSim.KOM.” <i>Concurrency and Computation: Practice and Experience</i>, vol. 28, no. 5, Wiley Online Library, 2016, pp. 1655–77, doi:<a href=\"https://doi.org/10.1002/cpe.3716\">10.1002/cpe.3716</a>."},"publication_status":"published","date_updated":"2022-01-06T06:52:00Z","intvolume":"        28","title":"Systematic evaluation of peer-to-peer systems using PeerfactSim.KOM","year":"2016","author":[{"last_name":"Feldotto","orcid":"0000-0003-1348-6516","first_name":"Matthias","full_name":"Feldotto, Matthias","id":"14052"},{"last_name":"Graffi","first_name":"Kalman","full_name":"Graffi, Kalman"}],"doi":"10.1002/cpe.3716","abstract":[{"lang":"eng","text":"Comparative evaluations of peer-to-peer protocols through simulations are a viable approach to judge the performance and costs of the individual protocols in large-scale networks. In order to support this work, we present the peer-to-peer system simulator PeerfactSim.KOM, which we extended over the last years. PeerfactSim.KOM comes with an extensive layer model to support various facets and protocols of peer-to-peer networking. In this article, we describe PeerfactSim.KOM and show how it can be used for detailed measurements of large-scale peer-to-peer networks. We enhanced PeerfactSim.KOM with a fine-grained analyzer concept, with exhaustive automated measurements and gnuplot generators as well as a coordination control to evaluate sets of experiment setups in parallel. Thus, by configuring all experiments and protocols only once and starting the simulator, all desired measurements are performed, analyzed, evaluated, and combined, resulting in a holistic environment for the comparative evaluation of peer-to-peer systems. An immediate comparison of different configurations and overlays under different aspects is possible directly after the execution without any manual post-processing. "}],"issue":"5","publication":"Concurrency and Computation: Practice and Experience","type":"journal_article","department":[{"_id":"79"},{"_id":"63"},{"_id":"541"}],"file":[{"date_created":"2018-03-21T12:57:57Z","creator":"florida","file_id":"1556","success":1,"content_type":"application/pdf","relation":"main_file","date_updated":"2018-03-21T12:57:57Z","file_name":"145-Feldotto_et_al-2016-Concurrency_and_Computation-_Practice_and_Experience.pdf","access_level":"closed","file_size":3121363}],"date_created":"2017-10-17T12:41:20Z"},{"status":"public","page":"293-312","_id":"1450","publisher":"Springer Nature","user_id":"67265","volume":14,"citation":{"bibtex":"@article{Pelster_Hagemann_Laporte Uribe_2016, title={Key Aspects of a Sustainable Health Insurance System in Germany}, volume={14}, DOI={<a href=\"https://doi.org/10.1007/s40258-016-0223-8\">10.1007/s40258-016-0223-8</a>}, number={3}, journal={Applied Health Economics and Health Policy}, publisher={Springer Nature}, author={Pelster, Matthias and Hagemann, Vera and Laporte Uribe, Franziska}, year={2016}, pages={293–312} }","ama":"Pelster M, Hagemann V, Laporte Uribe F. Key Aspects of a Sustainable Health Insurance System in Germany. <i>Applied Health Economics and Health Policy</i>. 2016;14(3):293-312. doi:<a href=\"https://doi.org/10.1007/s40258-016-0223-8\">10.1007/s40258-016-0223-8</a>","mla":"Pelster, Matthias, et al. “Key Aspects of a Sustainable Health Insurance System in Germany.” <i>Applied Health Economics and Health Policy</i>, vol. 14, no. 3, Springer Nature, 2016, pp. 293–312, doi:<a href=\"https://doi.org/10.1007/s40258-016-0223-8\">10.1007/s40258-016-0223-8</a>.","chicago":"Pelster, Matthias, Vera Hagemann, and Franziska Laporte Uribe. “Key Aspects of a Sustainable Health Insurance System in Germany.” <i>Applied Health Economics and Health Policy</i> 14, no. 3 (2016): 293–312. <a href=\"https://doi.org/10.1007/s40258-016-0223-8\">https://doi.org/10.1007/s40258-016-0223-8</a>.","short":"M. Pelster, V. Hagemann, F. Laporte Uribe, Applied Health Economics and Health Policy 14 (2016) 293–312.","ieee":"M. Pelster, V. Hagemann, and F. Laporte Uribe, “Key Aspects of a Sustainable Health Insurance System in Germany,” <i>Applied Health Economics and Health Policy</i>, vol. 14, no. 3, pp. 293–312, 2016.","apa":"Pelster, M., Hagemann, V., &#38; Laporte Uribe, F. (2016). Key Aspects of a Sustainable Health Insurance System in Germany. <i>Applied Health Economics and Health Policy</i>, <i>14</i>(3), 293–312. <a href=\"https://doi.org/10.1007/s40258-016-0223-8\">https://doi.org/10.1007/s40258-016-0223-8</a>"},"year":"2016","title":"Key Aspects of a Sustainable Health Insurance System in Germany","publication_identifier":{"issn":["1175-5652","1179-1896"]},"author":[{"id":"67265","first_name":"Matthias","orcid":" https://orcid.org/0000-0001-5740-2420","last_name":"Pelster","full_name":"Pelster, Matthias"},{"full_name":"Hagemann, Vera","last_name":"Hagemann","first_name":"Vera"},{"last_name":"Laporte Uribe","first_name":"Franziska","full_name":"Laporte Uribe, Franziska"}],"date_updated":"2022-01-06T06:52:00Z","publication_status":"published","intvolume":"        14","doi":"10.1007/s40258-016-0223-8","issue":"3","publication":"Applied Health Economics and Health Policy","extern":"1","date_created":"2018-03-20T11:32:44Z","type":"journal_article","department":[{"_id":"186"},{"_id":"578"}]},{"publication":"Physik in unserer Zeit","issue":"4","citation":{"mla":"Zentgraf, Thomas. “Doppler-Effekt Für Rotierende Objekte.” <i>Physik in Unserer Zeit</i>, vol. 47, no. 4, Wiley-Blackwell, 2016, pp. 163–64, doi:<a href=\"https://doi.org/10.1002/piuz.201690063\">10.1002/piuz.201690063</a>.","bibtex":"@article{Zentgraf_2016, title={Doppler-Effekt für rotierende Objekte}, volume={47}, DOI={<a href=\"https://doi.org/10.1002/piuz.201690063\">10.1002/piuz.201690063</a>}, number={4}, journal={Physik in unserer Zeit}, publisher={Wiley-Blackwell}, author={Zentgraf, Thomas}, year={2016}, pages={163–164} }","ama":"Zentgraf T. Doppler-Effekt für rotierende Objekte. <i>Physik in unserer Zeit</i>. 2016;47(4):163-164. doi:<a href=\"https://doi.org/10.1002/piuz.201690063\">10.1002/piuz.201690063</a>","ieee":"T. Zentgraf, “Doppler-Effekt für rotierende Objekte,” <i>Physik in unserer Zeit</i>, vol. 47, no. 4, pp. 163–164, 2016.","apa":"Zentgraf, T. (2016). Doppler-Effekt für rotierende Objekte. <i>Physik in Unserer Zeit</i>, <i>47</i>(4), 163–164. <a href=\"https://doi.org/10.1002/piuz.201690063\">https://doi.org/10.1002/piuz.201690063</a>","chicago":"Zentgraf, Thomas. “Doppler-Effekt Für Rotierende Objekte.” <i>Physik in Unserer Zeit</i> 47, no. 4 (2016): 163–64. <a href=\"https://doi.org/10.1002/piuz.201690063\">https://doi.org/10.1002/piuz.201690063</a>.","short":"T. Zentgraf, Physik in Unserer Zeit 47 (2016) 163–164."},"date_created":"2018-03-20T18:20:07Z","type":"journal_article","department":[{"_id":"15"},{"_id":"230"}],"status":"public","year":"2016","title":"Doppler-Effekt für rotierende Objekte","publication_identifier":{"issn":["0031-9252"]},"author":[{"id":"30525","last_name":"Zentgraf","first_name":"Thomas","orcid":"0000-0002-8662-1101","full_name":"Zentgraf, Thomas"}],"date_updated":"2022-01-06T06:52:02Z","publication_status":"published","intvolume":"        47","page":"163-164","publisher":"Wiley-Blackwell","_id":"1455","doi":"10.1002/piuz.201690063","user_id":"30525","volume":47},{"date_created":"2017-10-17T12:41:17Z","type":"bachelorsthesis","citation":{"bibtex":"@book{Holzmann_2016, title={Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren}, publisher={Universität Paderborn}, author={Holzmann, Annabel}, year={2016} }","ama":"Holzmann A. <i>Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren</i>. Universität Paderborn; 2016.","mla":"Holzmann, Annabel. <i>Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren</i>. Universität Paderborn, 2016.","short":"A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren, Universität Paderborn, 2016.","chicago":"Holzmann, Annabel. <i>Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren</i>. Universität Paderborn, 2016.","ieee":"A. Holzmann, <i>Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren</i>. Universität Paderborn, 2016.","apa":"Holzmann, A. (2016). <i>Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren</i>. Universität Paderborn."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A4","_id":"8"},{"_id":"2","name":"SFB 901 - Project Area A"}],"publisher":"Universität Paderborn","_id":"131","language":[{"iso":"ger"}],"user_id":"477","author":[{"full_name":"Holzmann, Annabel","first_name":"Annabel","last_name":"Holzmann"}],"year":"2016","title":"Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren","status":"public","date_updated":"2022-01-06T06:51:28Z"},{"date_updated":"2022-01-06T06:51:29Z","year":"2016","status":"public","title":"Using Deep Convolutional Neural Networks in Monte Carlo Tree Search","author":[{"full_name":"Graf, Tobias","first_name":"Tobias","last_name":"Graf"},{"id":"398","last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco"}],"user_id":"398","language":[{"iso":"eng"}],"_id":"13151","project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"publication":"Computer and Games","citation":{"short":"T. Graf, M. Platzner, in: Computer and Games, 2016.","chicago":"Graf, Tobias, and Marco Platzner. “Using Deep Convolutional Neural Networks in Monte Carlo Tree Search.” In <i>Computer and Games</i>, 2016.","apa":"Graf, T., &#38; Platzner, M. (2016). Using Deep Convolutional Neural Networks in Monte Carlo Tree Search. In <i>Computer and Games</i>.","ieee":"T. Graf and M. Platzner, “Using Deep Convolutional Neural Networks in Monte Carlo Tree Search,” in <i>Computer and Games</i>, 2016.","ama":"Graf T, Platzner M. Using Deep Convolutional Neural Networks in Monte Carlo Tree Search. In: <i>Computer and Games</i>. ; 2016.","bibtex":"@inproceedings{Graf_Platzner_2016, title={Using Deep Convolutional Neural Networks in Monte Carlo Tree Search}, booktitle={Computer and Games}, author={Graf, Tobias and Platzner, Marco}, year={2016} }","mla":"Graf, Tobias, and Marco Platzner. “Using Deep Convolutional Neural Networks in Monte Carlo Tree Search.” <i>Computer and Games</i>, 2016."},"type":"conference","department":[{"_id":"78"}],"date_created":"2019-09-09T09:01:09Z"},{"citation":{"short":"T. Graf, M. Platzner, in: IEEE Computational Intelligence and Games, 2016.","chicago":"Graf, Tobias, and Marco Platzner. “Monte-Carlo Simulation Balancing Revisited.” In <i>IEEE Computational Intelligence and Games</i>, 2016.","ieee":"T. Graf and M. Platzner, “Monte-Carlo Simulation Balancing Revisited,” in <i>IEEE Computational Intelligence and Games</i>, 2016.","apa":"Graf, T., &#38; Platzner, M. (2016). Monte-Carlo Simulation Balancing Revisited. In <i>IEEE Computational Intelligence and Games</i>.","bibtex":"@inproceedings{Graf_Platzner_2016, title={Monte-Carlo Simulation Balancing Revisited}, booktitle={IEEE Computational Intelligence and Games}, author={Graf, Tobias and Platzner, Marco}, year={2016} }","ama":"Graf T, Platzner M. Monte-Carlo Simulation Balancing Revisited. In: <i>IEEE Computational Intelligence and Games</i>. ; 2016.","mla":"Graf, Tobias, and Marco Platzner. “Monte-Carlo Simulation Balancing Revisited.” <i>IEEE Computational Intelligence and Games</i>, 2016."},"publication":"IEEE Computational Intelligence and Games","project":[{"_id":"52","name":"Computing Resources Provided by the Paderborn Center for Parallel Computing"}],"date_created":"2019-09-09T09:06:39Z","department":[{"_id":"78"}],"type":"conference","author":[{"last_name":"Graf","first_name":"Tobias","full_name":"Graf, Tobias"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"}],"title":"Monte-Carlo Simulation Balancing Revisited","status":"public","year":"2016","date_updated":"2022-01-06T06:51:29Z","_id":"13152","language":[{"iso":"eng"}],"user_id":"398"},{"language":[{"iso":"eng"}],"_id":"13164","page":"1632-1636","user_id":"15164","doi":"10.1021/acs.jced.5b01007","author":[{"last_name":"Dubberke","first_name":"Frithjof H.","full_name":"Dubberke, Frithjof H."},{"last_name":"Riepold","first_name":"Markus","full_name":"Riepold, Markus"},{"id":"15164","full_name":"Baumhögger, Elmar","first_name":"Elmar","last_name":"Baumhögger"},{"full_name":"Vrabec, Jadran","first_name":"Jadran","last_name":"Vrabec"}],"publication_identifier":{"issn":["0021-9568","1520-5134"]},"year":"2016","status":"public","title":"Speed of Sound of Oxygen in Supercritical States up to 500 K and 100 MPa","publication_status":"published","date_updated":"2022-01-06T06:51:29Z","date_created":"2019-09-09T15:17:09Z","department":[{"_id":"155"}],"type":"journal_article","citation":{"ama":"Dubberke FH, Riepold M, Baumhögger E, Vrabec J. Speed of Sound of Oxygen in Supercritical States up to 500 K and 100 MPa. <i>Journal of Chemical &#38; Engineering Data</i>. 2016:1632-1636. doi:<a href=\"https://doi.org/10.1021/acs.jced.5b01007\">10.1021/acs.jced.5b01007</a>","bibtex":"@article{Dubberke_Riepold_Baumhögger_Vrabec_2016, title={Speed of Sound of Oxygen in Supercritical States up to 500 K and 100 MPa}, DOI={<a href=\"https://doi.org/10.1021/acs.jced.5b01007\">10.1021/acs.jced.5b01007</a>}, journal={Journal of Chemical &#38; Engineering Data}, author={Dubberke, Frithjof H. and Riepold, Markus and Baumhögger, Elmar and Vrabec, Jadran}, year={2016}, pages={1632–1636} }","mla":"Dubberke, Frithjof H., et al. “Speed of Sound of Oxygen in Supercritical States up to 500 K and 100 MPa.” <i>Journal of Chemical &#38; Engineering Data</i>, 2016, pp. 1632–36, doi:<a href=\"https://doi.org/10.1021/acs.jced.5b01007\">10.1021/acs.jced.5b01007</a>.","chicago":"Dubberke, Frithjof H., Markus Riepold, Elmar Baumhögger, and Jadran Vrabec. “Speed of Sound of Oxygen in Supercritical States up to 500 K and 100 MPa.” <i>Journal of Chemical &#38; Engineering Data</i>, 2016, 1632–36. <a href=\"https://doi.org/10.1021/acs.jced.5b01007\">https://doi.org/10.1021/acs.jced.5b01007</a>.","short":"F.H. Dubberke, M. Riepold, E. Baumhögger, J. Vrabec, Journal of Chemical &#38; Engineering Data (2016) 1632–1636.","apa":"Dubberke, F. H., Riepold, M., Baumhögger, E., &#38; Vrabec, J. (2016). Speed of Sound of Oxygen in Supercritical States up to 500 K and 100 MPa. <i>Journal of Chemical &#38; Engineering Data</i>, 1632–1636. <a href=\"https://doi.org/10.1021/acs.jced.5b01007\">https://doi.org/10.1021/acs.jced.5b01007</a>","ieee":"F. H. Dubberke, M. Riepold, E. Baumhögger, and J. Vrabec, “Speed of Sound of Oxygen in Supercritical States up to 500 K and 100 MPa,” <i>Journal of Chemical &#38; Engineering Data</i>, pp. 1632–1636, 2016."},"publication":"Journal of Chemical & Engineering Data"},{"date_updated":"2022-01-06T06:51:30Z","author":[{"last_name":"Wiersema","first_name":"Tobias","full_name":"Wiersema, Tobias","id":"3118"},{"id":"398","full_name":"Platzner, Marco","first_name":"Marco","last_name":"Platzner"}],"year":"2016","title":"Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware","doi":"10.1109/ReCoSoC.2016.7533910","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Runtime reconfiguration can be used to replace hardware modules in the field and even to continuously improve them during operation. Runtime reconfiguration poses new challenges for validation, since the required properties of newly arriving modules may be difficult to check fast enough to sustain the intended system dynamics. In this paper we present a method for just-in-time verification of the worst-case completion time of a reconfigurable hardware module. We assume so-called run-to-completion modules that exhibit start and done signals indicating the start and end of execution, respectively. We present a formal verification approach that exploits the concept of proof-carrying hardware. The approach tasks the creator of a hardware module with constructing a proof of the worst-case completion time, which can then easily be checked by the user of the module, just prior to reconfiguration. After explaining the verification approach and a corresponding tool flow, we present results from two case studies, a short term synthesis filter and a multihead weigher. The resultsclearly show that cost of verifying the completion time of the module is paid by the creator instead of the user of the module."}],"publication":"Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)","department":[{"_id":"78"}],"type":"conference","date_created":"2017-10-17T12:41:17Z","file":[{"creator":"florida","date_created":"2018-03-21T13:02:30Z","file_name":"132-07533910.pdf","access_level":"closed","file_size":911171,"relation":"main_file","date_updated":"2018-03-21T13:02:30Z","file_id":"1562","content_type":"application/pdf","success":1}],"has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"477","_id":"132","page":"1--8","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt B4","_id":"12"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"ieee":"T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware,” in <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)</i>, 2016, pp. 1--8.","apa":"Wiersema, T., &#38; Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)</i> (pp. 1--8). <a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">https://doi.org/10.1109/ReCoSoC.2016.7533910</a>","short":"T. Wiersema, M. Platzner, in: Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8.","chicago":"Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” In <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016)</i>, 1--8, 2016. <a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">https://doi.org/10.1109/ReCoSoC.2016.7533910</a>.","mla":"Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016)</i>, 2016, pp. 1--8, doi:<a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">10.1109/ReCoSoC.2016.7533910</a>.","bibtex":"@inproceedings{Wiersema_Platzner_2016, title={Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware}, DOI={<a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">10.1109/ReCoSoC.2016.7533910</a>}, booktitle={Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)}, author={Wiersema, Tobias and Platzner, Marco}, year={2016}, pages={1--8} }","ama":"Wiersema T, Platzner M. Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In: <i>Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016)</i>. ; 2016:1--8. doi:<a href=\"https://doi.org/10.1109/ReCoSoC.2016.7533910\">10.1109/ReCoSoC.2016.7533910</a>"},"file_date_updated":"2018-03-21T13:02:30Z"},{"conference":{"end_date":"2016-07-29","name":"32nd International Conference of the Polymer Processing Society","start_date":"2016-07-25","location":"Lyon"},"author":[{"last_name":"Moritzer","first_name":"Elmar","full_name":"Moritzer, Elmar"},{"full_name":"Hüttner, Matthias","first_name":"Matthias","last_name":"Hüttner"},{"last_name":"Henning","first_name":"Bernd","full_name":"Henning, Bernd","id":"213"},{"id":"11289","orcid":"0000-0001-6411-4232","last_name":"Webersen","first_name":"Manuel","full_name":"Webersen, Manuel"}],"corporate_editor":["The Polymer Processing Society"],"title":"An Approach to Non-Destructive Testing of Aged Polymers","status":"public","year":"2016","date_updated":"2022-01-06T06:51:31Z","_id":"13215","language":[{"iso":"eng"}],"user_id":"11289","citation":{"ama":"Moritzer E, Hüttner M, Henning B, Webersen M. An Approach to Non-Destructive Testing of Aged Polymers. In: The Polymer Processing Society, ed. ; 2016.","bibtex":"@inproceedings{Moritzer_Hüttner_Henning_Webersen_2016, title={An Approach to Non-Destructive Testing of Aged Polymers}, author={Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}, editor={The Polymer Processing SocietyEditor}, year={2016} }","mla":"Moritzer, Elmar, et al. <i>An Approach to Non-Destructive Testing of Aged Polymers</i>. Edited by The Polymer Processing Society, 2016.","short":"E. Moritzer, M. Hüttner, B. Henning, M. Webersen, in: The Polymer Processing Society (Ed.), 2016.","chicago":"Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen. “An Approach to Non-Destructive Testing of Aged Polymers.” edited by The Polymer Processing Society, 2016.","apa":"Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). An Approach to Non-Destructive Testing of Aged Polymers. In The Polymer Processing Society (Ed.). Presented at the 32nd International Conference of the Polymer Processing Society, Lyon.","ieee":"E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “An Approach to Non-Destructive Testing of Aged Polymers,” presented at the 32nd International Conference of the Polymer Processing Society, Lyon, 2016."},"date_created":"2019-09-13T13:13:44Z","department":[{"_id":"49"}],"type":"conference"},{"page":"94-96","language":[{"iso":"ger"}],"_id":"13216","user_id":"11289","year":"2016","status":"public","title":"Molekularen Schäden auf der Spur","author":[{"first_name":"Elmar","last_name":"Moritzer","full_name":"Moritzer, Elmar"},{"first_name":"Matthias","last_name":"Hüttner","full_name":"Hüttner, Matthias"},{"id":"213","first_name":"Bernd","last_name":"Henning","full_name":"Henning, Bernd"},{"id":"11289","last_name":"Webersen","orcid":"0000-0001-6411-4232","first_name":"Manuel","full_name":"Webersen, Manuel"}],"date_updated":"2022-01-06T06:51:31Z","date_created":"2019-09-13T13:15:33Z","type":"journal_article","department":[{"_id":"49"}],"issue":"4","publication":"Kunststoffe","citation":{"chicago":"Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen. “Molekularen Schäden auf der Spur.” <i>Kunststoffe</i>, no. 4 (2016): 94–96.","short":"E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe (2016) 94–96.","ieee":"E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Molekularen Schäden auf der Spur,” <i>Kunststoffe</i>, no. 4, pp. 94–96, 2016.","apa":"Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). Molekularen Schäden auf der Spur. <i>Kunststoffe</i>, (4), 94–96.","bibtex":"@article{Moritzer_Hüttner_Henning_Webersen_2016, title={Molekularen Schäden auf der Spur}, number={4}, journal={Kunststoffe}, author={Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}, year={2016}, pages={94–96} }","ama":"Moritzer E, Hüttner M, Henning B, Webersen M. Molekularen Schäden auf der Spur. <i>Kunststoffe</i>. 2016;(4):94-96.","mla":"Moritzer, Elmar, et al. “Molekularen Schäden auf der Spur.” <i>Kunststoffe</i>, no. 4, 2016, pp. 94–96."}},{"date_created":"2019-09-13T13:16:27Z","department":[{"_id":"49"}],"type":"journal_article","citation":{"bibtex":"@article{Moritzer_Hüttner_Henning_Webersen_2016, title={Detecting Molecular Damage}, number={4}, journal={Kunststoffe International}, author={Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}, year={2016}, pages={43–45} }","ama":"Moritzer E, Hüttner M, Henning B, Webersen M. Detecting Molecular Damage. <i>Kunststoffe International</i>. 2016;(4):43-45.","mla":"Moritzer, Elmar, et al. “Detecting Molecular Damage.” <i>Kunststoffe International</i>, no. 4, 2016, pp. 43–45.","chicago":"Moritzer, Elmar, Matthias Hüttner, Bernd Henning, and Manuel Webersen. “Detecting Molecular Damage.” <i>Kunststoffe International</i>, no. 4 (2016): 43–45.","short":"E. Moritzer, M. Hüttner, B. Henning, M. Webersen, Kunststoffe International (2016) 43–45.","ieee":"E. Moritzer, M. Hüttner, B. Henning, and M. Webersen, “Detecting Molecular Damage,” <i>Kunststoffe International</i>, no. 4, pp. 43–45, 2016.","apa":"Moritzer, E., Hüttner, M., Henning, B., &#38; Webersen, M. (2016). Detecting Molecular Damage. <i>Kunststoffe International</i>, (4), 43–45."},"publication":"Kunststoffe International","issue":"4","language":[{"iso":"eng"}],"_id":"13217","page":"43-45","user_id":"11289","author":[{"last_name":"Moritzer","first_name":"Elmar","full_name":"Moritzer, Elmar"},{"last_name":"Hüttner","first_name":"Matthias","full_name":"Hüttner, Matthias"},{"last_name":"Henning","first_name":"Bernd","full_name":"Henning, Bernd","id":"213"},{"orcid":"0000-0001-6411-4232","last_name":"Webersen","first_name":"Manuel","full_name":"Webersen, Manuel","id":"11289"}],"status":"public","title":"Detecting Molecular Damage","year":"2016","date_updated":"2022-01-06T06:51:31Z"}]