http://dl.gi.de/handle/20.500.12116/4407 2026-07-21T13:58:56Z http://dl.gi.de/handle/20.500.12116/33791 Design and Validation of Proteome Measurements Claassen, Manfred Hölldobler, Steffen; et al. Die Proteomik ist ein Teilbereich der Biologie, der die vollständige Charakterisierung eines Proteoms zum Ziel hat. Massenspektrometrie basierte Proteomik hat sich als erfolgreichste Strategie zum Erreichen dieses Ziels herausgebildet. Diese Arbeit stellt statistische Methoden zur optimalen Planung und Validierung von Shotgun-Proteomik-Experimenten vor. Diese Methoden ermöglichen eine effiziente, zuverlässige und zugleich umfassende Proteomcharakterisierung. 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/33790 Modellierung und Verifikation von Fähigkeiten rationaler Agenten Bulling, Nils Hölldobler, Steffen; et al. In dieser Dissertation wird untersucht, wie rationales Verhalten von Agenten modelliert und verifiziert werden kann. Es werden diverse Ansätze durch formale logikorientierte Methoden ausgedrückt und die Komplexität der jeweiligen Modellverifikationsprobleme (model checking problems) bestimmt. 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/33789 Quality of Experience von mobilen Multimediaanwendungen Buchinger, Shelley Hölldobler, Steffen; et al. Der Erfolg von mobilen Multimedia Services hängt von sehr unterschiedlichen Faktoren, wie zum Beispiel der Verfügbarkeit interessanter Inhalte, spezieller Eigenschaften der mobilen Geräte, der User Akzeptanz im Allgemeinen und natürlich von technischen Aspekten ab. Das Ziel dieser Dissertation besteht darin, Strategien für offene Probleme im Bereich mobiler Multimedia Services mit dem Fokus auf die Nutzerperspektive vorzuschlagen. Der hier gewählte Ansatz wird üblicherweise als Quality of Experience (QoE) bezeichnet und bildet die subjektive Erfahrung der Nutzer eines Ende-zu-Ende Systems ab. Auf der technischen Seite des Gebietes, wird zum Beispiel die Reduzierung der Serverbandbreite genauer überlegt und untersucht, da diese meistens den Flaschenhals eines Systems darstellt. 2011-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/33788 Building Scalable, Distributed Applications with Declarative Messaging Böhm, Alexander Hölldobler, Steffen; et al. Im Rahmen der Dissertation wird ein neuartiger Ansatz zur Implementierung von verteilten, auf dem Austausch von XML-Nachrichten basierenden Anwendungen vorgestellt. Grundlage hierbei sind ein nachrichtenorientiertes Programmiermodell sowie eine zugehörige, deklarative Regelsprache. Sie ermöglichen die in der Arbeit diskutierten Techniken zur automatischen Optimierung, effizienten Ausführung und automatisierten Verteilung von nachrichtenbasierten Anwendungen. 2011-01-01T00:00:00Z