@inproceedings{6634, author = {{Bendfeld, Jörg and Balluff, Stefan and Krüger, J. and Krauter, Stefan}}, booktitle = {{Proceedings of the DEWEK 2017}}, location = {{Bremen}}, title = {{{Short-term wind speed and power prediction for offshore wind farms using neural networks}}}, year = {{2017}}, } @inproceedings{6635, author = {{Bendfeld, Jörg and Krauter, Stefan}}, booktitle = {{Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1477–1481}}, location = {{Amsterdam}}, title = {{{Update on rankings of conversion efficiencies and energy yield of micro-inverters, including inverters for two PV modules}}}, year = {{2017}}, } @inproceedings{6636, author = {{Bendfeld, Jörg and Krauter, Stefan}}, booktitle = {{Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017, S. 1836–1840}}, location = {{Amsterdam}}, title = {{{Long-term performance of PV micro-inverters}}}, year = {{2017}}, } @inproceedings{6637, author = {{Krauter, Stefan and Wendlandt, S. and Süthoff, L. and Berendes, S. and Teubner, J. and Podlowski, L. and Berghold, J. and Grunow, Paul}}, booktitle = {{Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}}, location = {{Aḿsterdam}}, title = {{{Advanced PV Module Hot Spot Characterisation}}}, year = {{2017}}, } @inproceedings{6638, author = {{Krauter, Stefan}}, booktitle = {{VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017.}}, location = {{Hamburg}}, title = {{{Comparison of Conversion Efficiencies and Energy Yields of Micro-Inverters for Photovoltaic Modules}}}, year = {{2017}}, } @inproceedings{6639, author = {{Krauter, Stefan and Ameli, Ali}}, booktitle = {{VDE-Proceedings of NEIS 2017 – Conference on Sustainable Energy Supply and Energy Storage Systems by IEEE-PES. Hamburg (Deutschland), 21.–22. September, 2017.}}, location = {{Hamburg}}, title = {{{Smart Charging Management System of Plugged-in EVs for Optimal Operation of Future Power Systems.}}}, year = {{2017}}, } @inproceedings{6640, author = {{Krauter, Stefan}}, booktitle = {{Proceedings of the 11th International Conference for Renewable Energy Storage, 14-16 March 2017, Düsseldorf, Germany.}}, location = {{Düsseldorf, Germany.}}, title = {{{Minimizing storage costs: Simple and effective methods to match PV with grid load, including shift of holiday period}}}, year = {{2017}}, } @inproceedings{6641, author = {{Khatibi, Arash and Bendfeld, Jörg and Bermpohl, Wolfgang and Krauter, Stefan}}, booktitle = {{Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}}, location = {{Amsterdam}}, title = {{{Introduction of an Advanced Method for Testing of Battery Charge Controllers for Off-Grid PV Systems}}}, year = {{2017}}, } @inproceedings{6642, author = {{Khatibi, Arash and Bendfeld, Jörg and Bermpohl, Wolfgang and Krauter, Stefan}}, booktitle = {{Proceedings of the 33rd European Photovoltaic Solar Energy Conference, Amsterdam, (Niederlande), 25.-29. Sept. 2017}}, location = {{Amsterdam}}, title = {{{Testing and Analysis of Battery Charge Controllers for Off-Grid PV Systems}}}, year = {{2017}}, } @misc{67, author = {{Jürgens, Mirko}}, publisher = {{Universität Paderborn}}, title = {{{Provably Secure Key-Derivation-Functions for Certain Types of Applications}}}, year = {{2017}}, } @article{6725, author = {{Czerwinski, Wojciech and Martens, Wim and van Rooijen, Lorijn and Zeitoun, Marc and Zetzsche, Georg}}, journal = {{Discrete Mathematics & Theoretical Computer Science}}, number = {{4}}, title = {{{A Characterization for Decidable Separability by Piecewise Testable Languages}}}, doi = {{10.23638/DMTCS-19-4-1}}, volume = {{19}}, year = {{2017}}, } @article{6737, author = {{Wolters, Dennis and Gerth, Christian and Engels, Gregor}}, journal = {{Computer Science and Information Systems (ComSIS)}}, number = {{2}}, pages = {{517--536}}, title = {{{Visual Requirements Modeling for Cross-Device Systems}}}, doi = {{10.2298/CSIS160930015W}}, volume = {{14}}, year = {{2017}}, } @article{6764, author = {{Jovanovikj, Ivan and Sauer, Stefan}}, journal = {{Softwaretechnik-Trends, Proceedings of the 19th Workshop Software-Reengineering & Evolution (WSRE) & 8th Workshop Design for Future (DFF)}}, location = {{Bad Honnef}}, number = {{2}}, pages = {{ 50--51 }}, publisher = {{Gesellschaft für Informatik e.V., Fachgruppe PARS}}, title = {{{Towards a Framework for Constructing Context-Specific Migration Methods for Test Cases}}}, volume = {{37}}, year = {{2017}}, } @article{677, author = {{Liu, Hong-Chao and Yang, Biao and Guo, Qinghua and Shi, Jinhui and Guan, Chunying and Zheng, Guoxing and Mühlenbernd, Holger and Li, Guixin and Zentgraf, Thomas and Zhang, Shuang}}, issn = {{2375-2548}}, journal = {{Science Advances}}, number = {{9}}, publisher = {{American Association for the Advancement of Science (AAAS)}}, title = {{{Single-pixel computational ghost imaging with helicity-dependent metasurface hologram}}}, doi = {{10.1126/sciadv.1701477}}, volume = {{3}}, year = {{2017}}, } @article{678, author = {{Georgi, Philip and Schlickriede, Christian and Li, Guixin and Zhang, Shuang and Zentgraf, Thomas}}, issn = {{2334-2536}}, journal = {{Optica}}, number = {{8}}, publisher = {{The Optical Society}}, title = {{{Rotational Doppler shift induced by spin-orbit coupling of light at spinning metasurfaces}}}, doi = {{10.1364/optica.4.001000}}, volume = {{4}}, year = {{2017}}, } @article{679, author = {{Yin, Xinghui and Steinle, Tobias and Huang, Lingling and Taubner, Thomas and Wuttig, Matthias and Zentgraf, Thomas and Giessen, Harald}}, issn = {{2047-7538}}, journal = {{Light: Science & Applications}}, number = {{7}}, publisher = {{Springer Nature}}, title = {{{Beam switching and bifocal zoom lensing using active plasmonic metasurfaces}}}, doi = {{10.1038/lsa.2017.16}}, volume = {{6}}, year = {{2017}}, } @article{68, abstract = {{Proof-carrying hardware (PCH) is a principle for achieving safety for dynamically reconfigurable hardware systems. The producer of a hardware module spends huge effort when creating a proof for a safety policy. The proof is then transferred as a certificate together with the configuration bitstream to the consumer of the hardware module, who can quickly verify the given proof. Previous work utilized SAT solvers and resolution traces to set up a PCH technology and corresponding tool flows. In this article, we present a novel technology for PCH based on inductive invariants. For sequential circuits, our approach is fundamentally stronger than the previous SAT-based one since we avoid the limitations of bounded unrolling. We contrast our technology to existing ones and show that it fits into previously proposed tool flows. We conduct experiments with four categories of benchmark circuits and report consumer and producer runtime and peak memory consumption, as well as the size of the certificates and the distribution of the workload between producer and consumer. Experiments clearly show that our new induction-based technology is superior for sequential circuits, whereas the previous SAT-based technology is the better choice for combinational circuits.}}, author = {{Isenberg, Tobias and Platzner, Marco and Wehrheim, Heike and Wiersema, Tobias}}, journal = {{ACM Transactions on Design Automation of Electronic Systems}}, number = {{4}}, pages = {{61:1----61:23}}, publisher = {{ACM}}, title = {{{Proof-Carrying Hardware via Inductive Invariants}}}, doi = {{10.1145/3054743}}, year = {{2017}}, } @article{680, author = {{Peter, Manuel and Hildebrandt, Andre and Schlickriede, Christian and Gharib, Kimia and Zentgraf, Thomas and Förstner, Jens and Linden, Stefan}}, issn = {{1530-6984}}, journal = {{Nano Letters}}, keywords = {{tet_topic_opticalantenna}}, number = {{7}}, pages = {{4178--4183}}, publisher = {{American Chemical Society (ACS)}}, title = {{{Directional Emission from Dielectric Leaky-Wave Nanoantennas}}}, doi = {{10.1021/acs.nanolett.7b00966}}, volume = {{17}}, year = {{2017}}, } @article{681, author = {{Guo, Qinghua and Schlickriede, Christian and Wang, Dongyang and Liu, Hongchao and Xiang, Yuanjiang and Zentgraf, Thomas and Zhang, Shuang}}, issn = {{1094-4087}}, journal = {{Optics Express}}, number = {{13}}, publisher = {{The Optical Society}}, title = {{{Manipulation of vector beam polarization with geometric metasurfaces}}}, doi = {{10.1364/oe.25.014300}}, volume = {{25}}, year = {{2017}}, } @article{682, author = {{Weber, Nils and Protte, Maximilian and Walter, Felicitas and Georgi, Philip and Zentgraf, Thomas and Meier, Cedrik}}, issn = {{2469-9950}}, journal = {{Physical Review B}}, number = {{20}}, publisher = {{American Physical Society (APS)}}, title = {{{Double resonant plasmonic nanoantennas for efficient second harmonic generation in zinc oxide}}}, doi = {{10.1103/physrevb.95.205307}}, volume = {{95}}, year = {{2017}}, }