Auflistung D17 (2016) - Ausgezeichnete Informatikdissertationen nach Erscheinungsdatum
1 - 10 von 33
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragLoad Disaggregation Anwendungen basierend auf Wirkleistungsmessungen(Ausgezeichnete Informatikdissertationen 2016, 2017) Egarter, DominikMit der Hilfe von Smart Metering können wertvolle Informationen über die Gerätenutzung in Haushalten abgerufen werden. Dabei wird mittels Load Disaggregation versucht herauszufinden, welche Geräte benützt werden und wie viel diese Geräte verbrauchen. Diese Dissertation beschäftigt sich mit diesem Thema und präsentiert dabei 3 unterschiedliche Anwendungen, die unterschiedliche Probleme im Bereich Load Disaggregation lösen.
- KomplettbandAusgezeichnete Informatikdissertationen 2016(Ausgezeichnete Informatikdissertationen 2016, 2017) Hölldobler, Steffen
- KonferenzbeitragSimulation von Privatsphärenschutz in Fahrzeug-Ad-hoc-Netzen(Ausgezeichnete Informatikdissertationen 2016, 2017) Eckhoff, DavidDer drahtlose Datenaustausch zwischen Fahrzeugen ist eine vielversprechende Technologie, um die Sicherheit im Straßenverkehr zu erhöhen. Gleichzeitig könnte die große Menge an erhobenen und gesendeten Daten jedoch starke Einschnitte in die Privatsphäre der Fahrer bedeuten. Die diesem Artikel zugrunde liegende Dissertation beschäftigt sich mit der simulativen Bewertung von Privatsphäre in Fahrzeug-Ad-hoc-Netzen. Die vorgestellte Methodik ermöglichte es, das Privatsphärenproblem detailliert zu erfassen und darauf aufbauend umsetzbare und vor allem zu Sicherheitsfunktionen kompatible Vorschläge auszuarbeiten und zu bewerten.
- KonferenzbeitragImplizites Feedback in Empfehlungssystemen: 1 Eigenschaften, Anwendungen und Herausforderungen(Ausgezeichnete Informatikdissertationen 2016, 2017) Lerche, LukasEmpfehlungssysteme (engl. recommender systems) werden zur Vermeidung der Informationsüberflutung auf digitalen Plattformen eingesetzt, indem sie Nutzern helfen, relevante Artikel aus einer unüberschaubaren Menge zu identifizieren. Die Erzeugung solch personalisierter Empfehlungen erfolgt auf Basis von Nutzerfeedback. In dieser Arbeit wird sogenanntes implizites Feed- back untersucht, typische Anwendungsszenarien beschrieben und aktuelle algorithmische Ansätze vorgestellt. Im Detail werden (i) ein neuartiger “learning-to-rank”-Algorithmus eingeführt, der verschiedene Granularitäten von implizitem Feedback differenzieren kann, (ii) kontextualisierte Empfehlungstechniken für die E-Commerce-Domäne präsentiert, welche Empfehlungen an die kurzfristigen Ziele der Nutzer anpassen können, (iii) intelligente Erinnerungsempfehlungen zur Wiederentdeckung von bekannten Artikeln vorgeschlagen, und (iv) eine tiefgreifende Analyse verschiedener Empfehlungsalgorithmen hinsichtlich ihres Popularitätsbias (engl. popularity bias) durchgeführt und Gegenmaßnahmen gezeigt, die dieser Tendenz effektiv entgegenwirken können.
- KonferenzbeitragAnalysestrategien für konfigurierbare Systeme(Ausgezeichnete Informatikdissertationen 2016, 2017) von Rhein, AlexanderViele moderne Softwaresysteme, wie z.B. Linux, lassen sich mit Tausenden von Konfigurationsoptionen anpassen. Mit Hilfe dieser Optionen kann eine oft astronomisch große Anzahl unterschiedlicher Systemvarianten hergestellt werden. Diese Variantenvielfalt bringt enorme Herausforderungen hinsichtlich der Korrektheit der Systemvarianten mit sich. In dieser Arbeit entwickeln und untersuchen wir Techniken zur Analyse von variantenreichen Systemen. Insbesondere vergleichen wir drei Ansätze zum Design solcher Analysen konzeptionell und praktisch (z.B. hinsichtlich ihrer Laufzeit und der Vollständigkeit ihrer Ergebnisse).
- KonferenzbeitragAutonome Quadrokopter zur Innenraumerkundung(Ausgezeichnete Informatikdissertationen 2016, 2017) Gageik, NilsDiese Schrift ist die Kurzfassung der gleichnamigen Dissertation [Ga15]. Die Arbeit beschreibt alle Aspekte der Entwicklung eines neuartigen, autonomen Quadrokopters, genannt AQopterI8, zur Erkundung von beliebigen Innenräumen. Dank seiner einzigartigen modularen Komposition von Soft- und Hardware ist der AQopterI8 in der Lage auch unter widrigen Umweltbedingungen autonom zu agieren und eine breite Bandbreite an Anforderungen zu erfüllen.
- KonferenzbeitragVisuelle Odometrie und dichte Rekonstruktion für mobile Roboter(Ausgezeichnete Informatikdissertationen 2016, 2017) Forster, ChristianDamit ein autonomer Roboter sich bewegen und den Raum mit Menschen teilen kann, muss er eine interne Repräsentation seiner Umgebung erstellen und sich gleichzeitig darin positionieren. In dieser Dissertation werden Methoden untersucht, wie ein Roboter in Echtzeit eine solche Repräsentation mittels Kameras und Inertialsensoren erstellen kann. Der erste Beitrag ist eine semidirekte Methode zur Bewegungsschätzung welche sehr genau und robust ist und darüber hinaus den aktuellen Stand der Technik im Bereich Rechenzeit signifikant übertrifft. Im zweiten Beitrag wird gezeigt, wie die Genauigkeit der vorgeschlagenen Methode durch die Fusion mit Inertialsensoren nochmals verbessert werden kann. In einem Experiment wurde gezeigt wie die Kameraposition über eine Distanz von 300 Metern auf 0.3 Meter genau bestimmt werden kann. Im dritten Beitrag wird eine probabilistische Methode entwickelt welche es ermöglicht die Oberflächenrekonstruktion zu verdichten. In einem integrierten System erlaubt dieser Algorithmus einem autonomen Mikrodrone selbständig einen Landeplatz zu finden welcher frei von Hinternissen ist. Der letze Beitrag nützt die Tatsache aus, dass der Roboter die Datenaufnahme beeinflussen kann. Es wird ein Algorithmus entwickelt der die optimale Trajektorie berechnet um möglichst schnell die Tiefe jedes Pixels im Referenzbild zu schätzen, d.h. die Oberfläche im Bild dreidimensional rekonstruiert.
- KonferenzbeitragParametrisierte Komplexität in der polynomiellen Hierarchie(Ausgezeichnete Informatikdissertationen 2016, 2017) De Haan, RonaldIn dieser Arbeit erweitern wir die Theorie der parametrisierten Komplexität, um Probleme, die von häheren Ebenen der polynomiellen Hierarchie stammen, adäquat analysieren zu kännen. Wir erweitern die bekannten Konzepte und Methoden in grundlegender Weise, um auch die bemerkenswerte Effektivität von existierenden SAT-Solvern theoretisch zu berücksichtigen. Wir demonstrieren, dass unser neues Instrumentarium es ermöglicht, die exakte Komplexität einer Vielzahl von fundamentaler Berechnungsproblemen zu bestimmen, und in Folge deren theoretische Schwere einzuordnen und zu vergleichen. Die betrachteten Probleme stammen aus vielen Bereichen der Informatik, z.B. der Künstlichen Intelligenz, Wissensräpresentation, Verifikation und Optimierung.
- KonferenzbeitragMessung und Implementierung von Internet-Backbone-Sicherheit: Aktuelle Herausforderungen, aufkommender Einsatz und zukünftige Entwicklungen(Ausgezeichnete Informatikdissertationen 2016, 2017) Wählisch, MatthiasDiese Arbeit geht von der Beobachtung aus, dass das Internet eine kritische Infrastruktur ist, die besonderen Schutz bedarf. Die Arbeit orientiert sich dabei an einer praktischen Sicht auf das Internet. Es wird das gesamte Ökosystem bestehend aus Netzwerk, Endgeräten und Diensten betrachtet, welche sowohl von aktuellen als auch zukünftigen Internet-Protokollen bedroht werden. Wir fassen Werkzeuge, Methoden und Messungen zur Verbesserung des aktuellen Standes von Wissenschaft und Technik und der operativen Praxis auf Basis der Dissertation [Wa ̈16] zusammen.
- KonferenzbeitragFinite Punktprozesse und deren Anwendung im Target Tracking(Ausgezeichnete Informatikdissertationen 2016, 2017) Degen, ChristophDas mathematische Modell eines Punktprozesses beschreibt die zufällige Verteilung von Punkten sowohl in der Kardinalität als auch in der räumlichen Verteilung. In dieser Arbeit werden symmetrische Punktprozesse und deren eindeutige Charakterisierung in Form von wahrscheinlichkeitserzeugenden Funktionalen genutzt, um neue und exisitierende Verfahren des Trackings von Objekten zu formulieren und herzuleiten. Dabei entsteht nicht nur ein Katalog, der dem Anwender die Vielfalt der existierenden Tracking–Methoden erklärt und Zusammenhänge zwischen bekannten Algorithmen aufdeckt, sondern der vorgestellte Formalismus eröffnet zusätzlich die Möglichkeit, individuelle Lösungen für neue Problemstellungen des Trackings auf intuitive Art und Weise zu modellieren und anzuwenden. Die Leistungsfähigkeit der präsentierten Methodik wird durch die konkrete Anwendung auf das Problem der passiven, nicht–kooperativen Lokalisierung und Verfolgung von elektromagnetischen Emittern mit Hilfe eines mobilen Antennen–Arrays im urbanen Umfeld unterstrichen.