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.
9750 Publications
2013 | Journal Article | LibreCat-ID: 6729
Relational semantics for full linear logic
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
LibreCat
| DOI
D. Coumans, M. Gehrke, L. van Rooijen, Journal of Applied Logic 12 (2013) 50–66.
2013 | Conference Paper | LibreCat-ID: 6730
Separating Regular Languages by Locally Testable and Locally Threshold Testable Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, in: Annual Conference on Foundations of Software Technology and Theoretical Computer Science, (FSTTCS) 2013, December 12-14, 2013, Guwahati, India, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013, pp. 363--375.
2013 | Conference Paper | LibreCat-ID: 6732
Separating Regular Languages by Piecewise Testable and Unambiguous Languages
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
LibreCat
| DOI
T. Place, L. van Rooijen, M. Zeitoun, in: Mathematical Foundations of Computer Science 2013 - 38th International Symposium, (MFCS) 2013, Klosterneuburg, Austria, August 26-30, 2013, Springer Berlin Heidelberg, Berlin, Heidelberg, 2013, pp. 729–740.
2013 | Conference Paper | LibreCat-ID: 6913
Test Sequence Development for Evaluation of Potential Induced Degradation on Thin-Film Modules
T. Weber, J. Berghold, F. Heilmann, M. Roericht, S. Krauter, P. Grunow, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich, 2013.
LibreCat
T. Weber, J. Berghold, F. Heilmann, M. Roericht, S. Krauter, P. Grunow, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich, 2013.
2013 | Journal Article | LibreCat-ID: 6915
Energiewende mit Sonnenstrom
S. Krauter, Forschungsforum Paderborn, 16-2013, Februar 2013 (2013) 38–45.
LibreCat
S. Krauter, Forschungsforum Paderborn, 16-2013, Februar 2013 (2013) 38–45.
2013 | Conference Paper | LibreCat-ID: 6916
Technical investigation of a photovoltaic module with integrated improved phase change material
E. Japs, G. Sonnenrein, J. Steube, J. Vrabec, E. Kenig, S. Krauter, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 2013.
LibreCat
E. Japs, G. Sonnenrein, J. Steube, J. Vrabec, E. Kenig, S. Krauter, in: Proceedings of the 28th European Photovoltaic Solar Energy Conference and Exhibition, Paris (Frankreich), 2013.
2013 | Conference Paper | LibreCat-ID: 6917
Foundation Monitoring – An Overview of Methods and Measurement Solutions
J. Bendfeld, J. Krieger, in: WINDFORCE 2013 Bremerhaven, 9. WAB Offshore-Windenergie Konferenz, Juni 2013, 2013.
LibreCat
J. Bendfeld, J. Krieger, in: WINDFORCE 2013 Bremerhaven, 9. WAB Offshore-Windenergie Konferenz, Juni 2013, 2013.
2013 | Misc | LibreCat-ID: 6918
Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen?
Y. Bouyraaman, Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen? , Technologiezentrum-Lichtenau, Lichtenau, Germany, 2013.
LibreCat
Y. Bouyraaman, Power to Gas – Eine andere Möglichkeit, Windstrom zu nutzen? , Technologiezentrum-Lichtenau, Lichtenau, Germany, 2013.
2013 | Misc | LibreCat-ID: 6919
Erstellung Klimaschutzkonzept der Stadt Paderborn unter Nutzung Erneuerbarer Energien,
S. Krauter, Erstellung Klimaschutzkonzept Der Stadt Paderborn Unter Nutzung Erneuerbarer Energien, Paderborn, 2013.
LibreCat
S. Krauter, Erstellung Klimaschutzkonzept Der Stadt Paderborn Unter Nutzung Erneuerbarer Energien, Paderborn, 2013.
2013 | Conference Paper | LibreCat-ID: 6920
7 YEARS METEOMAST AMRUMBANK WEST
J. Bendfeld, J. Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
J. Bendfeld, J. Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6921
FOG MEASURING AND SELECTED OFFSHORE FOG OCCURRENCES FOR THE OFFSHORE WIND ENERGY
J. Bendfeld, S. Balluff, Y. Bouyraaman, jens Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
J. Bendfeld, S. Balluff, Y. Bouyraaman, jens Krieger, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6922
FOUNDATION MONITORING FOR OFFSHORE WINDFARMS
J. Krieger, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
J. Krieger, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6923
Optimisation of Offshore Wind farm Feed-in fluctuations via Power to Gas Storage Systems
Y. Bouyraaman, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
LibreCat
Y. Bouyraaman, J. Bendfeld, in: Europe’s Premier Wind Energy Event – EWEA 2013 Annual Event, Vienna, Austria, February 2013, 2013.
2013 | Conference Paper | LibreCat-ID: 6924
Measurements for PV-Module outdoor performance
J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
LibreCat
J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
2013 | Conference Paper | LibreCat-ID: 6925
Foundation monitoring for offshore windfarms
J. Krieger, J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
LibreCat
J. Krieger, J. Bendfeld, in: Wissenschaftliche Verhandlungen 2013 Der Deutschen Physikalischen Gesellschaft, 2013.
2013 | Misc | LibreCat-ID: 6926
Photovoltaics: Basics, Applications, Recent Developments
S. Krauter, Photovoltaics: Basics, Applications, Recent Developments, 2013.
LibreCat
S. Krauter, Photovoltaics: Basics, Applications, Recent Developments, 2013.
2013 | Journal Article | LibreCat-ID: 16583
Asynchronous variational Lie group integration for geometrically exact beam dynamics
F. Demoures, F. Gay-Balmaz, T. Leitz, S. Leyendecker, S. Ober-Blöbaum, T.S. Ratiu, PAMM (2013) 45–46.
LibreCat
| DOI
F. Demoures, F. Gay-Balmaz, T. Leitz, S. Leyendecker, S. Ober-Blöbaum, T.S. Ratiu, PAMM (2013) 45–46.
2013 | Conference Paper | LibreCat-ID: 16594
Discretized switching time optimization problems
K. Flasskamp, T. Murphey, S. Ober-Blobaum, in: 2013 European Control Conference (ECC), 2013.
LibreCat
| DOI
K. Flasskamp, T. Murphey, S. Ober-Blobaum, in: 2013 European Control Conference (ECC), 2013.
2013 | Journal Article | LibreCat-ID: 16595
Optimization for discretized switched systems
K. Flaßkamp, T. Murphey, S. Ober-Blöbaum, PAMM (2013) 401–402.
LibreCat
| DOI
K. Flaßkamp, T. Murphey, S. Ober-Blöbaum, PAMM (2013) 401–402.
2013 | Book Chapter | LibreCat-ID: 16599
Markov modelling for random dynamical systems
G. Froyland, in: Equadiff 99, 2013.
LibreCat
| DOI
G. Froyland, in: Equadiff 99, 2013.
2013 | Journal Article | LibreCat-ID: 16608
Computing time investigations for variational multirate integration
T. Gail, S. Leyendecker, S. Ober-Blöbaum, PAMM (2013) 43–44.
LibreCat
| DOI
T. Gail, S. Leyendecker, S. Ober-Blöbaum, PAMM (2013) 43–44.
2013 | Conference Paper | LibreCat-ID: 16643
A multiobjective optimization approach for optimal control problems of mechanical systems with uncertainties
S. Ober-Blöbaum, A. Seifried, in: 2013 European Control Conference (ECC), 2013.
LibreCat
| DOI
S. Ober-Blöbaum, A. Seifried, in: 2013 European Control Conference (ECC), 2013.
2013 | Book Chapter | LibreCat-ID: 16670
Set Oriented Methods for the Numerical Treatment of Multiobjective Optimization Problems
O. Schütze, K. Witting, S. Ober-Blöbaum, M. Dellnitz, in: EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation, Berlin, Heidelberg, 2013.
LibreCat
| DOI
O. Schütze, K. Witting, S. Ober-Blöbaum, M. Dellnitz, in: EVOLVE- A Bridge between Probability, Set Oriented Numerics and Evolutionary Computation, Berlin, Heidelberg, 2013.
2013 | Conference Paper | LibreCat-ID: 16672
Discrete-time model of an IPMSM based on variational integrators
A. Specht, S. Ober-Blobaum, O. Wallscheid, C. Romaus, J. Bocker, in: 2013 International Electric Machines & Drives Conference, 2013.
LibreCat
| DOI
A. Specht, S. Ober-Blobaum, O. Wallscheid, C. Romaus, J. Bocker, in: 2013 International Electric Machines & Drives Conference, 2013.
2013 | Journal Article | LibreCat-ID: 16677
A variational approach to define robustness for parametric multiobjective optimization problems
K. Witting, S. Ober-Blöbaum, M. Dellnitz, Journal of Global Optimization (2013) 331–345.
LibreCat
| DOI
K. Witting, S. Ober-Blöbaum, M. Dellnitz, Journal of Global Optimization (2013) 331–345.
2013 | Conference Paper | LibreCat-ID: 17048
Analysis of team and player performance using recorded trajectory data
R. Timmermann, M. Dellnitz, in: Performance Analysis of Sport IX, Part 8, Routledge, 2013.
LibreCat
R. Timmermann, M. Dellnitz, in: Performance Analysis of Sport IX, Part 8, Routledge, 2013.
2013 | Conference Paper | LibreCat-ID: 17049
Running performance analysis in basketball using recorded trajectory data
R. Jakobsmeyer, R. Schnittker, R. Timmermann, R. Zorn, U. Rückert, J. Baumeister, in: Performance Analysis of Sport IX, Part 8, Routledge, 2013.
LibreCat
R. Jakobsmeyer, R. Schnittker, R. Timmermann, R. Zorn, U. Rückert, J. Baumeister, in: Performance Analysis of Sport IX, Part 8, Routledge, 2013.
2013 | Journal Article | LibreCat-ID: 17050
Variational integrators for electric circuits
S. Ober-Blöbaum, M. Tao, M. Cheng, H. Owhadi, J.E. Marsden, Journal of Computational Physics 242 (2013) 498–530.
LibreCat
| DOI
S. Ober-Blöbaum, M. Tao, M. Cheng, H. Owhadi, J.E. Marsden, Journal of Computational Physics 242 (2013) 498–530.
2013 | Journal Article | LibreCat-ID: 10604
A Self-adaptive Heterogeneous Multi-core Architecture for Embedded Real-time Video Object Tracking
M. Happe, E. Lübbers, M. Platzner, International Journal of Real-Time Image Processing 8 (2013) 95–110.
LibreCat
| DOI
M. Happe, E. Lübbers, M. Platzner, International Journal of Real-Time Image Processing 8 (2013) 95–110.
2013 | Conference Paper | LibreCat-ID: 10620
Dynamic reliability management: Reconfiguring reliability-levels of hardware designs at runtime
J. Anwer, S. Meisner, M. Platzner, in: Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference On, 2013, pp. 1–6.
LibreCat
| DOI
J. Anwer, S. Meisner, M. Platzner, in: Reconfigurable Computing and FPGAs (ReConFig), 2013 International Conference On, 2013, pp. 1–6.
2013 | Bachelorsthesis | LibreCat-ID: 10626
Beschleunigung von Tiefenberechnung aus Stereobildern durch FPGA-basierte Datenflussrechner
C. Bick, Beschleunigung von Tiefenberechnung Aus Stereobildern Durch FPGA-Basierte Datenflussrechner, Paderborn University, 2013.
LibreCat
C. Bick, Beschleunigung von Tiefenberechnung Aus Stereobildern Durch FPGA-Basierte Datenflussrechner, Paderborn University, 2013.
2013 | Conference Paper | LibreCat-ID: 10634
Improving transient state myoelectric signal recognition in hand movement classification using gyroscopes
A. Boschmann, B. Nofen, M. Platzner, in: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC), 2013.
LibreCat
A. Boschmann, B. Nofen, M. Platzner, in: Proc. IEEE Int. Conf. Eng. Med. Biolog. (EMBC), 2013.
2013 | Conference Paper | LibreCat-ID: 10635
Reducing the limb position effect in pattern recognition based myoelectric control using a high density electrode array
A. Boschmann, M. Platzner, in: Proc. IEEE ISSNIP Biosignals and Biorobotics Conference (BRC), 2013.
LibreCat
A. Boschmann, M. Platzner, in: Proc. IEEE ISSNIP Biosignals and Biorobotics Conference (BRC), 2013.
2013 | Conference Paper | LibreCat-ID: 10655
Investigating Evolvable Hardware Classification for the BioSleeve Electromyographic Interface
K. Glette, P. Kaufmann, C. Assad, M. Wolf, in: IEEE Intl. Conf. on Evolvable Systems (ICES), Springer, 2013, pp. 1–1.
LibreCat
K. Glette, P. Kaufmann, C. Assad, M. Wolf, in: IEEE Intl. Conf. on Evolvable Systems (ICES), Springer, 2013, pp. 1–1.
2013 | Book | LibreCat-ID: 10681
Adapting Hardware Systems by Means of Multi-Objective Evolution
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag, Berlin, 2013.
LibreCat
P. Kaufmann, Adapting Hardware Systems by Means of Multi-Objective Evolution, Logos Verlag, Berlin, 2013.
2013 | Journal Article | LibreCat-ID: 10684
Classification of Electromyographic Signals: Comparing Evolvable Hardware to Conventional Classifiers
P. Kaufmann, K. Glette, T. Gruber, M. Platzner, J. Torresen, B. Sick, IEEE Transactions on Evolutionary Computation 17 (2013) 46–63.
LibreCat
| DOI
P. Kaufmann, K. Glette, T. Gruber, M. Platzner, J. Torresen, B. Sick, IEEE Transactions on Evolutionary Computation 17 (2013) 46–63.
2013 | Bachelorsthesis | LibreCat-ID: 10700
Behavior Models for Electric Vehicles
M. Knoop, Behavior Models for Electric Vehicles, IWES Kassel, 2013.
LibreCat
M. Knoop, Behavior Models for Electric Vehicles, IWES Kassel, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 10720
Verbesserung der Erkennungsrate eines Systems zur Klassifikation von EMG-Signalen durch den Einsatz eines hybriden Lagesensors
B. Nofen, Verbesserung Der Erkennungsrate Eines Systems Zur Klassifikation von EMG-Signalen Durch Den Einsatz Eines Hybriden Lagesensors, Paderborn University, 2013.
LibreCat
B. Nofen, Verbesserung Der Erkennungsrate Eines Systems Zur Klassifikation von EMG-Signalen Durch Den Einsatz Eines Hybriden Lagesensors, Paderborn University, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 10727
Überquerung der Styx - Betriebsparametervariation und Fehlerverhalten eines Platform FPGAs
D. Pudelko, Überquerung Der Styx - Betriebsparametervariation Und Fehlerverhalten Eines Platform FPGAs, Paderborn University, 2013.
LibreCat
D. Pudelko, Überquerung Der Styx - Betriebsparametervariation Und Fehlerverhalten Eines Platform FPGAs, Paderborn University, 2013.
2013 | Mastersthesis | LibreCat-ID: 10730
Identifikation und Wiederherstellung von kryptographischen Schlüsseln mit FPGAs
H. Riebler, Identifikation Und Wiederherstellung von Kryptographischen Schlüsseln Mit FPGAs, Paderborn University, 2013.
LibreCat
H. Riebler, Identifikation Und Wiederherstellung von Kryptographischen Schlüsseln Mit FPGAs, Paderborn University, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 10741
MiBenchHybrid : Erweiterung eines Benchmarks um Hardwarebeschleunigung
A. Sprenger, MiBenchHybrid : Erweiterung Eines Benchmarks Um Hardwarebeschleunigung, Paderborn University, 2013.
LibreCat
A. Sprenger, MiBenchHybrid : Erweiterung Eines Benchmarks Um Hardwarebeschleunigung, Paderborn University, 2013.
2013 | Bachelorsthesis | LibreCat-ID: 10743
Beschleunigung von Einzelbild-Erkennungsverfahren auf Datenfluss basierenden HPC Systemen
P. Steppeler, Beschleunigung von Einzelbild-Erkennungsverfahren Auf Datenfluss Basierenden HPC Systemen, Paderborn University, 2013.
LibreCat
P. Steppeler, Beschleunigung von Einzelbild-Erkennungsverfahren Auf Datenfluss Basierenden HPC Systemen, Paderborn University, 2013.
2013 | Conference Paper | LibreCat-ID: 10745
Real-Time Simulation of Distribution Grids with high Penetration of Regenerative and Distributed Generation
C. Toebermann, D. Geibel, M. Hau, R. Brandl, P. Kaufmann, C. Ma, M. Braun, T. Degner, in: Real-Time Conference, OPAL RT Paris, 2013.
LibreCat
C. Toebermann, D. Geibel, M. Hau, R. Brandl, P. Kaufmann, C. Ma, M. Braun, T. Degner, in: Real-Time Conference, OPAL RT Paris, 2013.
2013 | Conference Paper | LibreCat-ID: 10774
A fast TCAD-based methodology for Variation analysis of emerging nano-devices
H. Ghasemzadeh Mohammadi, P.-E. Gaillardon, M. Yazdani, G. De Micheli, in: 2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), IEEE, 2013, pp. 83–88.
LibreCat
| DOI
H. Ghasemzadeh Mohammadi, P.-E. Gaillardon, M. Yazdani, G. De Micheli, in: 2013 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFTS), IEEE, 2013, pp. 83–88.
2013 | Conference Paper | LibreCat-ID: 10775
Vertically-stacked silicon nanowire transistors with controllable polarity: A robustness study
P.-E. Gaillardon, H. Ghasemzadeh Mohammadi, G. De Micheli, in: 2013 14th Latin American Test Workshop-LATW, IEEE, 2013, pp. 1–6.
LibreCat
| DOI
P.-E. Gaillardon, H. Ghasemzadeh Mohammadi, G. De Micheli, in: 2013 14th Latin American Test Workshop-LATW, IEEE, 2013, pp. 1–6.
2013 | Conference Paper | LibreCat-ID: 1093
Schema-based Parallel Compression and Decompression of XML Data
S. Böttcher, M. Feldotto, R. Hartel, in: WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013, 2013, pp. 77–86.
LibreCat
| Files available
| DOI
S. Böttcher, M. Feldotto, R. Hartel, in: WEBIST 2013 - Proceedings of the 9th International Conference on Web Information Systems and Technologies, Aachen, Germany, 8-10 May, 2013, 2013, pp. 77–86.
2013 | Conference Paper | LibreCat-ID: 11716
GMM-based significance decoding
A.H. Abdelaziz, S. Zeiler, D. Kolossa, V. Leutnant, R. Haeb-Umbach, in: Acoustics, Speech and Signal Processing (ICASSP), 2013 IEEE International Conference On, 2013, pp. 6827–6831.
LibreCat
| DOI
A.H. Abdelaziz, S. Zeiler, D. Kolossa, V. Leutnant, R. Haeb-Umbach, in: Acoustics, Speech and Signal Processing (ICASSP), 2013 IEEE International Conference On, 2013, pp. 6827–6831.
2013 | Conference Paper | LibreCat-ID: 11740 | 
MAP-based Estimation of the Parameters of a Gaussian Mixture Model in the Presence of Noisy Observations
A. Chinaev, R. Haeb-Umbach, in: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 3352–3356.
LibreCat
| Files available
| DOI
| Download (ext.)
A. Chinaev, R. Haeb-Umbach, in: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 3352–3356.
2013 | Conference Paper | LibreCat-ID: 11742 |
Improved Single-Channel Nonstationary Noise Tracking by an Optimized MAP-based Postprocessor
A. Chinaev, R. Haeb-Umbach, J. Taghia, R. Martin, in: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 7477–7481.
LibreCat
| Files available
| DOI
| Download (ext.)
A. Chinaev, R. Haeb-Umbach, J. Taghia, R. Martin, in: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 7477–7481.
2013 | Conference Paper | LibreCat-ID: 11762 |
On the Acoustic Channel Identification in Multi-Microphone Systems via Adaptive Blind Signal Enhancement Techniques
G. Enzner, D. Schmid, R. Haeb-Umbach, in: 21th European Signal Processing Conference (EUSIPCO 2013), 2013.
LibreCat
| Download (ext.)
G. Enzner, D. Schmid, R. Haeb-Umbach, in: 21th European Signal Processing Conference (EUSIPCO 2013), 2013.