[{"publication_status":"published","date_updated":"2022-01-06T06:57:22Z","intvolume":"       330","status":"public","title":"Learn with, through and {\\ \"about the WWW","year":"2015","author":[{"first_name":"Reinhard ","last_name":"Keil","full_name":"Keil, Reinhard "},{"id":"497","full_name":"Selke, Harald","first_name":"Harald","last_name":"Selke"}],"user_id":"71124","volume":330,"alternative_title":["20 years of learning with the World Wide Web - technology and education in dialogue"],"editor":[{"full_name":"Keil, Reinhard","first_name":"Reinhard","last_name":"Keil"},{"last_name":" Selke","first_name":"Harald","full_name":" Selke, Harald"}],"page":"1-7","publisher":"Publishing series of the Heinz Nixdorf Institute, Paderborn","_id":"26532","language":[{"iso":"eng"}],"citation":{"chicago":"Keil, Reinhard , and Harald Selke. “Learn with, through and {\\ \"about the WWW.” edited by Reinhard Keil and Harald  Selke, 330:1–7. Publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.","ama":"Keil R, Selke H. Learn with, through and {\\ \"about the WWW. In: Keil R,  Selke H, eds. Vol 330. Publishing series of the Heinz Nixdorf Institute, Paderborn; 2015:1-7.","short":"R. Keil, H. Selke, in: R. Keil, H.  Selke (Eds.), Publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 1–7.","bibtex":"@inproceedings{Keil_Selke_2015, title={Learn with, through and {\\ \"about the WWW}, volume={330}, publisher={Publishing series of the Heinz Nixdorf Institute, Paderborn}, author={Keil, Reinhard  and Selke, Harald}, editor={Keil, Reinhard and  Selke, Harald}, year={2015}, pages={1–7} }","mla":"Keil, Reinhard, and Harald Selke. <i>Learn with, through and {\\ \"about the WWW</i>. Edited by Reinhard Keil and Harald  Selke, vol. 330, Publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 1–7.","apa":"Keil, R., &#38; Selke, H. (2015). <i>Learn with, through and {\\ \"about the WWW</i> (R. Keil &#38; H.  Selke, Eds.; Vol. 330, pp. 1–7). Publishing series of the Heinz Nixdorf Institute, Paderborn.","ieee":"R. Keil and H. Selke, “Learn with, through and {\\ \"about the WWW,” 2015, vol. 330, pp. 1–7."},"type":"conference","department":[{"_id":"71"}],"date_created":"2021-10-19T14:13:08Z"},{"alternative_title":["20 years of learning with the World Wide Web - technology and education in dialogue"],"editor":[{"last_name":"Keil","first_name":"Reinhard","full_name":"Keil, Reinhard"},{"full_name":"Selke, Harald","last_name":"Selke","first_name":"Harald"}],"volume":330,"user_id":"71124","_id":"26533","language":[{"iso":"eng"}],"publisher":"publishing series of the Heinz Nixdorf Institute, Paderborn","page":"39-53","intvolume":"       330","date_updated":"2022-01-06T06:57:22Z","publication_status":"published","author":[{"full_name":"Keil, Reinhard ","last_name":"Keil","first_name":"Reinhard "},{"id":"497","full_name":"Selke, Harald","last_name":"Selke","first_name":"Harald"}],"title":"Virtual knowledge {\\ \"a} ume - From the presentation of content to virtual learning {\\\" a} tten","status":"public","year":"2015","department":[{"_id":"71"}],"type":"conference","date_created":"2021-10-19T14:19:23Z","citation":{"ieee":"R. Keil and H. Selke, “Virtual knowledge {\\ ‘a} ume - From the presentation of content to virtual learning {\\’ a} tten,” 2015, vol. 330, pp. 39–53.","apa":"Keil, R., &#38; Selke, H. (2015). <i>Virtual knowledge {\\ “a} ume - From the presentation of content to virtual learning {\\” a} tten</i> (R. Keil &#38; H. Selke, Eds.; Vol. 330, pp. 39–53). publishing series of the Heinz Nixdorf Institute, Paderborn.","short":"R. Keil, H. Selke, in: R. Keil, H. Selke (Eds.), publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.","chicago":"Keil, Reinhard , and Harald Selke. “Virtual Knowledge {\\ ‘A} Ume - From the Presentation of Content to Virtual Learning {\\’ A} Tten.” edited by Reinhard Keil and Harald Selke, 330:39–53. publishing series of the Heinz Nixdorf Institute, Paderborn, 2015.","mla":"Keil, Reinhard, and Harald Selke. <i>Virtual Knowledge {\\ “A} Ume - From the Presentation of Content to Virtual Learning {\\” A} Tten</i>. Edited by Reinhard Keil and Harald Selke, vol. 330, publishing series of the Heinz Nixdorf Institute, Paderborn, 2015, pp. 39–53.","bibtex":"@inproceedings{Keil_Selke_2015, title={Virtual knowledge {\\ “a} ume - From the presentation of content to virtual learning {\\” a} tten}, volume={330}, publisher={publishing series of the Heinz Nixdorf Institute, Paderborn}, author={Keil, Reinhard  and Selke, Harald}, editor={Keil, Reinhard and Selke, Harald}, year={2015}, pages={39–53} }","ama":"Keil R, Selke H. Virtual knowledge {\\ “a} ume - From the presentation of content to virtual learning {\\” a} tten. In: Keil R, Selke H, eds. Vol 330. publishing series of the Heinz Nixdorf Institute, Paderborn; 2015:39-53."}},{"citation":{"mla":"Klompmaker, Florian. <i>Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces</i>. Universitaetsbibliothek Paderborn, 2015.","bibtex":"@book{Klompmaker_2015, place={Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science}, title={Development of a structured process of interaction design for {\\ “u} r nat {\\” u} local user interfaces}, publisher={Universitaetsbibliothek Paderborn}, author={Klompmaker, Florian}, year={2015} }","ama":"Klompmaker F. <i>Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces</i>. Universitaetsbibliothek Paderborn; 2015.","ieee":"F. Klompmaker, <i>Development of a structured process of interaction design for {\\ “u} r nat {\\” u} local user interfaces</i>. Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015.","apa":"Klompmaker, F. (2015). <i>Development of a structured process of interaction design for {\\ “u} r nat {\\” u} local user interfaces</i>. Universitaetsbibliothek Paderborn.","chicago":"Klompmaker, Florian. <i>Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces</i>. Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science: Universitaetsbibliothek Paderborn, 2015.","short":"F. Klompmaker, Development of a Structured Process of Interaction Design for {\\ “U} r Nat {\\” U} Local User Interfaces, Universitaetsbibliothek Paderborn, Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science, 2015."},"department":[{"_id":"71"}],"type":"dissertation","date_created":"2021-10-19T14:22:28Z","place":"Universit {\\ \"a} t Paderborn, Heinz Nixdorf Institute, Contextual Computer Science","publication_status":"published","date_updated":"2022-01-06T06:57:22Z","author":[{"first_name":"Florian","last_name":"Klompmaker","full_name":"Klompmaker, Florian"}],"title":"Development of a structured process of interaction design for {\\ \"u} r nat {\\\" u} local user interfaces","status":"public","year":"2015","user_id":"71124","_id":"26534","publisher":"Universitaetsbibliothek Paderborn","language":[{"iso":"eng"}]},{"year":"2015","status":"public","title":"Empirical validation of design patterns","author":[{"last_name":"Schild","first_name":"Christian","full_name":"Schild, Christian"},{"full_name":"Petrausch, Vanessa","last_name":"Petrausch","first_name":"Vanessa"}],"publication_status":"published","date_updated":"2022-01-06T06:57:22Z","page":"173-182","publisher":"De Gruyter Oldenbourg","_id":"26536","language":[{"iso":"eng"}],"user_id":"71124","publication":"Human and Computer 2015 - Proceedings","citation":{"chicago":"Schild, Christian, and Vanessa Petrausch. “Empirical Validation of Design Patterns.” In <i>Human and Computer 2015 - Proceedings</i>, 173–82. Berlin: De Gruyter Oldenbourg, 2015.","short":"C. Schild, V. Petrausch, in: Human and Computer 2015 - Proceedings, De Gruyter Oldenbourg, Berlin, 2015, pp. 173–182.","ieee":"C. Schild and V. Petrausch, “Empirical validation of design patterns,” in <i>Human and Computer 2015 - Proceedings</i>, 2015, pp. 173–182.","apa":"Schild, C., &#38; Petrausch, V. (2015). Empirical validation of design patterns. <i>Human and Computer 2015 - Proceedings</i>, 173–182.","bibtex":"@inproceedings{Schild_Petrausch_2015, place={Berlin}, title={Empirical validation of design patterns}, booktitle={Human and Computer 2015 - Proceedings}, publisher={De Gruyter Oldenbourg}, author={Schild, Christian and Petrausch, Vanessa}, year={2015}, pages={173–182} }","ama":"Schild C, Petrausch V. Empirical validation of design patterns. In: <i>Human and Computer 2015 - Proceedings</i>. De Gruyter Oldenbourg; 2015:173-182.","mla":"Schild, Christian, and Vanessa Petrausch. “Empirical Validation of Design Patterns.” <i>Human and Computer 2015 - Proceedings</i>, De Gruyter Oldenbourg, 2015, pp. 173–82."},"abstract":[{"lang":"eng","text":"Patterns serve to codify design knowledge. By embedding them in a hypothesis-driven design, it is possible to develop them further into sample languages. For this it is necessary to resolve the underlying conflicts in the form of design hypotheses and to validate them empirically in order to enable further use and generalization. In this article, an experiment is presented that describes this procedure and demonstrates the interplay between theory formation and codification of design knowledge using two examples.\r\n"}],"date_created":"2021-10-19T14:28:44Z","place":"Berlin","type":"conference","department":[{"_id":"71"}]},{"citation":{"apa":"Markarian, C., &#38; Meyer auf der Heide, F. (2015). Online Resource Leasing. In <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)</i> (pp. 343–344). <a href=\"https://doi.org/10.1145/2767386.2767454\">https://doi.org/10.1145/2767386.2767454</a>","ieee":"C. Markarian and F. Meyer auf der Heide, “Online Resource Leasing,” in <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)</i>, 2015, pp. 343–344.","chicago":"Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Resource Leasing.” In <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)</i>, 343–44, 2015. <a href=\"https://doi.org/10.1145/2767386.2767454\">https://doi.org/10.1145/2767386.2767454</a>.","short":"C. Markarian, F. Meyer auf der Heide, in: Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC), 2015, pp. 343–344.","mla":"Markarian, Christine, and Friedhelm Meyer auf der Heide. “Online Resource Leasing.” <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)</i>, 2015, pp. 343–44, doi:<a href=\"https://doi.org/10.1145/2767386.2767454\">10.1145/2767386.2767454</a>.","ama":"Markarian C, Meyer auf der Heide F. Online Resource Leasing. In: <i>Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)</i>. ; 2015:343-344. doi:<a href=\"https://doi.org/10.1145/2767386.2767454\">10.1145/2767386.2767454</a>","bibtex":"@inproceedings{Markarian_Meyer auf der Heide_2015, title={Online Resource Leasing}, DOI={<a href=\"https://doi.org/10.1145/2767386.2767454\">10.1145/2767386.2767454</a>}, booktitle={Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)}, author={Markarian, Christine and Meyer auf der Heide, Friedhelm}, year={2015}, pages={343–344} }"},"publication":"Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)","file_date_updated":"2018-03-21T09:33:11Z","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt A1","_id":"5"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"_id":"2","name":"SFB 901 - Project Area A"},{"_id":"4","name":"SFB 901 - Project Area C"}],"abstract":[{"lang":"eng","text":"Many markets have seen a shift from the idea of buying and moved to leasing instead. Arguably, the latter has been the major catalyst for their success. Ten years ago, research realized this shift and initiated the study of \"online leasing problems\" by introducing leasing to online optimization problems. Resources required to provide a service in an \"online leasing problem\" are no more bought but leased for different durations. In this paper, we provide an overview of results that contribute to the understanding of \"online resource leasing problems\". "}],"date_created":"2017-10-17T12:41:44Z","file":[{"relation":"main_file","date_updated":"2018-03-21T09:33:11Z","file_name":"266-p343-markarian.pdf","access_level":"closed","file_size":679580,"file_id":"1478","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-21T09:33:11Z"}],"department":[{"_id":"63"}],"type":"conference","author":[{"last_name":"Markarian","first_name":"Christine","full_name":"Markarian, Christine","id":"37612"},{"id":"15523","full_name":"Meyer auf der Heide, Friedhelm","first_name":"Friedhelm","last_name":"Meyer auf der Heide"}],"title":"Online Resource Leasing","status":"public","year":"2015","has_accepted_license":"1","date_updated":"2022-01-06T06:57:22Z","_id":"266","page":"343-344","ddc":["040"],"doi":"10.1145/2767386.2767454","user_id":"15504"},{"author":[{"id":"37612","last_name":"Markarian","first_name":"Christine","full_name":"Markarian, Christine"}],"year":"2015","title":"Online Resource Leasing","status":"public","has_accepted_license":"1","date_updated":"2022-01-06T06:57:26Z","publisher":"Universität Paderborn","_id":"267","language":[{"iso":"eng"}],"ddc":["040"],"user_id":"15415","supervisor":[{"id":"15523","first_name":"Friedhelm","last_name":"Meyer auf der Heide","full_name":"Meyer auf der Heide, Friedhelm"}],"citation":{"ama":"Markarian C. <i>Online Resource Leasing</i>. Universität Paderborn; 2015.","bibtex":"@book{Markarian_2015, title={Online Resource Leasing}, publisher={Universität Paderborn}, author={Markarian, Christine}, year={2015} }","mla":"Markarian, Christine. <i>Online Resource Leasing</i>. Universität Paderborn, 2015.","short":"C. Markarian, Online Resource Leasing, Universität Paderborn, 2015.","chicago":"Markarian, Christine. <i>Online Resource Leasing</i>. Universität Paderborn, 2015.","apa":"Markarian, C. (2015). <i>Online Resource Leasing</i>. Universität Paderborn.","ieee":"C. Markarian, <i>Online Resource Leasing</i>. Universität Paderborn, 2015."},"file_date_updated":"2018-03-21T09:33:41Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C4","_id":"16"},{"_id":"4","name":"SFB 901 - Project Area C"}],"related_material":{"link":[{"relation":"confirmation","url":"http://nbn-resolving.de/urn:nbn:de:hbz:466:2-16656"}]},"date_created":"2017-10-17T12:41:44Z","file":[{"file_name":"267-Dissertation_-_Markarian.pdf","access_level":"closed","file_size":1328685,"relation":"main_file","date_updated":"2018-03-21T09:33:41Z","file_id":"1479","content_type":"application/pdf","success":1,"creator":"florida","date_created":"2018-03-21T09:33:41Z"}],"department":[{"_id":"63"}],"type":"dissertation"},{"abstract":[{"lang":"eng","text":"Proof-carrying hardware is an approach that has recently been proposed for the efficient verification of reconfigurable modules. We present an application of proof-carrying hardware to guarantee the correct functionality of dynamically reconfigured image processing modules. Our prototype comprises a reconfigurable-system-on-chip with an embedded virtual FPGA fabric. This setup allows us to leverage open source FPGA synthesis and backend tools to produce FPGA configuration bitstreams with an open format and, thus, to demonstrate and experimentally evaluate proof-carrying hardware at the bitstream level."}],"publication":"Proceedings of the International Symposium in Reconfigurable Computing (ARC)","type":"conference","department":[{"_id":"78"}],"file":[{"creator":"florida","date_created":"2018-03-21T09:32:42Z","relation":"main_file","date_updated":"2018-03-21T09:32:42Z","file_name":"269-paper_53.pdf","file_size":344309,"access_level":"closed","file_id":"1477","success":1,"content_type":"application/pdf"}],"date_created":"2017-10-17T12:41:44Z","date_updated":"2022-01-06T06:57:30Z","year":"2015","title":"On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach","author":[{"first_name":"Tobias","last_name":"Wiersema","full_name":"Wiersema, Tobias","id":"3118"},{"last_name":"Wu","first_name":"Sen","full_name":"Wu, Sen"},{"full_name":"Platzner, Marco","last_name":"Platzner","first_name":"Marco","id":"398"}],"doi":"10.1007/978-3-319-16214-0_32","series_title":"LNCS","language":[{"iso":"eng"}],"project":[{"name":"SFB 901","_id":"1"},{"_id":"12","name":"SFB 901 - Subprojekt B4"},{"_id":"3","name":"SFB 901 - Project Area B"}],"file_date_updated":"2018-03-21T09:32:42Z","citation":{"short":"T. Wiersema, S. Wu, M. Platzner, in: Proceedings of the International Symposium in Reconfigurable Computing (ARC), 2015, pp. 365--372.","chicago":"Wiersema, Tobias, Sen Wu, and Marco Platzner. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.” In <i>Proceedings of the International Symposium in Reconfigurable Computing (ARC)</i>, 365--372. LNCS, 2015. <a href=\"https://doi.org/10.1007/978-3-319-16214-0_32\">https://doi.org/10.1007/978-3-319-16214-0_32</a>.","ieee":"T. Wiersema, S. Wu, and M. Platzner, “On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach,” in <i>Proceedings of the International Symposium in Reconfigurable Computing (ARC)</i>, 2015, pp. 365--372.","apa":"Wiersema, T., Wu, S., &#38; Platzner, M. (2015). On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach. In <i>Proceedings of the International Symposium in Reconfigurable Computing (ARC)</i> (pp. 365--372). <a href=\"https://doi.org/10.1007/978-3-319-16214-0_32\">https://doi.org/10.1007/978-3-319-16214-0_32</a>","bibtex":"@inproceedings{Wiersema_Wu_Platzner_2015, series={LNCS}, title={On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-16214-0_32\">10.1007/978-3-319-16214-0_32</a>}, booktitle={Proceedings of the International Symposium in Reconfigurable Computing (ARC)}, author={Wiersema, Tobias and Wu, Sen and Platzner, Marco}, year={2015}, pages={365--372}, collection={LNCS} }","ama":"Wiersema T, Wu S, Platzner M. On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach. In: <i>Proceedings of the International Symposium in Reconfigurable Computing (ARC)</i>. LNCS. ; 2015:365--372. doi:<a href=\"https://doi.org/10.1007/978-3-319-16214-0_32\">10.1007/978-3-319-16214-0_32</a>","mla":"Wiersema, Tobias, et al. “On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.” <i>Proceedings of the International Symposium in Reconfigurable Computing (ARC)</i>, 2015, pp. 365--372, doi:<a href=\"https://doi.org/10.1007/978-3-319-16214-0_32\">10.1007/978-3-319-16214-0_32</a>."},"has_accepted_license":"1","status":"public","ddc":["040"],"user_id":"477","page":"365--372","_id":"269"},{"project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt A3","_id":"7"},{"_id":"2","name":"SFB 901 - Project Area A"}],"citation":{"short":"I. Caragiannis, A. Fanelli, N. Gravin, A. Skopalik, Transactions on Economics and Computation 3 (2015).","chicago":"Caragiannis, Ioannis, Angelo Fanelli, Nick Gravin, and Alexander Skopalik. “Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure.” <i>Transactions on Economics and Computation</i> 3, no. 1 (2015). <a href=\"https://doi.org/10.1145/2614687\">https://doi.org/10.1145/2614687</a>.","apa":"Caragiannis, I., Fanelli, A., Gravin, N., &#38; Skopalik, A. (2015). Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure. <i>Transactions on Economics and Computation</i>, <i>3</i>(1). <a href=\"https://doi.org/10.1145/2614687\">https://doi.org/10.1145/2614687</a>","ieee":"I. Caragiannis, A. Fanelli, N. Gravin, and A. Skopalik, “Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure,” <i>Transactions on Economics and Computation</i>, vol. 3, no. 1, 2015.","ama":"Caragiannis I, Fanelli A, Gravin N, Skopalik A. Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure. <i>Transactions on Economics and Computation</i>. 2015;3(1). doi:<a href=\"https://doi.org/10.1145/2614687\">10.1145/2614687</a>","bibtex":"@article{Caragiannis_Fanelli_Gravin_Skopalik_2015, title={Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure}, volume={3}, DOI={<a href=\"https://doi.org/10.1145/2614687\">10.1145/2614687</a>}, number={12}, journal={Transactions on Economics and Computation}, publisher={ACM}, author={Caragiannis, Ioannis and Fanelli, Angelo and Gravin, Nick and Skopalik, Alexander}, year={2015} }","mla":"Caragiannis, Ioannis, et al. “Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure.” <i>Transactions on Economics and Computation</i>, vol. 3, no. 1, 2, ACM, 2015, doi:<a href=\"https://doi.org/10.1145/2614687\">10.1145/2614687</a>."},"file_date_updated":"2018-03-20T07:40:55Z","volume":3,"ddc":["040"],"user_id":"477","publisher":"ACM","_id":"320","has_accepted_license":"1","status":"public","department":[{"_id":"63"},{"_id":"541"}],"type":"journal_article","date_created":"2017-10-17T12:41:54Z","file":[{"success":1,"content_type":"application/pdf","file_id":"1433","file_size":260503,"access_level":"closed","file_name":"320-a2-caragiannis.pdf","date_updated":"2018-03-20T07:40:55Z","relation":"main_file","date_created":"2018-03-20T07:40:55Z","creator":"florida"}],"abstract":[{"text":"We consider structural and algorithmic questions related to the Nash dynamics of weighted congestion games. In weighted congestion games with linear latency functions, the existence of pure Nash equilibria is guaranteed by a potential function argument. Unfortunately, this proof of existence is inefficient and computing pure Nash equilibria in such games is a PLS-hard problem even when all players have unit weights. The situation gets worse when superlinear (e.g., quadratic) latency functions come into play; in this case, the Nash dynamics of the game may contain cycles and pure Nash equilibria may not even exist. Given these obstacles, we consider approximate pure Nash equilibria as alternative solution concepts. A ρ--approximate pure Nash equilibrium is a state of a (weighted congestion) game from which no player has any incentive to deviate in order to improve her cost by a multiplicative factor higher than ρ. Do such equilibria exist for small values of ρ? And if so, can we compute them efficiently?We provide positive answers to both questions for weighted congestion games with polynomial latency functions by exploiting an “approximation” of such games by a new class of potential games that we call Ψ-games. This allows us to show that these games have d!-approximate pure Nash equilibria, where d is the maximum degree of the latency functions. Our main technical contribution is an efficient algorithm for computing O(1)-approximate pure Nash equilibria when d is a constant. For games with linear latency functions, the approximation guarantee is 3+√5/2 + Oγ for arbitrarily small γ > 0; for latency functions with maximum degree d≥ 2, it is d2d+o(d). The running time is polynomial in the number of bits in the representation of the game and 1/γ. As a byproduct of our techniques, we also show the following interesting structural statement for weighted congestion games with polynomial latency functions of maximum degree d ≥ 2: polynomially-long sequences of best-response moves from any initial state to a dO(d2)-approximate pure Nash equilibrium exist and can be efficiently identified in such games as long as d is a constant.To the best of our knowledge, these are the first positive algorithmic results for approximate pure Nash equilibria in weighted congestion games. Our techniques significantly extend our recent work on unweighted congestion games through the use of Ψ-games. The concept of approximating nonpotential games by potential ones is interesting in itself and might have further applications.","lang":"eng"}],"publication":"Transactions on Economics and Computation","issue":"1","doi":"10.1145/2614687","language":[{"iso":"eng"}],"article_number":"2","intvolume":"         3","date_updated":"2022-01-06T06:59:04Z","author":[{"first_name":"Ioannis","last_name":"Caragiannis","full_name":"Caragiannis, Ioannis"},{"last_name":"Fanelli","first_name":"Angelo","full_name":"Fanelli, Angelo"},{"full_name":"Gravin, Nick","last_name":"Gravin","first_name":"Nick"},{"id":"40384","last_name":"Skopalik","first_name":"Alexander","full_name":"Skopalik, Alexander"}],"title":"Approximate Pure Nash Equilibria in Weighted Congestion Games: Existence, Efficient Computation, and Structure","year":"2015"},{"file_date_updated":"2018-03-20T07:40:22Z","supervisor":[{"first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes","id":"23"}],"citation":{"bibtex":"@book{Eidens_2015, title={Anonymous credential system based on q-Strong Diffie-Hellman Assumption}, publisher={Universität Paderborn}, author={Eidens, Fabian}, year={2015} }","ama":"Eidens F. <i>Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption</i>. Universität Paderborn; 2015.","mla":"Eidens, Fabian. <i>Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption</i>. Universität Paderborn, 2015.","chicago":"Eidens, Fabian. <i>Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption</i>. Universität Paderborn, 2015.","short":"F. Eidens, Anonymous Credential System Based on Q-Strong Diffie-Hellman Assumption, Universität Paderborn, 2015.","ieee":"F. Eidens, <i>Anonymous credential system based on q-Strong Diffie-Hellman Assumption</i>. Universität Paderborn, 2015.","apa":"Eidens, F. (2015). <i>Anonymous credential system based on q-Strong Diffie-Hellman Assumption</i>. Universität Paderborn."},"project":[{"_id":"1","name":"SFB 901"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"_id":"4","name":"SFB 901 - Project Area C"}],"file":[{"creator":"florida","date_created":"2018-03-20T07:40:22Z","date_updated":"2018-03-20T07:40:22Z","relation":"main_file","access_level":"closed","file_size":879285,"file_name":"321-eidens_masterthesis_01.pdf","success":1,"content_type":"application/pdf","file_id":"1432"}],"date_created":"2017-10-17T12:41:54Z","type":"mastersthesis","department":[{"_id":"64"}],"status":"public","year":"2015","title":"Anonymous credential system based on q-Strong Diffie-Hellman Assumption","author":[{"id":"25078","last_name":"Eidens","first_name":"Fabian","full_name":"Eidens, Fabian"}],"date_updated":"2022-01-06T06:59:05Z","has_accepted_license":"1","publisher":"Universität Paderborn","_id":"321","ddc":["040"],"user_id":"477"},{"_id":"322","page":"478--488","user_id":"48090","ddc":["040"],"status":"public","has_accepted_license":"1","oa":"1","citation":{"mla":"Blömer, Johannes, et al. “Anonymous and Publicly Linkable Reputation Systems.” <i>Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)</i>, 2015, pp. 478--488, doi:<a href=\"https://doi.org/10.1007/978-3-662-47854-7_29\">10.1007/978-3-662-47854-7_29</a>.","ama":"Blömer J, Juhnke J, Kolb C. Anonymous and Publicly Linkable Reputation Systems. In: <i>Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)</i>. LNCS. ; 2015:478--488. doi:<a href=\"https://doi.org/10.1007/978-3-662-47854-7_29\">10.1007/978-3-662-47854-7_29</a>","bibtex":"@inproceedings{Blömer_Juhnke_Kolb_2015, series={LNCS}, title={Anonymous and Publicly Linkable Reputation Systems}, DOI={<a href=\"https://doi.org/10.1007/978-3-662-47854-7_29\">10.1007/978-3-662-47854-7_29</a>}, booktitle={Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)}, author={Blömer, Johannes and Juhnke, Jakob and Kolb, Christina}, year={2015}, pages={478--488}, collection={LNCS} }","apa":"Blömer, J., Juhnke, J., &#38; Kolb, C. (2015). Anonymous and Publicly Linkable Reputation Systems. In <i>Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)</i> (pp. 478--488). <a href=\"https://doi.org/10.1007/978-3-662-47854-7_29\">https://doi.org/10.1007/978-3-662-47854-7_29</a>","ieee":"J. Blömer, J. Juhnke, and C. Kolb, “Anonymous and Publicly Linkable Reputation Systems,” in <i>Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)</i>, 2015, pp. 478--488.","chicago":"Blömer, Johannes, Jakob Juhnke, and Christina Kolb. “Anonymous and Publicly Linkable Reputation Systems.” In <i>Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)</i>, 478--488. LNCS, 2015. <a href=\"https://doi.org/10.1007/978-3-662-47854-7_29\">https://doi.org/10.1007/978-3-662-47854-7_29</a>.","short":"J. Blömer, J. Juhnke, C. Kolb, in: Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC), 2015, pp. 478--488."},"file_date_updated":"2018-03-20T07:39:54Z","project":[{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Subprojekt C1","_id":"13"},{"name":"SFB 901 - Project Area C","_id":"4"}],"series_title":"LNCS","main_file_link":[{"url":"https://eprint.iacr.org/2014/546","open_access":"1"}],"doi":"10.1007/978-3-662-47854-7_29","author":[{"id":"23","full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer"},{"full_name":"Juhnke, Jakob","first_name":"Jakob","last_name":"Juhnke","id":"48090"},{"id":"43647","full_name":"Kolb, Christina","first_name":"Christina","last_name":"Kolb"}],"year":"2015","title":"Anonymous and Publicly Linkable Reputation Systems","date_updated":"2022-01-06T06:59:05Z","date_created":"2017-10-17T12:41:54Z","file":[{"date_updated":"2018-03-20T07:39:54Z","relation":"main_file","access_level":"closed","file_size":499568,"file_name":"322-546_01.pdf","success":1,"content_type":"application/pdf","file_id":"1431","creator":"florida","date_created":"2018-03-20T07:39:54Z"}],"department":[{"_id":"64"}],"type":"conference","publication":"Proceedings of the 18th International Conference on Financial Cryptography and Data Security (FC)","abstract":[{"lang":"eng","text":"Reputation systems are used to compute and publish reputation scores for services or products. We consider reputation systems where users are allowed to rate products that they purchased previously. To obtain trustworthy reputations, they are allowed to rate these products only once. As long as users rate products once, they stay anonymous. Everybody is able to detect users deviating from the rate-products-only-once policy and the anonymity of such dishonest users can be revoked by a system manager. In this paper we present formal models for such reputation systems and their security. Based on group signatures presented by Boneh, Boyen, and Shacham we design an efficient reputation system that meets all our requirements."}]},{"status":"public","has_accepted_license":"1","page":"1-18","_id":"323","publisher":"Springer","user_id":"477","ddc":["040"],"file_date_updated":"2018-03-20T07:39:17Z","citation":{"bibtex":"@article{Jungmann_Mohr_2015, title={An approach towards adaptive service composition in markets of composed services}, DOI={<a href=\"https://doi.org/10.1186/s13174-015-0022-8\">10.1186/s13174-015-0022-8</a>}, number={1}, journal={Journal of Internet Services and Applications}, publisher={Springer}, author={Jungmann, Alexander and Mohr, Felix}, year={2015}, pages={1–18} }","chicago":"Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” <i>Journal of Internet Services and Applications</i>, no. 1 (2015): 1–18. <a href=\"https://doi.org/10.1186/s13174-015-0022-8\">https://doi.org/10.1186/s13174-015-0022-8</a>.","short":"A. Jungmann, F. Mohr, Journal of Internet Services and Applications (2015) 1–18.","ama":"Jungmann A, Mohr F. An approach towards adaptive service composition in markets of composed services. <i>Journal of Internet Services and Applications</i>. 2015;(1):1-18. doi:<a href=\"https://doi.org/10.1186/s13174-015-0022-8\">10.1186/s13174-015-0022-8</a>","ieee":"A. Jungmann and F. Mohr, “An approach towards adaptive service composition in markets of composed services,” <i>Journal of Internet Services and Applications</i>, no. 1, pp. 1–18, 2015.","apa":"Jungmann, A., &#38; Mohr, F. (2015). An approach towards adaptive service composition in markets of composed services. <i>Journal of Internet Services and Applications</i>, (1), 1–18. <a href=\"https://doi.org/10.1186/s13174-015-0022-8\">https://doi.org/10.1186/s13174-015-0022-8</a>","mla":"Jungmann, Alexander, and Felix Mohr. “An Approach towards Adaptive Service Composition in Markets of Composed Services.” <i>Journal of Internet Services and Applications</i>, no. 1, Springer, 2015, pp. 1–18, doi:<a href=\"https://doi.org/10.1186/s13174-015-0022-8\">10.1186/s13174-015-0022-8</a>."},"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B2","_id":"10"},{"name":"SFB 901 - Project Area B","_id":"3"}],"year":"2015","title":"An approach towards adaptive service composition in markets of composed services","author":[{"full_name":"Jungmann, Alexander","first_name":"Alexander","last_name":"Jungmann"},{"first_name":"Felix","last_name":"Mohr","full_name":"Mohr, Felix"}],"date_updated":"2022-01-06T06:59:06Z","language":[{"iso":"eng"}],"doi":"10.1186/s13174-015-0022-8","issue":"1","publication":"Journal of Internet Services and Applications","abstract":[{"lang":"eng","text":"On-the-fly composition of service-based software solutions is still a challenging task. Even more challenges emerge when facing automatic service composition in markets of composed services for end users. In this paper, we focus on the functional discrepancy between “what a user wants” specified in terms of a request and “what a user gets” when executing a composed service. To meet the challenge of functional discrepancy, we propose the combination of existing symbolic composition approaches with machine learning techniques. We developed a learning recommendation system that expands the capabilities of existing composition algorithms to facilitate adaptivity and consequently reduces functional discrepancy. As a representative of symbolic techniques, an Artificial Intelligence planning based approach produces solutions that are correct with respect to formal specifications. Our learning recommendation system supports the symbolic approach in decision-making. Reinforcement Learning techniques enable the recommendation system to adjust its recommendation strategy over time based on user ratings. We implemented the proposed functionality in terms of a prototypical composition framework. Preliminary results from experiments conducted in the image processing domain illustrate the benefit of combining both complementary techniques."}],"file":[{"file_id":"1429","success":1,"content_type":"application/pdf","file_name":"323-An_approach_towards_adaptive_service_composition_in_markets_of_composed_services.pdf","access_level":"closed","file_size":2842281,"relation":"main_file","date_updated":"2018-03-20T07:39:17Z","date_created":"2018-03-20T07:39:17Z","creator":"florida"}],"date_created":"2017-10-17T12:41:55Z","type":"journal_article","department":[{"_id":"355"}]},{"department":[{"_id":"355"}],"type":"conference","date_created":"2017-10-17T12:41:55Z","file":[{"content_type":"application/pdf","success":1,"file_id":"1428","access_level":"closed","file_size":569475,"file_name":"324-ICSR-Mohr-15.pdf","date_updated":"2018-03-20T07:38:44Z","relation":"main_file","date_created":"2018-03-20T07:38:44Z","creator":"florida"}],"abstract":[{"lang":"eng","text":"Services are self-contained software components that can beused platform independent and that aim at maximizing software reuse. Abasic concern in service oriented architectures is to measure the reusabilityof services. One of the most important qualities is the functionalreusability, which indicates how relevant the task is that a service solves.Current metrics for functional reusability of software, however, have verylittle explanatory power and do not accomplish this goal.This paper presents a new approach to estimate the functional reusabilityof services based on their relevance. To this end, it denes the degreeto which a service enables the execution of other services as its contri-bution. Based on the contribution, relevance of services is dened as anestimation for their functional reusability. Explanatory power is obtainedby normalizing relevance values with a reference service. The applicationof the metric to a service test set conrms its supposed capabilities."}],"publication":"Proceedings of the 14th International Conference on Software Reuse (ICSR)","doi":"10.1007/978-3-319-14130-5_21","language":[{"iso":"eng"}],"series_title":"LNCS","date_updated":"2022-01-06T06:59:07Z","author":[{"first_name":"Felix","last_name":"Mohr","full_name":"Mohr, Felix"}],"title":"A Metric for Functional Reusability of Services","year":"2015","project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Subprojekt B2","_id":"10"},{"name":"SFB 901 - Project Area B","_id":"3"}],"citation":{"mla":"Mohr, Felix. “A Metric for Functional Reusability of Services.” <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>, 2015, pp. 298--313, doi:<a href=\"https://doi.org/10.1007/978-3-319-14130-5_21\">10.1007/978-3-319-14130-5_21</a>.","bibtex":"@inproceedings{Mohr_2015, series={LNCS}, title={A Metric for Functional Reusability of Services}, DOI={<a href=\"https://doi.org/10.1007/978-3-319-14130-5_21\">10.1007/978-3-319-14130-5_21</a>}, booktitle={Proceedings of the 14th International Conference on Software Reuse (ICSR)}, author={Mohr, Felix}, year={2015}, pages={298--313}, collection={LNCS} }","ama":"Mohr F. A Metric for Functional Reusability of Services. In: <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>. LNCS. ; 2015:298--313. doi:<a href=\"https://doi.org/10.1007/978-3-319-14130-5_21\">10.1007/978-3-319-14130-5_21</a>","ieee":"F. Mohr, “A Metric for Functional Reusability of Services,” in <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>, 2015, pp. 298--313.","apa":"Mohr, F. (2015). A Metric for Functional Reusability of Services. In <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i> (pp. 298--313). <a href=\"https://doi.org/10.1007/978-3-319-14130-5_21\">https://doi.org/10.1007/978-3-319-14130-5_21</a>","chicago":"Mohr, Felix. “A Metric for Functional Reusability of Services.” In <i>Proceedings of the 14th International Conference on Software Reuse (ICSR)</i>, 298--313. LNCS, 2015. <a href=\"https://doi.org/10.1007/978-3-319-14130-5_21\">https://doi.org/10.1007/978-3-319-14130-5_21</a>.","short":"F. Mohr, in: Proceedings of the 14th International Conference on Software Reuse (ICSR), 2015, pp. 298--313."},"file_date_updated":"2018-03-20T07:38:44Z","user_id":"477","ddc":["040"],"_id":"324","page":"298--313","has_accepted_license":"1","status":"public"},{"year":"2015","status":"public","title":"A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption","author":[{"id":"13703","full_name":"Löken, Nils","last_name":"Löken","first_name":"Nils"}],"date_updated":"2022-01-06T06:59:07Z","publisher":"Universität Paderborn","_id":"325","user_id":"477","citation":{"mla":"Löken, Nils. <i>A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption</i>. Universität Paderborn, 2015.","ama":"Löken N. <i>A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption</i>. Universität Paderborn; 2015.","bibtex":"@book{Löken_2015, title={A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption}, publisher={Universität Paderborn}, author={Löken, Nils}, year={2015} }","apa":"Löken, N. (2015). <i>A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption</i>. Universität Paderborn.","ieee":"N. Löken, <i>A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption</i>. Universität Paderborn, 2015.","short":"N. Löken, A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption, Universität Paderborn, 2015.","chicago":"Löken, Nils. <i>A Group Signature Scheme with Distributed Group Management - An Application of Threshold Encryption</i>. Universität Paderborn, 2015."},"supervisor":[{"first_name":"Johannes","last_name":"Blömer","full_name":"Blömer, Johannes","id":"23"}],"related_material":{"record":[{"status":"public","relation":"other","id":"253"}]},"project":[{"name":"SFB 901","_id":"1"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"_id":"4","name":"SFB 901 - Project Area C"}],"date_created":"2017-10-17T12:41:55Z","type":"mastersthesis","department":[{"_id":"64"}]},{"_id":"326","publisher":"Universität Paderborn","user_id":"477","year":"2015","status":"public","title":"A group signature scheme based on the LSRW assumption","author":[{"last_name":"Heihoff","first_name":"Frederic","full_name":"Heihoff, Frederic"}],"date_updated":"2022-01-06T06:59:07Z","date_created":"2017-10-17T12:41:55Z","type":"bachelorsthesis","department":[{"_id":"64"}],"citation":{"short":"F. Heihoff, A Group Signature Scheme Based on the LSRW Assumption, Universität Paderborn, 2015.","chicago":"Heihoff, Frederic. <i>A Group Signature Scheme Based on the LSRW Assumption</i>. Universität Paderborn, 2015.","apa":"Heihoff, F. (2015). <i>A group signature scheme based on the LSRW assumption</i>. Universität Paderborn.","ieee":"F. Heihoff, <i>A group signature scheme based on the LSRW assumption</i>. Universität Paderborn, 2015.","ama":"Heihoff F. <i>A Group Signature Scheme Based on the LSRW Assumption</i>. Universität Paderborn; 2015.","bibtex":"@book{Heihoff_2015, title={A group signature scheme based on the LSRW assumption}, publisher={Universität Paderborn}, author={Heihoff, Frederic}, year={2015} }","mla":"Heihoff, Frederic. <i>A Group Signature Scheme Based on the LSRW Assumption</i>. Universität Paderborn, 2015."},"supervisor":[{"id":"23","full_name":"Blömer, Johannes","first_name":"Johannes","last_name":"Blömer"}],"project":[{"_id":"1","name":"SFB 901"},{"_id":"13","name":"SFB 901 - Subprojekt C1"},{"name":"SFB 901 - Project Area C","_id":"4"}]},{"doi":"10.1016/j.tcs.2014.11.027","author":[{"full_name":"Kniesburges, Sebastian","first_name":"Sebastian","last_name":"Kniesburges"},{"last_name":"Koutsopoulos","first_name":"Andreas","full_name":"Koutsopoulos, Andreas"},{"id":"20792","last_name":"Scheideler","first_name":"Christian","full_name":"Scheideler, Christian"}],"year":"2015","title":"A deterministic worst-case message complexity optimal solution for resource discovery","date_updated":"2022-01-06T06:59:08Z","date_created":"2017-10-17T12:41:55Z","file":[{"content_type":"application/pdf","success":1,"file_id":"1427","access_level":"closed","file_size":398044,"file_name":"327-KKS15-TOCS_01.pdf","date_updated":"2018-03-20T07:38:02Z","relation":"main_file","date_created":"2018-03-20T07:38:02Z","creator":"florida"}],"department":[{"_id":"79"}],"type":"journal_article","publication":"Theoretical Computer Science","abstract":[{"text":"We consider the problem of resource discovery in distributed systems. In particular we give an algorithm, such that each node in a network discovers the address of any other node in the network. We model the knowledge of the nodes as a virtual overlay network given by a directed graph such that complete knowledge of all nodes corresponds to a complete graph in the overlay network. Although there are several solutions for resource discovery, our solution is the first that achieves worst-case optimal work for each node, i.e. the number of addresses (O(n)O(n)) or bits (O(nlog⁡n)O(nlog⁡n)) a node receives or sends coincides with the lower bound, while ensuring only a linear runtime (O(n)O(n)) on the number of rounds.","lang":"eng"}],"_id":"327","publisher":"Elsevier","page":"67-79","user_id":"477","ddc":["040"],"status":"public","has_accepted_license":"1","citation":{"ama":"Kniesburges S, Koutsopoulos A, Scheideler C. A deterministic worst-case message complexity optimal solution for resource discovery. <i>Theoretical Computer Science</i>. 2015:67-79. doi:<a href=\"https://doi.org/10.1016/j.tcs.2014.11.027\">10.1016/j.tcs.2014.11.027</a>","bibtex":"@article{Kniesburges_Koutsopoulos_Scheideler_2015, title={A deterministic worst-case message complexity optimal solution for resource discovery}, DOI={<a href=\"https://doi.org/10.1016/j.tcs.2014.11.027\">10.1016/j.tcs.2014.11.027</a>}, journal={Theoretical Computer Science}, publisher={Elsevier}, author={Kniesburges, Sebastian and Koutsopoulos, Andreas and Scheideler, Christian}, year={2015}, pages={67–79} }","mla":"Kniesburges, Sebastian, et al. “A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery.” <i>Theoretical Computer Science</i>, Elsevier, 2015, pp. 67–79, doi:<a href=\"https://doi.org/10.1016/j.tcs.2014.11.027\">10.1016/j.tcs.2014.11.027</a>.","short":"S. Kniesburges, A. Koutsopoulos, C. Scheideler, Theoretical Computer Science (2015) 67–79.","chicago":"Kniesburges, Sebastian, Andreas Koutsopoulos, and Christian Scheideler. “A Deterministic Worst-Case Message Complexity Optimal Solution for Resource Discovery.” <i>Theoretical Computer Science</i>, 2015, 67–79. <a href=\"https://doi.org/10.1016/j.tcs.2014.11.027\">https://doi.org/10.1016/j.tcs.2014.11.027</a>.","apa":"Kniesburges, S., Koutsopoulos, A., &#38; Scheideler, C. (2015). A deterministic worst-case message complexity optimal solution for resource discovery. <i>Theoretical Computer Science</i>, 67–79. <a href=\"https://doi.org/10.1016/j.tcs.2014.11.027\">https://doi.org/10.1016/j.tcs.2014.11.027</a>","ieee":"S. Kniesburges, A. Koutsopoulos, and C. Scheideler, “A deterministic worst-case message complexity optimal solution for resource discovery,” <i>Theoretical Computer Science</i>, pp. 67–79, 2015."},"file_date_updated":"2018-03-20T07:38:02Z","project":[{"name":"SFB 901","_id":"1"},{"_id":"5","name":"SFB 901 - Subprojekt A1"},{"name":"SFB 901 - Project Area A","_id":"2"}]},{"keyword":["Query learning","Propositional logic"],"type":"journal_article","department":[{"_id":"34"}],"date_created":"2018-06-25T10:43:19Z","abstract":[{"lang":"eng","text":"In this paper we consider an extended variant of query learning where the hidden concept is embedded in some Boolean circuit. This additional processing layer modifies query arguments and answers by fixed transformation functions which are known to the learner. For this scenario, we provide a characterization of the solution space and an ordering on it. We give a compact representation of the minimal and maximal solutions as quantified Boolean formulas and we adapt the original algorithms for exact learning of specific classes of propositional formulas."}],"publication":"Artificial Intelligence","doi":"10.1016/j.artint.2015.09.003","language":[{"iso":"eng"}],"date_updated":"2022-01-06T06:59:10Z","title":"Learning Boolean Specifications","year":"2015","publication_identifier":{"issn":["0004-3702"]},"author":[{"last_name":"Bubeck","first_name":"Uwe","full_name":"Bubeck, Uwe"},{"full_name":"Kleine Büning, Hans","last_name":"Kleine Büning","first_name":"Hans"}],"project":[{"_id":"1","name":"SFB 901"},{"name":"SFB 901 - Project Area B","_id":"3"},{"name":"SFB 901 - Subproject B2","_id":"10"}],"citation":{"apa":"Bubeck, U., &#38; Kleine Büning, H. (2015). Learning Boolean Specifications. <i>Artificial Intelligence</i>, 246–257. <a href=\"https://doi.org/10.1016/j.artint.2015.09.003\">https://doi.org/10.1016/j.artint.2015.09.003</a>","ieee":"U. Bubeck and H. Kleine Büning, “Learning Boolean Specifications,” <i>Artificial Intelligence</i>, pp. 246–257, 2015.","short":"U. Bubeck, H. Kleine Büning, Artificial Intelligence (2015) 246–257.","chicago":"Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” <i>Artificial Intelligence</i>, 2015, 246–57. <a href=\"https://doi.org/10.1016/j.artint.2015.09.003\">https://doi.org/10.1016/j.artint.2015.09.003</a>.","mla":"Bubeck, Uwe, and Hans Kleine Büning. “Learning Boolean Specifications.” <i>Artificial Intelligence</i>, Elsevier, 2015, pp. 246–57, doi:<a href=\"https://doi.org/10.1016/j.artint.2015.09.003\">10.1016/j.artint.2015.09.003</a>.","ama":"Bubeck U, Kleine Büning H. Learning Boolean Specifications. <i>Artificial Intelligence</i>. 2015:246-257. doi:<a href=\"https://doi.org/10.1016/j.artint.2015.09.003\">10.1016/j.artint.2015.09.003</a>","bibtex":"@article{Bubeck_Kleine Büning_2015, title={Learning Boolean Specifications}, DOI={<a href=\"https://doi.org/10.1016/j.artint.2015.09.003\">10.1016/j.artint.2015.09.003</a>}, journal={Artificial Intelligence}, publisher={Elsevier}, author={Bubeck, Uwe and Kleine Büning, Hans}, year={2015}, pages={246–257} }"},"user_id":"315","ddc":["000"],"page":"246 - 257","_id":"3343","publisher":"Elsevier","status":"public"},{"user_id":"477","publisher":"Universität Paderborn","_id":"3364","language":[{"iso":"ger"}],"date_updated":"2022-01-06T06:59:13Z","author":[{"full_name":"Knorr, Christoph","first_name":"Christoph","last_name":"Knorr"}],"title":"Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten","year":"2015","status":"public","department":[{"_id":"78"}],"type":"bachelorsthesis","date_created":"2018-06-26T14:06:07Z","project":[{"name":"SFB 901 - Subproject C2","_id":"14"},{"name":"SFB 901","_id":"1"},{"name":"SFB 901 - Project Area C","_id":"4"}],"supervisor":[{"full_name":"Lösch, Achim","last_name":"Lösch","first_name":"Achim","id":"43646"},{"last_name":"Platzner","first_name":"Marco","full_name":"Platzner, Marco","id":"398"}],"citation":{"short":"C. Knorr, Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten, Universität Paderborn, 2015.","chicago":"Knorr, Christoph. <i>Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten</i>. Universität Paderborn, 2015.","ieee":"C. Knorr, <i>Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten</i>. Universität Paderborn, 2015.","apa":"Knorr, C. (2015). <i>Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten</i>. Universität Paderborn.","bibtex":"@book{Knorr_2015, title={Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten}, publisher={Universität Paderborn}, author={Knorr, Christoph}, year={2015} }","ama":"Knorr C. <i>Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten</i>. Universität Paderborn; 2015.","mla":"Knorr, Christoph. <i>Evaluation von Bildverarbeitungsalgorithmen in heterogenen Rechenknoten</i>. Universität Paderborn, 2015."}},{"citation":{"chicago":"Wachsmuth, Henning, Johannes Kiesel, and Benno Stein. “Sentiment Flow - A General Model of Web Review Argumentation.” In <i>Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing</i>, edited by Junichi Tsujii and Jan Hajic, 601–11. Lecture Notes in Computer Science, 2015. <a href=\"https://doi.org/10.18653/v1/D15-1072\">https://doi.org/10.18653/v1/D15-1072</a>.","short":"H. Wachsmuth, J. Kiesel, B. Stein, in: J. Tsujii, J. Hajic (Eds.), Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing, 2015, pp. 601–611.","ieee":"H. Wachsmuth, J. Kiesel, and B. Stein, “Sentiment Flow - A General Model of Web Review Argumentation,” in <i>Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing</i>, 2015, pp. 601–611.","apa":"Wachsmuth, H., Kiesel, J., &#38; Stein, B. (2015). Sentiment Flow - A General Model of Web Review Argumentation. In J. Tsujii &#38; J. Hajic (Eds.), <i>Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing</i> (pp. 601–611). <a href=\"https://doi.org/10.18653/v1/D15-1072\">https://doi.org/10.18653/v1/D15-1072</a>","bibtex":"@inproceedings{Wachsmuth_Kiesel_Stein_2015, series={Lecture Notes in Computer Science}, title={Sentiment Flow - A General Model of Web Review Argumentation}, DOI={<a href=\"https://doi.org/10.18653/v1/D15-1072\">10.18653/v1/D15-1072</a>}, booktitle={Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing}, author={Wachsmuth, Henning and Kiesel, Johannes and Stein, Benno}, editor={Tsujii, Junichi and Hajic, JanEditors}, year={2015}, pages={601–611}, collection={Lecture Notes in Computer Science} }","ama":"Wachsmuth H, Kiesel J, Stein B. Sentiment Flow - A General Model of Web Review Argumentation. In: Tsujii J, Hajic J, eds. <i>Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing</i>. Lecture Notes in Computer Science. ; 2015:601-611. doi:<a href=\"https://doi.org/10.18653/v1/D15-1072\">10.18653/v1/D15-1072</a>","mla":"Wachsmuth, Henning, et al. “Sentiment Flow - A General Model of Web Review Argumentation.” <i>Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing</i>, edited by Junichi Tsujii and Jan Hajic, 2015, pp. 601–11, doi:<a href=\"https://doi.org/10.18653/v1/D15-1072\">10.18653/v1/D15-1072</a>."},"publication":"Proceedings of the 2015 Conference on Empirical Methods in Natural Language Processing","date_created":"2018-08-02T13:38:41Z","department":[{"_id":"600"}],"type":"conference","publication_identifier":{"isbn":["978-3-319-25740-2"]},"author":[{"first_name":"Henning","last_name":"Wachsmuth","full_name":"Wachsmuth, Henning","id":"3900"},{"full_name":"Kiesel, Johannes","last_name":"Kiesel","first_name":"Johannes"},{"full_name":"Stein, Benno","last_name":"Stein","first_name":"Benno"}],"year":"2015","status":"public","title":"Sentiment Flow - A General Model of Web Review Argumentation","date_updated":"2022-01-06T06:59:37Z","language":[{"iso":"eng"}],"_id":"3815","series_title":"Lecture Notes in Computer Science","page":"601-611","main_file_link":[{"url":"https://www.aclweb.org/anthology/D15-1072.pdf"}],"editor":[{"full_name":"Tsujii, Junichi","last_name":"Tsujii","first_name":"Junichi"},{"full_name":"Hajic, Jan","last_name":"Hajic","first_name":"Jan"}],"user_id":"82920","doi":"10.18653/v1/D15-1072"},{"_id":"3845","publisher":"Elsevier BV","page":"29-37","volume":365,"user_id":"55706","ddc":["530"],"status":"public","has_accepted_license":"1","citation":{"ieee":"F. Civitci, M. Hammer, and H. J. W. M. Hoekstra, “Planar prism spectrometer based on adiabatically connected waveguiding slabs,” <i>Optics Communications</i>, vol. 365, pp. 29–37, 2015.","apa":"Civitci, F., Hammer, M., &#38; Hoekstra, H. J. W. M. (2015). Planar prism spectrometer based on adiabatically connected waveguiding slabs. <i>Optics Communications</i>, <i>365</i>, 29–37. <a href=\"https://doi.org/10.1016/j.optcom.2015.11.066\">https://doi.org/10.1016/j.optcom.2015.11.066</a>","short":"F. Civitci, M. Hammer, H.J.W.M. Hoekstra, Optics Communications 365 (2015) 29–37.","chicago":"Civitci, F., Manfred Hammer, and H.J.W.M. Hoekstra. “Planar Prism Spectrometer Based on Adiabatically Connected Waveguiding Slabs.” <i>Optics Communications</i> 365 (2015): 29–37. <a href=\"https://doi.org/10.1016/j.optcom.2015.11.066\">https://doi.org/10.1016/j.optcom.2015.11.066</a>.","mla":"Civitci, F., et al. “Planar Prism Spectrometer Based on Adiabatically Connected Waveguiding Slabs.” <i>Optics Communications</i>, vol. 365, Elsevier BV, 2015, pp. 29–37, doi:<a href=\"https://doi.org/10.1016/j.optcom.2015.11.066\">10.1016/j.optcom.2015.11.066</a>.","bibtex":"@article{Civitci_Hammer_Hoekstra_2015, title={Planar prism spectrometer based on adiabatically connected waveguiding slabs}, volume={365}, DOI={<a href=\"https://doi.org/10.1016/j.optcom.2015.11.066\">10.1016/j.optcom.2015.11.066</a>}, journal={Optics Communications}, publisher={Elsevier BV}, author={Civitci, F. and Hammer, Manfred and Hoekstra, H.J.W.M.}, year={2015}, pages={29–37} }","ama":"Civitci F, Hammer M, Hoekstra HJWM. Planar prism spectrometer based on adiabatically connected waveguiding slabs. <i>Optics Communications</i>. 2015;365:29-37. doi:<a href=\"https://doi.org/10.1016/j.optcom.2015.11.066\">10.1016/j.optcom.2015.11.066</a>"},"file_date_updated":"2018-08-08T10:31:23Z","language":[{"iso":"eng"}],"doi":"10.1016/j.optcom.2015.11.066","author":[{"first_name":"F.","last_name":"Civitci","full_name":"Civitci, F."},{"id":"48077","orcid":"0000-0002-6331-9348","last_name":"Hammer","first_name":"Manfred","full_name":"Hammer, Manfred"},{"last_name":"Hoekstra","first_name":"H.J.W.M.","full_name":"Hoekstra, H.J.W.M."}],"publication_identifier":{"issn":["0030-4018"]},"year":"2015","title":"Planar prism spectrometer based on adiabatically connected waveguiding slabs","article_type":"original","intvolume":"       365","publication_status":"published","date_updated":"2022-01-06T06:59:44Z","date_created":"2018-08-08T10:27:57Z","file":[{"access_level":"closed","file_size":1542539,"file_name":"2016  Hammer_Planar prism spectrometer based on adiabatically connected waveguiding slabs.pdf","date_updated":"2018-08-08T10:31:23Z","relation":"main_file","success":1,"content_type":"application/pdf","file_id":"3846","creator":"hclaudia","date_created":"2018-08-08T10:31:23Z"}],"department":[{"_id":"61"}],"keyword":["tet_topic_waveguide"],"type":"journal_article","publication":"Optics Communications","abstract":[{"text":"The device principle of a prism-based on-chip spectrometer for TE polarization is introduced. The spectrometer exploits the modal dispersion in planar waveguides in a layout with slab regions having two different thicknesses of the guiding layer. The set-up uses parabolic mirrors, for the collimation of light of the input waveguide and focusing of the light to the receiver waveguides, which relies on total internal reflection at the interface between two such regions. These regions are connected adiabatically to prevent unwanted mode conversion and loss at the edges of the prism. The structure can be fabricated with two wet etching steps. The paper presents basic theory and a general approach for device optimization. The latter is illustrated with a numerical example assuming SiON technology.","lang":"eng"}]},{"file_date_updated":"2018-09-03T14:43:26Z","citation":{"apa":"Hammer, M., Hildebrandt, A., &#38; Förstner, J. (2015). Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence. <i>Journal of Lightwave Technology</i>, <i>34</i>(3), 997–1005. <a href=\"https://doi.org/10.1109/jlt.2015.2502431\">https://doi.org/10.1109/jlt.2015.2502431</a>","ieee":"M. Hammer, A. Hildebrandt, and J. Förstner, “Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence,” <i>Journal of Lightwave Technology</i>, vol. 34, no. 3, pp. 997–1005, 2015.","chicago":"Hammer, Manfred, Andre Hildebrandt, and Jens Förstner. “Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence.” <i>Journal of Lightwave Technology</i> 34, no. 3 (2015): 997–1005. <a href=\"https://doi.org/10.1109/jlt.2015.2502431\">https://doi.org/10.1109/jlt.2015.2502431</a>.","short":"M. Hammer, A. Hildebrandt, J. Förstner, Journal of Lightwave Technology 34 (2015) 997–1005.","mla":"Hammer, Manfred, et al. “Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence.” <i>Journal of Lightwave Technology</i>, vol. 34, no. 3, Institute of Electrical and Electronics Engineers (IEEE), 2015, pp. 997–1005, doi:<a href=\"https://doi.org/10.1109/jlt.2015.2502431\">10.1109/jlt.2015.2502431</a>.","ama":"Hammer M, Hildebrandt A, Förstner J. Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence. <i>Journal of Lightwave Technology</i>. 2015;34(3):997-1005. doi:<a href=\"https://doi.org/10.1109/jlt.2015.2502431\">10.1109/jlt.2015.2502431</a>","bibtex":"@article{Hammer_Hildebrandt_Förstner_2015, title={Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence}, volume={34}, DOI={<a href=\"https://doi.org/10.1109/jlt.2015.2502431\">10.1109/jlt.2015.2502431</a>}, number={3}, journal={Journal of Lightwave Technology}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Hammer, Manfred and Hildebrandt, Andre and Förstner, Jens}, year={2015}, pages={997–1005} }"},"has_accepted_license":"1","status":"public","ddc":["530"],"user_id":"158","volume":34,"page":"997-1005","publisher":"Institute of Electrical and Electronics Engineers (IEEE)","_id":"3847","abstract":[{"text":"Sheets of slab waveguides with sharp corners are investigated. By means of rigorous\r\nnumerical experiments, we look at oblique incidence of semi-guided plane waves. Radiation losses\r\nvanish beyond a certain critical angle of incidence. One can thus realize lossless propagation through\r\n90-degree corner configurations, where the remaining guided waves are still subject to pronounced\r\nreflection and polarization conversion. A system of two corners can be viewed as a structure akin to\r\na Fabry-Perot-interferometer. By adjusting the distance between the two partial reflectors, here the\r\n90-degree corners, one identifies step-like configurations that transmit the semi-guided plane waves\r\nwithout radiation losses, and virtually without reflections. Simulations of semi-guided beams with\r\nin-plane wide Gaussian profiles show that the effect survives in a true 3-D framework.","lang":"eng"}],"publication":"Journal of Lightwave Technology","issue":"3","keyword":["tet_topic_waveguide"],"type":"journal_article","department":[{"_id":"61"}],"file":[{"date_created":"2018-08-08T10:37:19Z","creator":"hclaudia","content_type":"application/pdf","file_id":"3848","date_updated":"2018-09-03T14:43:26Z","relation":"main_file","access_level":"local","file_size":606723,"file_name":"2016 Hammer,Hildebrandt,Förstner_Full resonant transmission of semi-guided planar waves.pdf"}],"date_created":"2018-08-08T10:34:34Z","date_updated":"2022-01-06T06:59:44Z","publication_status":"published","intvolume":"        34","article_type":"original","year":"2015","title":"Full Resonant Transmission of Semiguided Planar Waves Through Slab Waveguide Steps at Oblique Incidence","author":[{"id":"48077","orcid":"0000-0002-6331-9348","first_name":"Manfred","last_name":"Hammer","full_name":"Hammer, Manfred"},{"full_name":"Hildebrandt, Andre","last_name":"Hildebrandt","first_name":"Andre"},{"id":"158","orcid":"0000-0001-7059-9862","last_name":"Förstner","first_name":"Jens","full_name":"Förstner, Jens"}],"publication_identifier":{"issn":["0733-8724","1558-2213"]},"doi":"10.1109/jlt.2015.2502431","language":[{"iso":"eng"}]}]