--- _id: '131' author: - first_name: Annabel full_name: Holzmann, Annabel last_name: Holzmann citation: ama: Holzmann A. Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn; 2016. apa: Holzmann, A. (2016). Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn. 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} }' chicago: Holzmann, Annabel. Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn, 2016. ieee: A. Holzmann, Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. Universität Paderborn, 2016. mla: Holzmann, Annabel. Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren. 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. date_created: 2017-10-17T12:41:17Z date_updated: 2022-01-06T06:51:28Z language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '8' name: SFB 901 - Subprojekt A4 - _id: '2' name: SFB 901 - Project Area A publisher: Universität Paderborn status: public title: Wenn 1+1 nicht 2 ergibt – Gestaltungsmöglichkeiten Einzelbewertungen in Reputationssystemen zu Gesamtbewertungen zu aggregieren type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '132' 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. author: - first_name: Tobias full_name: Wiersema, Tobias id: '3118' last_name: Wiersema - first_name: Marco full_name: Platzner, Marco id: '398' last_name: Platzner citation: ama: 'Wiersema T, Platzner M. Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In: Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016). ; 2016:1--8. doi:10.1109/ReCoSoC.2016.7533910' apa: Wiersema, T., & Platzner, M. (2016). Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware. In Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) (pp. 1--8). https://doi.org/10.1109/ReCoSoC.2016.7533910 bibtex: '@inproceedings{Wiersema_Platzner_2016, title={Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware}, DOI={10.1109/ReCoSoC.2016.7533910}, 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} }' chicago: Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” In Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 1--8, 2016. https://doi.org/10.1109/ReCoSoC.2016.7533910. ieee: T. Wiersema and M. Platzner, “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware,” in Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8. mla: Wiersema, Tobias, and Marco Platzner. “Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules Using Proof-Carrying Hardware.” Proceedings of the 11th International Symposium on Reconfigurable Communication-Centric Systems-on-Chip (ReCoSoC 2016), 2016, pp. 1--8, doi:10.1109/ReCoSoC.2016.7533910. 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.' date_created: 2017-10-17T12:41:17Z date_updated: 2022-01-06T06:51:30Z ddc: - '040' department: - _id: '78' doi: 10.1109/ReCoSoC.2016.7533910 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-21T13:02:30Z date_updated: 2018-03-21T13:02:30Z file_id: '1562' file_name: 132-07533910.pdf file_size: 911171 relation: main_file success: 1 file_date_updated: 2018-03-21T13:02:30Z has_accepted_license: '1' language: - iso: eng page: 1--8 project: - _id: '1' name: SFB 901 - _id: '12' name: SFB 901 - Subprojekt B4 - _id: '3' name: SFB 901 - Project Area B publication: Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016) status: public title: Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware type: conference user_id: '477' year: '2016' ... --- _id: '133' abstract: - lang: eng text: . author: - first_name: Markus full_name: Dewender, Markus last_name: Dewender citation: ama: Dewender M. Verifikation von Service Kompositionen mit Spin. Universität Paderborn; 2016. apa: Dewender, M. (2016). Verifikation von Service Kompositionen mit Spin. Universität Paderborn. bibtex: '@book{Dewender_2016, title={Verifikation von Service Kompositionen mit Spin}, publisher={Universität Paderborn}, author={Dewender, Markus}, year={2016} }' chicago: Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016. ieee: M. Dewender, Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016. mla: Dewender, Markus. Verifikation von Service Kompositionen mit Spin. Universität Paderborn, 2016. short: M. Dewender, Verifikation von Service Kompositionen mit Spin, Universität Paderborn, 2016. date_created: 2017-10-17T12:41:17Z date_updated: 2022-01-06T06:51:32Z department: - _id: '77' language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '11' name: SFB 901 - Subprojekt B3 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike last_name: Wehrheim title: Verifikation von Service Kompositionen mit Spin type: bachelorsthesis user_id: '15504' year: '2016' ... --- _id: '134' abstract: - lang: eng text: . author: - first_name: Philipp full_name: Heinisch, Philipp last_name: Heinisch citation: ama: Heinisch P. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn; 2016. apa: Heinisch, P. (2016). Verifikation von Service Kompositionen mit Prolog. Universität Paderborn. bibtex: '@book{Heinisch_2016, title={Verifikation von Service Kompositionen mit Prolog}, publisher={Universität Paderborn}, author={Heinisch, Philipp}, year={2016} }' chicago: Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016. ieee: P. Heinisch, Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016. mla: Heinisch, Philipp. Verifikation von Service Kompositionen mit Prolog. Universität Paderborn, 2016. short: P. Heinisch, Verifikation von Service Kompositionen mit Prolog, Universität Paderborn, 2016. date_created: 2017-10-17T12:41:17Z date_updated: 2022-01-06T06:51:34Z department: - _id: '77' language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '11' name: SFB 901 - Subprojekt B3 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public supervisor: - first_name: Heike full_name: Wehrheim, Heike last_name: Wehrheim title: Verifikation von Service Kompositionen mit Prolog type: bachelorsthesis user_id: '15504' year: '2016' ... --- _id: '10136' author: - first_name: Martina full_name: Eikel, Martina last_name: Eikel citation: ama: Eikel M. Insider-Resistent Distributed Storage Systems. Universität Paderborn; 2016. apa: Eikel, M. (2016). Insider-resistent Distributed Storage Systems. Universität Paderborn. bibtex: '@book{Eikel_2016, title={Insider-resistent Distributed Storage Systems}, publisher={Universität Paderborn}, author={Eikel, Martina}, year={2016} }' chicago: Eikel, Martina. Insider-Resistent Distributed Storage Systems. Universität Paderborn, 2016. ieee: M. Eikel, Insider-resistent Distributed Storage Systems. Universität Paderborn, 2016. mla: Eikel, Martina. Insider-Resistent Distributed Storage Systems. Universität Paderborn, 2016. short: M. Eikel, Insider-Resistent Distributed Storage Systems, Universität Paderborn, 2016. date_created: 2019-06-07T06:37:37Z date_updated: 2022-01-06T06:50:30Z ddc: - '000' department: - _id: '79' file: - access_level: closed content_type: application/pdf creator: florida date_created: 2019-06-07T06:39:13Z date_updated: 2019-06-07T06:39:13Z file_id: '10137' file_name: DissertationEikel.pdf file_size: 1605187 relation: main_file success: 1 file_date_updated: 2019-06-07T06:39:13Z has_accepted_license: '1' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '4' name: SFB 901 - Project Area C - _id: '13' name: SFB 901 - Subproject C1 publisher: Universität Paderborn status: public supervisor: - first_name: Christian full_name: Scheideler, Christian id: '20792' last_name: Scheideler title: Insider-resistent Distributed Storage Systems type: dissertation user_id: '477' year: '2016' ... --- _id: '10292' author: - first_name: Thomas full_name: John, Thomas id: '3952' last_name: John citation: ama: John T. Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence. Universität Paderborn; 2016. doi:10.17619/UNIPB/1-259 apa: John, T. (2016). Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence. Universität Paderborn. https://doi.org/10.17619/UNIPB/1-259 bibtex: '@book{John_2016, place={Universität Paderborn}, title={Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence}, DOI={10.17619/UNIPB/1-259 }, author={John, Thomas}, year={2016} }' chicago: John, Thomas. Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence. Universität Paderborn, 2016. https://doi.org/10.17619/UNIPB/1-259 . ieee: T. John, Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence. Universität Paderborn, 2016. mla: John, Thomas. Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence. 2016, doi:10.17619/UNIPB/1-259 . short: T. John, Business Model Modeling Languages as Tools for Innovation:  Theory and Empirical Evidence, Universität Paderborn, 2016. date_created: 2019-06-25T09:50:01Z date_updated: 2022-01-06T06:50:35Z department: - _id: '276' doi: '10.17619/UNIPB/1-259 ' language: - iso: eng place: Universität Paderborn project: - _id: '1' name: SFB 901 - _id: '4' name: SFB 901 - Project Area C - _id: '17' name: SFB 901 - Subproject C5 status: public supervisor: - first_name: Dennis full_name: Kundisch, Dennis id: '21117' last_name: Kundisch title: 'Business Model Modeling Languages as Tools for Innovation: Theory and Empirical Evidence' type: dissertation user_id: '477' year: '2016' ... --- _id: '135' author: - first_name: Sebastian full_name: Strotmeyer, Sebastian last_name: Strotmeyer - first_name: Thomas full_name: John, Thomas id: '3952' last_name: John - first_name: Dennis full_name: Kundisch, Dennis id: '21117' last_name: Kundisch citation: ama: 'Strotmeyer S, John T, Kundisch D. Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung. In: Multikonferenz Wirtschaftsinformatik (MKWI). ; 2016.' apa: Strotmeyer, S., John, T., & Kundisch, D. (2016). Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung. In Multikonferenz Wirtschaftsinformatik (MKWI). Ilmenau, Germany. bibtex: '@inproceedings{Strotmeyer_John_Kundisch_2016, title={Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung}, booktitle={Multikonferenz Wirtschaftsinformatik (MKWI)}, author={Strotmeyer, Sebastian and John, Thomas and Kundisch, Dennis}, year={2016} }' chicago: Strotmeyer, Sebastian, Thomas John, and Dennis Kundisch. “Vergleichende Betrachtung von Software-Werkzeugen Zur Geschäftsmodellentwicklung.” In Multikonferenz Wirtschaftsinformatik (MKWI), 2016. ieee: S. Strotmeyer, T. John, and D. Kundisch, “Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung,” in Multikonferenz Wirtschaftsinformatik (MKWI), Ilmenau, Germany, 2016. mla: Strotmeyer, Sebastian, et al. “Vergleichende Betrachtung von Software-Werkzeugen Zur Geschäftsmodellentwicklung.” Multikonferenz Wirtschaftsinformatik (MKWI), 2016. short: 'S. Strotmeyer, T. John, D. Kundisch, in: Multikonferenz Wirtschaftsinformatik (MKWI), 2016.' conference: location: Ilmenau, Germany name: Multikonferenz Wirtschaftsinformatik (MKWI) date_created: 2017-10-17T12:41:17Z date_updated: 2022-01-06T06:51:37Z ddc: - '040' department: - _id: '276' file: - access_level: closed content_type: application/pdf creator: abursig date_created: 2018-11-14T12:46:37Z date_updated: 2018-11-14T12:46:37Z file_id: '5608' file_name: MKWI2016_BMDT.PDF file_size: 657458 relation: main_file success: 1 file_date_updated: 2018-11-14T12:46:37Z has_accepted_license: '1' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '17' name: SFB 901 - Subprojekt C5 - _id: '4' name: SFB 901 - Project Area C publication: Multikonferenz Wirtschaftsinformatik (MKWI) status: public title: Vergleichende Betrachtung von Software-Werkzeugen zur Geschäftsmodellentwicklung type: conference_abstract user_id: '477' year: '2016' ... --- _id: '136' author: - first_name: Daniel full_name: Vollmers, Daniel last_name: Vollmers citation: ama: Vollmers D. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn; 2016. apa: Vollmers, D. (2016). Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn. bibtex: '@book{Vollmers_2016, title={Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen}, publisher={Universität Paderborn}, author={Vollmers, Daniel}, year={2016} }' chicago: Vollmers, Daniel. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016. ieee: D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016. mla: Vollmers, Daniel. Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen. Universität Paderborn, 2016. short: D. Vollmers, Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen, Universität Paderborn, 2016. date_created: 2017-10-17T12:41:18Z date_updated: 2022-01-06T06:51:40Z language: - iso: ger project: - _id: '1' name: SFB 901 - _id: '9' name: SFB 901 - Subprojekt B1 - _id: '3' name: SFB 901 - Project Area B publisher: Universität Paderborn status: public title: Vergleich von Disambiguierungsansätzen bei Anforderungsbeschreibungen type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5934' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications. Universität Paderborn; 2016. apa: N, N. (2016). Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications. Universität Paderborn. bibtex: '@book{N_2016, title={Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications. Universität Paderborn, 2016. ieee: N. N, Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications. Universität Paderborn, 2016. mla: N, N. Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications. Universität Paderborn, 2016. short: N. N, Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications, Universität Paderborn, 2016. date_created: 2018-11-28T10:27:23Z date_updated: 2022-11-30T14:17:14Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '7' name: SFB 901 - Subproject A3 - _id: '2' name: SFB 901 - Project Area A publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Renegotiable vs. Non-Renegotiable Agreements - Theory and Applications type: mastersthesis user_id: '477' year: '2016' ... --- _id: '5932' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Wie Wertvoll Ist Der Einzelne Für Das Team? - Performancemessung Der Bundesligaspieler Anhand Der Kooperativen Spieltheorie Der Saison 2014/2015. Universität Paderborn; 2016. apa: N, N. (2016). Wie wertvoll ist der Einzelne für das Team? - Performancemessung der Bundesligaspieler anhand der kooperativen Spieltheorie der Saison 2014/2015. Universität Paderborn. bibtex: '@book{N_2016, title={Wie wertvoll ist der Einzelne für das Team? - Performancemessung der Bundesligaspieler anhand der kooperativen Spieltheorie der Saison 2014/2015}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Wie Wertvoll Ist Der Einzelne Für Das Team? - Performancemessung Der Bundesligaspieler Anhand Der Kooperativen Spieltheorie Der Saison 2014/2015. Universität Paderborn, 2016. ieee: N. N, Wie wertvoll ist der Einzelne für das Team? - Performancemessung der Bundesligaspieler anhand der kooperativen Spieltheorie der Saison 2014/2015. Universität Paderborn, 2016. mla: N, N. Wie Wertvoll Ist Der Einzelne Für Das Team? - Performancemessung Der Bundesligaspieler Anhand Der Kooperativen Spieltheorie Der Saison 2014/2015. Universität Paderborn, 2016. short: N. N, Wie Wertvoll Ist Der Einzelne Für Das Team? - Performancemessung Der Bundesligaspieler Anhand Der Kooperativen Spieltheorie Der Saison 2014/2015, Universität Paderborn, 2016. date_created: 2018-11-28T10:23:06Z date_updated: 2022-11-30T14:25:52Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Wie wertvoll ist der Einzelne für das Team? - Performancemessung der Bundesligaspieler anhand der kooperativen Spieltheorie der Saison 2014/2015 type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5940' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Automatisiertes Matching von Angebot Und Nachfrage in Der Kunststoffindustrie Ein Fallbeispiel in Kooperation Mit Der PINPOOLS GmbH. Universität Paderborn; 2016. apa: N, N. (2016). Automatisiertes Matching von Angebot und Nachfrage in der Kunststoffindustrie Ein Fallbeispiel in Kooperation mit der PINPOOLS GmbH. Universität Paderborn. bibtex: '@book{N_2016, title={Automatisiertes Matching von Angebot und Nachfrage in der Kunststoffindustrie Ein Fallbeispiel in Kooperation mit der PINPOOLS GmbH}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Automatisiertes Matching von Angebot Und Nachfrage in Der Kunststoffindustrie Ein Fallbeispiel in Kooperation Mit Der PINPOOLS GmbH. Universität Paderborn, 2016. ieee: N. N, Automatisiertes Matching von Angebot und Nachfrage in der Kunststoffindustrie Ein Fallbeispiel in Kooperation mit der PINPOOLS GmbH. Universität Paderborn, 2016. mla: N, N. Automatisiertes Matching von Angebot Und Nachfrage in Der Kunststoffindustrie Ein Fallbeispiel in Kooperation Mit Der PINPOOLS GmbH. Universität Paderborn, 2016. short: N. N, Automatisiertes Matching von Angebot Und Nachfrage in Der Kunststoffindustrie Ein Fallbeispiel in Kooperation Mit Der PINPOOLS GmbH, Universität Paderborn, 2016. date_created: 2018-11-28T10:39:15Z date_updated: 2022-11-30T14:26:34Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Automatisiertes Matching von Angebot und Nachfrage in der Kunststoffindustrie Ein Fallbeispiel in Kooperation mit der PINPOOLS GmbH type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5935' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Der Einfluss von Netzwerken Auf Gleichgewichtspreise - Eine Spieltheoretische Analyse. Universität Paderborn; 2016. apa: N, N. (2016). Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse. Universität Paderborn. bibtex: '@book{N_2016, title={Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Der Einfluss von Netzwerken Auf Gleichgewichtspreise - Eine Spieltheoretische Analyse. Universität Paderborn, 2016. ieee: N. N, Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse. Universität Paderborn, 2016. mla: N, N. Der Einfluss von Netzwerken Auf Gleichgewichtspreise - Eine Spieltheoretische Analyse. Universität Paderborn, 2016. short: N. N, Der Einfluss von Netzwerken Auf Gleichgewichtspreise - Eine Spieltheoretische Analyse, Universität Paderborn, 2016. date_created: 2018-11-28T10:29:57Z date_updated: 2022-11-30T14:25:23Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Der Einfluss von Netzwerken auf Gleichgewichtspreise - eine spieltheoretische Analyse type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5931' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Hat Vertikale Integration Einen Einfluss Auf Die Allgemeine Wohlfahrt? Universität Paderborn; 2016. apa: N, N. (2016). Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt? Universität Paderborn. bibtex: '@book{N_2016, title={Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt?}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Hat Vertikale Integration Einen Einfluss Auf Die Allgemeine Wohlfahrt? Universität Paderborn, 2016. ieee: N. N, Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt? Universität Paderborn, 2016. mla: N, N. Hat Vertikale Integration Einen Einfluss Auf Die Allgemeine Wohlfahrt? Universität Paderborn, 2016. short: N. N, Hat Vertikale Integration Einen Einfluss Auf Die Allgemeine Wohlfahrt?, Universität Paderborn, 2016. date_created: 2018-11-28T10:14:40Z date_updated: 2022-11-30T14:26:07Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Hat vertikale Integration einen Einfluss auf die allgemeine Wohlfahrt? type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5941' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Stabile Supply-Chains - Basierend Auf Der Theorie Der Matching-Märkte. Universität Paderborn; 2016. apa: N, N. (2016). Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte. Universität Paderborn. bibtex: '@book{N_2016, title={Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Stabile Supply-Chains - Basierend Auf Der Theorie Der Matching-Märkte. Universität Paderborn, 2016. ieee: N. N, Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte. Universität Paderborn, 2016. mla: N, N. Stabile Supply-Chains - Basierend Auf Der Theorie Der Matching-Märkte. Universität Paderborn, 2016. short: N. N, Stabile Supply-Chains - Basierend Auf Der Theorie Der Matching-Märkte, Universität Paderborn, 2016. date_created: 2018-11-28T10:42:02Z date_updated: 2022-11-30T14:26:22Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Stabile Supply-Chains - Basierend auf der Theorie der Matching-Märkte type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5933' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Die Berechnung von Machtindizes - Ein Vergleich Verschiedener Verfahren. Universität Paderborn; 2016. apa: N, N. (2016). Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren. Universität Paderborn. bibtex: '@book{N_2016, title={Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Die Berechnung von Machtindizes - Ein Vergleich Verschiedener Verfahren. Universität Paderborn, 2016. ieee: N. N, Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren. Universität Paderborn, 2016. mla: N, N. Die Berechnung von Machtindizes - Ein Vergleich Verschiedener Verfahren. Universität Paderborn, 2016. short: N. N, Die Berechnung von Machtindizes - Ein Vergleich Verschiedener Verfahren, Universität Paderborn, 2016. date_created: 2018-11-28T10:25:05Z date_updated: 2022-11-30T14:25:37Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Die Berechnung von Machtindizes - ein Vergleich verschiedener Verfahren type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5939' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Intermediaries in Buyer Seller Networks. Universität Paderborn; 2016. apa: N, N. (2016). Intermediaries in Buyer Seller Networks. Universität Paderborn. bibtex: '@book{N_2016, title={Intermediaries in Buyer Seller Networks}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Intermediaries in Buyer Seller Networks. Universität Paderborn, 2016. ieee: N. N, Intermediaries in Buyer Seller Networks. Universität Paderborn, 2016. mla: N, N. Intermediaries in Buyer Seller Networks. Universität Paderborn, 2016. short: N. N, Intermediaries in Buyer Seller Networks, Universität Paderborn, 2016. date_created: 2018-11-28T10:36:09Z date_updated: 2022-11-30T14:26:49Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Intermediaries in Buyer Seller Networks type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5937' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Staatliche Regulierung in Vertikal Verbundenen Industrien - Eine Spieltheoretische Analyse. Universität Paderborn; 2016. apa: N, N. (2016). Staatliche Regulierung in vertikal verbundenen Industrien - eine spieltheoretische Analyse. Universität Paderborn. bibtex: '@book{N_2016, title={Staatliche Regulierung in vertikal verbundenen Industrien - eine spieltheoretische Analyse}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Staatliche Regulierung in Vertikal Verbundenen Industrien - Eine Spieltheoretische Analyse. Universität Paderborn, 2016. ieee: N. N, Staatliche Regulierung in vertikal verbundenen Industrien - eine spieltheoretische Analyse. Universität Paderborn, 2016. mla: N, N. Staatliche Regulierung in Vertikal Verbundenen Industrien - Eine Spieltheoretische Analyse. Universität Paderborn, 2016. short: N. N, Staatliche Regulierung in Vertikal Verbundenen Industrien - Eine Spieltheoretische Analyse, Universität Paderborn, 2016. date_created: 2018-11-28T10:32:44Z date_updated: 2022-11-30T14:27:16Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Staatliche Regulierung in vertikal verbundenen Industrien - eine spieltheoretische Analyse type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '5938' author: - first_name: N full_name: N, N last_name: N citation: ama: N N. Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts. Universität Paderborn; 2016. apa: N, N. (2016). Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts. Universität Paderborn. bibtex: '@book{N_2016, title={Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts}, publisher={Universität Paderborn}, author={N, N}, year={2016} }' chicago: N, N. Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts. Universität Paderborn, 2016. ieee: N. N, Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts. Universität Paderborn, 2016. mla: N, N. Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts. Universität Paderborn, 2016. short: N. N, Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts, Universität Paderborn, 2016. date_created: 2018-11-28T10:34:03Z date_updated: 2022-11-30T14:27:02Z department: - _id: '205' language: - iso: eng project: - _id: '1' name: SFB 901 - _id: '2' name: SFB 901 - Project Area A - _id: '7' name: SFB 901 - Subproject A3 publisher: Universität Paderborn status: public supervisor: - first_name: Claus-Jochen full_name: Haake, Claus-Jochen id: '20801' last_name: Haake title: Pricing and Revenue Sharing of Bundles Using Game Theoretical Concepts type: bachelorsthesis user_id: '477' year: '2016' ... --- _id: '137' abstract: - lang: eng text: Wikidata is the new, large-scale knowledge base of the Wikimedia Foundation. Its knowledge is increasingly used within Wikipedia itself and various other kinds of information systems, imposing high demands on its integrity.Wikidata can be edited by anyone and, unfortunately, it frequently gets vandalized, exposing all information systems using it to the risk of spreading vandalized and falsified information. In this paper, we present a new machine learning-based approach to detect vandalism in Wikidata.We propose a set of 47 features that exploit both content and context information, and we report on 4 classifiers of increasing effectiveness tailored to this learning task. Our approach is evaluated on the recently published Wikidata Vandalism Corpus WDVC-2015 and it achieves an area under curve value of the receiver operating characteristic, ROC-AUC, of 0.991. It significantly outperforms the state of the art represented by the rule-based Wikidata Abuse Filter (0.865 ROC-AUC) and a prototypical vandalism detector recently introduced by Wikimedia within the Objective Revision Evaluation Service (0.859 ROC-AUC). author: - first_name: Stefan full_name: Heindorf, Stefan id: '11871' last_name: Heindorf orcid: 0000-0002-4525-6865 - first_name: Matthias full_name: Potthast, Matthias last_name: Potthast - first_name: Benno full_name: Stein, Benno last_name: Stein - first_name: Gregor full_name: Engels, Gregor id: '107' last_name: Engels citation: ama: 'Heindorf S, Potthast M, Stein B, Engels G. Vandalism Detection in Wikidata. In: Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016). ; 2016:327--336. doi:10.1145/2983323.2983740' apa: Heindorf, S., Potthast, M., Stein, B., & Engels, G. (2016). Vandalism Detection in Wikidata. Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 327--336. https://doi.org/10.1145/2983323.2983740 bibtex: '@inproceedings{Heindorf_Potthast_Stein_Engels_2016, title={Vandalism Detection in Wikidata}, DOI={10.1145/2983323.2983740}, booktitle={Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016)}, author={Heindorf, Stefan and Potthast, Matthias and Stein, Benno and Engels, Gregor}, year={2016}, pages={327--336} }' chicago: Heindorf, Stefan, Matthias Potthast, Benno Stein, and Gregor Engels. “Vandalism Detection in Wikidata.” In Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 327--336, 2016. https://doi.org/10.1145/2983323.2983740. ieee: 'S. Heindorf, M. Potthast, B. Stein, and G. Engels, “Vandalism Detection in Wikidata,” in Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 2016, pp. 327--336, doi: 10.1145/2983323.2983740.' mla: Heindorf, Stefan, et al. “Vandalism Detection in Wikidata.” Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 2016, pp. 327--336, doi:10.1145/2983323.2983740. short: 'S. Heindorf, M. Potthast, B. Stein, G. Engels, in: Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016), 2016, pp. 327--336.' date_created: 2017-10-17T12:41:18Z date_updated: 2022-10-17T11:31:41Z ddc: - '040' department: - _id: '66' doi: 10.1145/2983323.2983740 file: - access_level: closed content_type: application/pdf creator: florida date_created: 2018-03-21T13:01:43Z date_updated: 2018-03-21T13:01:43Z file_id: '1561' file_name: 137-p327-heindorf.pdf file_size: 1842753 relation: main_file success: 1 file_date_updated: 2018-03-21T13:01:43Z has_accepted_license: '1' language: - iso: eng main_file_link: - open_access: '1' url: https://groups.uni-paderborn.de/fg-engels/publications_pdfs/Konferenzbeitraege/heindorf2016_CIKM.pdf oa: '1' page: 327--336 project: - _id: '1' name: SFB 901 - _id: '17' name: SFB 901 - Subprojekt C5 - _id: '4' name: SFB 901 - Project Area C publication: Proceedings of the 25th International Conference on Information and Knowledge Management (CIKM 2016) status: public title: Vandalism Detection in Wikidata type: conference user_id: '11871' year: '2016' ... --- _id: '31' author: - first_name: Heinrich full_name: Riebler, Heinrich id: '8961' last_name: Riebler - first_name: Gavin Francis full_name: Vaz, Gavin Francis id: '30332' last_name: Vaz - first_name: Christian full_name: Plessl, Christian id: '16153' last_name: Plessl orcid: 0000-0001-5728-9982 - first_name: Ettore M. G. full_name: Trainiti, Ettore M. G. last_name: Trainiti - first_name: Gianluca C. full_name: Durelli, Gianluca C. last_name: Durelli - first_name: Cristiana full_name: Bolchini, Cristiana last_name: Bolchini citation: ama: 'Riebler H, Vaz GF, Plessl C, Trainiti EMG, Durelli GC, Bolchini C. Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems. In: Proc. HiPEAC Workshop on Reonfigurable Computing (WRC). ; 2016.' apa: Riebler, H., Vaz, G. F., Plessl, C., Trainiti, E. M. G., Durelli, G. C., & Bolchini, C. (2016). Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems. Proc. HiPEAC Workshop on Reonfigurable Computing (WRC). bibtex: '@inproceedings{Riebler_Vaz_Plessl_Trainiti_Durelli_Bolchini_2016, title={Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems}, booktitle={Proc. HiPEAC Workshop on Reonfigurable Computing (WRC)}, author={Riebler, Heinrich and Vaz, Gavin Francis and Plessl, Christian and Trainiti, Ettore M. G. and Durelli, Gianluca C. and Bolchini, Cristiana}, year={2016} }' chicago: Riebler, Heinrich, Gavin Francis Vaz, Christian Plessl, Ettore M. G. Trainiti, Gianluca C. Durelli, and Cristiana Bolchini. “Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems.” In Proc. HiPEAC Workshop on Reonfigurable Computing (WRC), 2016. ieee: H. Riebler, G. F. Vaz, C. Plessl, E. M. G. Trainiti, G. C. Durelli, and C. Bolchini, “Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems,” 2016. mla: Riebler, Heinrich, et al. “Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems.” Proc. HiPEAC Workshop on Reonfigurable Computing (WRC), 2016. short: 'H. Riebler, G.F. Vaz, C. Plessl, E.M.G. Trainiti, G.C. Durelli, C. Bolchini, in: Proc. HiPEAC Workshop on Reonfigurable Computing (WRC), 2016.' date_created: 2017-07-26T15:16:31Z date_updated: 2023-09-26T13:25:59Z ddc: - '040' department: - _id: '27' - _id: '518' file: - access_level: closed content_type: application/pdf creator: deffel date_created: 2019-01-11T11:56:55Z date_updated: 2019-01-11T11:56:55Z file_id: '6626' file_name: wrc_upb_polimi_final.pdf file_size: 394563 relation: main_file success: 1 file_date_updated: 2019-01-11T11:56:55Z has_accepted_license: '1' language: - iso: eng project: - _id: '1' grant_number: '160364472' name: SFB 901 - _id: '4' name: SFB 901 - Project Area C - _id: '14' grant_number: '160364472' name: SFB 901 - Subproject C2 - _id: '34' grant_number: '610996' name: Self-Adaptive Virtualisation-Aware High-Performance/Low-Energy Heterogeneous System Architectures publication: Proc. HiPEAC Workshop on Reonfigurable Computing (WRC) quality_controlled: '1' status: public title: Using Just-in-Time Code Generation for Transparent Resource Management in Heterogeneous Systems type: conference user_id: '15278' year: '2016' ...