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.
7267 Publications
2018 | Conference Paper | LibreCat-ID: 1096
Beyer D, Jakobs M-C, Lemberger T, Wehrheim H. Reducer-Based Construction of Conditional Verifiers. In: Proceedings of the 40th International Conference on Software Engineering (ICSE). ACM; 2018:1182--1193.
LibreCat
| Files available
2018 | Bachelorsthesis | LibreCat-ID: 1097
Jentzsch FP. Enforcing IP Core Connection Properties with Verifiable Security Monitors. Universität Paderborn; 2018.
LibreCat
2018 | Book Chapter | LibreCat-ID: 1104
Geierhos M. Unschärfe bei der Interpretation natürlichsprachlicher Anforderungsbeschreibungen. In: Freitag S, Geierhos M, Asmani R, Haug JI, eds. Unschärfe - Der Umgang mit fehlender Eindeutigkeit. 1st ed. Nordrhein-Westfälische Akademie der Wissenschaften und der Künste - Junges Kolleg. Paderborn, Germany: Ferdinand Schöningh; 2018:111-128.
LibreCat
| Files available
2018 | Conference Paper | LibreCat-ID: 11760 | 
Ebbers J, Nelus A, Martin R, Haeb-Umbach R. Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection. In: DAGA 2018, München. ; 2018.
LibreCat
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1181 |
Bäumer FS, Geierhos M. How to Deal with Inaccurate Service Requirements? Insights in Our Current Approach and New Ideas. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1182 |
Friesen E, Bäumer FS, Geierhos M. CORDULA: Software Requirements Extraction Utilizing Chatbot as Communication Interface. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 1183 |
Caron M, Bäumer FS, Geierhos M. Back to Basics: Extracting Software Requirements with a Syntactic Approach. In: Schmid K, Spoletini P, Ben Charrada E, et al., eds. Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track Co-Located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018). Vol 2075. CEUR Workshop Proceedings. CEUR-WS.org; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11835 |
Heymann J, Drude L, Haeb-Umbach R, Kinoshita K, Nakatani T. Frame-Online DNN-WPE Dereverberation. In: IWAENC 2018, Tokio, Japan. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11837 |
Heitkaemper J, Heymann J, Haeb-Umbach R. Smoothing along Frequency in Online Neural Network Supported Acoustic Beamforming. In: ITG 2018, Oldenburg, Germany. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11872 |
Drude L, Boeddeker C, Heymann J, et al. Integration neural network based beamforming and weighted prediction error dereverberation. In: INTERSPEECH 2018, Hyderabad, India. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 11873 |
Drude L, Heymann J, Boeddeker C, Haeb-Umbach R. NARA-WPE: A Python package for weighted prediction error dereverberation in Numpy and Tensorflow for online and offline processing. In: ITG 2018, Oldenburg, Germany. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 11916 |
Despotovic V, Walter O, Haeb-Umbach R. Machine learning techniques for semantic analysis of dysarthric speech: An experimental study. Speech Communication 99 (2018) 242-251 (Elsevier BV). 2018.
LibreCat
| Download (ext.)
2018 | Dissertation | LibreCat-ID: 1209
Jung D. Local Strategies for Swarm Formations on a Grid. Universität Paderborn; 2018. doi:10.17619/UNIPB/1-271
LibreCat
| Files available
| DOI
2018 | Conference Paper | LibreCat-ID: 12898 |
Drude L, von Neumann T, Haeb-Umbach R. Deep Attractor Networks for Speaker Re-Identifikation and Blind Source Separation. In: ICASSP 2018, Calgary, Canada. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 12900 |
Drude L, Higuchi, Takuya , Kinoshita K, Nakatani T, Haeb-Umbach R. Dual Frequency- and Block-Permutation Alignment for Deep Learning Based Block-Online Blind Source Separation. In: ICASSP 2018, Calgary, Canada. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Conference Paper | LibreCat-ID: 12901 |
Boeddeker C, Erdogan H, Yoshioka T, Haeb-Umbach R. Exploring Practical Aspects of Neural Mask-Based Beamforming for Far-Field Speech Recognition. In: ICASSP 2018, Calgary, Canada. ; 2018.
LibreCat
| Files available
| Download (ext.)
2018 | Journal Article | LibreCat-ID: 12974
Hellebrand S, Henkel J, Raghunathan A, Wunderlich H-J. Guest Editors’ Introduction - Special Issue on Approximate Computing. IEEE Embedded Systems Letters. 2018;10(1):1-1. doi:10.1109/les.2018.2789942
LibreCat
| DOI
2018 | Conference Paper | LibreCat-ID: 15584
Magenheim J, Müller K, Schulte C, et al. Evaluation of Learning Informatics in Primary Education - Views of Teachers and Students. In: Informatics in Schools. Fundamentals of Computer Science and Software Engineering - 11th International Conference on Informatics in Schools: Situation, Evolution, and Perspectives, (ISSEP) 2018, St. Petersburg, Russia, October 10-12, 2018, Proceedings. ; 2018:339-353. doi:10.1007/978-3-030-02750-6\_26
LibreCat
| DOI
2018 | Journal Article | LibreCat-ID: 15845
Ameli A, Krauter S, Ameli MT, Moslehpour S. Smart charging management system of plugged-in EVs based on user driving patterns in micro-grids. International Journal of Engineering Research & Innovation. 2018;10(1).
LibreCat
2018 | Book Chapter | LibreCat-ID: 14856
Hallmann C, Burmeister SC, Wissing M, Suhl L. Heuristics and Simulation for Water Tank Optimization. In: Communications in Computer and Information Science. Cham; 2018. doi:10.1007/978-3-319-96271-9_5
LibreCat
| DOI