Archiv (2013-2017)
Inhaltsverzeichnis
Wenn verfügbar, ist die Kurzfassung verlinkt.
2013
Fischer, Ulrike
Forecasting in Database Systems
verteidigt: 2013-12-18
Özlük, Ali Cemal
Design Space Exploration for Building Automation Systems
verteidigt: 2013-11-29
Zeng, Limin
Acquisition of Spatial Environmental Information from Tactile Displays
verteidigt: 2013-11-27
Krause, Jakob
Kontextsensitive Prognoseverfahren für das Abnutzungsverhalten von technischen Systemen
verteidigt: 2013-11-13
Miranda Ackerman, Eduardo Jacobo
Extracting Causal Relations Between News Topics from Distributed Sources
verteidigt: 2013-11-08
Martin, Yves
Adaptive Goal Selection within the Fluent Calculus and FLUX
verteidigt: 2013-10-29
Hahmann, Martin
Feedback-Driven Data Clustering
verteidigt: 2013-10-28
Dibowski, Henrik
Semantischer Gerätebeschreibungsansatz für einen automatisierten Entwurf von Raumautomationssystemen
verteidigt: 2013-10-23
Klotz, Thomas
Modeling and Verification of Material Handling Systems
verteidigt: 2013-10-11
Eisinger, Daniel
Automated Patent Categorization and Guided Patent Search using IPC as Inspired by MeSH and PubMed
verteidigt: 2013-10-07
2014
Büchse, Matthias
Algebraic decoder specification: coupling formal-language theory and statistical machine translation
verteidigt: 2014-12-18
Knauth, Thomas
Energy Efficient Cloud Computing: Techniques and Tools
verteidigt: 2014-12-16
Kauer, Bernhard
verteidigt: 2014-12-15
Christodoulou, Eleni G.
verteidigt: 2014-12-15
Manthey, Norbert
Towards Next Generation Sequential and Parallel SAT Solvers
verteidigt: 2014-12-01
Döbel, Björn
Operating System Support for Redundant Multithreading
verteidigt: 2014-11-25
Wamhoff, Jons-Tobias
Exploiting Speculative and Asymmetric Execution on Multicore Architectures
verteidigt: 2014-11-21
Dannecker, Lars
Efficient and Accurate Forecasting of Evolving Time Series from the Energy Domain
verteidigt: 2014-11-20
Esser, Daniel
Kooperative Informationsextraktion aus Geschäftsdokumenten auf Basis weniger Trainingsbeispiele
verteidigt: 2014-11-05
Katz, Philipp
Extraktion geographischer Entitäten zur Suche nutzergenerierter Inhalte für Nachrichtenereignisse
verteidigt: 2014-10-22
Dementyev, Alexander
Verbesserung der Performance von virtuellen Sensoren in totzeitbehafteten Prozessen
verteidigt: 2014-10-17
Kask, Eeri
Vom Stereogramm zum Raumbild
verteidigt: 2014-10-14
Miao, Mei
Blindenspezifische Methoden für das User-Centred Design multimodaler Anwendungen
verteidigt: 2014-10-09
Lunze, Torsten
Recommendation in Enterprise 2.0 Social Media Streams
verteidigt: 2014-09-17
Daminelli, Simone
Drug repositioning with incomplete bi-cliques and structural bioinformatics
verteidigt: 2014-09-05
Thoß, Yvonne
Systemunterstützung zur Bewertung der Qualität persönlicher Cloud-Dienste
verteidigt: 2014-07-07
Herzig, Philipp
Gamification as a Service - Conceptualization of a Generic Enterprise Gamification Platform
verteidigt: 2014-07-02
Lippmann, Marcel
Temporalised Description Logics for Monitoring Partially Observable Events
verteidigt: 2014-07-01
Pfeifer, Katja
Serviceorientiertes Text Mining am Beispiel von Entitätsextrahierenden Diensten
verteidigt: 2014-06-16
Haupt, Joachim
Protein Binding Site Similarities as Driver for Drug Repositioning
verteidigt: 2014-05-28
Bartho, Andreas
Creating and Maintaining Consistent Documents with Elucidative Development
verteidigt: 2014-05-27
Borgwardt, Stefan
Fuzzy Description Logics with General Concept Inclusions
verteidigt: 2014-05-23
Siksnys, Laurynas
Towards Prescriptive Analytics in Cyber Physical Systems
verteidigt: 2014-05-07
Siegemund, Katja
Contributions To Ontology-Driven Requirements Engineering
verteidigt: 2014-04-29
Schmidt, Michael
Template-basierte Klassifikation planarer Gesten
verteidigt: 2014-04-25
Ryssel, Uwe
Automatische Generierung von feature-orientierten Produktlinien aus Varianten von funktionsblockorientierten Modellen
verteidigt: 2014-04-24
Roy, Janine
From correlation to causality: Does network information improve cancer outcome prediction?
verteidigt: 2014-04-16
Schroeter, Julia
Feature-Based Configuration Management of Reconfigurable Cloud Applications
verteidigt: 2014-04-11
Wilke, Claas
Energy-Aware Development and Labeling for Mobile Applications
verteidigt: 2014-03-14
Voigt, Hannes
Flexibility in Data Management
verteidigt: 2014-03-03
Gössling, Andreas
Device Information Modeling in Automation - A computer-scientific approach
verteidigt: 2014-02-27
Wojdziak, Jan
Visualisierungsdesign für 3D-Benutzerschnittstellen unter Verwendung komponierter Darstellungsverfahren
verteidigt: 2014-02-24
Grammel, Birgit
Automatic Generation of Trace Links in Model-driven Software Development
verteidigt: 2014-02-17
Kammer, Dietrich
Formalisierung gestischer Eingabe für Multitouch-Systeme
verteidigt: 2014-01-31
Mosch, Marc
Ensuring Data Sovereignty in the Cloud
verteidigt: 2014-01-16
Weinhold, Carsten
Reducing Size and Complexity of the Security-Critical Code Base of File Systems
verteidigt: 2014-01-14
Muthmann, Klemens
Community based Question Answer Detection
verteidigt: 2014-01-10
2015
Martin, Andre
Minimizing Overhead for Fault Tolerance in Event Stream Processing Systems
verteidigt: 2015-12-17
Eberius, Julian
Query-Time Data Integration
verteidigt: 2015-12-10
Kiefer, Tim
Allocation Strategies for Data-Oriented Architectures
verteidigt: 2015-10-09
Braunschweig, Katrin
Recovering the Semantics of Tabular Web Data
verteidigt: 2015-10-09
Tomschke, Steffen
Visualisierungs- und Interaktionskonzept zur graphenbasierten Exploration Ein visuell-mentales Modell zur Reduktion der kognitiven Last während der Exploration komplexer Graphen
verteidigt: 2015-10-05
Weiß, Alexander
Effiziente externe Beobachtung von CPU Aktivitäten auf SoCs
verteidigt: 2015-10-02
Revenko, Artem
Automatic Construction of Implicative Theories for Mathematical Domains
verteidigt: 2015-08-21
Zouhar, Alexander
Part-based recognition of 3-D objects with application to shape modeling in hearing aid manufacturing
verteidigt: 2015-08-14
Reimann, Jan
Generic Quality-Aware Refactoring and Co-Refactoring in Heterogeneous Model Environments
verteidigt: 2015-07-09
Wagner, Michael
Concepts for In-memory Event Tracing: Runtime Event Reduction with Hierarchical Memory Buffers
verteidigt: 2015-07-03
Lübke, Robert
Emulation von Netzwerkverhalten für Skalierbarkeitstests IP-basierter Audio/Video-Kommunikationssysteme
verteidigt: 2015-07-01
Hilbrich, Tobias
Runtime MPI Correctness Checking with a Scalable Tools Infrastructure
verteidigt: 2015-06-08
Irrgang, Kai-Uwe
Modellierung von On-Chip-Trace-Architekturen für eingebettete Systeme
verteidigt: 2015-06-05
Voigt, Martin
Kontextsensitive Informationsvisualisierung mit kompositen Rich Internet Applications für Endnutzer
verteidigt: 2015-05-22
Karol, Sven
Well-Formed and Scalable Invasive Software Composition
verteidigt: 2015-05-18
Franke, Ingmar S.
Untersuchungen zum Wahrnehmungsrealismus - von Abbildern und Bildern - computergrafische Optimierungsansätze im Spannungsfeld von bildhafter Gestaltung, virtueller Architektur und visueller Wahrnehmung.
verteidigt: 2015-05-18
Gudymenko, Ivan
Privacy-preserving E-ticketing Systems for Public Transport Based on RFID/NFC Technologies
verteidigt: 2015-04-20
Hilbrich, Marcus
Jobzentrisches Monitoring in Verteilten Heterogenen Umgebungen mit Hilfe Innovativer Skalierbarer Methoden
verteidigt: 2015-03-24
Spehr, Marcel
Designing Semantic Image Retrieval Systems
verteidigt: 2015-03-18
Freitag, Georg
Konzepte der Anwendungsentwicklung für und mit Multi-Touch
verteidigt: 2015-03-05
Nguyen, Van-Hau
SAT Encodings of Finite Constraint Satisfaction Problems
verteidigt: 2015-02-27
Hesse, Stefan
Struktur und Gestaltung von Informationsvisualisierungen zur Entscheidungsunterstützung
verteidigt: 2015-02-02
Brade, Marius
Visualisierungsmethoden für das interaktive Erfassen und Strukturieren von Informationen im Kontext der Freiform-Wissensmodellierung
verteidigt: 2015-01-21
Kissa, Maria
Cassandra: drug gene association prediction via text mining and ontologies
verteidigt: 2015-01-20
Fourcot, Florent
Address Speading in future Internet supporting both the unlinkabiliy of communication relations and the filtering of non legitimate traffic
verteidigt: 2015-01-19
2016
Schiller, Benjamin
Graph-based Analysis of Dynamic Systems
verteidigt: 2016-12-15
Weber, Matthias
Structural Performance Comparison of Parallel Software Applications
verteidigt: 2016-12-09
Hoffmann, Nico
Dynamic Thermal Imaging for Intraoperative Monitoring of Neuronal Activity and Cortical Perfusion
verteidigt: 2016-12-09
Prescher, Denise
Taktile Interaktion auf flächigen Brailledisplays
verteidigt: 2016-11-21
Vasilyeva, Elena
Why-query support in graph databases
verteidigt: 2016-11-08
Afshar, Yaser
Parallel Distributed-Memory Particle Methods for Acquisition-Rate Segmentation and Uncertainty Quantifications of Large Fluorescence Microscopy Images
verteidigt: 2016-10-17
Lehmann, Robert
Integriertes System- und Dienste-Management in der industriellen Automation
verteidigt: 2016-10-12
Yazdanov, Lenar
Towards auto-scaling in the cloud: online resource allocation techniques
verteidigt: 2016-08-30
Blasse, Corinna
verteidigt: 2016-09-23
Baumann, Paul
verteidigt: 2016-08-19
Roos, Stefanie
Analyzing and Enhancing Routing Protocols for Friend-to-Friend Overlays
verteidigt: 2016-07-25
Kernert, David
Density-Aware Linear Algebra in a Column-Oriented In-Memory Database System
verteidigt: 2016-07-07
Theiss, Sebastian
Echtzeitfähige Softwareagenten zur Realisierung cyber-physischer Produktionssysteme
verteidigt: 2016-07-04
Theurich, Stefan
Infrastruktur für den Online-Zugriff auf prozesstechnische Apparate ohne dedizierte Kommunikationsanschaltung
verteidigt: 2016-06-21
Hara, Tenshi
Analysis on tech-enhanced and anonymous Peer Discussion as well as anonymous Control Facilities for tech-enhanced Learning
verteidigt: 2016-06-14
Möbius, Christoph
Quantile Function-based Models for Resource Utilization and Power Consumption of Applications
verteidigt: 2016-06-14
Lambeck, Christian
User Interfaces im Kontext von Unternehmensanwendungen - Defizite, Ursachen und Potentiale in ERP, APS und SCM
verteidigt: 2016-05-31
Grunzke, Richard
Generic Metadata Handling in Scientific Data Life Cycles
verteidigt: 2016-04-12
Weigert, Stefan
Community-based Intrusion Detection
verteidigt: 2016-04-11
Guhlemann, Steffen
Neue Indexingverfahren für die Ähnlichkeitssuche in metrischen Räumen über großen Datenmengen
verteidigt: 2016-04-08
Rybina, Kateryna
Modelling the Live Migration Time of Virtual Machines
verteidigt: 2016-04-06
Franke, Martin
Wissensbasierte Tagesrhythmenerfassung und -auswertung in ubiquitären Umgebungen
verteidigt: 2016-04-06
Nguyen, Truong Giang
Contributions to the Resilience of Peer-To-Peer Video Streaming against Denial-of-Service Attacks
verteidigt: 2016-03-02
Seidl, Christoph
Integrated Management of Variability in Space and Time in Software Families
verteidigt: 2016-02-22
Kailer, Daniel
Rated Tags as a Service - Konzept und Evaluierung
verteidigt: 2016-01-22
Behrens, Diogo
Error isolation in distributed systems
verteidigt: 2016-01-14
Santoso, Ario
Verification of Data-aware Business Processes in the Presence of Ontologies
verteidigt: 2016-05-11
2017
Schöne, Robert
A Unified Infrastructure for Monitoring and Tuning the Energy Efficiency of HPC Applications
verteidigt: 2017-09-19
Grunert, Steffen
Strukturelles und funktionelles Verständnis von Membranproteinen im Kontext sequenzmotivbasierter Methoden
verteidigt: 2017-09-06
Tena, Frezewd Lemma
Energy Efficient Key/Value Store
verteidigt: 2017-08-29
Leuthäuser, Max
A Pure Embedding of Roles
verteidigt: 2017-08-15
Reichel, Peter
Effizienter Einsatz von Bildsensoren mit integrierter Signalverarbeitung
verteidigt: 2017-08-09
Dietz Saldanha, Emmanuelle-Anna
From Logic Programming to Human Reasoning: How to be Artificially Human
verteidigt: 2017-06-26
Thost, Veronika
Using ontology-based data access to enable context recognition in the presence of incomplete information
verteidigt: 2017-06-19
Domke, Jens
Routing on the Channel Dependency Graph: A New Approach to Deadlock-Free, Destination-Based, High-Performance Routing for Lossless Interconnection Networks
verteidigt: 2017-06-16
Weiß, Johannes
Abnahmetestgetriebene Entwicklung von ereignisbasierten Anwendungen - Werkzeugunterstützung und empirische Studien
verteidigt: 2017-06-14
Salentin, Sebastian
In Silico Identification of Novel Cancer Drugs with 3D Interaction Profiling
verteidigt: 2017-06-02
Karnagel, Tomas
Heterogeneity-Aware Placement Strategies for Query Optimization
verteidigt: 2017-05-23
Asmus, Josefine
An Efficient Randomized Approximation Algorithm for Volume Estimation and Design Centering
verteidigt: 2017-04-28
Teichmann, Markus
Expressing Context-Free Tree Languages by Regular Tree Grammars
verteidigt: 2017-04-12
Jäkel, Tobias
Role-based Data Management
verteidigt: 2017-03-24
Kühn, Thomas
A Family of Role-Based Languages
verteidigt: 2017-03-24
Kissinger, Thomas
Energy-Aware Data Management on NUMA Architectures
verteidigt: 2017-03-23
Molka, Daniel
Performance analysis of complex shared memory systems
verteidigt: 2017-03-10
Bau, Alexander
SAT Compilation for Constraints over Structured Finite Domains
verteidigt: 2017-02-07
Paradies, Marcus
Graph Processing in Main-Memory Column Stores
verteidigt: 2017-02-03
Ghumman, Waheed Aslam
Automation of the SLA Life Cycle in Cloud Computing
verteidigt: 2017-01-30
Theodorou, Vasileios
Automating User-Centered Design of Data-Intennsive Processes
verteidigt: 2017-01-20