Jahresbericht 1995

5. Kolloquien und Gastvorträge

17.1.1995 Prof. Dr. Gerhard Goos, Universität Karlsruhe

Sather-K: Eine objektorientierte Programmiersprache

18.1.1995 Dipl.-Math. Irene Rothe, Friedrich-Schiller-Universität Jena

Ein Normalisierungsverfahren zur Bestimmung von Invarianten in der Bildverarbeitung

31.1.1995 Prof. Mario Dal Cin, Universität Erlangen/Nürnberg

Fehlertoleranz für skalierbare, massiv parallele Rechner

6.2.1995 Dr. Burkhard Messer, Fraunhofer Institut

Das Projekt VadeMed - Voraussetzungen für kooperative Arbeiten

2.3.1995 Prof. Dr. Axel-Tobias Schreiner, Universität Osnabrück

Compiler auf Knopfdruck

21.3.1995 Dr. Jim Gray, MacKay Fellow at University of California at Berkeley

Scalable Networks and Platforms (SNAP) for Data Intensive Applications

12.4.1995 Dr. Burkhard Messer, Fraunhofer Institut

Der verteilte multimediale Arbeitsplatz

19.4.1995 Thomas Weckend, Rechenzentrum der Charit, Humboldt-Universität zu Berlin

Notwendigkeit von Expertensystemen in der Medizin

9.5. 1995 Prof. Betty Salzberg, Ph. D., College of Computer Science, Northeastern University Boston

Access Methods for Temporal Data: A Survey

30.5.1995 Prof. Dr. Peter Lockemann, Institut für Programmstrukturen und Datenorganisation der Universität Karlsruhe

Datenbankfunktionen: Vom System zum Eigenleben

6.6.1995 Gerd Lindner, Physikalisch-Technisches Bundesamt

Anwendung von Petri-Netzen in der medizinischen Datenverarbeitung

9.6.1995 Dr. Colin McDiarmid, University of Oxford

Random Graph Colouring

12.6.1995 Prof. Dr. Walter Deuber, Universität Bielefeld

Wobbling bijections, Wackel Bijektionen

13.6.1995 Dipl.-Ing. Brückner, Siemens Verkehrstechnik

Verkehrstechnik und Petri-Netze

15.6.1995 Dr. Miroslaw Kutylowski, Heinz-Nixdorf-Institut, Universität-GH Paderborn

Periodische Sortiernetzwerke

16.6.1995 Dr. Matthias Krause, Universität Dortmund

Zur Realisierung von Booleschen Funktionen durch reelle Polynome und Threshold- Schaltkreise kleiner Tiefe

20.6.1995 Dr. Urs-Martin Kuenzi, Universität Bern

Analyse von Specs-Petri-Netzen

26.6.1995 Prof. Dr. Joel Spencer, New York University

Asymptopia

27.6.1995 Prof. Dr. Marek Karpinski, Institut für Informatik der Universität Bonn

Polynomielle Schranken für die VC-Dimension von sigmoidalen neuronalen Netzwerken

28.6.1995 Priv. doz. Dr. Lothar Gierl, Ludwig-Maximilians-Universität München

Fallbasierte Expertensysteme und ihre Integration in ein Klinik-Kommunikationssystem

28.6.1995 Dr. Josef Richard, Gesellschaft für angewandte Informatik

Fuzzy-Datenanalyse in der Bildverarbeitung

6.7.1995 Prof. Dr. Nicholas V. Findler, Arizona State University

Distributed Artificial Intelligence

6.7.1995 Dr. Johannes Köbler, Universität Ulm

Strukturelle Komplexität von Sprachen mit kleinen Schaltkreisen

7.7.1995 Prof. Dr. Angelika Steger, Universität Kiel

Stochastische Methoden in der Theoretischen Informatik

7.7.1995 Marek Jurkowlaniec, EFP Poznan

Das Forschungsprofil der EFP Poznan

4.10.1995 Dr. Wolfgang Gehrke, RISC Linz

Higher Order Term-Rewriting

