Dissertations
Jahrgang: 2008
Kirsch, Alexandra:
Integration of Programming and Learning in a Control Language for Autonomous Robots Performing Everyday Activities
Ref:Prof. Beetz, Prof. Rachid Alami, LAAS/CNRS, Toulouse, 01.02.2008
Landes, Tobias:
Kausale Ordnungen in dynamischen nebenläufigen Systemen
Ref:Prof. Spies, Prof. Bode, 07.02.2008
Chang, Rui:
Advanced Probabilistic Network Modeling Framework with Qualitative Prior Knowledge
Ref:Prof. Brauer, Prof. Brügge, 07.02.2008
Preißinger, Jörg:
Fehlertoleranz durch automatisierte Diversität im Management verteilter nebenläufiger Systeme
Ref:Prof. Spies, Prof. Bode, 25.02.2008
Sielhorst, Tobias:
New Methods for Medical Augmented Reality
Ref:Prof. Navab, Prof. Henry Fuchs, University of North Carolina, 06.03.2008
Kuntschke, Richard:
Network-Aware Optimization in Distributed Data Stream Management Systems
Ref:Prof. Kemper, Prof. Seeger, Universität Marburg, 31.03.2008
Groher, Martin:
2D-3D Registration of Vascular Images - Towards 3D-Guided Catheter Intervention
Ref:Prof. Navab, Prof. Viergever, Universiteit Utrecht, 09.04.2008
Schweiger, Andreas:
Agentenbasiertes Konstruieren von verteilten Systemen am Beispiel Gesundheitswesen
Ref:Prof. Krcmar, Prof. Bauer, Universität Augsburg, 09.04.2008
Chaieb, Amine:
Automated Methods for Formal Proofs in Simple Arithmetics and Algebra
Ref:Prof. Nipkow, Prof. Avigad, Carnegie Mellon University, 11.04.2008
Scheidemann, Kathrin:
Verifying Families of System Configurations
Ref:Prof. Broy, Prof. Veith, TU Darmstadt, 15.04.2008
Rückert, Ulrich:
A Statistical Approach to Rule Learning
Ref:Prof. Kramer, Prof. Fürnkranz, TU Darmstadt, 16.04.2008
Laurent, Céline:
A Methodology to Configure IT-Collaboration-Platforms Based on Fuzzy Logic
Ref:Prof. Broy, Prof. Beetz, 17.04.2008
Mayer, Hermann:
Human-Machine Skill Transfer in Robot Assisted Minimally Invasive Surgery
Ref:Prof. Knoll, Prof. Mitsuishi, University Tokio, 30.04.2008
Szabo, Miruna:
Neurodynamical competition and cooperation mechanisms in brain functions: Attentional filtering and perceptual learning
Ref:Prof. Brauer, Prof. Deco, Universität Pompeu Fabra, Barcelona, 08.05.2008
Dötzer, Florian:
Security Concepts for Robust and Highly Mobile Ad-hoc Networks
Ref:Prof. Baumgarten, Prof. Eckert, TU Darmstadt, 09.05.2008
Obua, Steven:
Flyspeck II: The Basic Linear Programs
Ref:Prof. Nipkow, Prof. Hales, University of Pittsburgh, 21.05.2008
Dümichen, Ulrich:
Mobile Services: A Platform-independent Structure for Development and Usage
Ref:Prof. Baumgarten, Prof. Schlichter, 27.05.2008
Schiwietz, Thomas:
Accleration of Medical Imaging Algorithms Using Programmable Graphics Hardware
Ref:Prof. Westermann, Prof. Preim, Universität Magdeburg, 06.06.2008
Förster, Claudia:
Risikomanagement in Web-Projekten
Ref:Prof. Krcmar, Prof. Schlichter, 18.06.2008
Hillebrand, Christian:
Terminalbasierte Positionsbestimmung als Grundlage von proaktiven Location
Based (Community) Services in mobilen Funknetzwerken
Ref:Prof. Baumgarten, Prof. Schlichter, 24.06.2008
Kuhrmann, Marco:
Konstruktion modularer Vorgehensmodelle
Ref:Prof. Broy, Prof. Schürr, TU Darmstadt, 26.06.2008
Graves, Alex:
Supervised Sequence Labelling with Recurrent Neural Networks
Ref:Prof. Schmidhuber, Prof. Kramer, 01.07.2008
Kammenhuber, Nils:
Traffic Adaptive Routing
Ref:Prof. Feldmann, TU Berlin, Prof. Fuhrmann, 09.07.2008
Li, Tianchao:
Grid Resource Management with Service Level Agreements
Ref:Prof. Gerndt, Prof. Bichler, 14.07.2008
Kramm, Matthias:
Kompression großer Bilddatenbanken mittels Ähnlichkeitsgruppierung
Ref:Prof. Schlichter, Prof. Borghoff, Universität der Bundeswehr München, 18.07.2008
Müller, Armin:
Transformational Planning for Autonomous Household Robots Using Libraries of Robust and Flexible Plans
Ref:Prof. Beetz, Prof. Hertzberg, Universität Osnabrück, 21.07.2008
Pikovsky, Alexander:
Pricing and Bidding Strategies in Iterative Combinatorial Auctions
Ref:Prof. Bichler, Prof. Kemper, 25.07.2008
Stodden, Daniel:
Live Replication of Paravirtual Machines
Ref:Prof. Bode, Prof. Baumgarten, 28.07.2008
Beneken, Gerd:
LOGISCHE ARCHITEKTUREN - Eine Theorie der Strukturen und ihre Anwendung in Dokumentation und Projektmanagement
Ref:Prof. Broy, Prof. Brügge, 29.07.2008
Fleischmann, Andreas:
Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich
Ref:Prof. Broy, Prof. Partsch, Universität Ulm, 30.07.2008
Deubler, Martin:
Strukturierte Nutzungssicht für multifunktionale Systeme
Ref:Prof. Broy, Prof. Schlichter, 22.09.2008
Reich, Jochen:
Supporting the Execution of Knowledge Intensive Processes by Means of Expert and Best-Practice Mediation
Ref:Prof. Schlichter, Prof. Baumgarten, 23.09.2008
Rittmann, Sabine:
A methodology for modeling usage behavior of multi-functional systems
Ref:Prof. Broy, Prof. Glinz, Universität Zürich, 23.09.2008
Buckl, Christian:
Model-Based Development of Fault-Tolerant Real-Time Systems
Ref:Prof. Knoll, Prof. Lee, UC Berkley, 01.10.2008
Weber, Tjark:
SAT-Based Finite Model Generation for Higher-Order Logic
Ref:Prof. Nipkow, Prof. Veith, TU Darmstadt, 09.10.2008
Lasowski, Ruxandra:
Visualization modes for CT-fluoroscopy guided RF liver ablation
Ref:Prof. Navab, Prof. Meinzer, DKFZ Heidelberg, 17.10.2008
Hammerschall, Ulrike:
Flexible Methodenintegration an anpassbare Vorgehensmodelle
Ref:Prof. Broy, Prof. Brügge, 27.10.2008
Walchshäusl, Leonhard:
Maschinelle Erkennung von Verkehrsteilnehmern mittels heterogener Sensorik
Ref:Prof. Klinker, Prof. Burschka, 29.10.2008
Muntean, Ioan Lucian:
Efficient Distributed Numerical Simulations on the Grid
Ref:Prof. Bungartz, Prof. Nagel, TU Dresden, 31.10.2008
Lankes, Josef:
Metrics for Application Landscapes: Status Quo, Developtment, and a Case Study
Ref:Prof. Matthes, Prof. Bichler, 03.11.2008
Kondratieva, Polina:
Real-Time Approaches for the Model-Based Reconstruction and Visualization of Flow Fields
Ref:Prof. Westermann, Prof. Ertl, Universität Stuttgart, 06.11.2008
Sekatzek, Eva Peggy:
Einsatzentscheidung und -steuerung von SAP Standard Business Software in der deutschen Automobilindustrie
Ref:Prof. Krcmar, Prof. Matthes, 06.11.2008
Traub, Jörg:
New Concepts for Design and Workflow Driven Evaluation of Computer Assisted Surgey Solutions
Ref:Prof. Navab, Prof. Jannin, McGill University, Prof. Euler, LMU Fakultät ME, 12.11.2008
Tönnis, Marcus:
Towards Automotive Augmented Reality
Ref:Prof. Klinker, Prof. Bubb, TUM Fakultät MW, 17.11.2008
Botaschanjan, Jewgenij:
Techniques for Property Preservation in the Development of Real-Time Systems
Ref:Prof. Broy, Prof. Knoll, 18.12.2008
Thurimella, Anil Kumar:
Issue-based Variability Modeling
Ref:Prof. Brügge, Prof. Grünbacher, Universität Linz, 19.12.2008



subscribe RSS