Table of Contents

• Explorative Suche in Zeitbasierten PrimärdatenJürgen Bernhard. 11-20
• Neue Methoden für klassische Grapheinbettungsprobleme - Orthogonale Zeichnungen & bedingte PlanaritätThomas Bläsius. 21-30
• Constraint-Handling mit Supportvektor-Dekodern in der verteilten OptimierungJörg Bremer. 31-40
• Hochperformante ErdbebensimulationenAlexander Nikolas Breuer. 41-50
• Kognitiver sequentieller Parallelismus: Von kanonischen neuronalen Schaltkreisen und dem Training rekurrenter neuronaler Netze für perzeptuelle EntscheidungsfindungenTobias Brosch. 51-60
• Brückenschlag zwischen Verifikation und systematischem TestenMaria Christakis. 61-70
• Die einfachen, kleinen und langsamen Dinge zählen: Über die parametrisierte Komplexität von ZählproblemenRadu Curticapean. 71-80
• Anhören von Abständen und Hören von Formen: Inverse Probleme in Raumakustik und darüber hinausIvan Dokmanic. 81-90
• Genfamilienfreier GenomvergleichDaniel Dörr. 91-100
• Datenintegration zur AnfragezeitJulian Eberius. 101-110
• Analyse, Design und Einsatz kryptographischer PrimitiveChristian Forler. 111-120
• Zielorientiertes Sensing im Pervasive ComputingGerold Hölzl. 121-130
• Grundlagen des aktiven Automatenlernens: Eine algorithmische SichtweiseMalte Isberner. 131-140
• Berechnung und Propagation von Modelländerungen auf der Basis von EditieroperationenTimo Kehrer. 141-150
• Verbessern von kontinuierlichen Anwendungen, die mit Bewegungsvorstellung kontrolliert werden, mittels hybriden Gehirn-Computer Schnittstellen Design-PrinzipienAlex Kreilinger. 151-160
• Schnellere Approximationsalgorithmen zur Partiell-Dynamischen Berechnung Kürzester WegeSebastian Krinninger. 161-170
• Warum wir uns in der Kryptographie nicht auf die Komplexität physikalischer Angriffe verlassen solltenJuliane Krämer. 171-178
• Funktionale Verifikation eingebetteter Systeme: Techniken und Werkzeuge auf SystemebeneHoang M. Le. 179-188
• Analyse und Transformation konfigurierbarer SystemeJörg Liebig. 189-198
• Methoden für effektive Farbkodierung und zur Kompensation von KontrasteffektenSebastian Mittelstädt. 199-208
• Kooperation in selbstorganisierten heterogenen SchwärmenRuby L. V. Moritz. 209-218
• ElectroEncephaloGraphics: Eine neue Modalität für die GrafikforschungMaryam Mustafa. 219-228
• Ermittlung nutzungsbasierter Ähnlichkeiten zwischen Objekten zur Unterstützung von Empfehlungssystemen im Umgang mit selten genutzten ObjektenKatja Niemann. 229-238
• Aktives Lernen für Klassifikationsprobleme unter der Nutzung von StrukturinformationenTobias Reitmaier. 239-248
• Interaktives Debugging von WissensbasenPatrick Rodler. 249-258
• Konvergenzanalyse für die PartikelschwarmoptimierungManuel Schmitt. 259-268
• Verbesserung der Programmierbarkeit und Performance-Portabilität von Manycore-ProzessorenMichel Steuwer. 269-278
• Domänen-sensitives Temporal Tagging für Event-zentriertes Information RetrievalJannik Strötgen. 279-288
• Herausforderungen in der Anwendbarkeit von Metriken: Bias, Effizienz und HubnessAbdel Aziz Taha. 289-298
• Spezifikation und Verifikation von Produktlinien mit Feature-orientierten VerträgenThomas Thüm. 299-308
• Visuelle Analyse Sozialer Medien für die SituationseinschätzungDennis Thom. 309-318
• Ein konsistentes Framework für automatisiertes virtuelles ScreeningSascha Urbaczek. 319-328
• Pipelines für effiziente und robuste Ad-hoc-TextanalyseHenning Wachsmuth. 329-338
• Leistungsbewertung von Ressourcenmanagementstrategien für zelluläre und drahtlose Mesh-NetzwerkeFlorian Wamser. 339-348
• Über die Auswirkungen von DNSSEC auf das InternetMatthäus Wander. 349-358
• Methoden zur genomweiten Evaluierung von Gen-Strata-InteraktionenThomas Winkler. 359-368
• Datenschutzorientierte Analyse, Indizierung und Suche von Dokumenten in Sozialen InternetanwendungenSergej Zerr. 369-378
• Effiziente Fußgängererkennung in Städtischen VerkehrsszenenShanshan Zhang. 379-388