Ausgezeichnete Informatikdissertationen 1999

Die Gesellschaft für Informatik (GI) zeichnet jedes Jahr eine Informatikdissertation durch einen Preis aus. Die Auswahl dieser Dissertation stützt sich auf die von den Universitäten und Hochschulen für diesen Preis vorgeschlagenen Dissertationen. Somit sind die Teilnehmer an dem Auswahlverfahren der GI bereits als "Preisträger" ihrer Hochschule ausgezeichnet. Inhaltsverzeichnis 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.