Ausgezeichnete Informatikdissertationen 2006

Gesellschaft fuer Informatik, Bonn
2006

Contents

Articles

• Andrés Bruhn
  Variationsansätze zur Bewegungsschätzung: Präzise Modellierung und Effiziente Numerik
  Pages: 9-18... Full Text
• Erik Buchmann
  Erkennung und Vermeidung von Unkooperativem Verhalten in Peer-to-Peer-Datenstrukturen
  Pages: 19-28... Full Text
• Görschwin Fey
  Increasing Robustness and Usability of Circuit Design Tools by Using Formal Techniques
  Pages: 29-38... Full Text
• Kilian Foth
  Hybrid Methods of Natural Language Analysis
  Pages: 39-48... Full Text
• Gereon Frahling
  Algorithms for Dynamic Geometric Data Streams
  Pages: 49-58... Full Text
• Tobias Frank
  Advanced Visualization and Modeling of Tetrahedral Meshes
  Pages: 59-68... Full Text
• Stefan Frenz
  Zuverlässiger Verteilter Speicher mit Transaktionaler Konsistenz
  Pages: 69-78... Full Text
• Arnulph Fuhrmann
  Interaktive Animation Textiler Materialien
  Pages: 79-88... Full Text
• Torsten Gipp
  Functional Web Site Specification
  Pages: 89-98... Full Text
• Jiong Guo
  Algorithm design techniques for parameterized graph modification problems
  Pages: 99-108... Full Text
• Klaus Herrmann
  Self-Organizing Infrastructures for Ambient Services
  Pages: 109-118... Full Text
• Daniel Keysers
  Modeling of Image Variability for Recognition
  Pages: 119-128... Full Text
• Stefan Kral
  FFT Specific Compilation on IBM Blue Gene
  Pages: 129-138... Full Text
• Jens Krüger
  A GPU Framework for Interactive Simulation and Rendering of Fluid Effects
  Pages: 139-148... Full Text
• Sven Overhage
  Vereinheitlichte Spezifikation von Komponenten: Grundlagen, UnSCom Spezifikationsrahmen und Anwendung
  Pages: 149-158... Full Text
• Daniel Reidenbach
  The Ambiguity of Morphisms in Free Monoids and its Impact on Algorithmic Properties of Pattern Languages
  Pages: 159-168... Full Text
• Andreas Schäfer
  Specification and Verification of Mobile Real-Time Systems
  Pages: 169-178... Full Text
• Frank-Michael Schleif
  Prototype based Machine Learning for Clinical Proteomics
  Pages: 179-188... Full Text
• Dominique Unruh
  Protokollkomposition und Komplexität
  Pages: 189-198... Full Text
• Manish Verma
  Advanced Memory Optimization Techniques for Low-Power Embedded Processors
  Pages: 199-208... Full Text
• Christian Werner
  Optimierte Protokolle für Web Services mit Begrenzten Datenraten
  Pages: 209-218... Full Text
• Simon Winkelbach
  Das 3d-Puzzle-Problem
  Pages: 219-228... Full Text

Gesellschaft fuer Informatik, Bonn
ISBN 978-3-88579-411-0