Ebook: Ausgezeichnete Informatikdissertationen 1996: Im Auftrag der Gl herausgegeben durch den Nominierungsausschuß

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. Der Ausschuß der GI, der den Preisträger aus der Reihe der vorgeschlagenen Kandidaten nominiert, veranstaltete in Räumen der Akademie der Wissenschaften und Literatur Mainz ein Kolloquium. Es fiel dem Ausschuß schwer, unter den nach dem Kolloquium in die engere Wahl genommenen Kandidaten den Preisträger zu bestimmen. Die Publikation der hier präsentierten Kurzfassungen gleicht die Ungerechtigkeit der Auswahl eines Kandidaten unter mehreren ebenbürtigen Kandidaten etwas aus.

---

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. Der Ausschu? der GI, der den Preistr?ger aus der Reihe der vorgeschlagenen Kandidaten nominiert, veranstaltete in R?umen der Akademie der Wissenschaften und Literatur Mainz ein Kolloquium. Es fiel dem Ausschu? schwer, unter den nach dem Kolloquium in die engere Wahl genommenen Kandidaten den Preistr?ger zu bestimmen. Die Publikation der hier pr?sentierten Kurzfassungen gleicht die Ungerechtigkeit der Auswahl eines Kandidaten unter mehreren ebenb?rtigen Kandidaten etwas aus.

---

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. Der Ausschu? der GI, der den Preistr?ger aus der Reihe der vorgeschlagenen Kandidaten nominiert, veranstaltete in R?umen der Akademie der Wissenschaften und Literatur Mainz ein Kolloquium. Es fiel dem Ausschu? schwer, unter den nach dem Kolloquium in die engere Wahl genommenen Kandidaten den Preistr?ger zu bestimmen. Die Publikation der hier pr?sentierten Kurzfassungen gleicht die Ungerechtigkeit der Auswahl eines Kandidaten unter mehreren ebenb?rtigen Kandidaten etwas aus.
Content:
Front Matter....Pages 1-7
Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen....Pages 9-28
Effiziente Einbettungen baumartiger Graphen in den Hyperw?rfel....Pages 29-45
Projektionsbasierte Striktheitsanalyse....Pages 46-61
HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen....Pages 62-78
A Multiresolution Framework for Volume Rendering....Pages 79-94
Ph?nomene der Knuth-Bendix Vervollst?ndigung....Pages 95-113
Visualisierungstechniken f?r den Compilerbau....Pages 114-127
Statistische Modellierung, Klassifikation und Lokalisation von Objekten....Pages 128-149
Darstellung formaler Beweise....Pages 150-165
Betriebswirtschaftliche Anwendungsbereiche Konnektionistischer Systeme....Pages 166-177
Vergleich von multivariaten statistischen Analyseverfahren und K?nstlichen Neuronalen Netzen zur Klassifikation bei Entscheidungsproblemen in der Wirtschaft....Pages 178-193

---

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. Der Ausschu? der GI, der den Preistr?ger aus der Reihe der vorgeschlagenen Kandidaten nominiert, veranstaltete in R?umen der Akademie der Wissenschaften und Literatur Mainz ein Kolloquium. Es fiel dem Ausschu? schwer, unter den nach dem Kolloquium in die engere Wahl genommenen Kandidaten den Preistr?ger zu bestimmen. Die Publikation der hier pr?sentierten Kurzfassungen gleicht die Ungerechtigkeit der Auswahl eines Kandidaten unter mehreren ebenb?rtigen Kandidaten etwas aus.
Content:
Front Matter....Pages 1-7
Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen....Pages 9-28
Effiziente Einbettungen baumartiger Graphen in den Hyperw?rfel....Pages 29-45
Projektionsbasierte Striktheitsanalyse....Pages 46-61
HAMVIS: Generierung von Visualisierungen in einem Rahmensystem zur systematischen Entwicklung von Benutzungsschnittstellen....Pages 62-78
A Multiresolution Framework for Volume Rendering....Pages 79-94
Ph?nomene der Knuth-Bendix Vervollst?ndigung....Pages 95-113
Visualisierungstechniken f?r den Compilerbau....Pages 114-127
Statistische Modellierung, Klassifikation und Lokalisation von Objekten....Pages 128-149
Darstellung formaler Beweise....Pages 150-165
Betriebswirtschaftliche Anwendungsbereiche Konnektionistischer Systeme....Pages 166-177
Vergleich von multivariaten statistischen Analyseverfahren und K?nstlichen Neuronalen Netzen zur Klassifikation bei Entscheidungsproblemen in der Wirtschaft....Pages 178-193
....