@inbook{26463, author = {{Lehmann, Jens and Athanasiou, Spiros and Both, Andreas and García-Rojas, Alejandra and Giannopoulos, Giorgos and Hladky, Daniel and Jay Le Grange, Jon and Ngonga Ngomo, Axel-Cyrille and Ahmed Sherif, Mohamed and Stadler, Claus and Wauer, Matthias and Westphal, Patrick and Zaslawski, Vadim}}, booktitle = {{The Semantic Web in Earth and Space Science. Current Status and Future Directions}}, editor = {{Narock, Tom and Fox, Peter}}, pages = {{51--78}}, publisher = {{{IOS} Press}}, title = {{{Managing Geospatial Linked Data in the GeoKnow Project}}}, doi = {{10.3233/978-1-61499-501-2-51}}, volume = {{20}}, year = {{2015}}, } @article{26493, author = {{Böhm, Julian and Bellec, Matthieu and Mortessagne, Fabrice and Kuhl, Ulrich and Barkhofen, Sonja and Gehler, Stefan and Stöckmann, Hans-Jürgen and Foulger, Iain and Gnutzmann, Sven and Tanner, Gregor}}, issn = {{0031-9007}}, journal = {{Physical Review Letters}}, title = {{{Microwave Experiments Simulating Quantum Search and Directed Transport in Artificial Graphene}}}, doi = {{10.1103/physrevlett.114.110501}}, year = {{2015}}, } @article{26495, author = {{Schäfer, Rudi and Barkhofen, Sonja and Guhr, Thomas and Stöckmann, Hans-Jürgen and Kuhl, Ulrich}}, issn = {{1539-3755}}, journal = {{Physical Review E}}, title = {{{Compounding approach for univariate time series with nonstationary variances}}}, doi = {{10.1103/physreve.92.062901}}, year = {{2015}}, } @phdthesis{265, author = {{Hallmann, Corinna}}, publisher = {{Universität Paderborn}}, title = {{{Optimierung von Wasserbehältern in einem Wasserversorgungssystem mittels einer Kombination aus Netzreduktion, mathematischer Optimierung und hydraulischer Simulation}}}, year = {{2015}}, } @article{26520, author = {{Elster, Fabian and Barkhofen, Sonja and Nitsche, Thomas and Novotný, Jaroslav and Gábris, Aurél and Jex, Igor and Silberhorn, Christine}}, issn = {{2045-2322}}, journal = {{Scientific Reports}}, title = {{{Quantum walk coherences on a dynamical percolation graph}}}, doi = {{10.1038/srep13495}}, year = {{2015}}, } @book{26531, editor = {{Keil, Reinhard and Selke, Harald}}, publisher = {{publishing series of the Heinz Nixdorf Institute, Paderborn}}, title = {{{20 years of learning with the World Wide Web - technology and education in dialogue}}}, volume = {{330}}, year = {{2015}}, } @inproceedings{26532, author = {{Keil, Reinhard and Selke, Harald}}, editor = {{Keil, Reinhard and Selke, Harald}}, pages = {{1--7}}, publisher = {{Publishing series of the Heinz Nixdorf Institute, Paderborn}}, title = {{{Learn with, through and {\ "about the WWW}}}, volume = {{330}}, year = {{2015}}, } @inproceedings{26533, author = {{Keil, Reinhard and Selke, Harald}}, editor = {{Keil, Reinhard and Selke, Harald}}, pages = {{39--53}}, publisher = {{publishing series of the Heinz Nixdorf Institute, Paderborn}}, title = {{{Virtual knowledge {\ "a} ume - From the presentation of content to virtual learning {\" a} tten}}}, volume = {{330}}, year = {{2015}}, } @phdthesis{26534, author = {{Klompmaker, Florian}}, publisher = {{Universitaetsbibliothek Paderborn}}, title = {{{Development of a structured process of interaction design for {\ "u} r nat {\" u} local user interfaces}}}, year = {{2015}}, } @inproceedings{26536, abstract = {{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. }}, author = {{Schild, Christian and Petrausch, Vanessa}}, booktitle = {{Human and Computer 2015 - Proceedings}}, pages = {{173--182}}, publisher = {{De Gruyter Oldenbourg}}, title = {{{Empirical validation of design patterns}}}, year = {{2015}}, } @inproceedings{266, abstract = {{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". }}, author = {{Markarian, Christine and Meyer auf der Heide, Friedhelm}}, booktitle = {{Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing (PODC)}}, pages = {{343--344}}, title = {{{Online Resource Leasing}}}, doi = {{10.1145/2767386.2767454}}, year = {{2015}}, } @inbook{26653, author = {{Hellmich, Frank and Görel, Gamze}}, booktitle = {{Veränderung und Beständigkeit in Zeiten der Inklusion. Perspektiven sonderpädagogischer Professionalisierung}}, editor = {{Redlich, Hubertus and Schäfer, Lea and Wachtel, Grit and Zehbe, Katja and Moser, Vera }}, pages = {{178--188}}, publisher = {{Klinkhardt}}, title = {{{Einstellungen von Grundschullehrkräften zum inklusiven Lernen in Abhängigkeit von dem Umfang an Erfahrungen aus dem Unterricht mit Kindern mit unterschiedlichen sonderpädagogischen Förderbedarfen}}}, year = {{2015}}, } @phdthesis{267, author = {{Markarian, Christine}}, publisher = {{Universität Paderborn}}, title = {{{Online Resource Leasing}}}, year = {{2015}}, } @inbook{26735, author = {{Blumberg, Eva and Hellmich, Frank and Fromme, Theresa}}, booktitle = {{Lernprozessbegleitung und adaptives Lernen in der Grundschule. Forschungsbezogene Beiträge}}, editor = {{Liebers, Katrin and Landwehr, Brunhild and Marquardt, Anne and Schlotter, Kezia}}, pages = {{235--236}}, publisher = {{Springer VS}}, title = {{{Entwicklung naturwissenschaftlich-technischer Lehr-Lernangebote für inklusiven Sachunterricht}}}, doi = {{10.1007/978-3-658-11346-9_31}}, year = {{2015}}, } @inbook{26736, author = {{Ort, Margarita and Hellmich, Frank}}, booktitle = {{Facetten grundschulpädagogischer und -didaktischer Forschung}}, editor = {{Liebers, Katrin and Landwehr, Brunhild and Reinhold, Simone and Riegler, Susanne and Schmidt, Romina }}, pages = {{199--204}}, publisher = {{Springer VS}}, title = {{{Kausalattributionen von Leseerfolgen und Lesemisserfolgen bei Kindern im Leseunterricht der Grundschule}}}, doi = {{10.1007/978-3-658-11944-7_31}}, year = {{2015}}, } @inbook{26739, author = {{Hellmich, Frank}}, booktitle = {{Innovative Erhebungsmethoden – dargestellt an verschiedenen Forschungsprojekten}}, editor = {{Kaiser, Astrid}}, pages = {{84--98}}, publisher = {{Schneider Hohengehren}}, title = {{{Lesestrategien und Leseerfolg bei Kindern im vierten Grundschuljahr – Analysen mit Fragebogen- und Beobachtungsverfahren}}}, year = {{2015}}, } @misc{268, author = {{Lange, Alexander}}, publisher = {{Universität Paderborn}}, title = {{{Online Bewertungssysteme – Ein systematischer Überblick}}}, year = {{2015}}, } @article{26881, author = {{Klünder, Nina}}, journal = {{Hauswirtschaft und Wissenschaft }}, number = {{1}}, pages = {{45--47}}, title = {{{Gesellschaftliche und kulturelle Bedeutung von Mittagsverpflegung in Gießener Kindertagesstätten}}}, volume = {{63}}, year = {{2015}}, } @article{26884, author = {{Meier-Gräwe, Uta and Klünder, Nina}}, journal = {{KiTa aktuell}}, number = {{6}}, pages = {{143--144}}, title = {{{Verpflegung in Kindertagesstätten gestalten – Ergebnisse einer qualitativen Studie}}}, volume = {{23}}, year = {{2015}}, } @inproceedings{269, abstract = {{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.}}, author = {{Wiersema, Tobias and Wu, Sen and Platzner, Marco}}, booktitle = {{Proceedings of the International Symposium in Reconfigurable Computing (ARC)}}, pages = {{365----372}}, title = {{{On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach}}}, doi = {{10.1007/978-3-319-16214-0_32}}, year = {{2015}}, }