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.

9931 Publications


2018 | Journal Article | LibreCat-ID: 1043
Validity of Software Verification Results on Approximate Hardware
T. Isenberg, M.-C. Jakobs, F. Pauck, H. Wehrheim, IEEE Embedded Systems Letters (2018) 22–25.
LibreCat | Files available | DOI
 

2018 | Bachelorsthesis | LibreCat-ID: 1044
Measuring Performance of a Static Analysis Framework with an application to Immutability Analysis
R. Leer, Measuring Performance of a Static Analysis Framework with an Application to Immutability Analysis, Universität Paderborn, 2018.
LibreCat | Files available
 

2018 | Bachelorsthesis | LibreCat-ID: 1045
Interactive Data Visualization for Exploded Supergraphs
J.N. Strüwer, Interactive Data Visualization for Exploded Supergraphs, Universität Paderborn, 2018.
LibreCat | Files available
 

2018 | Conference (Editor) | LibreCat-ID: 10591
Research Directions for Principles of Data Management
S. Abiteboul, M. Arenas, P. Barceló, M. Bienvenu, D. Calvanese, C. David, R. Hull, E. Hüllermeier, B. Kimelfeld, L. Libkin, W. Martens, T. Milo, F. Murlak, F. Neven, M. Ortiz, T. Schwentick, J. Stoyanovich, J. Su, D. Suciu, V. Vianu, K. Yi, eds., Research Directions for Principles of Data Management, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 10598
An MCTS-based Framework for Synthesis of Approximate Circuits
M. Awais, H. Ghasemzadeh Mohammadi, M. Platzner, in: 26th IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC), 2018, pp. 219–224.
LibreCat | DOI
 

2018 | Mastersthesis | LibreCat-ID: 10782
Development of a Hardware / Software Codesign for sonification of LIDAR-based sensor data
L. Clausing, Development of a Hardware / Software Codesign for Sonification of LIDAR-Based Sensor Data, Ruhr-University Bochum, 2018.
LibreCat
 

2018 | Book Chapter | LibreCat-ID: 10783
Statistical Inference for Incomplete Ranking Data: A Comparison of two likelihood-based estimators
I. Couso, E. Hüllermeier, in: S. Mostaghim, A. Nürnberger, C. Borgelt (Eds.), Frontiers in Computational Intelligence, Springer, 2018, pp. 31–46.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 1096
Reducer-Based Construction of Conditional Verifiers
D. Beyer, M.-C. Jakobs, T. Lemberger, H. Wehrheim, in: Proceedings of the 40th International Conference on Software Engineering (ICSE), ACM, 2018, pp. 1182--1193.
LibreCat | Files available
 

2018 | Bachelorsthesis | LibreCat-ID: 1097
Enforcing IP Core Connection Properties with Verifiable Security Monitors
F.P. Jentzsch, Enforcing IP Core Connection Properties with Verifiable Security Monitors, Universität Paderborn, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 11711
Visualization of the Topic Space of Argument Search Results in args. me
Y. Ajjour, H. Wachsmuth, D. Kiesel, P. Riehmann, F. Fan, G. Castiglia, R. Adejoh, B. Fröhlich, B. Stein, in: Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2018, pp. 60–65.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 11712
Challenge or Empower: Revisiting Argumentation Quality in a News Editorial Corpus
R. El Baff, H. Wachsmuth, K. Al Khatib, B. Stein, in: Proceedings of the 22nd Conference on Computational Natural Language Learning, Association for Computational Linguistics, 2018, pp. 454–464.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 11760 | OA
Evaluation of Modulation-MFCC Features and DNN Classification for Acoustic Event Detection
J. Ebbers, A. Nelus, R. Martin, R. Haeb-Umbach, in: DAGA 2018, München, 2018.
LibreCat | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 11835 | OA
Frame-Online DNN-WPE Dereverberation
J. Heymann, L. Drude, R. Haeb-Umbach, K. Kinoshita, T. Nakatani, in: IWAENC 2018, Tokio, Japan, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 11837 | OA
Smoothing along Frequency in Online Neural Network Supported Acoustic Beamforming
J. Heitkaemper, J. Heymann, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Mastersthesis | LibreCat-ID: 1186
Pure Nash Equilibria in Robust Congestion Games via Potential Functions
A. Kemper, Pure Nash Equilibria in Robust Congestion Games via Potential Functions, Universität Paderborn, 2018.
LibreCat
 

2018 | Bachelorsthesis | LibreCat-ID: 1187
Scenario-driven Strategy Analysis in a n-player Composition Game Model
M. Nachtigall, Scenario-Driven Strategy Analysis in a n-Player Composition Game Model, Universität Paderborn, 2018.
LibreCat
 

2018 | Conference Paper | LibreCat-ID: 11872 | OA
Integration neural network based beamforming and weighted prediction error dereverberation
L. Drude, C. Boeddeker, J. Heymann, K. Kinoshita, M. Delcroix, T. Nakatani, R. Haeb-Umbach, in: INTERSPEECH 2018, Hyderabad, India, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Conference Paper | LibreCat-ID: 11873 | OA
NARA-WPE: A Python package for weighted prediction error dereverberation in Numpy and Tensorflow for online and offline processing
L. Drude, J. Heymann, C. Boeddeker, R. Haeb-Umbach, in: ITG 2018, Oldenburg, Germany, 2018.
LibreCat | Files available | Download (ext.)
 

2018 | Bachelorsthesis | LibreCat-ID: 1188
Learning deterministic bandit behaviour form compositions
J. Kempf, Learning Deterministic Bandit Behaviour Form Compositions, Universität Paderborn, 2018.
LibreCat
 

2018 | Journal Article | LibreCat-ID: 11916 | OA
Machine learning techniques for semantic analysis of dysarthric speech: An experimental study
V. Despotovic, O. Walter, R. Haeb-Umbach, Speech Communication 99 (2018) 242-251 (Elsevier B.V.) (2018).
LibreCat | Download (ext.)
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed