Table of Contents

• Beschreibung eines Empfehlungsalgorithmus basierend auf Vektordifferenzmengen ohne RegelerstellungChristian Abele, Michael Schaidnagel. 15-18
• Leistungsanalyse Evolutionärer Algorithmen auf GPUs im Vergleich zu Multikern-CPUsJohannes Hofmann. 19-22
• Automated Program Verification Using SAT- and SMT-Encodings of Diophantine ConstraintsPatrick Kabasci. 23-26
• Erreichbarkeit mit Ressourcenschranken für PushdownsystemeMartin Lang. 27-30
• Schwarmintelligenz für HandlungsreisendeAndreas Platau. 31-34
• An extension of the GiNaCRA library for the Cylindrical Algebraic DecompositionJoachim Redies. 35-38
• Distant Supervised Relation ExtractionMarcel Ackermann. 39-42
• Development of a Cheap Chess Robot: Planning and PerceptionOliver Dunkley, Bill Okal. 43-46
• Automatisierte Erkennung von Influencern im Social WebDominik Grzelak. 47-50
• Implementing an AI for Mayagarden, a strategic 2 player gameFelix Kerger. 51-54
• 3D Objekt Kategorisierung in häuslichen UmgebungenChristian A. Müller. 55-58
• Soft String-to-Dependency Hierarchical Machine TranslationJan-Thorsten Peter. 59-62
• Bestimmung von semantisch ähnlichen Worten mit Hilfe von Kookkurrenzen und WortstämmenJohannes Schwandke. 63-66
• SOLVE - Geschlechterspezifisches ProblemlösungsverhaltenAnke Tallig. 67-70
• Simbac - Ein Analysetool zur Simulation von BacherlorabschlussquotenAlexander Brömmer, Marius Fink, Till Schomborg. 71-74
• Entwicklung eines KonfigurationsvalidierersChristian Cikryt. 75-78
• Migration eines web-basierten Projektmanagement- und Kollaborations-PortalsMathias Gebbe. 79-82
• Videounterstützte Ablaufverfolgung von Tests für Anwendungen mit grafischer BenutzeroberflächeHelge Holzmann. 83-86
• Eine empirische Studie mit Java und Groovy über den Einfluss von statischen Typsystemen auf Entwicklereffizienz bei der Benutzung und Anpassung von SoftwaresystemenSebastian Kleinschmager. 87-90
• Konzeption und Realisierung eines Frameworks für transparente RPCs in PHPChristian Lück. 91-94
• Entwicklung und Untersuchung einer Softwarearchitektur für medizinische Anwendungen am Beispiel von HüftgelenkenBenjamin Saul. 95-98
• Numerische Optimierung eines Ölansaugkanals mithilfe adjungierter TopologieoptimierungMarkus Towara. 99-102
• Durchführung einer Usability-Evaluation am Beispiel des Warenwirtschaftssystems "CounTable"Alexander Gottschall. 103-107
• Low-Cost NUIMalte Jannasch, Dennis Ludl, Claudia Vöhringer. 107-110
• Entwicklung eines iPhone Uni-NavigatorsStefanie Müller, Joan Tomás Pape. 111-114
• A Pattern Evolution Process - From Ideas to PatternsRené Reiners. 115-118
• Informationsqualität in Unternehmenswikis - Eine internationale empirische Studie zu Kriterien der InformationsqualitätNadine Hellweg. 119-122
• Porting a Functional Query Language to the Parallel Data Flow Framework StratosphereMoritz Kaufmann, Matthias Ringwald. 123-126
• Outlier Mining Based on Subspace Analysis in High Dimensional DatabasesYvonne Mülle. 127-130
• alpha-OffSync: An Offline-Capable Synchronization Approach for Distributed Document-Oriented Process Management in HealthcareAndreas M. Wahl. 131-134
• Ein evolutionärer Algorithmus auf einem FPGA zur gleichmäßigen NetzauslastungJan Barczak, Simon Hardt, Jens Schmidt, Kai-Uwe Müller, Björn Brachthäuser, Matthias Mielke. 135-138
• Concurrent Programming for Scalable Web ArchitecturesBenjamin Erb. 139-142
• Realisierung eines VoIP-Testnetzwerkes mit einem Network Impairment GeneratorKevin Ernst. 143-146
• Smart Energy Grids: Ein interdisziplinäres Forschungsvorhaben an der Hochschule DarmstadtOlaf Gaydoss, Stephan Schaible, Michael Massoth. 147-150
• Hardware Concepts for Elliptic Curvebased Zero-Knowledge ProtocolsAndré Himmighofen. 151-154
• Constraint Modeling and Matching in a Dynamic Context Service Discovery and Binding ProcessAlexander Kohout. 155-158
• Implementierung eines interrupt-gesteuerten OSEK-Betriebssystemkerns auf einem ARM-Cortex-M3-MikrocontrollerRainer Müller. 159-162
• Mental Stress Detection Using Multimodal Sensing in a Wireless Body Area NetworkMarina Rodríguez. 163-166
• Implementierung und Evaluierung eines verteilten Algorithmus für die Kanalzuweisung in drahtlosen MaschennetzenSimon Seif. 167-170
• Continuous Diameter Measurement of Vascular Structures in Ultrasound Video SequencesMatthias Bremser. 171-174
• Development of a phylogenetic transcriptome atlas of Arabidopsis thaliana embryo developmentHajk-Georg Drost. 175-178
• A phylostratigraphic analysis of the Arabidopsis thaliana genomeAlexander Gabel. 179-182
• Vereinfachte 3D-Rekonstruktion aus Sequenzen unkalibrierter BilderSergey Cheremukhin. 183-186
• Automatische Pflanzenhöhenermittlung mittels KinectAndré Kunz, Rakulan Subramaniam. 187-190
• Klassifizierung von Anzeigeprinzipien in AR-Anwendungen anhand von definierten ParadigmataDavid A. Plecher. 191-194
• ESARC - Referenzmodell und Ontologie für Enterprise Architecture ManagementSebastian Bourscheidt, Thomas Breuer, Tobias Brunner, Ben Fetler, Georg Fogel. 195-198
• Marktanalyse einer Authentication-as-a-Service-Lösung bei Telefonaten mittels des neuen PersonalausweisesSteffen Brandt, Torsten Wiens, Michael Massoth. 199-202
• Ein patternbasiertes Vorgehensmodell für den Enterprise Services Architecture Reference Cube (ESARC)Tobias Brunner. 203-206
• Ontologie zur Repräsentation und Auswertung von Problemdiagnose- und Problemlösungswissen im Kontext eines semantikerweiterten KennzahlendashboardsMichael Falkenthal, Dierk Jugel. 207-210
• Effiziente Nutzung von Cross-Selling im BankumfeldMarkus Fortak. 211-214
• Pattern-Katalog zur Etablierung von Vertrauen in Cloud Computing Technologien aus Sicht der NutzerDaniel Gaebler, Bastian Maucher. 215-218
• KPIs für die strategische Business/IT Alignment-QuantifizierungSebastian Grunow, Matthias Lenk, Sascha Roth. 219-222
• Integration ereignisbasierter Middleware-Systeme in kontextbasierte GeschäftsprozesseRichard Günther. 223-226
• Analyse der Fertigungstiefe bei der Fachkonzeptmodellierung im Umfeld der Billinganwendung Abili-TDaniel Roppelt. 227-230
• Geschäftsprozessmodellierung - automatisches Erzeugen von Benutzerschnittstellen mit der BPMN 2.0Daniel Schlich. 231-234
• Service Governance Patterns auf Basis des Open Group ReferenzmodellsBenjamin Westphal. 235-238
• Gegenseitige Teilnehmerauthentifizierung in Telefonaten mit dem neuen PersonalausweisSteffen Brandt, Torsten Wiens, Michael Massoth. 239-242
• Gesture-based User Authentication for Mobile Devicesusing Accelerometer and GyroscopeDennis Guse, Benjamin Müller. 243-246
• Entwicklung eines Authentifikationssystems mit Fingerfotos von Smartphone-KamerasChris Stein. 247-250