@inproceedings{28435, author = {Behrmann, Lars and Homt, Martina and Schmidt, Jennifer and van Ophuysen, Stefanie}, title = {{Wie lernt man „forschendes Lernen“? Die Konzeption der Methodenausbildung für Lehramtsstudierende an der WWU Münster und erste Evaluationsergebnisse}}, year = {2016}, } @article{28480, author = {D{\'{\i}}az S{\'{a}}nchez, Daniel and S{\'{a}}nchez{-}Guerrero, Rosa and Arias, Patricia and Almen{\'{a}}rez, Florina and Mar{\'{\i}}n, Andr{\'{e}}s}, journal = {Telecommun. Syst.}, number = {1}, pages = {59--76}, title = {{A distributed transcoding and content protection system - Enabling pay per quality using the cloud}}, doi = {10.1007/s11235-014-9952-x}, volume = {61}, year = {2016}, } @article{28478, author = {Arias Cabarcos, Patricia and Mar{\'{\i}}n L{\'{o}}pez, Andr{\'{e}}s and Palacios, Diego and Almen{\'{a}}rez, Florina and D{\'{\i}}az S{\'{a}}nchez, Daniel}, journal = {{IT} Prof.}, number = {5}, pages = {34--40}, title = {{Comparing Password Management Software: Toward Usable and Secure Enterprise Authentication}}, doi = {10.1109/MITP.2016.81}, volume = {18}, year = {2016}, } @article{10159, author = {Kang, Yingli and Steffen, Eckhard}, journal = {Discrete Mathematics }, pages = {234--243}, title = {{The chromatic spectrum of signed graphs}}, volume = {339}, year = {2016}, } @article{10161, author = {Jin, Ligang and Kang, Yingli and Steffen, Eckhard}, journal = {European J. Combinatorics}, pages = {234--243}, title = {{Choosability in signed planar graphs}}, volume = {52}, year = {2016}, } @misc{10781, author = {Hermansen, Sven}, publisher = {Paderborn University}, title = {{Custom Memory Controller for ReconOS}}, year = {2016}, } @misc{10616, author = {Nassery, Abdul Sami}, publisher = {Paderborn University}, title = {{Implementation of Bilinear Pairings on Reconfigurable Hardware}}, year = {2016}, } @article{10661, author = {Graf, Tobias and Platzner, Marco}, journal = {Journal Theoretical Computer Science}, pages = {53--62}, publisher = {Elsevier}, title = {{Adaptive playouts for online learning of policies during Monte Carlo Tree Search}}, doi = {10.1016/j.tcs.2016.06.029}, volume = {644}, year = {2016}, } @inproceedings{10224, author = {Dembczynski, K. and Kotlowski, W. and Waegeman, W. and Busa-Fekete, Robert and Hüllermeier, Eyke}, booktitle = {In Proceedings ECML/PKDD European Conference on Maschine Learning and Knowledge Discovery in Databases, Part II, Riva del Garda, Italy}, pages = {511--526}, title = {{Consistency of probalistic classifier trees}}, year = {2016}, } @inproceedings{10229, author = {Couso, Ines and Ahmadi Fahandar, Mohsen and Hüllermeier, Eyke}, booktitle = {Proceedings DA2PL ´2016, Euro Mini Conference from Multiple Criteria Decision Aid to Preference Learning}, editor = {Busa-Fekete, Robert and Hüllermeier, Eyke and Mousseau, V. and Pfannschmidt, Karlson}, title = {{Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators}}, year = {2016}, } @inproceedings{10231, author = {Schäfer, Dirk and Hüllermeier, Eyke}, booktitle = {In Workshop LWDA "Lernen, Wissen, Daten, Analysen"}, title = {{Plackett-Luce networks for dyad ranking}}, year = {2016}, } @article{10705, author = {Ma, Chenjie and Kaufmann, Paul and Töbermann, J.-Christian and Braun, Martin}, journal = {Renewable Energy}, number = {(part 2)}, pages = {946--953}, publisher = {Elsevier}, title = {{Optimal Generation Dispatch of Distributed Generators Considering Fair Contribution to Grid Voltage Control}}, doi = {10.1016/j.renene.2015.07.083}, volume = {87}, year = {2016}, } @inproceedings{10712, author = {Meisner, Sebastian and Platzner, Marco}, booktitle = {Reconfigurable Computing and FPGAs (ReConFig), 2016 International Conference on}, pages = {1--8}, title = {{Thread Shadowing: On the Effectiveness of Error Detection at the Hardware Thread Level}}, doi = {10.1109/ReConFig.2016.7857193}, year = {2016}, } @misc{10755, author = {Schmidt, Marco}, publisher = {Paderborn University}, title = {{Konzeption und Implementierung einer digitalen Ansteuerung für den Betrieb einer elektrischen Sendereinheit für induktive Energieübertragung}}, year = {2016}, } @misc{1155, author = {Geierhos, Michaela}, booktitle = {Enzyklopädie der Wirtschaftsinformatik}, editor = {Gronau, Norbert and Becker, Jörg and Sinz, Elmar and Suhl, Leena and Leimeister, Jan M.}, keyword = {Crawler}, publisher = {GITO-Verlag}, title = {{Crawler (fokussiert / nicht fokussiert)}}, year = {2016}, } @inproceedings{132, abstract = {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 = {Wiersema, Tobias and Platzner, Marco}, booktitle = {Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip (ReCoSoC 2016)}, pages = {1----8}, title = {{Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware}}, doi = {10.1109/ReCoSoC.2016.7533910}, year = {2016}, } @article{13216, author = {Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}, journal = {Kunststoffe}, number = {4}, pages = {94--96}, title = {{Molekularen Schäden auf der Spur}}, year = {2016}, } @inproceedings{13223, abstract = {In der zerstörungsfreien Werkstoffprüfung sind bereits zahlreiche Verfahren etabliert, deren Ziel die Detektion makroskopischer Defekt- und Fehlstellen (z.B. Risse, Poren, Fremdeinschlüsse) ist. Insbesondere bei Polymerwerkstoffen muss jedoch auch die Materialalterung auf molekularer Ebene berücksichtigt werden, die sich (zumeist negativ) auf die Materialkenngrößen auswirkt. Gängige Verfahren zur Bestimmung dieser Kenngrößen arbeiten jedoch üblicherweise zerstörend und sind somit beispielsweise für die vorbeugende Instandhaltung oder die Online-Komponentenüberwachung nur eingeschränkt geeignet. In diesem Beitrag wird ein Verfahren zur zerstörungsfreien Charakterisierung des Alterungszustandes von Polymeren vorgestellt. Dazu wird der Zusammenhang zwischen akustisch (zerstörungsfrei, mittels Ultraschall-Transmissionsmessung) bestimmten Kenngrößen und klassisch (zerstörend, z.B. mittels Zugprüfung) bestimmten hydrothermischer Alterung auf das Material Polyamid 6 (PA6) untersucht. Die Ergebnisse Kenngrößen betrachtet. Exemplarisch werden die Auswirkungen zeigen einen engen Zusammenhang zwischen der zerstörend bestimmten Viskositätszahl, die ein Maß für die mittlere Molekülkettenlänge darstellt, und der akustischen Longitudinalwellengeschwindigkeit. Das Molekülkettenabbau (Depolymerisation) bestimmt ist, kann somit auch akustisch und zerstörungsfrei charakterisiert werden. Auf dieser Basis können neuartige, zerstörungsfrei arbeitende Messsysteme entwickelt werden.}, author = {Webersen, Manuel and Hüttner, Matthias and Bause, Fabian and Moritzer, Elmar and Henning, Bernd}, isbn = {978-3-9816876-0-6}, location = {Nürnberg}, pages = {683--688}, title = {{Zerstörungsfreie Charakterisierung des hydrothermischen Alterungsverhaltens von Polymeren}}, doi = {10.5162/sensoren2016/P6.4}, year = {2016}, } @book{12972, abstract = {Taking inspiration from self-awareness in humans, this book introduces the new notion of computational self-awareness as a fundamental concept for designing and operating computing systems. The basic ability of such self-aware computing systems is to collect information about their state and progress, learning and maintaining models containing knowledge that enables them to reason about their behaviour. Self-aware computing systems will have the ability to utilise this knowledge to effectively and autonomously adapt and explain their behaviour, in changing conditions. This book addresses these fundamental concepts from an engineering perspective, aiming at developing primitives for building systems and applications. It will be of value to researchers, professionals and graduate students in computer science and engineering.}, editor = {Lewis, Peter R. and Platzner, Marco and Rinner, Bernhard and Tørresen, Jim and Yao, Xin}, isbn = {9783319396743}, issn = {1619-7127}, publisher = {Springer}, title = {{Self-aware Computing Systems: An Engineering Approach}}, doi = {10.1007/978-3-319-39675-0}, year = {2016}, } @inproceedings{12011, author = {Hagenauer, Florian and Sommer, Christoph and Merschjohann, Simon and Higuchi, Takamasa and Dressler, Falko and Altintas, Onur}, booktitle = {2016 IEEE Conference on Computer Communications Workshops (INFOCOM WKSHPS)}, isbn = {9781467399555}, title = {{Cars as the base for service discovery and provision in highly dynamic networks}}, doi = {10.1109/infcomw.2016.7562101}, year = {2016}, }
https://ris.uni-paderborn.de/export?cql=year%3C%3D2030+AND+year%3E%3D1980&fmt=bibtex&limit=20&start=6120&style=ama
ris.uni-paderborn.de
crawl=CC-MAIN-2021-49
11373
application/http; msgtype=response
sha1:RKIDIN7XAAJVER7G7VMIXLOW56EOIPHD
<urn:uuid:b3ec1b33-032e-4a08-b596-6d5738577811>
2021-12-09T02:45:34Z
131.234.191.18
application/x-bibtex-text-file
sha1:NRBMMFTRQNM6ENRJUIM6EP4X4YOSVI5D
<urn:uuid:359532b2-f3ec-4a6a-90c9-ebc3b0c3f6cd>
https://ris.uni-paderborn.de/export?cql=year%3C%3D2030+AND+year%3E%3D1980&fmt=bibtex&limit=20&start=6120&style=ama
response
<urn:uuid:76e28d75-f965-4d92-996e-e209bc73c827>
isPartOf: CC-MAIN-2021-49
publisher: Common Crawl
description: Wide crawl of the web for November/December 2021
operator: Common Crawl Admin (info@commoncrawl.org)
hostname: ip-10-67-67-123
software: Apache Nutch 1.18 (modified, https://github.com/commoncrawl/nutch/)
robots: checked via crawler-commons 1.3-SNAPSHOT (https://github.com/crawler-commons/crawler-commons)
format: WARC File Format 1.1
conformsTo: https://iipc.github.io/warc-specifications/specifications/warc-format/warc-1.1/