9.10.1995 Dr. Colin McDiarmid, University of Oxford

The Lovßsz Local Lemma

10.10.1995 Prof. Dr. Tom Trotter, Arizona State University

Applications of Random Methods to Partially Ordered Sets

11.10.1995 Prof. Dr. Friedhelm Meyer auf der Heide, Heinz-Nixdorf-Institut, Universität-GH Paderborn

Kommunikation in Prozessornetzwerken

11.10.1995 Prof. Dr. Angelika Steger, Universität Kiel

Probabilistisch verifizierbare Beweise und Konsequenzen für die Approximierbarkeit kombinatorischer Optimierungsprobleme

18.10.1995 Prof. Dr. Bruce Reed, Université Pierre et Marie Curie Paris ((and (18.10.1995 Dr. Wolfgang Kunz, Max-Plank-Gesellschaft, Arbeitsgruppe

Fehlertolerantes Rechnen an der Universität Potsdam Ein neuer Ansatz für die Logikoptimierung

18.10.1995 Dr. Dietmar Schröder, TU Hamburg-Harburg

Schaltungen zur Signalübertragung und Sensorik unter Ausnutzung kausaler Rückwirkungseffekte

18.10.1995 Dr. Albrecht Ströle, Universität Karlsruhe

Entwurf selbsttestbarer Schaltungen

18.10.1995 Dr. Sybille Hellebrand, Gesamthochschule Siegen

Synthese und Test hochzuverlässiger mikroelektronischer Systeme

18.10.1995 Dr. Hans-Heinrich Bothe, Technische Universität Berlin

Aufbau eines Fuzzy-Reglers in analoger Schaltungstechnik

19.10.1995 Dr. Martin Kummer, Universität Karlsruhe

Schwere Eingaben von Entscheidungsproblemen

30.10.1995 Prof. Dr. Do Duc Giao, Universität Hanoi

Optimization for Ternary Search Trees

3.11.1995 Prof. Dr. Sigurd Kusch, Biosquant GmbH Berlin

Einsatz optischer Techniken in der Bildverarbeitung

6.11.1995 Prof. Dr. Ingo Wegener, Universität Dortmund

Binary Decision Diagrams - Komplexitätstheorie, Algorithmen und die Zahl der Springerkreise auf dem Schachbrett

13.11.1995 Prof. Andres Soto Villaverde, Universität Havanna

A Multiagent System for Mathematical Modelling

16.11.1995 Wojciech Cellary, Franco-Polish School of New Information and Communication

Technologies Poznan Database Version Approach to Multiversion Object-Oriented Databases

20.11.1995 Andreas Vogel, DSTC Pty Ltd., University of Queensland

Das internationale Trader-Projekt

21.11.1995 Dr. Günter Karjoth, IBM Research Laboratory Zürich

Authorization in Object-Oriented Systems

23.11.1995 Prof. Dr. Stamatis Vassiliadis, University of Technology Delft

TU Delft Parallel Processing Research Topics

27.11.1995 Prof. Dr. Peter Gritzmann, Universität Trier

Über Sonden und Orakel

28.11.1995 Dr. Hans-Peter Bischof, Universität Osnabrück

Plan 9 - ein neues Betriebssystem

7.12.1995 Prof. Alfons Kemper, Ph. D., Universität Passau

Optimierung deklarativer Anfragen in Objektbanken

12.12.1995 Dipl.-Ing. André Kaeding, TU Ilmenau

Projekt DIABETEX - Ein Beratungssystem zur Unterstützung der Therapieführung insulinpflichtiger Diabetiker

14.12.1995 Dr. Jörg Desel, Universität Karlsruhe

Anwendungen linearer Methoden bei Petrinetzen

15.12.1995 Andreas Schade, IBM Research Laboratory Zürich

Management in verteilten Systemen auf Basis von CORBA

19.12.1995 Prof. Dr. Winfried Lamersdorf, Universität Hamburg

Zugang zu Daten und Diensten in offenen verteilten Systemen