Ausgezeichnete Informatikdissertationen 1999

Emissionen klimarelevanter Gase aus der Landwirtschaft.- Dynamische Zellstrukturen - Theorie und Anwendung eines KNN-Modells.- Specification and Verification of Polling Real-Time Systems.- Sicherheit in Medienströmen: Digitale Wasserzeichen.- Objektlokalisation durch Adaption parametrischer Grauwertmodelle und ihre Anwendung in der Luftbildauswertung.- Gefahrenabwehr und Strafverfolgung im Internet.- Comprehending Queries.- Online-Fehlerdiagnose in intelligenten mathematischen Lehr-Lern-Systemen.- Definitions- und Beweisprinzipien für Daten und Prozesse.- Eine Methodik für die Entwicklung und Anwendung von objektorientierten Frameworks.- Neue Konzepte für die Anfrageverarbeitung in PORDBVS.- Automatische Indexierung von Fernsehnachrichtensendungen.- Vermeidung von Generationseffekten in der Audiocodierung.- Internet-Technologien in der gesetzlichen Rentenversicherung.- MISTRAL: Processing Relational Queries using a Multidimensional Access Technique.- Dot-Depth and Monadic Second-Order Alternation.- Systemunterstützung für offene Kommunikationssysteme.- Maschinelle Analyse des Verhaltens von Protokollmaschinen.- Randomisierte Branchingprogramme.- Topological Vector Field Visualization with Clifford Algebra.- Signalinterpretation mit Neuronalen Netzen.- Backup und Recovery in Datenbanksystemen.- Semantic Integrity Constraints in Federated Database Schemata 1.