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.

4838 Publications


2019 | Journal Article | LibreCat-ID: 12890
Drude, L., & Haeb-Umbach, R. (2019). Integration of Neural Networks and Probabilistic Spatial Models for Acoustic Blind Source Separation. IEEE Journal of Selected Topics in Signal Processing. https://doi.org/10.1109/JSTSP.2019.2912565
LibreCat | Files available | DOI
 

2019 | Conference Paper | LibreCat-ID: 13874
Isenberg, T., Jakobs, M.-C., Pauck, F., & Wehrheim, H. (2019). When Are Software Verification Results Valid for Approximate Hardware? In Tests and Proofs - 13th International Conference, {TAP} 2019, Held as Part of the Third World Congress on Formal Methods 2019, Porto, Portugal, October 9-11, 2019, Proceedings (pp. 3–20). https://doi.org/10.1007/978-3-030-31157-5\_1
LibreCat | DOI
 

2019 | Journal Article | LibreCat-ID: 13937
Meyer auf der Heide, F. (2019). Paul Curzon, Peter W. McOwan: Computational Thinking; Die Welt des algorithmischen Denkens – in Spielen, Zaubertricks und Rätseln. Mathematische Semesterberichte, 66(2), 259–260. https://doi.org/10.1007/s00591-019-00249-0
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 13557
Blömer, J., & Löken, N. (2019). Dynamic Searchable Encryption with Access Control. In 12th International Symposium on Foundations and Practice of Security, FPS 2019 (Vol. 12056). Springer.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15332
Schlichtig, M., Opel, S. A., Budde, L., & Schulte, C. (2019). Understanding Artificial Intelligence – A Project for the Development of Comprehensive Teaching Material. In E. Jasutė & S. Pozdniakov (Eds.), ISSEP 2019 - 12th International conference on informatics in schools: Situation, evaluation and perspectives, Local Proceedings (Vol. 12, pp. 65–73). Lanarca.
LibreCat | Download (ext.)
 

2019 | Conference Paper | LibreCat-ID: 15375
Müller, M., Behnke, D., Bök, P.-B., Schneider, S. B., Peuster, M., & Karl, H. (2019). Putting NFV into Reality: Physical Smart Manufacturing Testbed. In IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN). Dallas: IEEE.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 14896
Dann, A., Hermann, B., & Bodden, E. (2019). ModGuard: Identifying Integrity &Confidentiality Violations in Java Modules. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/tse.2019.2931331
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15488
Thiel, C., Steidl, C., & Henning, B. (2019). P2.9 Comparison of deep feature extraction techniques for varying-length time series from an industrial piercing press. In AMA Service GmbH (Ed.), 20. GMA/ITG-Fachtagung. Sensoren und Messsysteme 2019. Von-Münchhausen-Str. 49, 31515 Wunstorf. https://doi.org/10.5162/SENSOREN2019/P2.9
LibreCat | DOI
 

2019 | Conference Paper | LibreCat-ID: 15003
Mortier, T., Wydmuch, M., Dembczynski, K., Hüllermeier, E., & Waegeman, W. (2019). Set-Valued Prediction in Multi-Class Classification. In Proceedings of the 31st Benelux Conference on Artificial Intelligence {(BNAIC} 2019) and the 28th Belgian Dutch Conference on Machine Learning (Benelearn 2019), Brussels, Belgium, November 6-8, 2019.
LibreCat
 

2019 | Journal Article | LibreCat-ID: 15015
Henzgen, S., & Hüllermeier, E. (2019). Mining Rank Data. ACM Transactions on Knowledge Discovery from Data, 1–36. https://doi.org/10.1145/3363572
LibreCat | DOI
 

Filters and Search Terms

department=34

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed