Publications at the Faculty of Computer Science and Automation since 2015

Results: 1933
Created on: Thu, 16 May 2024 23:11:34 +0200 in 0.1297 sec


Aumüller, Martin; Dietzfelbinger, Martin; Heuberger, Clemens; Krenn, Daniel; Prodinger, Helmut
Dual-Pivot quicksort: optimality, analysis and zeros of associated lattice paths. - In: Combinatorics, probability & computing, ISSN 1469-2163, Bd. 28 (2019), 4, S. 485-518

https://doi.org/10.1017/S096354831800041X
Rzanny, Michael Carsten; Mäder, Patrick; Degelmann, Alice; Chen, Minqian; Wäldchen, Jana
Flowers, leaves or both? How to obtain suitable images for automated plant identification. - In: Plant methods, ISSN 1746-4811, 15 (2019), article number 77, Seite 1-11

https://doi.org/10.1186/s13007-019-0462-4
Katzmann, Alexander; Mühlberg, Alexander; Sühling, Michael; Nörenberg, Dominik; Groß, Horst-Michael
Deep metamemory - a generic framework for stabilized one-shot confidence estimation in deep neural networks and its application on colorectal cancer liver metastases growth prediction. - In: ISBI 2019, IEEE International Symposium on Biomedical Imaging, (2019), S. 1298-1302

https://doi.org/10.1109/ISBI.2019.8759505
Streese, Lukas; Kotliar, Konstantin; Deiseroth, Arne Tobias; Infanger, Denis; Vilser, Walthard; Hanssen, Henner
Retinal endothelial function, physical fitness and cardiovascular risk: a diagnostic challenge. - In: Frontiers in physiology, ISSN 1664-042X, Volume 10 (2019), article 831, insges. 12 S.

https://doi.org/10.3389/fphys.2019.00831
Maier, Tobias; Sanders, Peter; Walzer, Stefan
Dynamic space efficient hashing. - In: Algorithmica, ISSN 1432-0541, Bd. 81 (2019), 8, S. 3162-3185

https://doi.org/10.1007/s00453-019-00572-x
Mohamed, Mohamed Elamir; Gotzig, Heinrich; Zöllner, Raoul; Mäder, Patrick
A machine learning approach for detecting ultrasonic echoes in noisy environments. - In: 2019 IEEE 89th Vehicular Technology Conference (VTC Spring), (2019), insges. 6 S.

https://doi.org/10.1109/VTCSpring.2019.8746680
Al-Sayeh, Hani; Sattler, Kai-Uwe
Gray box modeling methodology for runtime prediction of Apache Spark jobs. - In: 2019 IEEE 35th International Conference on Data Engineering workshops, (2019), S. 117-124

https://doi.org/10.1109/ICDEW.2019.00-23
Cierpka, Christian; König, Jörg; Chen, Minqian; Boho, David; Mäder, Patrick
On the use of machine learning algorithms for the calibration of astigmatism PTV. - In: 13th International Symposium on Particle Image Velocimetry, (2019), S. 772-781

https://athene-forschung.unibw.de/129121
Einhorn, Erik;
Visuelle Umgebungswahrnehmung und Kartierung zur Navigation mobiler Serviceroboter in realen Einsatzumgebungen
1. Auflage. - München : Verlag Dr. Hut, 2019. - xxii, 307 Seiten
Technische Universität Ilmenau, Dissertation 2018

ISBN 978-3-8439-4108-2

Serviceroboter müssen in der Lage sein, in ihrer Einsatzumgebung autonom zu agieren. Diese Arbeit deckt - beginnend mit der Umgebungswahrnehmung und Kartierung bis hin zur Hinderniserkennung - ein weites Spektrum der dazu benötigten Navigationsleistungen ab. Dabei liegt der Fokus vor allem auf der Nutzung visueller Sensoren. Einen ersten Schwerpunkt bildet ein Verfahren zur monokularen Szenenrekonstruktion (Structure-from-Motion). Dieses erlaubt während der Eigenbewegung des Roboters die dreidimensionale Struktur der Umgebung anhand der Bilder einer einzelnen Kamera zu rekonstruieren. Durch die Kompensation der Eigenbewegung in den aufgenommenen Bildern ermöglicht das Verfahren auch die Detektion und Positionsschätzung bewegter Objekte wie Personen. Den methodischen Kern der Arbeit bildet die Umgebungsrepräsentation und Kartierung. Das dazu verwendete Umgebungsmodell nutzt die Normal Distribution Transform (NDT) zur effizienten Repräsentation der Umwelt. Um ihren Einsatz auch in dynamischen Umgebungen zu ermöglichen, werden diese NDT-Karten um eine weitere probabilistische Komponente erweitert, die zusätzlich die Belegtheitswahrscheinlichkeit modelliert. Darüber hinaus wird ein Verfahren zur expliziten Detektion und zum Tracking bewegter Objekte in den Karten vorgeschlagen, das sich nahtlos in die probabilistische Modellierung einfügt. Basierend auf den Verfahren zur Kartierung mit NDT-Karten wird ein graphbasiertes SLAM-Verfahren für NDT-Karten zur gleichzeitigen Kartierung und Lokalisation beschrieben. Schleifenschlüsse und die Korrektur der fehlerbehafteten Odometrie werden durch Registrierung von Teilkarten realisiert. Dabei werden verschiedene Methoden zur Registrierung von NDT-Karten untersucht. Weiterhin werden Konzepte realisiert, die den lebenslangen Einsatz des SLAM-Verfahrens ermöglichen. Eine Unterscheidung in eine Kartierungsphase bei der Inbetriebnahme und eine Lokalisierungsphase während des Betriebs des Roboters wird somit überflüssig. Weiterhin werden in der Arbeit maßgebliche Beiträge zur Entwicklung einer neuen Robotik Middleware geleistet, die es ermöglicht, die realisierten Teilalgorithmen effizient zu komplexen Gesamtanwendungen zusammenzufügen. Die in dieser Arbeit realisierten Methoden kommen in zahlreichen Projekten mit realen Anwendungsszenarien zum Einsatz. Dazu zählen beispielsweise Shopping-, Lotsen- und Assistenz-Roboter in öffentlichen Einsatzumgebungen sowie im häuslichen Umfeld.



Kuske, Dietrich; Zetzsche, Georg
Languages ordered by the subword order. - In: Foundations of software science and computation structures, (2019), S. 348-364

We consider a language together with the subword relation, the cover relation, and regular predicates. For such structures, we consider the extension of first-order logic by threshold- and modulo-counting quantifiers. Depending on the language, the used predicates, and the fragment of the logic, we determine four new combinations that yield decidable theories. These results extend earlier ones where only the language of all words without the cover relation and fragments of first-order logic were considered.