@inproceedings{13151, author = {{Graf, Tobias and Platzner, Marco}}, booktitle = {{Computer and Games}}, title = {{{Using Deep Convolutional Neural Networks in Monte Carlo Tree Search}}}, year = {{2016}}, } @inproceedings{13152, author = {{Graf, Tobias and Platzner, Marco}}, booktitle = {{IEEE Computational Intelligence and Games}}, title = {{{Monte-Carlo Simulation Balancing Revisited}}}, 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}}, } @inproceedings{13215, author = {{Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}}, location = {{Lyon}}, title = {{{An Approach to Non-Destructive Testing of Aged Polymers}}}, 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}}, } @article{13217, author = {{Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}}, journal = {{Kunststoffe International}}, number = {{4}}, pages = {{43--45}}, title = {{{Detecting Molecular Damage}}}, year = {{2016}}, } @inproceedings{13218, author = {{Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}}, isbn = {{978-0-692-71961-9}}, location = {{Indianapolis}}, title = {{{Non-destructive characterization of hygrothermally aged polymers}}}, year = {{2016}}, } @inbook{13219, author = {{Moritzer, Elmar and Hüttner, Matthias and Henning, Bernd and Webersen, Manuel}}, booktitle = {{Jahresmagazin Kunststofftechnik 2016}}, pages = {{2--7}}, title = {{{Ultraschallbasierte Charakterisierung von gealterten Polymeren}}}, 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}}, } @misc{133, abstract = {{.}}, author = {{Dewender, Markus}}, publisher = {{Universität Paderborn}}, title = {{{Verifikation von Service Kompositionen mit Spin}}}, year = {{2016}}, } @misc{134, abstract = {{.}}, author = {{Heinisch, Philipp}}, publisher = {{Universität Paderborn}}, title = {{{Verifikation von Service Kompositionen mit Prolog}}}, year = {{2016}}, } @phdthesis{10136, author = {{Eikel, Martina}}, publisher = {{Universität Paderborn}}, title = {{{Insider-resistent Distributed Storage Systems}}}, year = {{2016}}, } @inbook{10214, author = {{Fürnkranz, J. and Hüllermeier, Eyke}}, booktitle = {{Encyclopedia of Machine Learning and Data Mining}}, editor = {{Sammut, C. and Webb, G.I.}}, publisher = {{Springer}}, title = {{{Preference Learning}}}, year = {{2016}}, } @proceedings{10221, editor = {{Hoffmann, F. and Hüllermeier, Eyke and Mikut, R.}}, title = {{{ Proceedings 26. Workshop Computational Intelligence KIT Scientific Publishing, Karlsruhe, Germany}}}, year = {{2016}}, } @inproceedings{10222, author = {{Jasinska, K. and Dembczynski, K. and Busa-Fekete, Robert and Klerx, Timo and Hüllermeier, Eyke}}, booktitle = {{Proceedings ICML-2016, 33th International Conference on Machine Learning, New York, USA}}, editor = {{Balcan, M.F. and Weinberger, K.Q.}}, title = {{{Extreme F-measure maximization using sparse probability estimates }}}, year = {{2016}}, } @inproceedings{10223, author = {{Melnikov, Vitaly and Hüllermeier, Eyke}}, booktitle = {{European Conference on Machine Learning and Knowledge Discovery in Databases, Part II, Riva del Garda, Italy}}, pages = {{756--771}}, title = {{{Learning to aggregate using uninorms, in Proceedings ECML/PKDD-2016}}}, 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{10225, author = {{Shabani, Aulon and Paul, Adil and Platon, R. and Hüllermeier, Eyke}}, booktitle = {{In Proceedings ICCBR, 24th International Conference on Case-Based Reasoning, Atlanta, GA, USA}}, pages = {{356--369}}, title = {{{Predicting the electricity consumption of buildings: An improved CBR approach}}}, year = {{2016}}, } @inproceedings{10226, author = {{Pfannschmidt, Karlson and Hüllermeier, Eyke and Held, S. and Neiger, R.}}, booktitle = {{In Proceedings IPMU 16th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Part 1, Eindhoven, The Netherlands}}, pages = {{450--461}}, publisher = {{Springer}}, title = {{{Evaluating tests in medical diagnosis-Combining machine learning with game-theoretical concepts}}}, year = {{2016}}, } @inproceedings{10227, author = {{Labreuche, C. and Hüllermeier, Eyke and Vojtas, P. and Fallah Tehrani, A.}}, 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 = {{{On the Identifiability of models in multi-criteria preference learning }}}, year = {{2016}}, }