Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4751 Publications
2014 | Bachelorsthesis | LibreCat-ID: 430
Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT
A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, Universität Paderborn, 2014.
LibreCat
A. Krakau, Entwicklung eines Konzepts zur Kodierung eines objektorientierten Typsystems in SMT, Universität Paderborn, 2014.
2014 | Dissertation | LibreCat-ID: 431
Energy-efficient Scheduling Algorithms
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
LibreCat
| Files available
P. Kling, Energy-Efficient Scheduling Algorithms, Universität Paderborn, 2014.
2014 | Mastersthesis | LibreCat-ID: 432
Energy-Efficient Queuing with Delayed Deactivation
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
LibreCat
N. Bredenbals, Energy-Efficient Queuing with Delayed Deactivation, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 433
Embedding FPGA Overlays into Configurable Systems-on-Chip: ReconOS meets ZUMA
T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
LibreCat
| Files available
| DOI
T. Wiersema, A. Bockhorn, M. Platzner, in: Proceedings of the International Conference on ReConFigurable Computing and FPGAs (ReConFig), 2014, pp. 1–6.
2014 | Bachelorsthesis | LibreCat-ID: 434
Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
LibreCat
L. Luo, Ein selbst-stabilisierender Algorithmus für das Finite Sleep Problem in Skip+ Graphen, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 435
Efficient Computation of Optimal Energy and Fractional Weighted Flow Trade-off Schedules
A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
LibreCat
| Files available
| DOI
A. Antoniadis, N. Barcelo, M. Consuegra, P. Kling, M. Nugent, K. Pruhs, M. Scquizzato, in: Proceedings of the 31st Symposium on Theoretical Aspects of Computer Science (STACS), 2014, pp. 63--74.
2014 | Mastersthesis | LibreCat-ID: 436
Easy-to-use on-the-fly binary program acceleration on many-cores
M. Damschen, Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores, Universität Paderborn, 2014.
LibreCat
M. Damschen, Easy-to-Use on-the-Fly Binary Program Acceleration on Many-Cores, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 437
Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells
V. Wemhöner, Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells, Universität Paderborn, 2014.
LibreCat
V. Wemhöner, Die ökonomischen Auswirkungen der Kronzeugenregelung am Beispiel des Kaffeerösterkartells, Universität Paderborn, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 438
Designing an Anonymous and Secure Reputation System Using a Group Signature Variant
A. Kokoschka, Designing an Anonymous and Secure Reputation System Using a Group Signature Variant, Universität Paderborn, 2014.
LibreCat
A. Kokoschka, Designing an Anonymous and Secure Reputation System Using a Group Signature Variant, Universität Paderborn, 2014.
2014 | Dissertation | LibreCat-ID: 440
Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions
D. Kaimann, Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions, Universität Paderborn, 2014.
LibreCat
| Files available
D. Kaimann, Decision Making under Asymmetric Information in Markets for Experience Goods: Empirical Evidence of Signaling Effects on Consumer Perceptions, Universität Paderborn, 2014.
2014 | Conference Paper | LibreCat-ID: 5189
FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
LibreCat
| Files available
| DOI
| Download (ext.)
S. Arzt, S. Rasthofer, C. Fritz, E. Bodden, A. Bartel, J. Klein, Y. Le Traon, D. Octeau, P. McDaniel, in: Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI ’14, ACM Press, 2014.
2014 | Conference Paper | LibreCat-ID: 5190
DroidForce: Enforcing Complex, Data-Centric, System-Wide Policies in Android
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
LibreCat
| Files available
| Download (ext.)
S. Arzt, S. Rasthofer, E. Lovat, E. Bodden, in: International Conference on Availability, Reliability and Security (ARES 2014), IEEE, 2014, pp. 40–49.
2014 | Book | LibreCat-ID: 6699
(En-)Gendering a Popular Theatrical Genre. The Roles of Women in Nineteenth-Century British Melodrama
M. Tönnies, (En-)Gendering a Popular Theatrical Genre. The Roles of Women in Nineteenth-Century British Melodrama, 1., Winter, Heidelberg, 2014.
LibreCat
M. Tönnies, (En-)Gendering a Popular Theatrical Genre. The Roles of Women in Nineteenth-Century British Melodrama, 1., Winter, Heidelberg, 2014.
2014 | Journal Article | LibreCat-ID: 6781
Anti-hegemoniale Strategien des Kleinen. Britische dokumentarische Farbfotografie als Kritik des Thatcherismus
M. Tönnies, Kulturen des Kleinen. Mikroformate in Literatur, Kunst und Medien (2014) 321–333.
LibreCat
M. Tönnies, Kulturen des Kleinen. Mikroformate in Literatur, Kunst und Medien (2014) 321–333.
2014 | Conference Paper | LibreCat-ID: 6928
Integration of wind energy in power systems: Modeling of a market-orientated energy concept
Y. Bouyraaman, J. Bendfeld, S. Krauter, P. Breymann, in: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.
LibreCat
Y. Bouyraaman, J. Bendfeld, S. Krauter, P. Breymann, in: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.
2014 | Conference Paper | LibreCat-ID: 6936
Photovoltaics and the Energy System: Adaptation of layout and load
S. Krauter, in: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.
LibreCat
S. Krauter, in: Proceedings of the World Renewable Energy Congress WREC XIII, London, (UK), August 3-8, 2014 , 2014.
2014 | Conference Paper | LibreCat-ID: 6938
Energy-economic comparison of photovoltaic modules equipped with a layer of conventional and improved phase-change material
E. Japs, S. Peters, G. Sonnenrein, S. Krauter, in: Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014 , 2014.
LibreCat
E. Japs, S. Peters, G. Sonnenrein, S. Krauter, in: Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014 , 2014.
2014 | Conference Paper | LibreCat-ID: 6939
Integration of PV into the Energy System: Challenges and Measures for Generation and Load Management
S. Krauter, E. Japs, in: Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014, 2014.
LibreCat
S. Krauter, E. Japs, in: Proceedings of the 40th IEEE Photovoltaic Specialists Conference, Denver (USA), June 8-13, 2014, 2014.
2014 | Bachelorsthesis | LibreCat-ID: 10665
Entwicklung einer codegrößenoptimierten Softwarebibliothek für 8-Bit Mikrocontroller in netzunabhängigen Notleuchten
C. Hagedorn, Entwicklung Einer Codegrößenoptimierten Softwarebibliothek Für 8-Bit Mikrocontroller in Netzunabhängigen Notleuchten, Paderborn University, 2014.
LibreCat
C. Hagedorn, Entwicklung Einer Codegrößenoptimierten Softwarebibliothek Für 8-Bit Mikrocontroller in Netzunabhängigen Notleuchten, Paderborn University, 2014.
2014 | Journal Article | LibreCat-ID: 11867 | 
An Overview of Noise-Robust Automatic Speech Recognition
J. Li, L. Deng, Y. Gong, R. Haeb-Umbach, IEEE Transactions on Audio, Speech and Language Processing 22 (2014) 745–777.
LibreCat
| DOI
| Download (ext.)
J. Li, L. Deng, Y. Gong, R. Haeb-Umbach, IEEE Transactions on Audio, Speech and Language Processing 22 (2014) 745–777.